Isotach networks

IEEE Transactions on Parallel and Distributed Systems

Volumn 8, Issue 4, 1997, Pages 337-348

  Reynolds Jr , Paul F ^a,b   Williams, Craig ^b   Wagner Jr , Raymond R ^c  

^a IEEE   (United States)

^b University of Virginia   (United States)

^c Vermont Software Company Inc   (United States)

Author keywords

Atomicity; Concurrency control; Interconnection networks; Interprocess coordination; Isochronicity; Logical time; Multiprocessor systems; Sequential consistency

Indexed keywords

CONCURRENCY CONTROL; COST EFFECTIVENESS; INTERCONNECTION NETWORKS; PIPELINE PROCESSING SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); SYNCHRONIZATION;

ISOCHRONS; ISOTACH NETWORKS; NONUNIFORM MEMORY ACCESS (NUMA) MULTIPROCESSORS;

PARALLEL PROCESSING SYSTEMS;

EID: 0031123529     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.588601     Document Type: Article

References (49)

1. Y. Amir, L.E. Moser, P.M. Melliar-Smith, D.A. Agarwal, and P. Ciarfella, "The Totem Single-Ring Ordering and Membership Protocol," ACM Trans. Computer Systems, vol. 13, no. 4, pp. 311-342, Nov. 1995.
2. T.E. Anderson, "The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors," IEEE Trans. Parallel and Distributed Systems, vol. 1, no. 1, pp. 6-16, Jan. 1990.
3. B. Awerbuch, "Complexity of Network Synchronization," J. ACM, vol. 32, no. 4, pp. 804-823, Oct. 1985.
4. H.E. Bal and A.S. Tanenbaum, "Distributed Programming with Shared Data," Proc. IEEE CS 1988 Int'l Conf. Computer Languages, pp. 82-91, Miami, Fla., Oct. 1988.
5. Y. Birk, P.B. Gibbons, J.L.C. Sanz, and D. Soroker, "A Simple Mechanism for Efficient Barrier Synchronization in MIMD Machines," Technical Report RJ 7078, IBM, Oct. 1989.
6. K.P. Birman and T.A. Joseph, "Reliable Communication in the Presence of Failures," ACM Trans. Computer Systems, vol. 5, no. 1, pp. 47-76, Feb. 1987.
7. K.P. Birman, A. Schiper, and P. Stephenson, "Lightweight Causal and Atomic Group Multicast," ACM Trans. Computer Systems, pp. 272-314, Aug. 1991.
8. K. Birman, "A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication," OS Review, vol. 28, no. 1, pp. 11-21, Jan. 1994.
9. N.J. Boden, D. Cohen, R.E. Felderman, A.E. Kulawik, C.L. Seitz, J.N. Seizovic, and W. Su, "Myrinet - A Gigabit-per-Second Local-Area Network," IEEE Micro, vol. 15, no. 1, pp. 29-36, Feb. 1995.
10. K. Chandy and J. Misra, "Distributed Simulation: A Case Study in Design and Verification of Distributed Programs," IEEE Trans. Software Eng., vol. 5, no. 5, pp. 440-152, Sept. 1979.
11. J. Chang and N.F. Maxemchuk, "Reliable Broadcast Protocols," ACM Trans. Computer Systems, vol. 2, no. 3, pp. 251-273, Aug. 1984.
12. D.R. Cheriton and D. Skeen, "Understanding the Limitations of Causally and Totally Ordered Communication," OS Review, 14th ACM Symp. OS Principles, pp. 44-57, Dec. 1993.
13. F. Cristian, "Synchronous Atomic Broadcast for Redundant Broadcast Channels," Technical Report RJ 7203 (67682), IBM, Dec. 1989.
14. M. Dasser, "TOMP: A Total Ordering Multicast Protocol," Operating Systems Review, vol. 26, no. 1, Jan. 1992.
15. [151 H. Garcia-Molina and A. Spauster, "Ordered and Reliable Multicast Communication," ACM Trans. Computer Systems, vol. 9, no. 3, pp. 242-271, Aug. 1991.
16. K. Gharachorloo et al., "Performance Evaluation of Memory Consistency Models for Shared-Memory Multiprocessors," Proc. Fourth ASPLOS, pp. 245-257, Apr. 1991.
17. P.B. Gibbons, "The Asynchronous PRAM: A Semi-Synchronous Model for Shared Memory MIMD Machines," 89-062, ICSI, Berkeley, Calif., December, 1989.
18. K.J. Goldman, "Highly Concurrent Logically Synchronous Multicast," Distributed Computing, pp. 94-108, Berlin-Heidelburg-New York: Springer-Verlag, 1989.
19. Y. Jenq, "Performance Analysis of a Packet Switch Based on Single-Buffered Banyan Network," IEEE J. Selected Areas Comm., vol. 1, no. 6, pp. 1,014-1,021, Dec. 1983.
20. M.F. Kaashoek, A.S. Tanenbaum, S.F. Hummell, and H.E. Bal, "An Efficient Reliable Broadcast Protocol," OS Review, vol. 23, no. 4, pp. 5-19, Oct. 1989.
21. M.J. Karol, M.G. Hluchyj, and S.P. Morgan, "Input Versus Output Queueing on a Space-Division Packet Switch," IEEE Trans. Comm., vol. 35, no. 12, pp. 1,347-1,356, Dec. 1987.
22. D.E. Knuth, "Sorting and Searching, " Fundamental Algorithms, vol. 3, p. 397. Addison-Wesley, 1973.
23. C.P. Kruskal, L. Rudolph, and M. Snir, "Efficient Synchronization on Multiprocessors with Shared Memory," ACM Trans. Programming Languages and Systems, vol. 10, no. 4, pp. 579-601, Oct. 1988.
24. M. Kumar and J.R. Jump, "Performance Enhancement of Buffered Delta Networks Using Crossbar Switches and Multiple Links," J. Parallel and Distributed Computing, vol. 1, pp. 81-103, 1984.
25. L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Comm. ACM, vol. 21, no. 7, pp. 558-565, July 1978.
26. L. Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocessor Programs," IEEE Trans. Computers, vol. 28, pp. 690-691, 1979.
27. L. Lamport, "On Interprocess Communication," Distributed Computing, vol. 1, no. 2, pp. 77-101, Apr. 1986.
28. D.B. Lomet, "Process Structuring, Synchronization, and Recovery Using Atomic Actions," SIGPLAN Notices, vol. 12, no. 3, pp. 128-137, Mar. 1977.
29. J.M. Mellor-Crummey and M. L. Scott, "Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors," ACM Trans. Computer Systems, vol. 9, no. 1, pp. 21-65, Feb. 1991.
30. M.M. Michael and M.L. Scott, "Scalability of Atomic Primitives on Distributed Shared Memory Multprocessors," Technical Report 528, Univ. of Rochester, Computer Science Dept., July 1994.
31. S. Owicki and D. Gries, "An Axiomatic Proof Technique for Parallel Programs I," Acta Informatica, vol. 6, pp. 319-340, 1976.
32. S. Owicki and L. Lamport, "Proving Liveness Properties of Concurrent Programs," ACM Trans. Programming Languages and Systems, vol. 4, no. 3, pp. 455-495, July 1982.
33. C. Papadimitriou, Database Concurrency Control. Computer Science Press, 1986.
34. L.L. Peterson, N.C. Bucholz, and R.D. Schlichting, "Preserving and Using Context Information in Interprocess Communication," ACM Trans. Computer Systems, vol. 7, no. 3, pp. 217-246, Aug. 1989.
35. A.G. Ranade, S.N. Bhatt, and S.L. Johnsson, "The Fluent Abstract Machine," Technical Report 573, Yale Univ., Dept. of Computer Science, Jan. 1988.
36. A. Ranade and A.G. Ranade, "How to Emulate Shared Memory," IEEE Ann. Symp. Foundations of Computer Science, pp. 185-194, Los Angeles, 1987.
37. M. Raynal and M. Singhal, "Logical Time: Capturing Causality in Distributed Systems," Computer, vol. 29, no. 2, pp. 49-56, Feb. 1996
38. D. Reed, "Implementing Atomic Actions on Decentralized Data," ACM Trans. Computer Systems, vol. 1, no. 1, pp. 3-23, Feb. 1983.
39. R. Renesse, "Why Bother With CATOCS?" OS Review, vol. 28, no. 1, pp. 22-27, Jan. 1994.
40. P.F. Reynolds Jr., C. Williams, and R.R. Wagner Jr., "Empirical Analysis of Isotach Networks," Technical Report 92-19, Univ. of Virginia, Dept. of Computer Science, June 1992.
41. P. F. Reynolds Jr. and C. Williams, "Asynchronous Rule-Based Systems in CGF," Proc. Fifth Conf. Computer Generated forces and Behavioral Representation, Orlando, Fla., May 1995.
42. J.H. Saltzer, D.P. Reed, and D.D. Clark, "End-To-End Arguments in System Design," ACM Trans. Computer Systems, vol. 2, no. 4, pp. 277-288, Nov. 1984.
43. C. Scheurich and M. Dubois, "Correct Memory Operation of Cache-Based Multiprocessors," Proc. 14th ISCA, pp. 234-243, June 1987.
44. B.R. Supinski, C. Williams, and P.F. Reynolds Jr., "Performance Evaluation of the Late Delta Cache Coherence Protocol," Technical Report CS-96-05, Univ. of Virginia, Dept. of Computer Science, Mar. 1996.
45. K. Verstoep, K. Langendoen, and H.E. Bal, "Efficient Reliable Multicast on Myrinet," Technical Report IR-399, Vrije Universiteit, Amsterdam, Jan. 1996.
46. R.R. Wagner Jr., "On the Implementation of Local Synchrony," CS-93-33, Univ. of Virginia, Dept. of Computer Science, June 1993.
47. C. Williams and P.F. Reynolds Jr., "Delta-Cache Protocols: A New Class of Cache Coherence Protocols," Technical Report 90-34, Univ. of Virginia, Dept. of Computer Science, Dec. 1990.
48. C.C. Williams, "Concurrency Control in Asynchronous Computations," Ph.D. thesis, No. 9301, Univ. of Virginia, 1993.
49. C.C. Williams and P.F. Reynolds Jr., "Combining Atomic Actions," J. Parallel and Distributed Computing, pp. 152-163, Feb. 1995.