Critical Region Pattern

A critical region is usually a region of code protected by synchronization objects such as critical sections and mutexes. However, the critical region analysis pattern is about identifying code regions “sandwiched” between contending function calls (which may or may not involve synchronization objects and corresponding synchronization calls) and then identifying any possibly shared data referenced by such code regions: