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.