バージョン: 20 R6 BETA

プリエンプティブプロセス

コンパイルされたコードは、プリエンプティブプロセス として実行できます。この新機能のおかげで、コンパイルされた 4Dアプリケーションはマルチコアコンピューターの利点をすべて活かすことができ、それによって実行速度が向上し、またより多くのユーザーの接続をサポートすることができます。

プリエンプティブプロセスとは？

プリエンプティブ モードで実行された場合、プロセスは CPU に割り当てられます。プロセス管理はシステムへと委任され、マルチコアのマシン上にてシステムはプロセスをそれぞれのCPUへと個別に割り当てます。

コオペラティブ モードで実行された場合には、たとえマルチコアのマシン上であっても、すべてのプロセスは親アプリケーションのスレッドにより管理され、同じ CPU を共有します。

結果として、プリエンプティブモードでは、アプリケーションの全体的なパフォーマンスは向上します。マルチコアのマシン上では複数のプロセス (スレッド) が真実同時実行可能であるため、パフォーマンスの向上はさらに顕著になります。 (ただし、実際のパフォーマンスの差は、実行される処理に依存します。) その一方で、プリエンプティブモードではそれぞれのスレッドが他から独立しており、アプリケーションによって直接管理されている訳ではないため、プリエンプティブに準拠させるにあたってはメソッドに特定の制約が課されます。それに加え、プリエンプティブ実行は特定のコンテキストでのみ使用可能です。

プリエンプティブモードの利用可能状況

プリエンプティブモードの使用は、以下の実行コンテキストでサポートされています:

コンテキスト	プリエンプティブ実行
4D Server	◯
4Dリモート	◯ (ServerNet または QUIC 使用時)
4D シングルユーザー	◯
コンパイルモード	◯
インタープリターモード	×

実行コンテキストがプリエンプティブモードをサポートし、かつメソッドが "スレッドセーフ" である場合、New process あるいは CALL WORKER コマンドあるいは "メソッドを実行" メニュー項目を使用してローンチされた新しい 4Dプロセスは、プリエンプティブスレッド内にて実行されます。

それ以外の場合で、サポートされていない実行コンテキスト (たとえばインタープリタモードなど) から New process あるいは CALL WORKER コマンドを呼び出した場合、プロセスは常にコオペラティブに実行されます。

スレッドセーフとスレッドアンセーフ

4Dコードは、いくつかの特定の条件に合致していた場合に限りプリエンプティブスレッド内で実行することができます。実行コードのそれぞれの部分 (コマンド、メソッド、変数など) がプリエンプティブ実行に準拠している必要性があります。プリエンプティブスレッドで実行可能な要素はスレッドセーフと呼ばれ、プリエンプティブスレッドで実行できない要素はスレッドアンセーフと呼ばれます。

注

スレッドは、親プロセスメソッドをスタートとして独自に管理されているので、呼び出しチェーン全体のどこにおいてもスレッドアンセーフなコードが含まれていてはいけません。そのようなコードが含まれていた場合、プリエンプティブに実行することはできません。この点については、こちらの章で詳細な説明があります。

要素毎の "スレッドセーフティ" プロパティは、その要素自身によります:

4Dコマンド: スレッドセーフティは内部プロパティです。 4Dランゲージリファレンス内では、スレッドセーフなコマンドはのアイコンで識別されています。 Command name コマンドを使用して、コマンドがスレッドセーフであるかどうかを知ることもできます。 4Dコマンドの大部分はプリエンプティブモードで実行可能です。
プロジェクトメソッド: スレッドセーフであるための条件はこちらの段落にまとめられています。

原則として、プリエンプティブスレッド内で実行されるコードは外部との相互作用する部分、たとえばプラグインコードやインタープロセス変数などを呼び出すことはできません。しかしながら、4Dデータサーバーと ORDA はプリエンプティブ実行をサポートしていることから、データアクセスは可能です。

プリエンプティブ実行宣言

デフォルトでは、4D はアプリケーション内のプロジェクトメソッドをすべてコオペラティブモードで実行します。プリエンプティブモードを利用したい場合は、まず最初に、可能な限りプリエンプティブモードで開始したいメソッドをすべて明示的に宣言することから始まります。これはつまり、プリエンプティブプロセスで実行可能なメソッドであるということです。コンパイラーは、それらのメソッドが実際にスレッドセーフであるかどうかをチェックします。また、必要であれば、一部のメソッドに対してプリエンプティブモードを禁止することもできます。

