The ProcSem is a semaphore used to lock a sequence of operations that may span multiple threads/tasks.