- [7.2] Concurrent datatypes can be concurrently accessed by multiple threads.
- [7.4] Users can’t check preconditions easily due to TOCTTOU.
- [7.6] Total operations use e.g.
Optionto handle invalid preconditions. - Partial operations block till precondition holds.
- [7.25] Partial implementations must beware deadlocks.
- [7.28] E.g. terminate when all workers waiting.
- [7.6] Total operations use e.g.
- [7.9] Server has private sequential datatype, processing operations one by one.