プリエンプティブで使用可能 ("capable") であると宣言することは、当該メソッドにプリエンプティブ実行の資格を与えますが、実行時にそのメソッドが実際にプリエンプティブモードで実行されることを保障するものではないことに留意が必要です。プロセスをプリエンプティブモードで開始することは、プロセス内の呼び出しチェーン内のすべてのメソッドの関連プロパティを 4Dが評価して初めて可能になります。

メソッドがプリエンプティブモードに則していることを宣言するためには、メソッドプロパティダイアログボックスの "実行モード" 宣言オプションを使用する必要があります:

以下のオプションが提供されています:

プリエンプティブプロセスで実行可能: このオプションをチェックすると、メソッドがプリエンプティブプロセスでの実行が可能であると宣言し、可能な場合にはプリエンプティブモードで実行するべきと宣言します。メソッドの "preemptive" プロパティは "capable" に設定されます。

このオプションがチェックされている場合、4Dコンパイラーはメソッドが実際にプリエンプティブモードで実行可能かどうかを検証し、そうでない場合 (たとえば、プリエンプティブモードで実行不可能なコマンドやメソッドを直接的あるいは間接的に呼び出している場合など) にはエラーを返します。なお、コールチェーンはすべて解析されますが、最初のサブレベルに対してのみエラーが報告されます。エラーの場合には、メソッドを編集してスレッドセーフにするか、あるいは別のオプションを選択します。

メソッドのプリエンプティブ性が証明されると、内部で "thread safe" というタグ付けがされ、すべての要件が満たされればプリエンプティブモードで実行されます。このプロパティはプリエンプティブモードの資格を定義しますが、メソッドが実際にプリエンプティブモードで実行されることを保証するものではありません。プリエンプティブ実行モードは特定のコンテキストを必要とするからです。
プリエンプティブプロセスでは実行不可: このオプションをチェックすると、当該メソッドはプリエンプティブモードでの実行は不可能であると宣言し、以前の 4D のバージョンと同様に常にコオペラティブモードで実行されます。メソッドの "preemptive" プロパティは "incapable" に設定されます。

このオプションがチェックされている場合、4Dコンパイラーはメソッドがプリエンプティブ実行可能かどうかを検証しません。メソッドは内部で自動的に "thread unsafe" とタグ付けされます (たとえ、理論的にはスレッドセーフであってもです)。ランタイムで呼び出された場合、このメソッドは同じスレッド内の他のメソッドを "汚染" し、他のメソッドがスレッドセーフであったとしても、スレッドはコオペラティブモードでの実行を強制されます。
特に設定しない (デフォルト): このオプションをチェックすると、当該メソッドについてはプリエンプティブプロパティを管理しないことを宣言します。メソッドの "preemptive" プロパティは "indifferent" に設定されます。

このオプションがチェックされているとき、4Dコンパイラーはメソッドのプリエンプティブ性を評価し、内部的に "thread safe" あるいは "thread unsafe" のタグ付けをします。プリエンプティブ実行に関するエラーは報告されません。メソッドがスレッドセーフと評価されていれば、ランタイムでプリエンプティブコンテキストから呼び出された場合にはプリエンプティブスレッド実行を妨げません。逆に、メソッドがスレッドアンセーフであると評価された場合には、ランタイムで呼び出された場合に、プリエンプティブなスレッド実行を不可能にします。

このオプションを使用した場合、内部でのスレッドセーフ評価に関わらず、最初の親メソッドとしてメソッドが 4D から直接呼び出された場合 (たとえば New process コマンドから呼び出された場合など)、メソッドは常にコオペラティブモードで実行されます。内部で "thread-safe" とタグ付けされている場合、そのタグはコールチェーン内で他のメソッドから呼び出された場合に限り考慮されます。

特殊なケース

メソッドの コンポーネントとホストプロジェクト間で共有 プロパティがチェックされている場合、特に設定しない オプションを選択するとメソッドは自動的にスレッドアンセーフであるとタグ付けされます。共有コンポーネントメソッドをスレッドセーフにしたい場合には、プリエンプティブプロセスで実行可能 オプションを明示的に選択する必要があります。

プロセスがプリエンプティブに実行される条件とは?

注記

プリエンプティブ実行はコンパイル済みモードでのみ利用可能です。

コンパイル済みモードでは、New process あるいは CALL WORKER メソッドで作成されたプロセスを開始するとき、4D はプロセスメソッド (別名親メソッド) のプリエンプティブプロパティを読み、そのプロパティに応じてプロセスをプリエンプティブモードあるいはコオペラティブモードで実行します:

プロセスメソッドが "thread safe" であった場合 (コンパイル時に評価)、プロセスはプリエンプティブスレッド内で実行されます。
プロセスメソッドが "thread unsafe" であった場合、プロセスはコオペラティブスレッド内で実行されます。
プロセスメソッドのプリエンプティブプロパティが "indifferent" であった場合、(メソッドが実際にはプリエンプティブに実行可能だったとしても) 互換性のためにプロセスはコオペラティブスレッド内で実行されます。この互換性機能はメソッドがプロセスメソッドとして使用された場合にのみ適用されるという点に注意してください。また "indifferent" と宣言されたもののコンパイラーによって内部で "thread safe" とタグ付けされたメソッドに関しては、他のメソッドからプリエンプティブに呼び出すことが可能です (以下参照)。

実際のスレッドセーフプロパティは呼び出しチェーンによります。 "capable" と宣言されたプロパティを持つメソッドが、スレッドアンセーフなメソッドをサブレベル (どの階層でも) で呼び出した場合、コンパイルエラーが返されます。呼び出しチェーン全体の中で一つでもメソッドがスレッドアンセーフであれば、それは他のすべてのメソッドをいわば "汚染" し、プリエンプティブ実行はコンパイラーによって拒否されます。プリエンプティブスレッドは、呼び出しチェーン全体がスレッドセーフであり、プロセスメソッドが "プリエンプティブプロセスで実行可能" と宣言されている場合にのみ作成可能です。その一方で、同じスレッドセーフメソッドを、呼び出しチェーン内ではプリエンプティブスレッド内で実行し、他の呼び出しチェーン内ではコオペラティブスレッド内で実行することが可能です。

たとえば、次のプロジェクトメソッドの場合:

  // MyDialog プロジェクトメソッド
  // インターフェースコールを含み、内部的にスレッドアンセーフです
 $win:=Open form window("tools";Palette form window)
 DIALOG("tools")

  // MyComp プロジェクトメソッド
  // 単純な演算を含み、内部的にスレッドセーフです
 #DECLARE($value : Integer) -> $result : Integer
 $result:=$value*2

  // CallDial プロジェクトメソッド
 var $vName : Text
 MyDialog

  // CallComp プロジェクトメソッド
 var $vAge : Integer
 MyComp($vAge)

プリエンプティブモードでのメソッド実行は、"プリエンプティブ" プロパティや呼び出しチェーンに依存します。以下の表は、これらの様々な状況をまとめたものです:

コンパイル	実行モード	説明
OK	プリエンプティブ	CallComp は親メソッドで、プリエンプティブな使用が "capable" (可能) と宣言されています。MyComp は内部的にスレッドセーフなので、CallComp も内部的にスレッドセーフとなり、プロセスはプリエンプティブになります
エラー発生	実行不可能	CallDial は親メソッドでプリエンプティブ "capable" (可能)、MyDialog は "indifferent" と宣言されています。しかし、MyDialog が内部的にはスレッドアンセーフのため、呼び出しチェーンを "汚染" してしまいます。 CallDial の宣言と実際の実効性が矛盾するためコンパイルは失敗します。解決方法は、MyDialog を変更してスレッドセーフにして実行をプリエンプティブにするか、CallDial のプロパティを変更してコオペラティブに実行するようにします。
OK	コオペラティブ	CallDial はプリエンプティブな使用が "incapable"(不可) と宣言されているのでコンパイル時には内部的にスレッドアンセーフとなり、MyDialog の状況に関わらず実行はかならずコオペラティブになります。
OK	コオペラティブ	CallComp が親メソッドでプロパティが "indifferent" のため、呼び出しチェーンがすべてスレッドセーフでも、プロセスはコオペラティブになります。
OK	コオペラティブ	CallDial が親メソッドでプロパティが "indifferent" のため、プロセスはコオペラティブになり、コンパイルは成功します。

実際の実行モードの調べ方

