Today's high-performance computers and high-speed networks allow sophisticated applications of overlay networks. Meanwhile, usage of multi-core processors has been spreading. The level of concurrency we need to handle in software systems has been rising rapidly, which necessitates a language that can express massive concurrency in a natural way, which can work with both tightly and loosely-coupled multiprocessor environments in parallel executions. This article describes still work-in-progress design of Overlay GHC, an overlay network programming language based on concurrent logic language GHC  (Guarded Horn Clauses), as a candidate for such a language, and its application possibilities especially in traceable networks.
|ジャーナル||Journal of the National Institute of Information and Communications Technology|
|出版ステータス||Published - 2008 6|
ASJC Scopus subject areas
- Media Technology
- Electrical and Electronic Engineering