transactional-memory

31熱

3答えて

私は、ClojureがSTMと呼ぶものと、HaskellでSTMとして実装されるものとの違いを見つけようとしています。リッチ・ヒッキーはスピーチで、ClojureのSTMの実装は他のものとは非常に異なっていると言っていますが、実際の言語の意味の違いを除いて少し混乱していますが、言語の選択とは別の違いについてはわかりません。

1熱

1答えて

関数をtransaction_safeとして宣言すれば足りるので、スレッドセーフで使用できますか？

私のクラスでは、すべての関数をtransaction_safeとして宣言するだけで十分です。そのため、トランザクションでスレッドセーフとして使用することができますatomic_noexcept, atomic_cancel, atomic_commit Experimental Transactional Memory TS？既知のように、Experimental C++標準ライブラリにはトラン

3熱

1答えて

なぜstd :: mapを注文し、std :: setを注文してtransaction_safeを作ることができないのですか？

として、トランザクショナルメモリTS（ISO/IEC TS 19841：2015）がある既知の実験C++で：Is it enough to declare a function as transaction_safe, so they can be used thread-safe? そしてoperator[]transaction_safeとして宣言されたが、コンテナだけのために：std::ve

1熱

1答えて

トランザクションメモリの構築g ++でのC++コード

cppreferenceウェブサイトは(work in progress) page describing transactional memory c++ codeです。これはページそのページの底部に向かって #include <iostream> #include <vector> #include <thread> int f() { static int i = 0;

3熱

1答えて

汎用コンポーネントフレンドリー

は、私たちが同時またはない使用することができますいくつかの新しいクラスを作成したとします。明らかに、私たちは同時に呼び出される機会に全てをロックしたくありません。これに対処する1つの方法は、mixins指定ロッキングによってパラメータ化によるものである。 template<class Locking> struct foo : private Locking { void bar()

14熱

3答えて

Clojure、Haskell（および他の言語）でSTM用に使用されるアルゴリズムは何ですか？

私が理解しているように、ソフトウェアトランザクションメモリを実装するためのいくつかの異なるアルゴリズムがあります（これは非常に活発な研究領域です）。 ClojureとHaskell（GHC）を中心に、さまざまな言語やライブラリで使用されている場所はどこにありますか？

1熱

1答えて

標準C++トランザクションメモリの状態

C++のトランザクションメモリの提案の現在の状態は何ですか？17。これは標準に含まれる予定で、標準C++の将来のバージョンに含まれることを目指しているのか、あるいは実験的な概念実証機能に過ぎないのですか？標準化委員会の文書のいくつかは、ここでは矛盾したコミュニケーションを提供するように思われるので、私は尋ねています。一方で、トランザクションメモリが標準化されないと言っているP0265R0（htt

2熱

1答えて

ハードウェアトランザクショナルメモリ：gccのドキュメントによって_xbegin（）の戻り0

：x86-transactional-memory-intrinsics.html、トランザクションが失敗したとき/中止、_xbegin（）がアボート状態を返す必要があります。しかし、私は時々それが0を返すことがわかります。周波数は非常に高いです。 ** _ xbegin（）**が0を返すのはどのような状況ですか？マニュアルを確認した後、多くの状況がこの結果を引き起こす可能性があります。たとえば

-2熱

1答えて

アクターのモデルとロックと比較したトランザクションメモリとは

アクターベースとロックベースの同期と比較したトランザクションメモリーとは何ですか？私の知る限り、それは同時実行制御の別のメカニズムであることを理解として。それとも、アクター、イベント、ロックなどとはまったく異なるものですか？