4Dではプロセスに対してコオペラティブ実行かプリエンプティブ実行かを識別する機能を提供しています:

PROCESS PROPERTIES コマンドを使用するとプロセスがプリエンプティブモードあるいはコオペラティブモードで実行されているかを調べる事ができます。
ランタイムエクスプローラーと 4D Server管理ウィンドウは、どちらもプリエンプティブプロセスに対して新しい特定のアイコンを表示するようになりました:

スレッドセーフなメソッドの書き方

スレッドセーフであるためには、メソッドは以下のルールに従う必要があります:

"プリエンプティブプロセスで実行可能" もしくは "特に設定しない" プロパティを持っている
スレッドセーフでない 4Dコマンドを呼び出していない
スレッドセーフでない他のプロジェクトメソッドを呼び出していない
スレッドセーフでないプラグインを呼び出していない
インタープロセス変数を使用していない(1)
インターフェースオブジェクトを呼び出していない(2) (例外あり、以下参照)

(1) プリエンティブプロセス間 (およびすべてのプロセス間) でデータを交換するためには、共有コレクションあるいは共有オブジェクトを引数としてプロセスに渡すか、Storage カタログを使用することができます。ワーカープロセスという新種のプロセスによって、プリエンプティブプロセスを含むあらゆるプロセス間でデータの交換ができるようになります。

CALL FORM コマンドを使用すると、プリエンプティブプロセスからインターフェースオブジェクトを呼び出せるというスマートなソリューションが可能になります。

注記

"コンポーネントとホストデータベース間で共有" メソッドの場合、"プリエンプティブプロセスで実行可能" プロパティが選択されている必要があります。
すべての SQLステートメントはスレッドセーフです。 Begin SQL/End SQL ブロックに挿入される SQLコードは、以下の条件に従う必要があります:
- 4D Server あるいは 4Dローカルデータベースに適用される (ODBC あるいは SQL LOGIN 経由のリモートデータベースではスレッドセーフではありません。ただし、USE DATABASE を使用したローカルなデータベースはスレッドセーフです)。
- SQLステートメントから呼び出されるトリガーはすべてスレッドセーフでなければなりません (以下のトリガーを参照ください)。

"プリエンプティブプロセスで実行可能" プロパティを持つメソッドは、コンパイル時に 4D によってチェックされます。メソッドがスレッドセーフになるのを妨げる要因をコンパイラーが見つけた場合にはコンパイルエラーが生成されます:

info

スレッドセーフであるかどうかの検証は局所的に無効化することができます

シンボルファイル (有効化されていた場合)には、それぞれのメソッドについてのスレッドセーフの状態が含まれます。

ユーザーインターフェース

厳密に言えば "外部" アクセスにあたるため、フォームやデバッガーなどのユーザーインターフェースオブジェクトへの呼び出しは、プリエンプティブスレッドでは許可されません。

プリエンプティブスレッドからアクセス可能なユーザーインターフェースは以下のものに限られます:

標準のエラーダイアログ。ダイアログはユーザーモードプロセス (4D)、あるいはサーバーユーザーインターフェースプロセス (4D Server) 内で表示されます。ただし トレース ボタンは無効化されます。
標準の進捗インジケーター
ALERT、Request そして CONFIRM ダイアログ。ダイアログはユーザーモードプロセス (4D)、あるいはサーバーユーザーインターフェースプロセス (4D Server) 内で表示されます。ただし、4D Server を Windows上でユーザー操作を許可しないサービスとしてローンチした場合には、ダイアログは表示されないという点に注意して下さい。

Triggers

トリガーを呼び出すことのあるコマンドをメソッドが使用している場合、4Dコンパイラーはメソッドがスレッドセーフであるかどうかをチェックするために、トリガーがスレッドセーフかどうかを評価します:

 SAVE RECORD([Table_1]) // Table_1 にトリガーが存在する場合、トリガーはスレッドセーフでなければなりません

以下は、トリガーがスレッドセーフであるかどうかがコンパイル時にチェックされるコマンドの一覧です:

SAVE RECORD, SAVE RELATED ONE, DELETE RECORD, DELETE SELECTION, ARRAY TO SELECTION, JSON TO SELECTION, APPLY TO SELECTION, IMPORT DATA, IMPORT DIF, IMPORT ODBC, IMPORT SYLK, IMPORT TEXT

