PathFinder を使った実行結果を視覚化する

gnuplot または、Mac OS X の grapher を使って、thread のinterleaving の様子を視覚化したい。

PathFinderの出力をPerl(または、その他の適切な言語)を用いて、gnuplot/grapherが読み込める形式にしよう。それを表示させてみれば良い。

三つのプロセスのInterleaving

Javaの3つのthreadにSystem.out.printlnをn回実行させる。x軸にthread 1の進行度、y軸にthread 2の進行度、z軸にthread 3の進行度を割り当てる。(0,0,0)から(n,n,n)に延びる一本の折れ線を三次元的に表示しよう。

Thread の数(x)、Thread中のprintln文の数(y)、可能なprintln文のinterleavingの数(z)

のグラフを作成し、視覚化して見よ。

また、z = f(x,y) の f の形を数式で表せ。