疎結合分散環境におけるプロセッサ割り当てに関する考察  [in Japanese] A Study of Processor Allocation on Loosely-coupled Distributed Environment  [in Japanese]

我々はこれまでに耐故障性を持つソフトウェアを実現するためのモデルであるFTAGを関数型言語CMLを用いて実装し, シミュレーションによる実験を行ってきた.しかしながら現在の環境は単一プロセス上でスレッドのエミュレーションを行っているため, 分散環境上に存在するプロセッサへのスレッドの割り当ての際に問題となるいくつかの要素を考慮していない.本稿ではFTAGを異機種が混在する分散環境上に実装するために, 計算単位の分割, プロセッサ割り当て, これらの方策を制約する要素について考察し, 関数型言語OcamlとOcaml上で動作するコミュニケーションレイヤEnsembleを用いた実装のための設計を行う。

We proposed FTAG model for designing an implementing a fault tolerant software and implement FTAG on a functional language Concurrent-ML and obtain some results by simulating distributed environment. The above implementation that we used simulates multi-threaded environment on a single process. Thus, we can not allocate a function to other processors on virtually distributed environment. In this paper, we study about strategies of module decomposition, processor allocation and restriction of environment to design FTAG implementation on Ocaml functional language and Ensemble group communication layer on heterogeneous loosely coupled distributed environment.