Documentation about request-processing-model/guarantees and comparison to Motoko needed

[shalexbas]

Hey,

there are a lot of documentation about Motoko and their guarantees (single threaded, after trap state will be reverted, ...) but I haven't found any information about cdk-rs on this topic and I don't really know if there are big differences between CDK and Motoko regarding request-processing and guarantees (like state will be reverted when trap happens/ what is a trap in cdk-rs, panic?). A comparison would be great I think.

Here is the original question in : dfinity-forum

It would be great if someone can elaborate more on this topic.