Title :
Buffered asynchronous communication mechanisms
Author :
Xia, Fei ; Hao, Fei ; Clark, Ian ; Yakovlev, Alex ; Chester, E. Graeme
Author_Institution :
Sch. of Electr., Electron. & Comput. Eng., Univ. of Newcastle upon Tyne, UK
Abstract :
Previous work on asynchronous communication mechanisms (ACMs) has not dealt with buffered forms (n > l). This paper describes a systematic design/synthesis process for ACMs with arbitrary buffer size, a series of resulting buffered ACM algorithms, and the modelling and simulation of these ACMs using Matlab, putting ACMs (esp. buffered ones) in the context of complex engineering systems.
Keywords :
algorithm theory; asynchronous circuits; asynchronous sequential logic; ACM modelling; ACM simulation; Matlab; asynchronous communication mechanisms; buffered ACM algorithm; buffered forms; complex engineering; systematic design; systematic synthesis; Algorithm design and analysis; Asynchronous communication; Computer networks; Context modeling; Data communication; Joining processes; Process design; Read-write memory; Synchronization; Telecommunication traffic;
Conference_Titel :
Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on
Print_ISBN :
0-7695-2077-4
DOI :
10.1109/CSD.2004.1309114
