Glasgow Haskell Compiler 6.10.1

Я немного отвлекусь и опишу случай (почти из жизни), когда STM имхо не подходит, а нужна именно блокировка.

Допустим есть огромный сайт, и мы хотим вытащить из него много полезной инфы. Но эти редиски не дают качать с 1 адреса много, поэтому приходится юзать штук 1000 проксей, причем одновременно, но в разных нитях. Далее -- у нас есть очередь из адресов страничек, которые нам нужны, причем в эту очередь добавляют адреса все скачивающие нити, и забирают тоже все скачивающие нити.

Здесь случай "обе нити запросили один адрес" не подходит именно из-за экономии ресурсов (сайт лимитирует к-во скачанных страниц в час с одного прокси). Если какая-то нить уже залочила адрес для закачки, другая не должна его повторно качать. Конечно, все зависит от вероятности коллизий, но она м.б. достаточно большой, *особенно* если мы качаем не "все что на глаза попадется", а пытаемся полностью скачать сначала одну маленькую часть сайта, потом другую, ... Именно из-за этого, когда маленькая часть сайта заканчивается, вероятность коллизии будет весьма большой.

>случай (почти из жизни), когда STM имхо не подходит

А кто сомневался, что они есть?

>а нужна именно блокировка

Вот для этой задачи (imho) блокировка не нужна.

> А кто сомневался, что они есть?

А я сомневаюсь, что вообще есть случаи, когда STM подходит. Впрочем, у меня слишком малый практический опыт в этой области, чтобы прямо сказать "STM не нужен".

> Вот для этой задачи (imho) блокировка не нужна.

Предложи, как эту задачу решать без блокировки отдельных адресов. Но учти, что прокси может неожиданно отказаться работать и нить не завершит взятую на себя работу успехом.

А еще -- расскажи жизненную (или почти из жизни) задачу, когда STM оправдана.

Я в этой ветке форума очень неточно выражался.

STM я понимал как "STM в функциональном стиле", т.е. STM без локов и с перезапуском с новыми данными вместо лока. Так что:

1. Мой пример показывает необходимость STM с локами, т.е. STM в процедурном стиле.

2. Хотелось бы увидеть пример STM в функциональном стиле, из жизни или почти из жизни.

Я этот вопрос в более подробной форумулировке задал на http://www.linux.org.ru/view-message.jsp?msgid=3234258

>Предложи, как эту задачу решать без блокировки отдельных адресов

Локализуй "блокируемое" в отдельном потоке, распределяющем задачи из "очереди заданий" по "исполнителям". Которые, как только обнаружат новый адрес, или невозможность выкачать текущий, бросают его обратно в очередь "монитору".