Scheme - 並列システムでの時(並列プログラムの正しい振る舞い)

計算機プログラムの構造と解釈
Gerald Jay Sussman, Julie Sussman
Harold Abelson (原著) 和田 英一 (翻訳)

開発環境

• OS X Lion - Apple(OS)
• Emacs、BBEdit - Bare Bones Software, Inc. (Text Editor)
• プログラミング言語: MIT/GNU Scheme

計算機プログラムの構造と解釈(Gerald Jay Sussman(原著)、Julie Sussman(原著)、Harold Abelson(原著)、和田 英一(翻訳)、ピアソンエデュケーション、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の3(標準部品化力, オブジェクトおよび状態)、3.4(並列性)、3.4.1(並列システムでの時)、並列プログラムの正しい振る舞い、問題 3.38を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs

問題3.38

a.

Peter、Paul、Maryの順序の場合。

1. 110ドル
2. 90ドル
3. 45ドル

Peter、Mary、Paulの順序の場合。

1. 110ドル
2. 55ドル
3. 35ドル

Paul、Peter、Maryの順序の場合。

1. 80ドル
2. 90ドル
3. 45ドル

Paul、Mary、Peterの順序の場合。

1. 80ドル
2. 40ドル
3. 50ドル

Mary、Peter、Paulの順序の場合。

1. 50ドル
2. 60ドル
3. 40ドル

Mary、Paul、Peterの順序の場合。

1. 50ドル
2. 30ドル
3. 40ドル

ということで、求めるbalanceの可能な値の全ては、45ドル、35ドル、50ドル、40ドル。

b.

時間経過は上から下。

生じる値が55ドルの場合。

生じる値が90ドルの場合。

生じる値が60ドルの場合。

生じる値が30ドルの場合。

生じる値が110ドルの場合。

生じる値が80ドルの場合。