stm

42Ciepło

2Odpowiedz

Widziałem TVar jest prosty pojemnik, a TMVar jest taki sam jak MVar, co oznacza, że ma zamek itp., Ale w monadę STM. Zastanawiam się, dlaczego byłoby to konieczne, ponieważ idea STM polega na tym, a

11Ciepło

1Odpowiedz

Haskell: TVar: orElse

Czy "inna" część z orElse została wywołana, gdy transakcja została ponowiona z powodu innej transakcji zapisanej do TVar, którą przeczytał, lub tylko wtedy, gdy jednoznacznie wywołano retry?

13Ciepło

2Odpowiedz

Używanie transakcji STM i bazy danych

Używam biblioteki STM firmy Haskell i bardzo podoba mi się możliwość komponowania transakcji i ogólne "nie-możesz-dostać-to-złe" właściwości STM. Nie bez powodu STM nie zezwala na działania IO w ramac

7Ciepło

1Odpowiedz

Czy można uzyskać dostęp do historii wartości STM firmy Clojure?

Biorąc pod uwagę, że STM posiada historię 10 powiedzeń wartości ref, agentów itp., Czy te wartości można odczytać? Powodem jest to, że aktualizuję obciążenie agentów i muszę zachować historię wartości

5Ciepło

1Odpowiedz

Czy należy powtórzyć wiele transakcji Clojure w transakcji w celu zachowania spójności?

To jest teoretyczne pytanie motywowane moim pragnieniem lepszego zrozumienia współbieżności Clojure'a. Załóżmy, że piszę boidy. Załóżmy, że każde boid jest oddzielną pozycją mutującą zielony wątek w w