메뉴 건너뛰기




Volumn 13, Issue 1, 1991, Pages 124-149

Wait-Free Synchronization

Author keywords

linearization; wait free synchronization

Indexed keywords

AUTOMATA THEORY; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS, DIGITAL - MULTIPROCESSING; DATA STRUCTURES;

EID: 0025917643     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/114005.102808     Document Type: Article
Times cited : (1327)

References (31)
  • 1
    • 84976716321 scopus 로고    scopus 로고
    • The virtue of patience: Concurrent programming with and without waiting. Private communication
    • ANDERSON, J. H., AND GOUDA, M. G. The virtue of patience: Concurrent programming with and without waiting. Private communication.
    • ANDERSON, J.H.1    GOUDA, M.G.2
  • 2
    • 38249017639 scopus 로고
    • Fast randomized consensus using shared memory
    • ASPNES, J., AND HERLIHY, M. P. Fast randomized consensus using shared memory. J. Algorith. 11 (1990), 441-461.
    • (1990) J. Algorith. , vol.11 , pp. 441-461
    • ASPNES, J.1    HERLIHY, M.P.2
  • 4
    • 84976774463 scopus 로고
    • Constructing two-writer atomic registers. In Proceedings of the 6th ACM Symposium on Principles of Distributed Computing (
    • BLOOM, B. Constructing two-writer atomic registers. In Proceedings of the 6th ACM Symposium on Principles of Distributed Computing (1987), pp. 249-259.
    • (1987) , pp. 249-259
    • BLOOM, B.1
  • 7
    • 0023168356 scopus 로고
    • On the minimal synchronism needed for distributed consensus
    • (Jan
    • DOLEV, D., DWORK, C., AND STOCKMEYER, L. On the minimal synchronism needed for distributed consensus. J. ACM 34, 1 (Jan. 1987), 77-97.
    • (1987) J. ACM , vol.34 , Issue.1 , pp. 77-97
    • DOLEV, D.1    DWORK, C.2    STOCKMEYER, L.3
  • 8
    • 84976706284 scopus 로고
    • The IBM research parallel processor prototype (rp3): Introduction and architecture. Presented at the International Conference on Parallel Processing
    • PFISTER, G. H., ET AL. The IBM research parallel processor prototype (rp3): Introduction and architecture. Presented at the International Conference on Parallel Processing, 1985.
    • (1985)
    • PFISTER, G.H.1    ET, A.L.2
  • 9
    • 0022045868 scopus 로고
    • Impossibility of distributed consensus with one faulty process
    • (April
    • FISCHER, M. J., LYNCH, N. A., AND PATERSON, M. S. Impossibility of distributed consensus with one faulty process. J ACM 32, 2 (April 1985), 374-382.
    • (1985) J ACM , vol.32 , Issue.2 , pp. 374-382
    • FISCHER, M.J.1    LYNCH, N.A.2    PATERSON, M.S.3
  • 10
    • 0020705129 scopus 로고    scopus 로고
    • The NYU ultracomputer-Designing an mimd parallel computer. IEEE Trans. Comput. C-32. 2 (Feb. 1984) 175-189
    • GOTTLIEB, A., GRISHMAN, R., KRUSKAL, C. P., MCAULIFFE, K. P., RUDOLPH, L., AND SNIR, M. The NYU ultracomputer-Designing an mimd parallel computer. IEEE Trans. Comput. C-32. 2 (Feb. 1984) 175-189.
    • GOTTLIEB, A.1    GRISHMAN, R.2    KRUSKAL, C.P.3    MCAULIFFE, K.P.4    RUDOLPH, L.5    SNIR, M.6
  • 11
    • 84976843516 scopus 로고
    • Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors
    • (April
    • GOTTLIEB, A., LUBACHEVSKY, B. D., AND RUDOLPH, L. Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. ACM Trans. Program. Lang. Syst. 5, 2 (April 1983), 164-189.
    • (1983) ACM Trans. Program. Lang. Syst. , vol.5 , Issue.2 , pp. 164-189
    • GOTTLIEB, A.1    LUBACHEVSKY, B.D.2    RUDOLPH, L.3
  • 12
    • 84976688778 scopus 로고
    • A methodology for implementing highly concurrent data structures. In Proceedings of the 2nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (March
    • HERLIHY, M. P. A methodology for implementing highly concurrent data structures. In Proceedings of the 2nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (March 1990).
    • (1990)
    • HERLIHY, M.P.1
  • 14
    • 85034779732 scopus 로고
    • Axioms for concurrent objects. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages (Jan
    • HERLIHY, M. P., AND WING, J. M. Axioms for concurrent objects. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages (Jan. 1987), pp. 13-26.
    • (1987) , pp. 13-26
    • HERLIHY, M.P.1    WING, J.M.2
  • 16
    • 0017555081 scopus 로고
    • Concurrent reading and writing
    • (Nov
    • LAMPORT, L. Concurrent reading and writing. Commun. ACM 20, 11 (Nov. 1977), 806-811.
    • (1977) Commun. ACM , vol.20 , Issue.11 , pp. 806-811
    • LAMPORT, L.1
  • 17
    • 0018518477 scopus 로고
    • HOW to make a multiprocessor computer that correctly executes multiprocess programs
    • (Sept
    • LAMPORT, L. HOW to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C-28, 9 (Sept. 1979), 690.
    • (1979) IEEE Trans. Comput. C-28 , vol.9 , pp. 690
    • LAMPORT, L.1
  • 18
    • 0022873767 scopus 로고
    • On interprocess communication, parts i and ii
    • LAMPORT, L. On interprocess communication, parts i and ii. Distributed Comput. 1 (1986), 77-101.
    • (1986) Distributed Comput. , vol.1 , pp. 77-101
    • LAMPORT, L.1
  • 19
    • 84976663837 scopus 로고
    • Specifying concurrent program modules
    • (April
    • LAMPORT, L. Specifying concurrent program modules. ACM Trans. Program Lang. Syst. 5, 2 (April 1983), 190-222.
    • (1983) ACM Trans. Program Lang. Syst. , vol.5 , Issue.2 , pp. 190-222
    • LAMPORT, L.1
  • 21
    • 84976846386 scopus 로고
    • ABU-AMARA, H. H. Memory Requirements for Agreement Among Unreliable Asynchronous Processes, vol. 4. Jai Press, Greenwich, Conn
    • LOUI, M. C., AND ABU-AMARA, H. H. Memory Requirements for Agreement Among Unreliable Asynchronous Processes, vol. 4. Jai Press, Greenwich, Conn., 1987, pp. 163-183.
    • (1987) , pp. 163-183
    • LOUI, M.C.1
  • 22
    • 84976687264 scopus 로고
    • An introduction to input/output automata. Tech. Rep. MIT/LCS/TM-373, MIT Laboratory for Computer Science, Nov
    • LYNCH, N. A., AND TUTTLE, M. R. An introduction to input/output automata. Tech. Rep. MIT/LCS/TM-373, MIT Laboratory for Computer Science, Nov. 1988.
    • (1988)
    • LYNCH, N.A.1    TUTTLE, M.R.2
  • 23
    • 84976748605 scopus 로고
    • NEWMAN-WOLFE, R. A protocol for wait-free, atomic, multi-reader shared variables. In Proceedings of the 6th ACM Symposium on Principles of Distributed Computing (
    • NEWMAN-WOLFE, R. A protocol for wait-free, atomic, multi-reader shared variables. In Proceedings of the 6th ACM Symposium on Principles of Distributed Computing (1987) pp. 232-249.
    • (1987) , pp. 232-249
  • 24
    • 0018533907 scopus 로고
    • The serializability of concurrent database updates
    • (Oct
    • PAPADIMITRIOU, C. H. The serializability of concurrent database updates. J. ACM 26, 4 (Oct. 1979), 631-653.
    • (1979) J. ACM , vol.26 , Issue.4 , pp. 631-653
    • PAPADIMITRIOU, C.H.1
  • 25
    • 84976657080 scopus 로고
    • Concurrent reading while writing
    • (Jan
    • PETERSON, G. L. Concurrent reading while writing. ACM Trans. Program. Lang. Syst 5, 1 (Jan. 1983), 46-55.
    • (1983) ACM Trans. Program. Lang. Syst , vol.5 , Issue.1 , pp. 46-55
    • PETERSON, G.L.1
  • 26
    • 84976664459 scopus 로고
    • Concurrent reading while writing II: The multi-writer case. Tech. Rep. GIT-ICS-86/26, Georgia Institute of Technology, Dec
    • PETERSON, G. L., AND BURNS, J. E. Concurrent reading while writing II: The multi-writer case. Tech. Rep. GIT-ICS-86/26, Georgia Institute of Technology, Dec. 1986.
    • (1986)
    • PETERSON, G.L.1    BURNS, J.E.2
  • 27
    • 0024888836 scopus 로고
    • Sticky bits and universality of consensus. In Proceedings of the 8th ACM Symposium on Principles of Distributed Computing (
    • PLOTKIN, S. A. Sticky bits and universality of consensus. In Proceedings of the 8th ACM Symposium on Principles of Distributed Computing (1989), pp. 159-176.
    • (1989) , pp. 159-176
    • PLOTKIN, S.A.1
  • 28
    • 0021793126 scopus 로고
    • The cosmic cube
    • (Jan
    • SEITZ, C. L. The cosmic cube. Commun. ACM 28, 1 (Jan. 1985).
    • (1985) Commun. ACM , vol.28 , Issue.1
    • SEITZ, C.L.1
  • 30
    • 0021455437 scopus 로고
    • Database applications of the fetch-and-add instruction
    • (July
    • STONE, H. S. Database applications of the fetch-and-add instruction. IEEE Trans. Comput C-33, 7 (July 1984), 604-612.
    • (1984) IEEE Trans. Comput C-33 , vol.7 , pp. 604-612
    • STONE, H.S.1


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