A non-re-entrant piece of code that can only Be executed By one process at a time. It will usually terminate in Bounded time and a process will only have to wait a Bounded time to enter it. Some synchronisation mechanism is required at the entry and exit of the critical section to ensure exclusive use.