title: Strong Semaphore Queuing Discipline and Starvation
body: <p>In William Stallings' book on Operating Systems, he defines a <strong>strong semaphore</strong> as one that has a FIFO queuing discipline, and a <strong>weak semaphore</strong> one that is unordered. Surely there are other queuing disciplines for strong semaphores, such as by priority? Or would this no longer be a strong semaphore, since starvation would become possible? (Stallings says that strong semaphores do not allow for starvation.) Is the primary distinction between strong and weak ordered/unordered, or starvation possible/impossible?</p>