第5章練習問題 2(b)-

oz CTMCP

2リフト制御システム (b) 制御装置を以下のように改造し、一度に移動するようにすればいい。 fun {Controller Init} Tid = {Timer} Cid = {NewPortObject Init fun {$ state(Motor F Lid) Msg} case Motor of running then case Msg of stoptimer then {Send…

2008-01-18

第5章練習問題 1-2(a)

oz CTMCP

1つのスレッドを共有する複数のポートオブジェクトインタリーブはロックステップで行なわれる。まず、初期状態でポート内に2つのメッセージが格納される。 ping(0)|pong(1000)|_そして、Msgループで最初のメッセージ(ping(0))が処理される。ただし、この処…

2008-01-14

第4章練習問題 3-19

oz CTMCP

3 並列フィボナッチ {Fib 30}同士を比較した。単位はミリ秒。並列のほうが遅い。まあ、シングルプロセッサですし。 local S = {Property.get 'time.total'} in {PFib 30 _} {Show '---'} {Show {Property.get 'time.total'}-S} end 直列 - 410 並列 - 4980 …

2008-01-08

第4章練習問題 1-2

oz CTMCP

1 スレッドの意味 (a) local B in thread B=true % (1) end thread B=false % (2) end if B then % (3) if文 {Browse yes} %(4) Browse end endのように番号を付ける。3と4は順序を保持する必要がことを考慮にいれると、次のようになる。 1-2-3-4 1-3-2-4 3-…

2008-01-06

第3章練習問題 6-10

oz CTMCP

6 状態不変表明 P(R,Ys) = (Reverse(Xs) = R + Reverse(Ys))ただし、ここで+はAppendを表す。証明は必要かどうかわからないから、省略で。 7 別のappend関数終了しない。Msの初期値がnilでない場合、常に{Append Ls [Xs]}が呼ばれる。そのため終了しない。 …