stm

6зной

3ответ

Способ синхронизации чтения и записи в Clojure?

В веб-приложении я пытаюсь создать уникальный идентификатор потока с ограниченным пулом идентификаторов. Проблема, с которой я сталкиваюсь, заключается в том, что между чтением и записью другого поток

30зной

2ответ

Когда/зачем использовать MVar над TVar

Я считаю, что TVar довольно прост в работе, хотя MVar выглядит немного проще, в то время как TVar немного более функциональен. Так что мой вопрос довольно прост, в каком состоянии я хочу пойти в MVar,

3зной

1ответ

Clojure STM Out of Memory

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

7зной

3ответ

Haskell: TVar: Предотвращение голодания

Я рассматриваю возможность использования TVar для хранения некоторого состояния в веб-приложении (которое можно воссоздать при перезагрузке). Однако спорные аспекты TVar относятся ко мне. Похоже, что

11зной

1ответ

Haskell: TVar: orElse

Является ли «else» частью orElse, когда транзакция повторяется из-за другой транзакции, записываемой в TVar, которую она прочитала, или только когда явным образом вызывается retry?

39зной

1ответ

Параллельная структура общих данных без взаимоблокировок или ресурса голодания

Я недавно задал несколько вопросов относительно TVar, и у меня все еще есть проблемы с livelock. Так я думал об этой структуре: Каждая транзакция получает уникальный приоритет (возможно, выделенные в

3зной

2ответ

Вопросы по реализации STM

Я прочитал два совершенно разных отчета о том, как STM реализована. Возможно, оба действительны, или один ошибается, и я надеюсь, что кто-то может пролить свет. Принимать 1 (wikipedia): все потоки раз