まえがき

第1章 JCSPについて

• 1.1 歴史的経緯
• 1.2 Java モニタについて
• 1.3 マルチスレッドの問題点に対する提案
• 1.4 JCSPとjava.util.concurrentの違い
• 1.5 JCSPの利点
• 1.6 ダウンロード
• 1.7 プロセスとチャネルの基本構造
• 1.8 設計方法
• 1.9 同期通信
• 1.10 状態遷移との関係

第2章 CSPプロセスと代数的法則

• 2.1 CSPプロセスの表記
• 2.2 occamプロセス
• 2.3 代数的法則
• 2.4 occamプログラミングの法則
  • 2.4.1 代入
  • 2.4.2 交換法則(Commutativity)
  • 2.4.3 結合法則(Associativity)
  • 2.4.4 単一法則(Singurality)
  • 2.4.5 分配法則(Distributivity)
  • 2.4.6 詳細化(Refinement)
• 2.5 JCSPのクラス

第3章 JCSP Base Edition

• 3.1 Parallelクラス
• 3.2 簡単な並行処理
  • 3.2.1 Stop-and-Waitプロトコル
  • 3.2.2 単一バッファ
  • 3.2.3 キュー(Queue)
  • 3.2.4 Proc1to3
  • 3.2.5 Proc3to1
  • 3.2.6 One2Any
  • 3.2.7 Any2One
• 3.3 階層化した並行処理
  • 3.3.1 パイプ(Pipe)
  • 3.3.2 100段のパイプ(Pipe100)
  • 3.3.3 階層化プログラム
  • 3.3.4 パイプ(Newton法)
  • 3.3.5 パイプ(Sort)
  • 3.3.6 パイプ(同期型入出力)
• 3.4 同期した送受信
  • 3.4.1 同期送信(parSend)
  • 3.4.2 同期受信(parRead)
• 3.5 CSTimerクラス
• 3.6 Alternativeクラス
  • 3.6.1 一般的な例(Select)
  • 3.6.2 複数のチャネルがReady の場合
  • 3.6.3 priSelectメソッドの場合
  • 3.6.4 fairSelectメソッドの場合
  • 3.6.5 アクティブゲート(Active Gate) の制御
• 3.7 ガード(Guard)
  • 3.7.1 タイムアウト
• 3.8 Barrierクラス
• 3.9 Bucketクラス
• 3.10 Poisonクラス

第4章 JCSP Network Edition

• 4.1 概要
• 4.2 ネットワークプログラムの基本
• 4.3 JCSP Network Editionのプログラム
  • 4.3.1 Proc1to3のNET版
  • 4.3.2 Proc3to1のNET版
  • 4.3.3 パイプ(Pipe4)のNET版
  • 4.3.4 Any2OneのNET版
  • 4.3.5 One2AnyのNET版
  • 4.3.6 AlternativeのNET版

第5章 応用編

• 5.1 アクティブなAWT
  • 5.1.1 DisplayList
  • 5.1.2 ActiveCanvas
  • 5.1.3 WhiteBoard
  • 5.1.4 Scrollbar
  • 5.1.5 ScrollbarNet

参考文献

• JCSPサンプルプログラム付