メインコンテンツまでスキップ
バージョン: 18

共有オブジェクトと共有コレクション

概要​

共有オブジェクト および 共有コレクション はプロセス間でコンテンツを共有することができる、特殊な オブジェクト と コレクション です。 インタープロセス変数 に比べると、共有オブジェクトと共有コレクションは プリエンプティブ4Dプロセス と互換性があるという点で利点があります。つまり、New process や CALL WORKER といったコマンドの引数として、参照の形で渡すことができるということです。

共有オブジェクトと共有コレクションは、標準の C_OBJECT と C_COLLECTION コマンドで宣言された変数に保存することができますが、専用のコマンドを使用してインスタンス化されている必要があります:

  • 共有オブジェクトを作成するには、New shared object コマンドを使用します。
  • 共有コレクションを作成するには、New shared collection コマンドを使用します。

注: 共有オブジェクトと共有コレクションは標準の (非共有の) オブジェクトおよびコレクションのプロパティとして設定することができます。

共有オブジェクト/コレクションを編集するには、Use...End use 構文を使う必要があります。 共有オブジェクト/コレクションの値を読むにあたっては、Use...End use は必要ありません。

Storage コマンドが返す、データベースにおいて固有かつグローバルなカタログは、そのデータベース内あるいはコンポーネントからいつでも利用することができ、すべての共有オブジェクトおよびコレクションを保存するのに使用することができます。

共有オブジェクト/共有コレクションの使用​

New shared object あるいは New shared collection コマンドでインスタンス化されると、その共有オブジェクト/コレクションの属性と要素はどのプロセスからでも編集/読み出しができるようになります。

編集​

共有オブジェクトと共有コレクションは、編集することが可能です:

  • オブジェクトプロパティの追加・削除
  • 値の追加・編集 (共有オブジェクトがサポートしている範囲内で)。これには、他の共有オブジェクトやコレクションの追加・編集も含まれます (この場合、共有グループを作成します。後述参照)

ただし、共有オブジェクトあるいは共有コレクションを編集するコードは、必ず Use...End use 構文に組み込まれている必要があり、そうでない場合にはエラーが返されます。

 $s_obj:=New shared object("prop1";"alpha")
 Use($s_obj)
    $s_obj.prop1:="omega"
 End Use

一度に 1プロセスのみ、共有オブジェクト/コレクションを編集することができます。 Use は共有オブジェクト/コレクションを他のスレッドからアクセスできないようにロックする一方、End use はこのロックを解除します。 Use...End use を使わずに共有オブジェクト/コレクションを編集しようとすると、エラーが生成されます。 すでに他のプロセスによって使用されている共有オブジェクト/コレクションに対して、別のプロセスが Use...End use を呼び出した場合、先着プロセスが End use でロックを解除するまで、その呼び出しは待機状態になります (エラーは生成されません)。 したがって、Use...End use 構文内の処理は迅速に実行され、ロックは可及的速やかに解除される必要があります。 そのため、共有オブジェクト/コレクションをインターフェース(ダイアログボックスなど) から直接編集することは避けることが強く推奨されます。

共有オブジェクト/コレクションを他の共有オブジェクト/コレクションのプロパティあるいは要素に割り当てることは可能で、このとき 共有グループ が作成されます。 共有グループは、共有オブジェクト/コレクションのプロパティ値あるいは要素として他の共有オブジェクト/コレクションが設定されたときに自動的に作成されます。 共有グループを使用すると共有オブジェクトを入れ子にすることができますが、以下のルールに気をつける必要があります:

  • あるグループの共有オブジェクト/コレクションに対して Use を使うと、そのグループに所属するすべての共有オブジェクト/コレクションのプロパティ/要素がロックされます。
  • 共有オブジェクト/コレクションは一つの共有グループにしか所属することができません。 すでにグループに所属している共有オブジェクト/コレクションを他のグループへと割り当てようとした場合、エラーが返されます。
  • 一旦グループ化された共有オブジェクト/コレクションについて、グループを解除することはできません。 一度共有グループに含まれた共有オブジェクト/コレクションは、セッション中はずっと同グループに所属することになります。 親オブジェクト/コレクションから子オブジェクト/コレクションへの参照をすべて削除したとしても、両者のリンクが解除されるわけではありません。

共有グループのルールについての詳細は、例題2を参照してください。

読み出し​

たとえ共有オブジェクト/コレクションが他のプロセスによって使用中であっても、それらのプロパティや要素は、Use...End use 構文を呼び出さずとも取得することが可能です。

ただし、複数の値が互いにリンクしていてそれらを一度に読み出す必要がある場合には、一貫性の観点から、共有オブジェクト/コレクションを Use...End use 内で扱う必要があります。

複製​

共有オブジェクト (あるいは共有オブジェクトをプロパティとして格納しているオブジェクト) に対して OB Copy コマンドを使用することは可能ですが、含まれている子オブジェクト含め、標準 (非共有) のオブジェクトが戻り値として返されます。

ストレージ​

ストレージ は固有の共有オブジェクトで、各アプリケーションおよびマシン上で利用可能です。 この共有オブジェクトは Storage コマンドから返されます。 このオブジェクトは、他のプリエンティブあるいは標準プロセスからでも利用出来るように、セッション中に定義されたすべての共有オブジェクト/コレクションを参照するためのものです。

