分散処理言語Overlay GHC とその応用可能性

摘要

近年のコンピュータの性能向上及びネットワークの高速化がオーバレイネットワークの高度な応用 を可能にしていることに加え、マルチコア・プロセッサの利用が普及していることから、ソフトウェ アシステムにおいて我々が取り扱うべき並行性の水準が急激に上昇している。超並行性の記述を自然 に行え、密結合及び疎結合マルチプロセッサ環境の両方で並列実行できるプログラミング言語の登場 が望まれている。 この稿では、そのような言語の候補として、いまだ開発途上にあるOverlay GHC 言語と、特にト レーサブルネットワークにおけるその応用可能性を説明する。この言語は並行論理型言語GHC (Guarded Horn Clauses:ガード付きホーン節）に基づいている。