论文信息 - Redesign of the C++ Communicating Threads Library for Embedded Control Systems

Redesign of the C++ Communicating Threads Library for Embedded Control Systems

The occam programming language, based on the CSP formal algebra and tied to a specific hardware platform (transputers), offered a structured way to organize concurrency. The CT library [1], developed at University of Twente, inspired by occam is a kernel library implementing occam primitives in modern programming languages and for general purpose microprocessors. In this paper, a practical implementation of the CT library is explained and some aspects are compared to similar occam-like library developed at the University of Kent. The design of the CT-library internals is then revisited and proposed changes are implemented in the C++ version of the library.

Johannes F. Broenink | B. Orlic | J. Broenink | B. Orlic

[1] P. J. Fleming. Parallel processing in control : the transputer and other architectures , 1988 .

[2] G. H. Hilderink,et al. A distributed real-time Java system based on CSP , 1999, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[3] P. H. Welch,et al. Networks, Routers and Transputers: Function, Performance and Applications , 1993 .

[4] Johan Sunter. Allocation, Scheduling & Interfacing in Real-time Parallel Control Systems , 1994 .

[5] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[6] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[7] Peter H. Welch,et al. An Introduction to the Kent C++CSP Library , 2003 .