ストレージ オブジェクトは標準の共有オブジェクトとは異なり、共有オブジェクト/コレクションがプロパティとして追加されたときでも共有グループを作成しないという点に注意してください。 この例外的な振る舞いにより、ストレージ オブジェクトを使用するたびに、リンクされている共有オブジェクト/コレクションをすべてロックせずに済みます。

詳細な情報については、Storage コマンドの詳細を参照してください。

Use...End use​

Use...End use 構文の正式なシンタックスは、以下の通りです:

 Use(Shared_object_or_Shared_collection)
    statement(s) // ステートメント
 End use

Use...End use 構文は、内部セマフォーの保護下において Shared_object_or_Shared_collection 引数に対して処理を実行するステートメントを定義します。 Shared_object_or_Shared_collection として任意の有効な共有オブジェクトあるいは共有コレクションを渡すことができます。

共有オブジェクトおよび共有コレクションは、プロセス間の (とくに プリエンプティブ4Dプロセス 間の) 通信ができるように設計されています 。 これらはプロセスから他のプロセスへ、参照型の引数として渡すことができます。 共有オブジェクトおよび共有コレクションについての詳細な情報については、共有オブジェクトと共有コレクション を参照してください。 共有オブジェクトおよび共有コレクションを扱う際には、複数プロセスによる同時アクセスを避けるために、必ずそれらを Use...End use キーワードでくくる必要があります。

  • Use の実行が成功すると、対応する End use が実行されるまで、Shared_object_or_Shared_collection のプすべてのロパティ/要素は他のあらゆるプロセスに対し書き込みアクセスがロックされます。
  • statement(s) で実行されるステートメントは、Shared_object_or_Shared_collection のプロパティ/要素に対して、競合アクセスのリスクなしに変更も実行することができます。
  • Shared_object_or_Shared_collection に他の共有オブジェクトあるいはコレクションがプロパティとして追加された場合、それらも同じ共有グループとして連結されます (共有オブジェクト/共有コレクションの使用 を参照してください)。
  • **Use...End use ** 内ステートメントの実行中に、他のプロセスが Shared_object_or_Shared_collection のプロパティやリンクされたプロパティにアクセスしようとした場合、そのアクセスは自動的に保留され、実行中の処理が終了するまで待機します。
  • End use は、Shared_object_or_Shared_collection プロパティおよび、同じロック識別子を共有するすべてのオブジェクトのロックを解除します。
  • 4D コード内では、複数の Use...End use 構文を入れ子にすることができます。 この場合、すべてのロックはスタックされ、プロパティ/要素は最後の End use が実行されたときに解除されます。

注: コレクションのメンバーメソッドが共有コレクションを変更する場合、そのメソッド実行中は、対象の共有コレクションに対して Use が内部的に自動で呼ばれます。

例題 1​

それぞれ異なる製品の在庫更新を実行する複数のプロセスを起動し、同じ共有オブジェクトを更新していきます。 まずメインプロセスで空の共有オブジェクトをインスタンス化してから、共有オブジェクトへの参照と対象製品を引数として渡して別プロセス起動します:

 ARRAY TEXT($_items;0)
 ... // 在庫を確認する製品を配列に格納します
 $nbItems:=Size of array($_items)
 C_OBJECT($inventory)
 $inventory:=New shared object
 Use($inventory)
    $inventory.nbItems:=$nbItems
 End use

  // プロセスを起動します
 For($i;1;$nbItems)
    $ps:=New process("HowMany";0;"HowMany_"+$_items{$i};$_items{$i};$inventory)
  // $inventory オブジェクトは参照で渡されます
 End for

"HowMany" メソッド内では、在庫確認が終わるとすぐに $inventory 共有オブジェクトが更新されます:

 C_TEXT($1)
 C_TEXT($what)
 C_OBJECT($2)
 C_OBJECT($inventory)
 $what:=$1 // 可読性のため
 $inventory:=$2

 $count:=CountMethod($what) // 在庫確認用のメソッド
 Use($inventory) // 共有オブジェクトを使用します
    $inventory[$what]:=$count  // 当該製品の在庫を保存します
 End use

例題 2​

以下の例題は、共有グループを扱う際のルールについて説明しています:

 $ob1:=New shared object
 $ob2:=New shared object
 Use($ob1)
    $ob1.a:=$ob2  // グループ1 が作成されます
 End use

 $ob3:=New shared object
 $ob4:=New shared object
 Use($ob3)
    $ob3.a:=$ob4  // グループ2 が作成されます
 End use

 Use($ob1) // グループ1のオブジェクトを使用します
    $ob1.b:=$ob4  // これはエラーになります
  // $ob4 はすでに他のグループに所属しているため
  // 代入することはできません
 End use

 Use($ob3)
    $ob3.a:=Null // グループ2から$ob4 への参照をすべて解除します

 End use

 Use($ob1) // グループ1のオブジェクトを使用します
    $ob1.b:=$ob4  // これもエラーになります
  // $ob4 は依然としてグループ2に所属しているため
  // 代入は不可能です
 End use