메뉴 건너뛰기
Formal Aspects of Computing
Volumn 4, Issue 3, 1992, Pages 273-298
A criterion for atomicity
Author keywords

Atomic registers; Atomicity; Composite registers; History; Interleaving semantics; Leader election; Models of concurrency; Shared Variable; Snapshot; Waiting
Indexed keywords

EID: 0037822784     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/BF01212305     Document Type: Article
Times cited : (16)
References (30)
  • 1
    • 84934415863 scopus 로고    scopus 로고
    • Afek, Y., Attiya, H., Dolev, D., Gafni, E., Merritt, M., and Shavit, N.: Atomic Snapshots of Shared Memory. Proc. Ninth Annual Symp. on Principles of Distributed Computing, pp. 1–14, 1990.
  • 3
    • 84934415862 scopus 로고    scopus 로고
    • Anderson, J.: Composite Registers, Proc. Ninth Annual Symp. on Principles of Distributed Computing, pp. 15–30, 1990.
  • 6
    • 84934415860 scopus 로고    scopus 로고
    • Anderson, J. and Grošelj, B.: Pseudo Read-Modify-Write Operations: Bounded Wait-Free Implementations. Proceedings of the Fifth International Workshop on Distributed Algorithms, Lecture Notes in Computer Science 579, Springer-Verlag, 1992.
  • 7
    • 84934415867 scopus 로고    scopus 로고
    • Aspens, J. and Herlihy, M.: Wait-Free Data Structures in the Asynchronous PRAM Model. Proc. Second Annual ACM Symp. on Parallel Architectures and Algorithms, July 1990.
  • 9
    • 84934415866 scopus 로고    scopus 로고
    • Burns, J. and Peterson, G.: Constructing Multi-Reader Atomic Values from Non-Atomic Values. Proceedings of the Sixth Annual Symposium on Principles of Distributed Computing, pp. 222–231 (1987).
  • 10
    • 84934415865 scopus 로고    scopus 로고
    • Burns, J. and Peterson, G.: Pure Buffers for Concurrent Reading While Writing. Technical Report GIT-ICS-87/17, School of Information and Computer Science, Georgia Institute of Technology, April 1987.
  • 11
    • 84934415864 scopus 로고    scopus 로고
    • Chor, B., Israeli, A. and Li, M.: On Processor Coordination Using Asynchronous Hardware. Proc. Sixth Annual Symp. on Principles of Distributed Computing, pp. 86–97, 1987.
  • 13
    • 84934415858 scopus 로고    scopus 로고
    • Gouda, M.: Serializable Programs, Parallelizable Assertions: A Basis for Interleaving. In: Beauty is Our Business, W.H.J. Feijen, A.J.M. van Gasteren, D. Gries and J. Misra (eds), pp. 135–140, Springer-Verlag, 1990.
  • 16
    • 84934415859 scopus 로고    scopus 로고
    • Kirousis, L., Kranakis, E. and Vitanyi, P.: Atomic Multireader Register. Proc. Second Int. Workshop on Distributed Computing, Lecture Notes in Computer Science 312, pp. 278–296, Springer Verlag, 1987.
  • 22
    • 84934415849 scopus 로고    scopus 로고
    • Li, M., Tromp, J. and Vitanyi, P.: How to Construct Wait-Free Variables. Proceedings of International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science 372, pp. 488–505, Springer-Verlag, 1989.
  • 25
    • 84934415855 scopus 로고    scopus 로고
    • Newman-Wolfe, R.: A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables. Proceedings of the Sixth Annual Symposium on Principles of Distributed Computing, pp. 232–248 (1987).
  • 27
    • 84934415854 scopus 로고    scopus 로고
    • Peterson, G. and Burns, J.: Concurrent Reading While Writing II: The Multi-Writer Case. Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987.
  • 28
    • 84934415857 scopus 로고    scopus 로고
    • Singh, A., Anderson, J. and Gouda, M.: The Elusive Atomic Register, Revisited. Proc. Sixth Annual Symp. on Principles of Distributed Computing, pp. 206–221, 1987.
  • 29
    • 84934415856 scopus 로고    scopus 로고
    • Tromp, J.: Proc. of the Third International Workshop on Distributed Algorithms, Lecture Notes in Computer Science 392, pp 292–302, Springer-Verlag, 1989.
  • 30
    • 84934415851 scopus 로고    scopus 로고
    • Vitanyi, P. and Awerbuch, B.: Atomic Shared Register Access by Asynchronous Hardware. Proceedings of the 27th IEEE Symposium on the Foundations of Computer Science, 1986, pp. 233–243.

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