Typelocks Mutex Read write lock Write read lock Semaphore Condition variable Finite semaphore Mutex is initially unlocked.
