コンピュータプログラミングの概念・技法・モデル

コンピュータプログラ ..

191:デフォルトの名無しさん
08/05/11 06:34:33
Concurrentはなんか資源を奪い合う話の中で出てきていた気がする。
ホーアか誰かの論文になかったっけ。

192:デフォルトの名無しさん
08/05/11 06:41:23
>>191
食事する哲学者問題? これはダイクストラ

193:デフォルトの名無しさん
08/05/11 06:50:34
ConcurrentPrologもプロセス協調のためのガード機構を強調しての命名のような気がする。

194:デフォルトの名無しさん
08/05/12 06:33:56
P411に並列論理型プログラミング批判が出てくる。結構難解。

195:デフォルトの名無しさん
08/05/12 11:49:54
ドラフト版しかないから分からない…

196:デフォルトの名無しさん
08/05/12 13:06:48
Concurrent Pascalを忘れるな。

197:デフォルトの名無しさん
08/05/12 15:25:13
>>196
Brinch Hnsen "THE ARCHITECTURE OF CONCURRENT PROGRAMS" 1977年
の翻訳が1980年に日本コンピュータ協会から出ています。「並行動作プログラムの原理}。
この中に、Concurrent Pascal の詳しい紹介があります。
まえがきの4ページに
「コンカレントなプログラムとは同時に実行される幾つかのシーケンシャル・プロセスから成る。
それらのプロセスは共有する変数を介してデータを交換し、共通の仕事を共同して行なう。」
とあります。

198:デフォルトの名無しさん
08/05/12 15:26:01
すみません。 Hnsen -> Hansen です。

199:デフォルトの名無しさん
08/05/12 15:39:47
ConcurrentPrologにはシーケンシャルな部分は全くないので、ますます微妙です。
それから、これは私は知らないので質問のような形となりますが、
Concurrent Pascal は Ada の成立に強い影響を与えたのでしょうか。

200:デフォルトの名無しさん
08/05/12 18:41:16
Concurrent Pascalはmonitor系でしょ。
AdaはCSP系だよね。

あとConcurrent Prologは、
ガード節と残りの節は逐時的であることが保証されてる。
ガード節が充足しないと残りは実行されないので。

201:デフォルトの名無しさん
08/06/02 11:04:08
並列や並行に関してこんなのがありました。

URLﾘﾝｸ(www.cspjapan.org)

ここは、CSPが中心ですね。

202:デフォルトの名無しさん
08/07/01 16:47:15
保守

203:デフォルトの名無しさん
08/08/29 10:58:24
IA64でmozartのコンパイルができないよよよ