Date: 2011-11-14 02:57 pm (UTC)
yigal_s: (0)
From: [personal profile] yigal_s
> держи: функция обязана завершиться независимо от работы оптимизатора, иначе не завершится программа и не сможет вернуть exit code, а это observable behavior.

> Не говоря уже о том, что нарушается та самая sequence of reads and writes to volatile data and calls to library I/O functions.

Я устал. Может быть, через пару недель я к этому вопросу вернусь, но ей богу, в нашем разговоре хорошо б подключить какого-то эксперта по стандартам. Бо занимаемся непроизводительной казуистикой, решая не реальные задачи, а интерпретационные.

* столько всего лично нами написано

Говори плз за себя.

Вот мой пост от 2003-го года
http://ru-programming.livejournal.com/11316.html

А на ixbt меня за дискуссию по этой же теме просто забанили )))


Лично я, если ты помнишь, с полным осознанием того что делаю, ввел на атомарном типе атомарные записи и чтения с мамбарами. Другое дело, что если напустить на этот код глобальный оптимизатор, то он бы и это почикал (интересно, он умеет оптимизировать ассемблерные вставки?) но мы ведь не напускали ;-)

На самом деле, у нас наоборот была очень пессимистичная стратегия работы с атомикс, мы ставили мембары в куче мест, где без них можно было бы, возможно, и обойтись.
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting