Abstract
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 [1] (Guarded Horn Clauses), as a candidate for such a language, and its application possibilities especially in traceable networks.
| Original language | English |
|---|---|
| Pages (from-to) | 61-71 |
| Number of pages | 11 |
| Journal | Journal of the National Institute of Information and Communications Technology |
| Volume | 55 |
| Issue number | 2-3 |
| Publication status | Published - 2008 Jun |
| Externally published | Yes |
Keywords
- Concurrent programming
- Logic programming
- Overlay network
- Parallel inference
- Programming language
ASJC Scopus subject areas
- Media Technology
- Electrical and Electronic Engineering