В книге Уильяма Столлингса по операционным системам он определяет сильный семафор как тот, который имеет дисциплину очередей FIFO и слабый семафор тот, что неупорядочен. Конечно, есть другие дисциплины организации очереди для сильных семафоров, например, по приоритету? Или это больше не будет сильным семафором, поскольку станет возможным голод? (Столлингс говорит, что сильные семафоры не допускают голодания.) Возможно ли / невозможно основное различие между сильным и слабым упорядоченным / неупорядоченным или голоданием?