[kazinator]

Semaphores are like a restricted form of goto which lets you branch exactly, say, two lines forward or two lines back. Building concurrency primitives out of semaphores is like using that goto to build control flow.

[withinboredom]

Sounds more like an if-statement than a goto. I catch your meaning though.