以下のような単一スレッド型 Maple コードがあります。:

ここで  f  を計算するには、最初に fc1 を実行してから fc2 を実行し、その後 cont を実行して引数としての fc1 と fc2 の値を返す方法があります。

Task Programming Model の場合、fc1 と fc2 および cont を一つずつ実行する代わりに、それぞれの関数に対応した task(タスク) を作成します。タスクとは小さな作業単位のことで、Maple では関数の呼び出しとして表されます。つまり、当該プロシージャを実行するためのプロシージャと引数です。このようなタスクは自動的にスケジュールが設定されて利用可能なスレッド上で実行されます。前述の  cont は、fc1 と fc2 という戻り値と従属関係にあるため、cont は fc1 と fc2 が完了するまでは開始できません。また、タスクによっては、実行可能になるまで他のタスクの完了を待機する必要があります。実行タスクの戻り値は待機中のタスクに引数として渡されます。すべてのタスクの引数が利用可能になると、タスクを実行できるようになります。

タスクは新しいタスクを作成できます。自身が実行可能になるために別のタスクの完了を待機しているタスクがある状況下では、タスク同士の従属関係ツリーが作成されます。リーフ (葉) はいつでも実行できますが、内部ノードは引数が渡されてはじめて実行可能になります。

次の例はこれらの従属関係を表したものです。

このコードにより、ID を出力してから自身の子タスクを作成するか、ID の出力後に単に自身の ID を返すといういずれかのタスクが作成されます。多重コアマシンで実行している場合は、出力は実行ごとに変化し、互いに組み合わされる場合もあります。

この簡潔な例では、最初にタスク root が実行され、次にルートの 2 つの子タスク、root->1 と root->2 が実行されます。その後、root に対して継続タスク cont が実行されます。次のように考えると継続ジョブの目的が理解できます。タスクとは、常に完了を目指して動作するものであり、いったん始動すると、他のタスクを待つことはありません。とはいえ、親タスクの完了前に子タスクが完了していない可能性があります。したがって、新しいタスクが作成されるときは、継続 タスクも作成されます。この継続タスクは、従属ツリーの現在実行中のタスクに置き換わります。これにより、継続ジョブ (上記の例 cont) からの戻り値がこれを作成したタスクの親 (root) に渡されます。この例では、子タスクの戻り値が含まれたリストが継続タスクの cont から返されます。この場合、cont の戻り値が root の親である Start に返されます。root の戻り値は破棄されます。

次に、やや大きいコードの実行例を示します。

この場合、実行されるタスク数が多くなるため、この例題を複数回実行するのは、複数の命令を出すようなものです。ただし、タスクの実行順序がどうであれ戻り値は常に同じです。

次の例は、分割統治問題の解を求める場合の Task Programming Model の使用方法を示したものです。例では  i の数を j に追加します。

Threads:-Task:-Start を呼び出すと、開始タスク task が作成され、このタスクの値またはその継続タスクが返されます。基本的な分割統治手法に従って task が開始します。ここでは、与えられた範囲の規模がチェックされ、この範囲が一定以下の場合、task は合計を直接計算します。範囲の大きさが一定以上の場合は半分に分割してからそれぞれに対して新たにタスクを作成します。計算が終了すると、結果の合計が継続ジョブの cont に返され、値が加算されて合計が返されます。Threads:-Task:-Continue 関数は子タスクと継続タスクを作成するために使用します。

Task Programming Model は、Start と Continue という 2 種類の関数で構成されています。

次に、Task Programming Model の動作方法を簡単に示します。