A description of code which is either re-entrant or protected from multiple simultaneous execution by some form of mutual exclusion.