テーブルが動的に渡された場合、コンパイラーはどのトリガーを評価すべきなのかが分からない場合があります。以下はそのような状況の一例です:

 DEFAULT TABLE([Table_1])
 SAVE RECORD
 SAVE RECORD($ptrOnTable->)
 SAVE RECORD(Table(myMethodThatReturnsATableNumber())->)

この場合、すべてのトリガーが評価されます。スレッドセーフでないコマンドの使用が検出されたトリガーが 1つでもあれば、グループ全体がチェックに失敗し、メソッドはスレッドアンセーフと宣言されます。

注

クライアント/サーバーアプリケーションでは、トリガーのコードがスレッドセーフである場合でも、実行はコオペラティブモードでおこなわれることがあります。これは、リモートプロセスからトリガーが呼び出された場合に発生します: この場合、トリガーはサーバーマシン上のクライアントプロセスの "双子" プロセスで実行されます。このプロセスは、クライアントからのすべての呼び出しに使用されるため、常にコオペラティブモードで実行されます。

エラー処理メソッド

ON ERR CALL コマンドによって実装されたエラーキャッチメソッドは、プリエンプティブプロセスから呼び出される可能性が高いのであれば、スレッドセーフでなければなりません。このような状況を管理するため、コンパイラーは ON ERR CALL コマンドに渡されたエラーキャッチプロジェクトメソッドのスレッドセーフプロパティをコンパイル時にチェックし、メソッドがプリエンプティブ実行に適応していない場合には適切なエラーを返します。

このチェックはメソッド名が定数として渡された場合にのみ可能であり、以下に示すような、計算された値の場合にはチェックされないという点に注意してください:

 ON ERR CALL("myErrMethod1") // コンパイラーによってチェックされます
 ON ERR CALL("myErrMethod"+String($vNum)) // コンパイラーによってチェックされません

これに加え、エラーキャッチプロジェクトメソッドをランタイムで呼び出せない場合 (スレッドセーフに関する問題がある、あるいは "メソッドが見つかりません" などの理由の場合)、エラー -10532 "'methodName'というエラーハンドルメソッドを呼び出す事ができません" が生成されます。

ポインターの互換性

あるプロセスにおいてポインターをデリファレンスし、別のプロセス変数の値へアクセスすることができますが、これは、両プロセスがともにコオペラティブである場合にかぎります。それ以外の場合、4D はエラーを生成します。プリエンプティブプロセスにおいては、4Dコードがインタープロセス変数の値をポインター経由で照会しようとした場合、エラーが生成されます。

以下のメソッドでそのような例を考えます:

Method1:

 myVar:=42
 $pid:=New process("Method2";0;"process name";->myVar)

Method2:

 $value:=$1->

Method1、あるいは Method2 を実行するプロセスのどちらか一つがプリエンプティブであった場合、"$value:=$1->" という式は実行エラーを生成します。

DocRef 参照番号

DocRef 参照番号 (開かれたドキュメントの参照番号。次のコマンドで使用、または戻り値として返されます: Open document, Create document, Append document, CLOSE DOCUMENT, RECEIVE PACKET, SEND PACKET) の使用は次のコンテキストに限られます:

プリエンプティブプロセスからコールされた場合に生成される DocRef 参照は同プリエンプティブプロセスでのみ使用可能です。
コオペラティブプロセスからコールされた場合に生成される DocRef 参照は、別のコオペラティブプロセスでも使用可能です。

部分的なスレッドセーフ検証の無効化

スレッドセーフではないが、実行されることもないと分かっているコマンドがコードに含まれている場合など、コードの一部をスレッドセーフ検証から除外したい場合があるかもしれません。

特定のコードを検証対象から除外するには、コメント形式の専用ディレクティブ %T- および %T+ でそのコードを挟みます。 //%T- は以降のコードを検証から除外し、//%T+ は以降のコードに対する検証を有効に戻します:

  // %T- 検証を無効にします
 
  // スレッドセーフ検証から除外するコード
 $w:=Open window(10;10;100;100) // 例
 
  // %T+ 検証を有効に戻します

無効化および有効化用のディレクティブでコードを挟んだ場合、そのコードがスレッドセーフかどうかについては、開発者が熟知している必要があります。プリエンプティブなスレッドでスレッドセーフでないコードが実行された場合には、ランタイムエラーが発生します。