Здравствуйте, WolfHound, Вы писали:

V>>Цимус в том, что произвольные прикладные библиотеки становится возможным разрабатывать ср-вами безопасного языка, а не вкладывать их в некую магическую "поставку".
WH>Хватит пороть чушь. Ей больно.
WH>Никаких гарантий со стороны компилятора на этих примитивах ты не получишь.

Со стороны компилятора нам требуется строгая типизация и uniqueness-семантика.
Cо стороны железки требуется атомарность этих операций.
Вот и всех делов. А то опять развели обсуждения не в ту степь. ))

Каждый процесс (поток) пусть владеет своим типобезопасным экземпляром Atomic, каждый из которых которые "унутре" пусть ссылается на одну и ту же структуру в памяти. Atomic должен быть встроенным opaque-типом, навроде встроенных integer.

Базис для операций над Atomic уже дал.

Здравствуйте, WolfHound, Вы писали:

V>>Цимус в том, что произвольные прикладные библиотеки становится возможным разрабатывать ср-вами безопасного языка, а не вкладывать их в некую магическую "поставку".
WH>Хватит пороть чушь. Ей больно.
WH>Никаких гарантий со стороны компилятора на этих примитивах ты не получишь.

Со стороны компилятора нам требуется строгая типизация и uniqueness-семантика.
Cо стороны железки требуется атомарность этих операций.
Вот и всех делов. А то опять развели обсуждения не в ту степь. ))

Каждый процесс (поток) пусть владеет своим типобезопасным экземпляром Atomic, каждый из которых "унутре" пусть ссылается на одну и ту же структуру в памяти. Atomic должен быть встроенным opaque-типом, навроде встроенных integer.

Базис для операций над Atomic уже дал.