This is a brief introduction to the language Jeeg (presented as an invited talk at WOODS 2003

Milicia, G.

Sassone, V.

English

Southampton (e-Prints Soton)

Electronic Notes in Theoretical Computer Science 82 No. 8 (2003)URL: http://www.elsevier.nl/locate/entcs/volume82.html 3 pagesTemporal Constraints and Concurrent ObjectsExtended AbstractGiuseppe Milicia1 and Vladimiro Sassone2BRICS1, University of Aarhus, Denmark?COGS2, University of Sussex – UK1 IntroductionIt is well known that the coexistence of inheritance and concurrency in object-oriented languages is not without problems [2,1]. Matsuoka and Yonezawacoined the term inheritance anomaly to refer to such problems [3].Commonly, in object oriented code, the set of messages accepted by anobject is not uniform in time. Depending on the object’s state, some of itsmethods will be unavailable, as e.g., pop from a empty stack, or put on afull buﬀer. To avoid inconsistencies in a concurrent setting, programmersuse synchronization code to implement the required constraints. However,the redeﬁnition of synchronization behaviour in sub-classes often forces theredeﬁnition of entire methods. The inheritance anomaly nulliﬁes the code-reuse promised by inheritance. The situation can be exempliﬁed in a simplecase by the following idealized pseudo-code of a buﬀer.class Buffer {...void put(Object el) { if ("buffer not full") ... }Object get() { if ("buffer not empty") ... }}If we wish to derive a class HistoryBuffer providing the additional methodgget which removes an element only if the last operation was not a get, we aremost likely forced to redeﬁne the inherited methods to do some book-keeping.We have an instance of history-sensitive inheritance anomaly.Generally speaking, the inheritance anomaly has been classiﬁed in threebroad varieties [3]: partitioning of states, modiﬁcation of acceptable states andhistory-sensitiveness of acceptable states. This latter is relevant to languagesbased on method guards such as Java and C# and it is the variety of theanomaly we wish to address.? Center of the Danish National Research Foundationc 2003 Published by Elsevier Science B. V.Milicia and SassoneAlthough modern programming languages provide concurrency and inher-itance, the inheritance anomaly is most commonly ignored. Indeed, Java andC# are mainstream concurrent object oriented languages whose synchroniza-tion primitives are based exclusively on (a non declarative use of) locks andmonitors.2 A bit of JeegJeeg [4] is a dialect of Java related to the aspect oriented programmingparadigm. Synchronization constraints, expressed declaratively as guards, aretotally decoupled from the body of the method, so as to enhance separationof concerns.A typical Jeeg program has the following form:public class MyClass {sync { m : φ; ... }// Standard Java class definitionpublic ... m(...) { ... }...}Intuitively, m : φ means that at a given point in time a method invocationo.m() can be executed if and only if the guard φ evaluated on object o yieldstrue. Otherwise, the execution of m is blocked until φ becomes true. Thenovelty of the approach is that guards are expressed in (a version of) LinearTemporal Logic [5] (LTL), so as to allow expressing properties based on thehistory of the computation. Exploiting the expressiveness of LTL, Jeeg isable to single out situations such as the HistoryBuffer class described in theintroduction, thus ridding the language from the corresponding anomalies.The syntax of the LTL variation we use is the following:φ ::= AP | !φ | φ&&φ | φ||φ | Previous φ | φ Since φWe can then code the HistoryBuffer example as:public class HistoryBuffer extends Buffer {sync { gget: (Previous (event != get)) && (! empty); }public HistoryBuffer(int max) { super(max); }public Object gget() throws Exception { ... }}ExpressivenessDue to the nature of the problem, it is of course impossible to claim for-mally that a language avoids the inheritance anomaly or solves it. The matter2Milicia and Sassonedepends on the synchronization primitives of the language of choice, and newpractice in object oriented programming may at any time unveil shortcomingsunnoticed before and leading to new kinds of anomalies. Nevertheless, sincethe expressive power of LTL is clearly understood, one of the pleasant featuresof Jeeg is to come equipped with a precise characterization of the situations itcan address. More precisely, all anomalies depending on sensitivity to objecthistories expressible as star-free regular languages can, in principle, be avoidedin Jeeg.ImplementationThe current implementation of Jeeg relies on the large body of theoreticalwork on LTL, that provides powerful model checking algorithms and tech-niques. Currently, each method invocation incurs an overhead that is linearin the size of the guards appearing in the method’s class. Also, the evalua-tion of the guards at runtime requires mutual exclusion guarantees that havea (marginal) computational cost. When compared with the beneﬁt of a sub-stantially increased applicability of inheritance, we feel that this is a mild priceto pay, especially in the common practical situations where code overriding isinfeasible or cost-ineﬀective.We are currently working on alternative ways to implement the ideas ofJeeg, aiming both at a lower computational overhead and at more expressivelogics.The reader interested in the details is referred to [4]. The current Jeegimplementation is available as open-source from http://sourceforge.net/projects/jeegc/.References[1] P. America. POOL: Design and experience. OOPS Messenger, 2(2):16–20, Apr.1991.[2] J. P. Briot and A. Yonezawa. Inheritance and synchronization in concurrentOOP. In European Conference on Object-Oriented Programming (ECOOP’87),volume 276 of LNCS, pages 32–40. Springer-Verlag, 1987.[3] S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming language. In A. Gul, W. Peter, and Y. Akinori,editors, Research Directions in Concurrent Object-Oriented Programming, pages107–150. MIT Press, 1993.[4] G. Milicia and V. Sassone. Jeeg: A Programming Language for ConcurrentObjects Synchronization. In Proceeding of JavaGrande/ISSCOPE 2002, pages212–221, November 2002.[5] A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEESymposium on the Foundations of Computer Science (FOCS-77), pages 46–57,Providence, Rhode Island, Oct. 31–Nov. 2 1977. IEEE Computer Society Press.3

Temporal Constraints for Concurrent Object Synchronisation

Abstract

Similar works

Full text

Available Versions

Southampton (e-Prints Soton)