John H. Reif
Paul G. Spirakis
- 1 ANGLUiN, D. Local and global properties in networks of processors. In Proceedings of 12th Annual ACM Symposium on Theory of Computing (Los Angeles, Calif., Apr. 28-30) ACM, New York, 1980, pp. 82-93. Google Scholar
- 2 ARJOMANDI, E., FISCHER, M.J., AND LYNCH, N.A. A difference in efficiency between synchronous and asynchronous systems, in Proceedings of 13th Annual A CM Symposium on Theory of Computing (Milwaukee, Wis., May 11-13), ACM, New York, 1981, pp. 128-132. Google Scholar
- 3 BERNSTEIN, A.J. Output guards and nondeterminism in "communicating sequential processes." ACM Trans. on Program. Lang. Syst. 2, 2 (Apr. 1980), 234-238. Google Scholar
- 4 FRANCEZ, N., AND RODEH, A distributed data type implemented by a probabilistic communication scheme. In Proceedings of 21st Annual Symposium on Foundations of Computer Science (Syracuse, N.Y., Oct.) 1980, pp. 373-379.Google Scholar
- 5 HOARE, C.A.R. Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978), 666-677. Google Scholar
- 6 LEHMANN, D., AND RABIN, M.O. On the advantages of free choice: A symmetric and fully distributed solution to the dining philosophers' problem. In Conference Record of 8th ACM Symposium on Principles of Programming Languages (Williamsburg, Va., Jan. 26-28), ACM, New York, 1981, pp. 133-138. Google Scholar
- 7 LIPTON, R., AND SAYWARD, F.G. Response time of parallel programs. Res. Rep. 108. Dept. of Computer Science, Yale Univ., New Haven, Conn., June 1977.Google Scholar
- 8 LYNCH, N.A. Fast allocation of nearby resources in a distributed system. In Proceedings of 12th Annual ACM Symposium on Theory o{ Computing (Los Angeles, Calif., Apr. 28-30) ACM, New York, 1980, pp. 70-81. Google Scholar
- 9 RAmN, M. The choice coordination problem. Mere. UCB/ERL M80/38. Electronics Research Lab., Univ. of California, Berkeley, Aug. 1980.Google Scholar
- 10 RABIN, M. N-Process synchronization by a 4 log2N-valued shared variable. In Proceedings o{ 21st Annual Symposium on Foundations o{ Computer Science (Syracuse, N.Y., Oct.) 1980, pp. 407-410.Google Scholar
- 11 REIF, J.H., AND SPIRaKIS, P.G. Distributed algorithms for synchronizing interprocess communication within real time. In Proceedings of 13th Annual ACM Symposium on Theory of Computing (Milwaukee, Wis., May 11-13), ACM, New York, 1981, pp. 133-145. Google Scholar
- 12 REiF, J.H., AND SPIRAKiS, P.G. Unbounded speed variability in distributed communication systems. In Conference Record o{ 9th A CM Symposium on Principles o{ Programming Languages (Albuquerque, New Mex., Jan. 25-27) ACM, New York, 1982, pp. 46-56. Google Scholar
- 13 REiF, J.H., ANO SPIRAKIS, P.G. Real time resource allocation in distributed systems. In Proceedings o{ ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (Ottawa, Canada, Aug. 18--20), ACM, New York, 1982, pp. 84-94. Google Scholar
- 14 SCHWARZ, J. Distributed synchronization of communicating sequential processes. DAI Res. Rep. 56, Univ. of Edinburgh, Scotland, 1980.Google Scholar
- 15 VALIANT, L.G. A scheme for fast parallel communication. Tech. Rep., Computer Science Dept., Univ. of Edinburgh, Scotland, July 1980.Google Scholar
Index Terms
- Real-Time Synchronization of Interprocess Communications
Recommendations
Optimizing Interprocess Communication for Embedded Real-Time Systems
RTSS '96: Proceedings of the 17th IEEE Real-Time Systems SymposiumS. Poledna Abstract: This paper discusses the problem of message-based interprocess communication in embedded real-time control systems and its appropriate operating system support. Based on state message semantics a novel optimization approach for ...
Synchronous transmission protocol for exchanging real-time and non-real-time multimedia data in group communications
In group communications, multiple processes send packets to multiple processes while receiving packets from multiple processes in a group. Even if each sender process sends packets to a receiver process at a rate that the receiver process can receive, ...
Deferring Real-Time Traffic for Improved Non-Real-Time Communication in FDDI Networks
The fiber distributed data interface (FDDI) is suitable for real-time communication because of the high speed and the performance guarantees it provides. However, these guarantees are achieved at the expense of non-real-time traffic because the real-...
Comments