暗黙の共有とは何ですか？

Question

私はC++でゲームエンジンライブラリを構築しています。少し前にQtを使ってアプリケーションを構築していましたが、その使用方法には魅力的でした。Implicit Sharing。私は、誰かがこのテクニックをより詳細に説明できるかどうか、あるいは実際にこの簡単な例を提供できるかどうか疑問に思っています。

Answer 1

暗黙的な共有の背後にある重要なアイデアは、より一般的な用語copy-on-writeを使用しています。 copy-on-writeの背後にあるアイデアは、各オブジェクトを実際の実装へのポインタの周りのラッパーとして機能させることです。各実装オブジェクトは、その中へのポインタの数を追跡します。ラッパーオブジェクトで操作が実行されるたびに、実際の作業を行う実装オブジェクトに転送されたばかりです。

このアプローチの利点は、これらのオブジェクトのコピーと破棄が安価であることです。オブジェクトのコピーを作成するには、ラッパーの新しいインスタンスを作成し、そのオブジェクトのポインターを実装オブジェクトを指すように設定してから、オブジェクトへのポインターの数のカウントを増やします（これは、参照カウントと呼ばれることがあります。）。、ところで）。破壊も同様です。参照カウントを1つ落としてから、誰かが実装を指しているかどうかを確認します。そうでない場合は、そのリソースを解放します。さもなければ、私たちは何もせず、誰かが後でクリーンアップを行うと仮定します。

このアプローチの課題は、複数の異なるオブジェクトがすべて同じ実装を指していることです。つまり、誰かが実装を変更すると、その実装を参照するすべてのオブジェクトが変更を参照することになります。これは非常に深刻な問題です。これを修正するために、実装が潜在的に実装を変更する可能性のある操作が実行されるたびに、オペレーションは参照カウントが同じかどうかを調べることによって他のオブジェクトも実装を参照するかどうかをチェックします。操作はすぐに進めることができます。変更が伝播する可能性はありません。データを参照する少なくとも1つの他のオブジェクトがある場合、ラッパーはまずその実装のディープ・コピーを作成し、そのポインターを新しいオブジェクトを指すように変更します。今私たちは分かち合うことができないことを知っています。変更は面倒なく行われます。

実際の例をご覧になりたい場合は、講義の例15.0と16.0をStanford's introductory C++ programming courseからご覧ください。このテクニックを使用して単語のリストを保持するオブジェクトを設計する方法を示します。

希望すると便利です。