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 .