Lock(mutex, mutual exclusion)

A gate around a section of code that lets only one writer inside at a time. A lock does not stop a writer that takes a different lock, so every writer of one value has to name the same gate.