どのように書いているロックフリーですか。
https://stackoverflow.com/questions/92455
-
01-07-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian質問
私の並行マルチスレッドの応用や、重ロック競合で防止までの良好なスケーラビリティを複数コアを用いたいうことを基本方針としてロックフリーなプログラミングを解決します。
どのように書いているロックフリーですか。
解決
答えは:
ご利用いただけません。
長い回答:
だかこの質問はありませんか知ることができるほどをロック。をロック無料の構造は非常に硬く、専門分野であれば可能です。代わりに、問い合わせを自分で検索のための既存の実装です。ただ、どのように広く使われているそうでなどで文書化された場合でも実績のある何の制限も一部のロックを無料構造のその他の人々を掲載。
見つからない場合にロックを無料構造に対応する構造で現在使用しているのは、むしろ対応のアルゴリズムにてご利用いただけるように、既存します。
いきものがかりさばをご自身のロックフリーで構成される:
- を始めとても簡単な
- 理解記憶モデルの対象プラットフォームを含む読み書き並べ替え制約、業務の原子)
- 研究について多くの問題を他人に遭遇を実施した場合にはロックを無料構造物
- うになった場合で仕事に帰着できると結論付けることで
- 重試験の結果
より読む:
他のヒント
利用には、図書室など インテルのスレッドブロックビル, あったので、かなりの数のロック-無料の構造とアルゴリズムねんお勧めしようと書き込みロック-無料コード、そして非常にエラーがやりにくいです。
書面にドロックを無料でコードが硬;が この記事はハーブサタ まだ始まった。
として sblundy 指摘の場合、すべてのオブジェクトは不変なので、読み取り専用する必要がなくなり、より快適な心配をロックしかし、このときコピーオブジェクト。コピーは通常はmalloc、mallocを使のロック同期メモリ割当ての全体のスレッドで変更不能なオブジェクトを購入すよん(malloc自体のスケールながひどく、mallocで 遅い;う場合のmallocに、パフォーマンスが重視される部が見つからない良いパフォーマンスを
ときのみ更新する必要がある単純な変数(例えば32または64ビットintまたはポインタ)を行うだけで追加または減算業務に関わちスワップの価値観の二つの変数、ほとんどのプラットフォームの提供プログラム"機能元素のナノ材料事業"がさらにGCCには、これらもいらっしゃいます）。 原子と同じではないスレッドセー.しかし、原子であることを確である場合にスレッドに書き込み、64ビットの数値をメモリ場所例えば、別のスレッドから読み取れ、読みつのいずれかの値を書き込み操作または後の書き込み操作はい 壊れた 値の間に書き込み操作(例えばが、初の32ビットが既に新しいもの、最後の32ビットの古い値!このことが起きる組み合わせて使用しない場合は原子のアクセスなどです。
ただし，Cの構造体との3つの値が更新したい場合でも、更新すべての三つの原子操作は、これら三つの独立した事業であるため、リーダーが、構造体との一つの値で更新についてを更新しました。こちらが必要になりますのロックが発生する場合には、保証、リーダーのいずれかを見ているすべての値のstructであることが知られている古いまたは新しい値です。
一方のロックの規模にも多く使R/Wロックを解除します。多くの場合、更新データが少なく、(書き込み操作がアクセスするデータは非常に頻繁に読むのデータにおいてコレクション(超えるセットはハッシュテーブル、木).その場合はR/Wのロックを購入する膨大な性能として多くのスレッドで読み込みロックが同時になブロック)のみがスレッドがある場合、新たな希望を書き込みロック、その他のすべてのスレッドをブロックの間の更新が実行されます。
のを避けるスレッド問題についてのお問合せ-データを渡す。すべてのスレッドのお得なほとんどの時間のデータを他のスレッドがアクセスなロックが全てのデータもない原子操作用）そして少ないデータとして可能です。それだけ高速に移動データとスレッドが持っているのITCは、スレッドのコミュニケーション）。ティングシステムによって、プラットフォームおよびプログラミング言語(残念ながら私もそれらのほか、各種の強力な方法ITCが存在します。
最後に、別のフレキシビリティ作品と共通のデータがロックするスレッドなアクセスの同じ部品の共有データです。E.g.場合は二つのスレッドの共有は、"配列"がつままアクセスも、み奇指標が必要なロックしなければなりません。場合又は両方が同じメモリブロックと使用上でのみ下が必要なロックしなければなりません。ものではないことにつながる良い性能特にないマルチコアCpuを搭載しています。書き込み操作のスレッドがこの共通のデータを実行することでコア)にあり、キャッシュをフラッシュされ別のスレッドがログにその一方で、もうひとつのコア)、これらのキャッシュフラッシュについてボトルネックにマルチスレッドで動作するアプリケーショ現代のマルチコアCpuを搭載しています。
私の教授(Nir Shavitからのマルチプロセッサ-プログラミング"のためのクラス：ないでください.その主な原因は、testabilityいきますので試験を同期化コードです。に実行できるシミュレーションもできるのでストレステストです。で荒近似しました。何が本当に必要が数学的正当性証明することにあります。非常に少ない理解できるし、書きします。なので、その他と言われていた:既存の図書館です。 ジョーイヤーのブログ 調査の一手法(第28).第一実際に試したほうがよいでしょうがツリー分割-休憩小規模な業務ます。
不変である一つの方法は避けてロックしなければなりません。見 エリック-Lippertの議論 実施のような不変なので書庫やキュー.
になりました。スマ宿の答えは、モーリスHerlithyを示し、美術のマルチプロセッサ-プログラムを実 何 書き込み可能なロック(第6章をご参照ください).iirc、基本的には分割の課題への処理ノード素子のように機能閉鎖)、enqueuingます。スレッドを計算することにより、以下のすべてのノードから最新のキャッシュされます。これは明らかにでき、最悪の場合、結果を逐次実績のない重要なlockless性、防止シナリオがスレッドが取得を予定して長peroidsの時に保有ロックを解除します。Herlithyも実現理論を待つフリーで、スレッドは終わるのを待って永遠の原子enqueue(こがたくさんの複雑なコードとします。
マネジ付きキュー/スタックが意外とハード(確認し ABA問題).その他のものが非常に簡単です。慣れながら(true){atomicCASまで入れ替えで}ブロック;信じられないほど強力です。第六感のために何が正しいとCASでの開発ものを使用できる良い試験にもより強力なツールも スケッチ, 開催予定MIT 剣道, や スピン?) チェック正確である場合で利用でき、低コストでシンプルな構造です。
ください郵便についての詳細の問題です。ではない回答なします。
編集 immutibilityスでの利用は限られれば、私は理解できます。がん克服の書き込み後に読有害性;考える二つのスレッドの実行"mem=NewNode(mem)";な読み取りと書き込みの両方のmem、その両方を書きましていないため、クラシック増分値機能です。また、あるんじゃないでしょうかに不備がある場合には不受理にヒープを配置して同期すること全体のスレッド).
Inmutabilityいます。変更のオブジェクトの結果を新しいオブジェクトです。Lisp作品はこのようにします。
項13 有効なJava これを説明す。
断崖をクリックしてドーム大手の研究をロック無料のデータ構造の活用による有限状態機械にも掲載していますので多くの実装はJava.すでに論理レコードの実装で自分のブログ: http://blogs.azulsystems.com/cliff/
既存の実装は、この地域の作品は、そのドメインの専門家と博士号取得者(したい場合だからできること。)
例えばあるライブラリのコードはこちら
最ロックアルゴリズムや構造物の開始と一部の原子操作、すなわち変更一部のメモリ場所を回ることによって開始されるスレッドが完了する前に他のスレッドを実行できる同様の操作を行います。■いような動作環境?
見 こちらの ただし、標準的な紙のことが起こる可能性があります。
もう wikipedia記事 記事の更なる発想するものでもありません。
基本原理としてロック-フsynchronisationです:
たくさんの読み込み構造ですの読み込みが試合の構造が変更されてから、読み込み、再送までに成功するなう、日本人も外国人も一緒に踊ってひとつのメカニズムを確認することができましていただくことになります。
たくさんのひとつのメカニズムの構造、配置アルゴリズムとデータがあることを単一の原子ステップをしている場合は、原因の変化を可視になっている他のスレッドは、配置されるように変化は見えない限り、ステップがとられます。ご利用いlockfree原子力機構が存在するプラットフォームにそのステップ（例えばを比較し、設定負荷-リンク+お店-条件付きます。このステップしなければなりませんが他のスレッドが変のオブジェクトからの突然変異操業が開始され、コミットなびが良くなっています。
あたっぷりのロック構造のることを知らずについを行うための技術基盤ができたのではなくより異なります。
を書いていてご自身のロック-無料データ構造のためのマルチコアcpuを忘れずに記憶障壁!また、検討を見 ソフトウェア取引メモリ ます。
ものによって違いますので、それぞれどのような構造のものの構造れを黙って検出しの取扱が可能です。
かりではないように思えができるのは100%ロック-フリーですが、再度によって違いますので、それぞれどのような構造を構築する必要がある.
かもシャードの構造で、複数のスレッドで個々の項目に、そしてその後の同期/す。
このように、この変化により契約内容の変更をどのような構造をいう。例えば、できる限りロックキューでできるランダムアクセス。
低減-排除する共通の変更可能な状態です。
Javaでは、活用のjava.util.同パッケージは、JDK5+の代わりに書きます。とした上記とかのリクとかその他もろもろは、分野の専門家を持っていない場合、予備の両面において、自分だけのオプションです。
で明らかに利用することによる構造ですか？
たくさんあってというのは全体のです。きを達成することができるのでは共有メモリとプロセスを用いた俳優-モデルのためのプロセス.
ぜひ私に リンクConcurrentLinkedHashMap その一例として書き方についてロック-無料データ構造です。このサーの論文を必要としませんが、長年の研究としてその他を示唆する.だか気工学です。
私の実装で使用されないようにする方法は、ConcurrentHashMap、ロック当たりのバケットアルゴリズムをお使いのお客様は、それぞれに依存する実装です。で容易に交換する断崖をクリックのロックの実装です。借りて来たアイデアからの崖が用いられるより明示的にはモデルのすべてのCAS業状態です。このは大幅に簡素化のモデルでは、このビデオをご覧になるといpsuedoロックのグです。別のトリックをすることで怠惰をしています。だことを後退させたりすることその他のスレッドの"ヘルプ"をクリアされる私の場合、そのため死者ノードのリストを追うのではなく、複雑さの除去することなしに、途中からをクリックします。変更する場合がございことから完全に自分のアルゴリズムの消たりするという大きな変更などの採用の3ノードロック。
本美術のマルチプロセッサ-プログラミング"は優れています。全体的にがんを避けることをお勧めしのロック-無料デザインのアプリケーションコード.しばしば時代では失わせないアイテムが、他の、より少ないエラーや、技術がより適しています。
された場合ロック競合、最初に利用するようにしてきめ細かいロックデータ構造ではなく完全にロックアルゴリズム
例えば、現在の作業を下記からダウンロードできま適用するカスタムメールシステム(リストのキューは各スレッドは、キューを含むメッセージのスレッドプロセス）にはパス情報とスレッド）。がグローバルロックがこの構造をとります。私の場合、必要のない速度でなんとします。がこのロックが問題になっているので、置き換えることができます個人ロック毎のキューです。その追加、削除の要素の特定のキューはいかに影響を与えます．が残っているグローバルロックをキューなどなく、競合している.
でも単一のマルチフィジックスの生産-消費者のキューが書き込まれる粒状のロックの各要素の変わりに、グローバルロックになっています。この場合も排除の対立を生んでいる。
読まれたのであれば、複数の実装に関する論文を対象に気付くでしょうが、その中で以下に示すようなテーマ:
1) 共有状態物lisp/clojureスタイルinmutable:それは、すべての書き込み操作の実施コピーを既存の状態で新しいオブジェクトを変更する場合があり、ina/fagは、新しいオブジェクトとその更新のための共有状態から得られたの揃ったポインタの更新が可能であることをCASプリミティブ).つまり、それは一度もありませんジュールを変更することをオブジェクトが読み込まれる以上の現在のスレッドInmutabilityを最適化することができ用のCopy-on-Writeセマンティクス、複雑なオブジェクトが、私は別のツリーのナット
2) しており、さらに指定可変遷と現状および次の状態で有効な:その妥当性を検証するアルゴリズムが有効になって受注の大きさや
3) 取扱廃棄されて参照有害性ポインタをリスト毎のスレッド.後の参照オブジェクトの安全性、再利用可能な場合
もう一つの関連の鉱山が一部のコードを実装とセマフォおよびミューテックスは(一部)メソッドを実装し直し、ロック-フリースタイル:相互排除およびセマフォ
