Ada_Ru форум

Обсуждение языка Ада

Re: [ada_ru] Re: Атомарные примитивы

Оставить новое сообщение

Сообщения

Vadim Godunko
Re: [ada_ru] Re: Атомарные примитивы
2009-10-11 09:59:04

Ivan Levashew wrote:

 

Ответы тоже отпали. А зря. В документации, например, здесь:

 

http://www.adacore.com/wp-content/files/auto_update/gnat-unw-docs/html/gnat_rm_6.html#SEC243

 

этот вопрос не освещён.

 

Смысл освещения этого вопроса в документации двойственен. С одной стороны это хорошо, но вот с другой... когда электродрель попадает в руки неандертальцу...

 

По–прежнему остаётся открытым вопрос о корректности реализации

pragma Atomic. Стандарт требует соблюдать порядок чтения–записи. Верю, что компилятор не переупорядочивает чтение–запись. Однако, если нет lock или ?fence, переупорядочивать может процессор. Я

убеждён, что компилятор должен для Atomic генерить барьеры памяти.

Это нетривиальный вопрос в целом и любое конкретное решение будет порождать столько условных модификаторов, что лучше оставить вещи как есть.

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти