стационарный механический сигнальный прибор, применяемый на железных дорогах, оборудованных полуавтоматической блокировкой, жезловой системой и централизацией стрелок и сигналов.
В 1791 году учёный Клод Шапп предложил использовать оптический семафор-телеграф.... В нём разные положения планки семафора кодировали буквы алфавита.
Рисунок 1.... Оптический семафор К Шаппа и его телеграфный алфавит.
Данная работа посвящена системе, позволяющей проводить трассировку состояний семафоров в операционной системе Linux. Была изучена подсистема межпроцессорного взаимодействия ОС Linux и способы трассировки ядра.
Определение 1
Разделяемая память и семафоры — это участок оперативной памяти, которая выделяется... Для того чтобы синхронизировать такие взаимодействия процессов существовал общий механизм семафоров,... Разделяемая память и семафоры
Пакет средств IPC имеет в своем составе следующие компоненты:
Средства... процессов при доступе к совместно используемым ресурсам, таким как, разделяемая память, а именно, это семафоры... которой описывают все существующие в данный момент представители механизма, то есть, конкретные сегменты, семафоры
В статье описывается алгоритм статического поиска ошибки повторной блокировки семафоров, позволяющий выдавать предупреждения с низким уровнем ложных срабатываний. Поиск ошибок рассмотрен для абстрактной библиотеки, включающей функции блокировки семафора, разблокировки семафора и условной блокировки семафора. Определено множество регулярных языков, моделирующих блокировки и разблокировки при конкретном исполнении программы. Определён домен, аппроксимирующий множество регулярных языков. Алгоритм реализован в терминах анализа потока данных. При анализе элементы домена используются в качестве свойств потока данных. Алгоритм описан для программы с одним семафором и без алиасов. В этом случае каждое выданное предупреждение должно соответствовать ошибке при конкретном выполнении. Алгоритм реализован в системе статического анализа Svace, разрабатываемой в Институте системного программирования Российской академии наук. Svace осуществляет анализ алиасов и сопоставление формальных и фактически...
Creative Commons
Научный журнал
Еще термины по предмету «Железнодорожный транспорт»
событие, включающее в себя столкновения пассажирских, почтово-багажных, грузопассажирских, людских, хозяйственных, грузовых или иных поездов с другими поездами или железнодорожным подвижным составом, сходы железнодорожного подвижного состава в пассажирских, почтово-багажных, грузопассажирских, людских, хозяйственных, грузовых или в иных поездах на перегонах и станциях, в результате которых поврежден железнодорожный подвижной состав, и для восстановления его исправного состояния требуется проведение капитального ремонта, столкновения и сходы железнодорожного подвижного состава при маневрах, экипировке и других передвижениях, в результате которых погибли или получили тяжкие телесные повреждения люди, или повреждены локомотивы или вагоны до степени исключения их из инвентаря, или поврежден железнодорожный подвижной состав и для восстановления его исправного состояния требуется проведение капитального ремонта, или нарушены условия нормальной жизнедеятельности не менее 100 человек.
передвигающийся по рельсам вагон с приводом от двигателя внутреннего сгорания, предназначенный для служебных поездок персонала с целью инспекционного контроля, строительства, ремонта и для обслуживания инфраструктуры железнодорожного транспорта.
