> -- merk писал(а):
> ситуация похожа на такую.для правильной реализации многопоточности и работы с эсклюзивно захватываемыми(залоченными) обьектами необходима функции 1. захвата - освобождения обьектов...ну типа lock, unlock.2. дополнительная функция ожидания внутри участка, куда вошел тред монопольно. в самом прямом смысле эта необходимость возникает для эффективной реализации самой обычной очереди, в которую произвольное количество тредов могут класть обьекты и произвольное - извлекать.тогда функция взять обьект из очереди корректно реализуется так.

Всё, что Вы описали, это, бесспорно, верно. Однако это "ассемблер" параллелизма. Все его знают, но нельзя же вечно писать на ассемблере
Вот про то и думки, какие абстракции над этим "ассемблером" надстраивать.

Кстати, чтобы предварить ненужные дискуссии: если Вы сомневаетесь в возможности "высокоуровневого параллелизма", то посмотрите как на пример, на язык реального времени Аду и на её абстракции параллельности, которые очень далеки от мьютексов, семафоров и тредов. (http://ada-ru.org/V-0.4w/toc_ru.html, гл. 15).