SCOPUS 정보 검색 플랫폼

Distributed Computing

Volumn 9, Issue 1, 1995, Pages 37-49

Causal memory: definitions, implementation, and programming

(5) Ahamad, Mustaque a Neiger, Gil b Burns, James E a Kohli, Prince a Hutto, Phillip W c

a GEORGIA INSTITUTE OF TECHNOLOGY (United States)

b INTEL CORPORATION (United States)

c NONE (United States)

Author keywords

Causal memory; Distributed shared memory; Memory consistency; Sequential consistency

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DATA STORAGE EQUIPMENT; STORAGE ALLOCATION (COMPUTER); SYNCHRONIZATION;

CAUSAL MEMORY; DISTRIBUTED SHARED MEMORY; MEMORY CONSISTENCY; SEQUENTIAL CONSISTENCY;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0029352313 PISSN: 01782770 EISSN: 14320452 Source Type: Journal
DOI: 10.1007/BF01784241 Document Type: Article

Times cited : (326)

References (35)

1
- 84936629914
- Adve SV, Hill MD: Weak ordering — a new definition. In: Proc. 17th Annual International Symposium on Computer Architecture, pp 2–14, May 1990

2
- 0027608117
- A unified formalization of four sharedmemory models
- (1993) IEEE Trans Parallel Distrib Syst , vol.4 , Issue.6 , pp. 613-624
- Adve, S.V.¹ Hill, M.D.²

3
- 0027347715
- Lazy caching
- (1993) ACM Trans Program Lang Syst , vol.15 , Issue.1 , pp. 182-205
- Afek, Y.¹ Brown, G.² Merritt, M.³

4
- 84936629913
- Ahamad M, Bazzi RA, John R, Kohli P, Neiger G: The power of processor consistency. In: Proc 5th Symposium on Parallel Algorithms and Architectures, pp 251–260. ACM Press, June 1993. A full version appears a Technical Report 92/34, College of Computing, Georgia Institute of Technology

5
- 85012095335
- Causal memory
- S., Toueg, P.G., Spirakis, L., Kirousis, Lect Notes Comput Sci, vol 579, Springer, Berlin Heidelberg New York
- (1991) Proc 5th International Workshop on Distributed Algorithms , pp. 9-30
- Ahamad, M.¹ Burns, J.E.² Hutto, P.W.³ Neiger, G.⁴

6
- 84936629912
- Ahamad M, Hutto PW, John R: Implementing and programming causal distributed shared memory. In: Proc 11th International Conference on Distributed Computing Systems, pp 274–281, May 1991

7
- 84936629904
- Attiya H, Chaudhuri S, Friedman R, Welch JL: Shared memory consistency conditions for non-sequential execution: definitions and programming strategies. In: Proc 5th Symposium on Parallel Algorithms and Architectures, pp 241–250. ACM Press, June 1993

8
- 84936629906
- Attiya H, Friedman R: A corretness condition for high performance multiprocessors. In: Proc 24th ACM Symposium on Theory of Computing, pp 679–690. ACM Press, May 1992

9
- 84936629905
- Attiya H, Friedman R: Programming DEC-Alpha based multiprocessors the easy way. In: Proc 6th Symposium on Parallel Algorithms and Architectures, pp 157–166. ACM Press, June 1994. A revised and expanded version appears as Technical Report 9411, Laboratory for Parallel Computing Research, Israel Institute of Technology, October 1994

10
- 0028428331
- Sequential consistency versus linearizability
- (1994) ACM Trans Comput Syst , vol.12 , Issue.2 , pp. 91-122
- Attiya, H.¹ Welch, J.L.²

11
- 84936629896
- Bennett JK, Carter JB, Zwaenepoel W: Adaptive software cache management for distributed shared memory architectures. In: Proc 17th Annual International Symposium on Computer Architecture, May 1990

12
- 0003636164
- Prentice Hall, Englewood Cliffs, New Jersey
- (1989) Parallel and distributed computation: numerical methods
- Bertsekas, D.P.¹ Tsitsiklis, J.N.²

13
- 84976814834
- Lightweight causal and atomic group multicast
- (1991) ACM Trans Comput Syst , vol.9 , Issue.3 , pp. 272-314
- Birman, K.¹ Schiper, A.² Stephenson, P.³

14
- 0026202534
- Logical time in distributed computing systems
- (1991) Computer , vol.24 , Issue.8 , pp. 28-33
- Fidge, C.¹

15
- 84936629897
- Friedman R: Personal communication, 1991

