Summary
Problems caused by concurrent access to data can be solved by locking. This, however, diminishes efficiency and may cause deadlocks among the accessing processes. In this paper the structuring of data sets is deduced from assertions about accesses which may be performed simultaneously. This structuring supports the development of operations which synchronize concurrent access to these data. Thus the provisions for locking are transferred from programs to data structures where the requests for locking actually arise. The synchronization operations will exclude all undesired interferences and will maximize the number of possible simultaneous accesses in accordance with the original assertions.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bernstein, A.J., Shoshani, A.: Synchronization in a parallel-accessed data base. Comm. ACM 11, 604–607 (1969)
Berztiss, A.T.: Data structures: theory and practice. New York-London: Academic Press 1973
Chamberlin, D.D., Boyce, R.F., Traiger, I.L.: A deadlock-free scheme for resource locking in a data-base environment. Proc IFIP Congress 1974, Preprints, pp. 340–343, 1974
Denning, P.: Third generation computer systems. Comput. Surveys 3, 175–216 (1971)
Dijkstra, E. W.: Cooperating sequential processes. Programming Languages, pp. 43–112. London: Academic Press 1968
Easton, W. B.: Process synchronization without longterm interlock. Third Symposium on Operating Systems Principles, Palo Alto, pp. 95–100, 1971
Nehmer, J.: Dispatcher-Elementarfunktionen für symmetrische Mehrprozessor-DV-Systeme. Dissertation, Kernforschungszentrum Karlsruhe, KFK 1866, 1973
Parnas, D.L.: On a solution to the cigarette smoker's problem (without conditional statements). Comm. ACM 18, 181–183 (1975)
Patil, S.S.: Limitations and capabilities of Dijkstra's semaphore primitives for coordination among processes, Proj. MAC, Computation Structures Group Memo 57. Cambridge (Mass.): MIT 1971
Ramsperger, N.: Verringerung von Prozeßbehinderungen in Rechensystemen. Technische Universität München, Dissertation, 1974
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ramsperger, N. Concurrent access to data. Acta Informatica 8, 325–334 (1977). https://doi.org/10.1007/BF00271341
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00271341