PIONEチュートリアル - 変更履歴

Takahiro: /* 基本 */

2016-04-20T07:16:29Z

‎基本

Takahiro: /* 基本１４（例外） */

2016-04-20T07:12:31Z

‎基本１４（例外）

Takahiro: /* 基本１４（例外） */

2016-04-20T07:12:06Z

‎基本１４（例外）

Takahiro: /* 基本１３（orの使用例） */

2016-04-20T07:10:12Z

‎基本１３（orの使用例）

Takahiro: /* 基本１３（orの使用例） */

2016-04-20T07:09:32Z

‎基本１３（orの使用例）

Takahiro: /* 基本１２（チケット） */

2016-04-20T07:07:35Z

‎基本１２（チケット）

Takahiro: /* 基本１１（ループ文２） */

2016-04-20T07:05:36Z

‎基本１１（ループ文２）

Takahiro: /* 基本１１（ループ文２） */

2016-04-20T07:04:50Z

‎基本１１（ループ文２）

Takahiro: /* 基本１０（ループ文） */

2016-04-20T07:02:31Z

‎基本１０（ループ文）

Takahiro: /* 基本９（インタラクションAPIの使用） */

2016-04-20T07:00:21Z

‎基本９（インタラクションAPIの使用）

@@ 行77: / 行77: @@
 これが、一番シンプルなルールの書き方です。入力ファイルがないので、出力ファイルがなければ作成し、あれば作成しないという動作をします。<br>
-必要以上の動作をしないところが通常のシェルスクリプトを実行する場合と異なる点です。
+必要以上の動作をしないところが通常のシェルスクリプトを実行する場合と異なる点です。<br>
+<br>
 === 基本２（特定のファイルを入力し、出力する（更新判定）） ===
@@ 行219: / 行219: @@
 MultiplyingOutput/outputのディレクトリにはどんなファイルができあがったでしょうか。<br>
-そうですね。test.in.outができあがっています。何故かを考えてみましょう。
+そうですね。test.in.outができあがっています。何故かを考えてみましょう。<br>
+<br>
 === 基本３（複数ファイルの入力と複数ファイルの出力）===
@@ 行306: / 行306: @@
 必要なファイルの更新だけを、できれば複数のホストや一台でもマルチコアＣＰＵを使って、同時に動かすともっと早く終了できるようになるはずです。
-　さて、それではどのようにすればよいのでしょうか。それが次の基本４になります。だんだんPIONEらしくなってきます。
+　さて、それではどのようにすればよいのでしょうか。それが次の基本４になります。だんだんPIONEらしくなってきます。<br>
+<br>
 === 基本４（複数ファイルの入力と複数ファイルの出力の並列処理）===
@@ 行403: / 行403: @@
 ====[[基本４の補足（eachでの速度検証）]]====
-eachを使った並列化処理による計算速度向上の一例を示しています。<br><br>
+eachを使った並列化処理による計算速度向上の一例を示しています。<br>
 <br>
 === 基本５（直列：フロールールの設定 ）===
@@ 行642: / 行642: @@
 ====[[基本５の補足（並列処理での速度向上例）]]====
-基本5のプログラムに関して速度向上の例を示しています。<br><br>
+基本5のプログラムに関して速度向上の例を示しています。<br>
 <br>
 === 基本６（パラメータの定義） ===
 　入力データは、ファイルから読み取る以外にパラメータとして使用する方法があります。<br>
@@ 行888: / 行888: @@
 allの場合はsub_val1=(10|20), sub_val2=(100|200)として組み合わせるので、上記のように１つのルールが動くだけです。<br>
 このようにパラメータについてもeach, allを使うことでルールの振り分けが可能です。<br>
+<br>
 === 基本７（条件文） ===
 ==== if文 ====
@@ 行1,029: / 行1,029: @@
 　条件文を使って、デバッグの切り替えの手間が少なくなる方法を考えてみましょう。<br>
 <br>
 === 基本８（インタラクティブ操作） ===
 　ここまでは、コマンドを実行すると結果出力までの動作を全てプログラムに委ねる、一方通行の処理を記述してきました。<br>