16
- 84936629900
- Gharachorloo K, Lenoski D, Laudon J, Gibbons P, Gupta A, Hennssy J: Memory consistency and event ordering in scalable shared-memory multiprocessors. In: Proc 17th International Symposium on Computer Architecture, pp 15–26, May 1990

17
- 84936629901
- Gibbons PB, Merritt M, Gharachorloo K: Proving sequential consistency of high-performance shared memories. In: Proc 3rd Symposium on Parallel Algorithms and Architectures, pp 292–303. ACM Press, July 1991

18
- 84936629888
- Goodman JR: Cache consistency and sequential consistency. Technical Report 61, IEEE Scalable Coherent Interface Working Group, March 1989

19
- 84936629890
- Heddaya A, Sinha HS: Coherence, non-coherence and local consistency in distributed shared memory for parallel computing. Technical Report 92-004, Computer Science Department, Boston University, May 1992

20
- 0025460579
- Linearizability: a correctness condition for concurrent objects
- (1990) ACM Trans Program Lang Syst , vol.12 , Issue.3 , pp. 463-492
- Herlihy, M.P.¹ Wing, J.M.²

21
- 84936629893
- Hutto PW, Ahamad M: Slow memory: weakening consistency to enhance concurrency in distributed shared memories. In: Proc 10th International Conference on Distributed Computing Systems, May 1990. A complete version appears as Technical Report 89/39, School of Information and Computer Science, Georgia Institute of Technology

22
- 84936629887
- John R: Implementing and programming weakly consistent memories. Ph.D. dissertation, Georgia Institute of Technology, 1994

23
- 84936629886
- John R, Ahamad M: Implementation and evaluation of causal memory for data race free programs. Technical Report 94/30, College of Computing, Georgia Institute of Technology, July 1994

24
- 84936629885
- Kessler RE, Livny M: An analysis of distributed shared memory algorithms. In: Proc 9th International Conference on Distributed Computing, pp 498–505, June 1989

25
- 84936629884
- Kohli P, Neiger G, Ahamad M: A characterization of scalabe shared memories. In: Proc 22nd International Conference on Parallel Processing, pp I-332–I-335, August 1993

26
- 0017996760
- Time, clocks, and the ordering of events in a distributed system
- (1978) Commun ACM , vol.21 , Issue.7 , pp. 558-565
- Lamport, L.¹

27
- 0018518477
- How to make a multiprocessor computer that correctly executes multiprocess programs
- (1979) IEEE Trans Comput C , vol.28 , Issue.9 , pp. 690-691
- Lamport, L.¹

28
- 0022873767
- On interprocess communication, part I: Basic formalism
- (1986) Distrib Comput , vol.1 , Issue.2 , pp. 77-85
- Lamport, L.¹

29
- 84936629878
- Lipton RJ, Sandberg JS: PRAM: a scalable shared memory. Technical Report 180-88, Department of Computer Science, Princeton University, September 1988

30
- 84936629881
- Mattern F: Virtual time and global states of distributed systems. In: Cosnard M, Quinton P, Robert Y, Raynal M (eds) Proc International Workshop on Parallel and Distributed Algorithms, pp 215–226. North-Holland, October 1988

31
- 84936629874
- Mavronicolas M, Roth D: Sequential consistency and linearizability: read/write objects. In: Proc 29th Annual Allerton Conference on Communication, Control, and Computing, pp 683–692, October 1991. A revised version appears as Technical Report 28-91, Aiken Computation Laboratory, Harward University, June 1992 under the title “Linearizable Read/Write Objects”

32
- 0348159426
- Efficient, strongly consistent implementations of shared memory
- A., Segall, S., Zaks, Lect Notes Comput Sci, vol 647, Springer, Berlin Heidelberg New York
- (1992) Proc 6th International Workshop on Distributed Algorithms , pp. 346-361
- Mavronicolas, M.¹ Roth, D.²

33
- 0022582940
- Axioms for memory access in asynchronous hardware systems
- (1986) ACM Trans Program Lang Syst , vol.8 , Issue.1 , pp. 142-153
- Misra, J.¹

34
- 0000366742
- Myths about the mutual exclusion problem
- (1981) Inf Process Lett , vol.12 , Issue.3 , pp. 115-116
- Peterson, G.L.¹

35
- 84936629877
- Singh AK: A framework for programming using non-atomic variables. In: Proc 8th International Parallel Processing Symposium, pp 133–140, IEEE Computer Society Press, April 1994

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.