stm

5熱

1答えて

SynchronizedMapと混在している通常の不変マップよりもAkka TransactionalMapが好きな方、（または、私はここでオレンジとリンゴを比較していますか？）

1熱

1答えて

を入れないようにtryPutMVarを使用していますSnap.Internal.Http.Server.TimeoutManager ------------------------------------------------------------------------------ -- | Register a new connection with the TimeoutManage

10熱

1答えて

`unsafePerformIO（newTVarIO 0）`はどれくらい安全ですか？</p> <pre><code>uniqSource :: TVar Integer uniqSource = unsafePerformIO (newTVarIO 0) {-# NOINLINE uniqSource #-} </code></pre> <p>が、それは一度だけ実行することが保証されて：

私はData.Uniqueでこのイディオムを気づきましたか？

3熱

1答えて

Clojure STMメモリ不足

私は、STMを使用して並列バンキング転送を実行する小さなプログラムを持っているので、別のマシン、2コアと1コアでテストしています。 2コアマシンではすべて動作しますが、1コアマシンでは、100万並列トランザクションを実行するとJava Out of Memoryエラーがスローされます。エラーは、以下の「AWT-EventQueueの-0」java.lang.OutOfMemoryErrorをです

11熱

1答えて

Haskell：TVar：orElse

TVarへの別のトランザクション書き込みによってトランザクションが再試行されたとき、またはretryが明示的に呼び出されたときにのみ、elseの部分が呼び出されますか？orElse

39熱

1答えて

デッドロックやリソース枯渇のない並行した汎用データ構造

最近、TVarに関するいくつかの質問をしましたが、私はまだライブロックについて懸念しています。だから私はこのような構造を考えた：各トランザクションは、（おそらく作成順に割り当てられた）一意のプライオリティを取得します。トランザクションは、アクセスするデータに対して読み取り/書き込みロックを取得しようとします。当然のことながら、同時読み取りは問題ありませんが、1つの書き込みロックは他のすべての

5熱

1答えて

FreeRTOSの割り当てエラー

私はFreeRTOS V6.1.1をSTM32F107VCで使用しており、頻繁なmallocエラーが発生します。ヒープ領域は、リンカスクリプトで定義されているが、それはpvPortMalloc（このループ内で立ち往生し続ける）数の割り当て後： while((pxBlock->xBlockSize < xWantedSize) && (pxBlock->pxNextFreeBlock != NULL

4熱

1答えて

純粋にSTM関数をテストする

私は最近、私のプロジェクトでいくつかのビットに対してSTMを使用し始めましたが、テストする方法がわかりません。私はこれらの関数にIOを持たず、テストするためにQuickCheckプロパティを書くことができたと思っていましたが、STMモナドから何かを得るには "アトミック"（STM - > IO a）これは可能ですか、代わりにHUnitでテストを書くだけですか？

5熱

1答えて

クロージャの「公式」並行処理の例（ロック、アトム、stmを使用）

手動ロックを使用してthe "official" example of clojure concurrencyをJavaバージョンに近づけようとしています。 In this gist私はjavaとclojureコードとすべてのバージョンのVisualVmプロファイルのスレッドダンプを入れました。ここでは、Clojureのコードとタイミング (ns simple-example (:gen-cla

8熱

1答えて

TChanの書き込みはHaskell STMに統合されていますか？

STMトランザクションが失敗して再試行する場合は、writeTChanへのコールが再実行されるため、2つの書き込みが終了するか、トランザクションがコミットするとSTMは実際に書き込みを実行しますか？ enterShopのトランザクションが初めて失敗した場合、顧客は2つのヘアカットを取得する可能性がありますか？ import Control.Monad import Control.Concurr