Семафоры

Именованные семафоры идентифицируются по их имени, которое представляет собой строку вида "/somename". Новый именованный семафор, идентифицируемый строкой name, создается следующим образом:

при этом создается новый именованный семафор с начальным значением value и возвращается экземпляр Semaphore{String}. Для указания прав доступа (значение по умолчанию предоставляет права на чтение и запись для вызывающего объекта) можно использовать ключевое слово perms. Ключевое слово volatile указывает, должен ли семафор быть отсоединен после финализации возвращаемого объекта.

Другой процесс (или поток) может открыть существующий именованный семафор, вызвав следующее:

при этом выдается экземпляр Semaphore{String}.

Чтобы отсоединить (удалить) постоянный именованный семафор, просто сделайте следующее:

Если семафор не существует, ошибка игнорируется. Однако для других ошибок выводится ошибка SystemError.

Для максимальной гибкости экземпляр именованного семафора также может быть создан с помощью следующего:

где для flags могут быть заданы биты IPC.O_CREAT и IPC.O_EXCL, mode определяет предоставленные права доступа, value является начальным значением семафора, а volatile представляет собой логическое значение, указывающее, должен ли семафор быть отсоединен после финализации возвращаемого объекта sem. Значения mode и value игнорируются, если открыт существующий именованный семафор.

Анонимные семафоры поддерживаются объектами памяти (обычно общей памяти), обеспечивающими необходимое хранение.

Новый анонимный семафор создается следующим образом при вызове:

при этом инициализируется анонимный семафор, поддерживаемый объектом памяти mem с начальным значением value, и возвращается экземпляр Semaphore{typeof(mem)} Для указания адреса (в байтах) данных семафора относительно pointer(mem) можно использовать ключевое слово offset. Ключевое слово volatile указывает, должен ли семафор быть уничтожен после финализации возвращаемого объекта.

Количество байтов, необходимое для хранения анонимного семафора, задается с помощью sizeof(Semaphore), а анонимный семафор должен быть выровнен в памяти на величину, кратную размеру слова в байтах (то есть Sys.WORD_SIZE >> 3). Объекты памяти, используемые для хранения анонимного семафора, должны реализовывать два метода: pointer(mem) и sizeof(mem) для получения базового адреса (как экземпляра Ptr) и размера (в байтах) связанной памяти соответственно.

Другой процесс (или поток) может использовать существующий (инициализированный) анонимный семафор, вызвав следующее:

где mem — объект памяти, обеспечивающий хранение семафора в относительном расположении, заданном ключевым словом offset (по умолчанию — нуль). Возвращаемое значение является экземпляром Semaphore{typeof(mem)}.