Zusammenfassung
Für die objektorientierte Entwicklung nichtsequentieller Systeme wird vorgeschlagen, objektorientierte sequentielle Sprachen mit nur minimalen Erweiterungen zu versehen und technische Fragen der Nebenläufigkeit zu verbergen. Notwendige Koordinationsmaßnahmen — wie beispielsweise 2-Phasen-Sperren — werden über Pragmas und Übersetzer-Optionen gesteuert. Ein solcher Ansatz erlaubt insbesondere die Verwendung einheitlicher Klassenbibliotheken sowohl für sequentielle als auch für nichtsequentielle Systeme und fördert damit die Wiederverwendbarkeit. Die vorgeschlagene Vorgehensweise wird im Kontext der Sprache Eiffel dargestellt, die sich dafür als besonders geeignet erweist.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
M. Aksit, J.W. Dijkstra, A. Tripathi: Atomic delegation: object-oriented transactions. IEEE Software, March 1991
P.H.M. America: POOL-T: a parallel object-oriented language. In [Yonezawa/Tokoro 87]
P.H.M. America: Issues in the design of a parallel object-oriented language. Formal Aspects of Computing 1.4,1989
G.R. Andrews, R.A. Olsson, M. Coffin, I. Elshoff, K. Nilsen, T. Purdin, G. Townsend: An overview of the SR language and implementation. ACM TOPLAS 10.1, January 1988
D. Caromel: Service, asynchrony and wait-by-necessity. JOOP 2.4, November/December 1989
D. Caromel: Concurrency and reusability: from sequential to parallel. JOOP 3.3, September/October 1990
D.L. Detlefs, M.P. Herlihy, J.M. Wing: Inheritance of synchronization and recovery properties in Avalon/C++. IEEE Computer, December 1988
Th. Hadzilacos, V. Hadzilacos: Transaction synchronisation in object bases. ACM 7. Symp. on Principles of Database Systems, Austin, March 1988
M.P. Herlihy, J.M. Wing: Linearizability: a correctness condition for concurrent objects. ACM TOPLAS 12.3, July 1990
G.E. Kaiser, W. Hseush, S.S. Popovich, S.F. Wu: Multiple concurrency control policies in an object-oriented programming system. 2. IEEE Symp. on Parallel and Distributed Processing, December 1990
B. Liskov, R. Scheifler: Guardians and actions: linguistic support for robust, distributed programs. ACM TOPLAS 5.3, July 1983
B. Liskov: Distributed programming in Argus. CACM 31.3, March 1988
B. Meyer: Object-oriented Software Construction. Prentice-Hall 1988
B. Meyer: Eiffel: The Language and Environment. Prentice-Hall 1990
B. Meyer: Sequential and concurrent object-oriented programming. Proc. TOOLS 2, Paris, 1990
M. Papathomas: Concurrency issues in object-oriented programming languages. In D. Tsichritzis(ed.): Object-oriented Development. Université de Genève 1989
S.S. Popovich, S.F. Wu, G.E. Kaiser: An object-based approach to implementing distributed concurrency control. 11. Int. Conf. on Distributed Computing Systems, May 1991
A. Tripathi, M. Aksit: Communication, scheduling and resource management in SINA. JOOP 1.4, November/December 1988
P. Wegner: Concepts and paradigms of object-orientd programming. ACM OOPS Messenger 1.1, August 1990
G. Weikum: Transaktionen in Datenbanksystemen. Addison-Wesley 1988
N. Wirth: Programmieren in Modula-2. Springer 1985
A. Yonezawa, M. Tokoro: Object-oriented Concurrent Programming. The MIT Press 1987
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Löhr, KP. (1992). Nichtsequentielle Programmierung mit Eiffel. In: Kreowski, HJ. (eds) Informatik zwischen Wissenschaft und Gesellschaft. Informatik-Fachberichte, vol 309. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77449-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-77449-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55389-2
Online ISBN: 978-3-642-77449-2
eBook Packages: Springer Book Archive