@@ 行1,187: / 行1,186: @@
 </table>
 <br>
+<br>
 === 基本９（[[インタラクションAPI]]の使用） ===
 　[[インタラクションAPI]]を使用してワーキングディレクトリに通知を送ることで、ファイル操作や終了などを命令することができます。.htmlや.cgiに記述することにより、[[ユーザ]]からの操作を受けてこれらの命令を実行することができます。<br>
@@ 行1,360: / 行1,359: @@
 操作を終えるときには終了をクリックして下さい。終了通知が送られてインタラクティブ処理が完了します。<br>
 また、htmlなどを実装する上で終了時には必ず終了通知finishを送信するように注意しましょう。<br>
+<br>
 === 基本１０（ループ文） ===
 　[[PIONE定義書]]にてループ文を作成してみましょう。<br>
@@ 行1,498: / 行1,497: @@
 それぞれの値について偶数奇数の処理が実行されていることが確認できました。<br>
+<br>
 === 基本１１（ループ文２） ===
 　[[#基本１０（ループ文）]]でループの作成方法を示しました。<br>
@@ 行1,617: / 行1,616: @@
 しかし、いずれも入れ子で呼び出されるのでルールが多くなるほど処理が重くなるでしょう。<br>
 そこで１つのルールから一気にループ数だけのルールを呼び出す方法を考えます。この記述方法については[[#基本１５（ループ文３）]]をご覧下さい。<br>
+<br>
 === 基本１２（チケット） ===
 　[[PIONE]]の目的の一つは、できる限り並列処理を行うことですので、必ずしも記述の順番通りにルールが実行される訳ではありません。<br>
@@ 行1,773: / 行1,772: @@
 </pre>
 今度は0.dataが含まれるようになりました。<br>
+<br>
 === 基本１３（orの使用例） ===
 　inputやoutputで宣言するときにorや|で繋ぐと、指定した複数種類のファイルからいずれかを入力や出力に使用することができます。<br>
@@ 行1,880: / 行1,879: @@
 </pre>
 err.txtが作成されて完了します。<br>
+<br>
 === 基本１４（例外） ===
 　[[PIONE]]でも入出力ファイルにワイルドカード*を使用して全ての該当ファイルを対象とできますが、exceptを使用することにより対象外とするファイルを指定できます。メソッドexcept, exceptionsについては[[PIONEの式#データ表現型]]を参照して下さい。<br>
@@ 行1,984: / 行1,983: @@
 上記の例ではoutputに例外が$I[1] or $I[2] or $I[3]と設定されているので、{$O[1].exceptions()}では1.txt 2.txt 3.txtのリストとして得られるので、for文がこれらのファイルによって回ることになります。<br>
 <br>
 === 基本１５（ループ文３） ===
 [[#基本１０（ループ文）]]、[[#基本１１（ループ文２）]]にてループ文を記述する方法を示しました。しかし、いずれも多くのルールを入れ子で呼ぶことになり、ループ数が多くなると入出力ファイルの引き継ぎも多くなり時間が掛かってしまいます。今回は一つのルールから全てのルールを呼び出すようにしてループを行うようにしてみます。<br>
@@ 行2,070: / 行2,068: @@
 上記の場合は変数loopにパラメータから計算したループ数を設定しています。<br>
 <br>
 === 基本１６（ランダム） ===
 メソッドrandomを使用するとランダムに選んだファイルを出力することができます。（現v0.5.0では未実装）<br>

@@ 行1,983: / 行1,983: @@
 </pre>
 上記の例ではoutputに例外が$I[1] or $I[2] or $I[3]と設定されているので、{$O[1].exceptions()}では1.txt 2.txt 3.txtのリストとして得られるので、for文がこれらのファイルによって回ることになります。<br>
 === 基本１５（ループ文３） ===

@@ 行1,882: / 行1,882: @@
 === 基本１４（例外） ===
-[[PIONE]]でも入出力ファイルにワイルドカード*を使用して全ての該当ファイルを対象とできますが、exceptを使用することにより対象外とするファイルを指定できます。メソッドexcept, exceptionsについては[[PIONEの式#データ表現型]]を参照して下さい。<br>
+　[[PIONE]]でも入出力ファイルにワイルドカード*を使用して全ての該当ファイルを対象とできますが、exceptを使用することにより対象外とするファイルを指定できます。メソッドexcept, exceptionsについては[[PIONEの式#データ表現型]]を参照して下さい。<br>
 <br>
 <pre>
@@ 行1,904: / 行1,903: @@
 End
 </pre>
 上記はAllData.txtから1, 2, 3行目を指定した.txtファイルに出力する処理です。出力ファイルは全ての.txtとしていますが、exceptによってAllData.txtを対象外としています。対象外としていない場合はAllData.txtが出力ファイルの条件を満たしていますので、発火しません。<br>
-このファイルは[https://sourceforge.jp/projects/eos/scm/git/tutorial/archive/master/SampleCode/PIONE/Basic14 こちら]からダウンロードできます。
+このファイルは[https://sourceforge.jp/projects/eos/scm/git/tutorial/archive/master/SampleCode/PIONE/Basic14 こちら]からダウンロードできます。<br>
 <br>
 AllData.txtを下記の内容として実行してみます。<br>
@@ 行1,915: / 行1,914: @@
 </pre>
 実行結果<br>
@@ 行1,959: / 行1,957: @@
 </pre>
 , 2, 3行目の内容がそれぞれのファイルに出力されました。<br>
 .except($I[1])を除いた場合は発火しません。<br>
@@ 行1,969: / 行1,966: @@
    <== &Anonymous:Root([.DS_Store,AllData.txt],{})
 </pre>
 また、exceptionsを使用すると設定している例外をリストで得ることができます。<br>
@@ 行1,987: / 行1,983: @@
 </pre>
 上記の例ではoutputに例外が$I[1] or $I[2] or $I[3]と設定されているので、{$O[1].exceptions()}では1.txt 2.txt 3.txtのリストとして得られるので、for文がこれらのファイルによって回ることになります。<br>
 === 基本１５（ループ文３） ===

@@ 行1,807: / 行1,807: @@
 上記の使用例は入力ファイルが１つだけあった場合のみに対応しています。<br>
 複数のファイルがあった場合、複数ファイルで上書きコピーされてしまいます。<br>
 ==== 出力ファイルでの使用例 ====

@@ 行1,775: / 行1,775: @@
 === 基本１３（orの使用例） ===
-inputやoutputで宣言するときにorや|で繋ぐと、指定した複数種類のファイルからいずれかを入力や出力に使用することができます。<br>
+　inputやoutputで宣言するときにorや|で繋ぐと、指定した複数種類のファイルからいずれかを入力や出力に使用することができます。<br>
 以下で使用するファイルは[https://sourceforge.jp/projects/eos/scm/git/tutorial/archive/master/SampleCode/PIONE/Basic13 こちら]からダウンロードできます。<br>
 ==== 入力ファイルでの使用例 ====
@@ 行1,789: / 行1,788: @@
 </pre>
 上記では入力ファイルに1.txt, 2.txt, 3.txtのいずれかがあればout.txtにコピーする処理となっています。<br>
 例えば2.txtだけあった場合でも実行されます。<br>
@@ 行1,830: / 行1,828: @@
 out1.txt, out2.txt, err.txtのいずれかが出力されることで処理が完了しますので、状況に応じて作成するファイルを変えたいときに有効です。<br>
 .nth()は引数で指定した要素を取り出すシーケンスのメソッドです。（参照：[[PIONEの式#シーケンス]]）<br>
 デフォルト（Mode=1）で実行してみます。<br>
@@ 行1,857: / 行1,854: @@
 </pre>
 out1.txtが作成されて完了します。<br>
 Mode=0で実行してみます。<br>

@@ 行1,619: / 行1,619: @@
 === 基本１２（チケット） ===
-[[PIONE]]の目的の一つは、できる限り並列処理を行うことですので、必ずしも記述の順番通りにルールが実行される訳ではありません。<br>
+　[[PIONE]]の目的の一つは、できる限り並列処理を行うことですので、必ずしも記述の順番通りにルールが実行される訳ではありません。<br>
 ルールに順番を持たせたいときにはチケットという機能を利用します。但し、使い過ぎると待ち時間が多くなり並列計算できる[[PIONE]]の長所が活かせなくなってしまいますので注意が必要です。<br>
 下記の内容をご覧下さい。(CreateList-instant.pione)<br>
 このファイルは[https://sourceforge.jp/projects/eos/scm/git/tutorial/archive/master/SampleCode/PIONE/Basic12 こちら]からダウンロードできます。<br>
 <pre>
 Rule Main
@@ 行1,648: / 行1,648: @@
 End
 </pre>
 これはCreateListで.dataファイルの一覧をlist.txtに記述する処理ですが、途中のTouch0でも0.dataファイルを作成しています。<br>
 この0.dataが一覧に含まれるかを検証してみましょう。<br>
 入力ファイル用のディレクトリ(input)内
@@ 行1,657: / 行1,657: @@
 .data	2.data
 </pre>
 まずはMainルールを上記のようにそのまま記述している場合で実行してみます。<br>
@@ 行1,689: / 行1,688: @@
    <== &Anonymous:Root([.DS_Store,1.data,2.data],{})
 </pre>
 では出力ファイルlist.txtを確認してみます。<br>
@@ 行1,699: / 行1,697: @@
 .dataが含まれませんでした。<br>
 これはTouch0とCreateListが同時に動き、Touch0が完了する前にCreateListが実行されているため、作成された0.dataがCreateListの入力ファイルとして登録されなかったからです。<br>
 では、チケットの機能を使ってMainルールを下記のようにしてみます。<br>
@@ 行1,711: / 行1,708: @@
 End
 </pre>
-<br>
+上記のようにチケット名は<>で囲んで、ルールとチケット間を==>で繋いで使用します。<br>
 チケット名を省略したい場合は下記のように記述します。<br>
@@ 行1,719: / 行1,715: @@
 	rule Touch0 >>> CreateList
 </pre>
 下記のように連続させることも可能です。<br>
@@ 行1,725: / 行1,720: @@
 	rule First >>> Second >>> Third
 </pre>
 また複数チケットの発行もできます。<br>
@@ 行1,733: / 行1,727: @@
 	rule <T2> ==> CreateList2
 </pre>
 逆に複数チケットからのルール実行も可能です。<br>
@@ 行1,742: / 行1,735: @@
 </pre>
 上記の場合はチケットT0かつT1が発行されてからCreateListが実行されます。<br>
 では、実行してみます。<br>
@@ 行1,781: / 行1,773: @@
 </pre>
 今度は0.dataが含まれるようになりました。<br>
 === 基本１３（orの使用例） ===

←前の版		2016年4月20日 (水) 07:05時点における版
行1,552:		行1,552:

	このようにすることでループに掛かる時間が改善されます。<br>		このようにすることでループに掛かる時間が改善されます。<br>
−
	あるいはconstraintを使用して下記のように記述する方法もあります。<br>		あるいはconstraintを使用して下記のように記述する方法もあります。<br>

@@ 行1,500: / 行1,500: @@
 === 基本１１（ループ文２） ===
-[[#基本１０（ループ文）]]でループの作成方法を示しました。<br>
+　[[#基本１０（ループ文）]]でループの作成方法を示しました。<br>
 しかし、[[#基本１０（ループ文）]]の書き方では逐次処理となってしまうので、ループ数に比例して処理時間が掛かってしまいます。<br>
-この問題を解決する方法を考えましょう。
+この問題を解決する方法を考えましょう。<br>
 以下に示すのは、val=0がmax=64になるまで1を足し続け、{$val}.txtを作成する、ループを使った処理の例です。<br>
 以下に示していくファイルは[https://sourceforge.jp/projects/eos/scm/git/tutorial/archive/master/SampleCode/PIONE/Basic11 こちら]からダウンロードできます。<br>
 <pre>
 param $max := 64
@@ 行1,531: / 行1,532: @@
 End
 </pre>
-<br>
 このままでは、[[#基本１０（ループ文）]]同様、ループ部分は、逐次処理になっています。<br>
 そこで、ループの箇所を下記のような分割した形に書き換え、並列処理を試みます。<br>
 <pre>
 Rule LoopSystem
@@ 行1,548: / 行1,550: @@
 End
 </pre>
 このようにすることでループに掛かる時間が改善されます。<br>
 あるいはconstraintを使用して下記のように記述する方法もあります。<br>
 <pre>
 Rule LoopSystem
@@ 行1,563: / 行1,566: @@
 End
 </pre>
 また、valの値を加算している箇所ですが、<br>
 <pre>
 	rule LoopSystem {val: ($val * 2) + 1}
 	rule LoopSystem {val: ($val * 2) + 2}
 </pre>
-<br>
 シーケンスを利用して下記のように書くこともできます。（参照：[[PIONEの式#シーケンス]]）<br>
 <pre>
 	rule LoopSystem {val: ($val * 2) + (1|2)}
 </pre>
 問題：これを踏まえて[[#基本１０（ループ文）]]のループを改善してみましょう。<br>
 解答例１<br>
@@ 行1,597: / 行1,599: @@
 End
 </pre>
 Flow内の条件を分割しています。条件式が多少複雑になっていますので、演算の順番に注意しましょう。<br>
 また、現在のバージョンでの四則演算は二項演算のみの対応となっていますので、三項以上の場合は必ず括弧で括るようにして下さい（参照：[[PIONEの式#四則演算における注意事項]]）。<br>
 解答例２：constraintとシーケンスを利用した場合<br>
@@ 行1,613: / 行1,614: @@
 End
 </pre>
 これにより[[#基本１０（ループ文）]]よりも呼び出されるルールの階層は浅くなります。<br>
 しかし、いずれも入れ子で呼び出されるのでルールが多くなるほど処理が重くなるでしょう。<br>
 そこで１つのルールから一気にループ数だけのルールを呼び出す方法を考えます。この記述方法については[[#基本１５（ループ文３）]]をご覧下さい。<br>
 === 基本１２（チケット） ===

@@ 行1,362: / 行1,362: @@
 === 基本１０（ループ文） ===
-[[PIONE定義書]]にてループ文を作成してみましょう。<br>
+　[[PIONE定義書]]にてループ文を作成してみましょう。<br>
 Action内はシェルスクリプトですので、for文やwhile文を使用することで容易にループを実現できます。<br>
 しかし、Actionに記述した処理は一つのルールに書かれるため、一かたまりの処理として一つのマシンで実行されてしまいます。<br>
@@ 行1,422: / 行1,422: @@
 End
 </pre>
 まず、MainルールからLoopSystemをval=最小値で呼び出し、その中でvalが最大値になるまでは加算値を加えながら再帰的にLoopSystemを呼び出しています。<br>
 出力ファイル名を偶数のときはEven{$val}.txt、奇数のときはOdd{$val}.txtとしています。<br><br>
 では、実行してみます。<br>
 <pre>
 /Basic10$ pione-client EvenOddLoop.pione
@@ 行1,486: / 行1,488: @@
    <== &Anonymous:Main([],{})
 </pre>
 今回はパラメータをデフォルト値で実行しましたので、123から456まで37刻みで実行されます。lsコマンドで出力ファイルを確認します。<br>
 <pre>
@@ 行1,494: / 行1,496: @@
 Even234.txt	Even382.txt	Odd123.txt	Odd271.txt	Odd419.txt
 </pre>
 それぞれの値について偶数奇数の処理が実行されていることが確認できました。<br>
 === 基本１１（ループ文２） ===

@@ 行1,358: / 行1,358: @@
 これによりAAA.txtがテキストの内容で作成されます。<br>
-操作を終えるときには終了をクリックして下さい。終了通知が送られてインタラクティブ処理が完了します。また、htmlなどを実装する上で終了時には必ず終了通知finishを送信するように注意しましょう。<br>
+操作を終えるときには終了をクリックして下さい。終了通知が送られてインタラクティブ処理が完了します。<br>
 === 基本１０（ループ文） ===