dfinity / interface-spec

IC Interface Specification
https://khsfq-wqaaa-aaaak-qckvq-cai.icp0.io/docs
37 stars 20 forks source link

Fix the ordering guarantees claim. #267

Closed oggy-dfin closed 9 months ago

oggy-dfin commented 10 months ago

The ordering guarantees specified in the spec are overpromising. The sender can't rely on the function calls being executed in order, and the calls are not really just like a FIFO queue, because there's no delivery guarantee for requests (the system can fail them at any time).