Материалы в свободном доступе

Необходимость координации и взаимного исключения процессов возникает в тех случаях, когда идет активная работа с нематериальными (логическими) ресурсами: в информатике — с сообщениями, буферной памятью, последовательно используемыми программами, в экономике — с правами собственности, разрешительными документами в виде накладных, путевых листов, записей в бортовом журнале судна (коносамент) и др. Некорректное решение этих задач приводит к патовой ситуации или к линчу, когда все ресурсы вроде бы в наличии, а процесс развиваться не может. Среди различных подходов к решению проблемы — основанный на принципе семафора, который и будет рассмотрен.