Lock Variable TSL Mechanism Turn Variable Binary Semaphore Counting Semaphore Peterson Solution Producer & Consumer Dining Philosopher Banker's algorithm