New algorithms for asynchronous communication

IEE Proceedings: Computers and Digital Techniques

Volumn 144, Issue 4, 1997, Pages 227-231

  Simpson, H R ^a  

^a Digital Information Processing   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONCURRENCY CONTROL; DATA TRANSFER; STORAGE ALLOCATION (COMPUTER);

ASYNCHRONOUS COMMUNICATION; FOUR SLOT MECHANISM; MULTIPLE SHARED MEMORY LOCATIONS;

DATA COMMUNICATION SYSTEMS;

EID: 0031193113     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:19971218     Document Type: Article

References (14)

1. SIMPSON, H.R.: 'Fully asynchronous communication'. IEE Colloquium on Mascot in real-time systems, 1987, (IEE Colloquium digest 58)
2. SIMPSON, H.R.: 'Four-slot fully asynchronous communication mechanism', IEE Proc. E, Compitt. Digit. Tech., 1990, 137, (1), pp. 17-30
3. SIMPSON, H.R.: 'Correctness analysis for class of asynchronous communication mechanisms', IEE Proc. E, 1992, 139, (1), pp. 35-49
4. DIJKSTRA, E.W.: 'Co-operating sequential processes' in 'Programming languages' (Academic Press, 1968)
5. HOARE, C.A.R.: 'Monitors: an operating system structuring concept', Commun. ACM. 1974, 17, (10), pp. 549-557
6. HOARE, C.A.R.: 'Communicating sequential processes' (Prentice-Hall International 1985)
7. LAMPORT, L.: The mutual exclusion problem Part II: Statement and solutions', J. ACM, 1986, 33, (2), pp. 327-348
8. ANDERSON, J.H., and GOUDA, M.G.: 'A criterion for atomicity', Form. Asp. Comput., 1992, 4, (3), pp. 273-298
9. TROMP, J.: 'How to construct an atomic variable',Proc. 3rd Int. Workshop on Distributed algorithms, 1989, pp. 292-302
10. CHANEY, T.J., and MOLNAR, C.E.: 'Anomalous behavior of synchronizer and arbiter circuits', IEEE Trans., 1973, C-22, (4), pp. 421-422
11. HORSTMANN, J.U., EICHEL, H.W., and COATES, R.L.: 'Metastability behaviour of CMOS ASIC flip-flops in theory and test', IEEEJ. Solid-Statc Circuits, 1989, 24, (1), pp. 146-157
12. SIMPSON, H.R.: 'Architecture for computer based systems', Proceedings of IEEE 1994 Tutorial and Workshop on Systems engineering of computer-based systems, May 1994, pp. 70-82
13. BURNS, A., and WELLINGS, A.J.: 'Concurrency in Ada' (Cambridge University Press, 1995)
14. RAYNAL, M.: 'Algorithms for mutual exclusion' (North Oxford Academic Publishers Ltd., 1986)