A Model of Computation for Bit-Level Concurrent Computing and Programming : APEC

スポンサーリンク

概要

• 論文の詳細を見る

• A concurrent model of computation and a language based on the model for bit-level operation are useful for developing asynchronous and concurrent programs compositionally, which frequently use bit-level operations. Some examples are programs for video games, hardware emulation (including virtual machines), and signal processing. However, few models and languages are optimized and oriented to bit-level concurrent computation. We previously developed a visual programming language called A-BITS for bit-level concurrent programming. The language is based on a dataflow-like model that computes using processes that provide serial bit-level operations and FIFO buffers connected to them. It can express bit-level computation naturally and develop compositionally. We then devised a concurrent computation model called APEC (Asynchronous Program Elements Connection) for bit-level concurrent computation. This model enables precise and formal expression of the process of computation, and a notion of primitive program elements for controlling and operating can be expressed synthetically. Specifically, the model is based on a notion of uniform primitive processes, called primitives, that have three terminals and four ordered rules at most, as well as on bidirectional communication using vehicles called carriers. A new notion is that a carrier moving between two terminals can briefly express some kinds of computation such as synchronization and bidirectional communication. The models properties make it most applicable to bit-level computation compositionally, since the uniform computation elements are enough to develop components that have practical functionality. Through future application of the model, our research may enable further research on a base model of fine-grain parallel computer architecture, since the model is suitable for expressing massive concurrency by a network of primitives.

• （社）電子情報通信学会の論文
• 2008-01-01

著者

• Tsuchida Kensei

  Toyo Univ. Kawagoe‐shi Jpn

• Tsuchida Kensei

  The Dept. Of Information And Computer Sciences Toyo University

• AJIRO Takashi

  the Department of Open Information Systems, Toyo University

• Tsuchida Kensei

  The Department Of Open Information Systems Toyo University

• Ajiro Takashi

  The Department Of Open Information Systems Toyo University

関連論文

• Syntactic Characterization of the Two-Dimensional Grid Graphs(Graph Grammer, Foundations of Computer Science)
• A Model of Computation for Bit-Level Concurrent Computing and Programming : APEC

スポンサーリンク