Serialize access to shared state in concurrent systems
Filter sets of procedures to synchronous and asynchronous executions.
If each procedure in a set is not dependent on execution order place it under asynchronous.
Otherwise place into synchronous.
A serializer can be implemented with amutex .