Portable CSP Based Design for Embedded Multi-Core Systems
Bernhard H. C. Sputh, Oliver Faust, Alastair Robert Allen · Communicating Process Architectures · 2006
Abstract. Modern lifestyle depends on embedded systems. They are everywhere:sometimes they are hidden and at other times they are handled as a fashion acces-sory. In order to serve us better they have to do more and more tasks at the sametime. This calls for sophisticated mechanisms to handle concurrency. In this paperwe present CSP (Communicating Sequential Processes) as a method which helps tosolve a number of problems of embedded concurrent systems. To be specific, we de-scribe implementations of the commstime benchmark in multithreaded, multiproces-sor and architecture fusion systems. An architecture fusion system combines machineand hardware-logic architectures. Our results are twofold. First, architecture fusionsystems outperform all the other systems we tested. Second, we implemented all thesystems without a change in the design philosophy. The second point is the more im-portant result, because it shows the power of CSP based design methods.Keywords. Embedded systems, System on chip, Architecture fusion, Multithreaded,Multi-core