There is supported generation of two basic synchronization constructions - methods reentrancy (monitor) and critical sections (interrupts disable/enable).