Could be used to synchronize
synchronously for example
of the synchronized areas Always
(synchronization object) RETURN
(synchronization object) RETURN
(synchronization object). In
synchronization for Read [...] the synchronization [...] for synchronization: Io