通信に基づく並列計算モデルのカテゴリー論的意味論

基于通信的并行计算模型的分类语义

• 批准号: 08740149
• 负责人: 大塚 寛
• 金额: $ 0.64万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08740149/
• 关键词: 並列計算; プロセス; CCS; π-計算

並列計算、特にCCSの通信に関する研究と、それに基づく通信モデルを解析するための実験をTransputerおよびPVMの2種類の並列コンピュータシステムの上で行なった。CCSでは、遷移関係の定義とそれに基づく(強)双模倣関係の定義のしかたでプロセスの等価関係の強弱が変わる。特にCCSを高階化したπ-計算においては、通信で渡される値によって遷移先を区別する遷移関係(early transition)と、通信で渡される値によらない遷移関係(late transition)が、プロセスや通信経路の動的な生成を記述するために導入されている。しかし我々は静的に決まったネットワークトポロジによって接続されたなかで通信を行なうプロセスを研究の対象にした。このように高階化しないままのCCSで記述出来るプロセスを考察する場合には、プロセスや通信経路の動的な変化を考慮する必要はないが、通信で渡される値によって異なるプロセスへ遷移が起こる場合があるので、通信で渡される値については考慮しなければならない。そこで、上記後者の遷移関係を基礎にした(強)双模倣関係とその上の等価関係について研究した。この遷移関係の主要な特徴は、遷移システムの導出に際して、実際に通信が行なわれるまでは、そのプロセスの遷移の導出を行なわない、あるいは通信される値をパラメータ化し、それを基に遷移の導出を行うことにある。なお、今回はこの遷移関係および双模倣関係をカテゴリー論的に解釈するところまでは至らなかった。もともと双模倣関係の導入の方法が、双帰納法による最大不動点で与えられるという非有基的集合論を基にしているので、プロセスに制限を与える必要があると思われる。

Parallel computing, special CCS communication research, basic CCS communication analysis, implementation of Transponder and PVM 2 types of parallel CCS communication CCS is the definition of the relationship between migration and migration, and the definition of the relationship between migration and migration. In particular, CCS higher-order π-computation, early transition, late transition, communication transition, and communication path dynamic generation are described. We will continue to work together to improve the quality of our products. The CCS is described in the case of high order, high order The relationship between the transfer of the latter and the transfer of the former is based on the relationship between the transfer of the latter and the transfer of the latter. The main characteristics of this migration relationship are: migration, migration, migration. The relationship between migration and double imitation is discussed in detail. The method of introducing the double imitation relation is the maximum fixed point of the double imitation relation.