A synchronization mechanism for typed objects in a distributed system

Decouchant, Dominique; Krakowiak, Sacha; Meysembourg, M.; Riveill, Michel; Pina, Xavier Rousset de

doi:10.1145/67386.67414

Cited by 24 publications

(18 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…These counters are mainly used in guards: conditions associated to the activation of a method. We find these counters again in different languages such as Guide [34] or Dragoon [37]. If the approach has a great power of expression, using it is still difficult owing to its complexity.…”

Section: Synchronization Abstractionsmentioning

confidence: 89%

See 1 more Smart Citation

BDL: a specialized language for per-object reactive control

Bertrand

Augeraud

1999

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

AbstractÐThe problem of describing the concurrent behavior of objects in object-oriented languages is addressed. The approach taken is to let methods be the behavior units whose synchronization is controlled separate from their specification. Our proposal is a domain-specific language, called BDL, for expressing constraints on this control and actually implementing its enforcement. We propose a model where each object includes a so-called ªexecution controller,º programmed in BDL. This separates cleanly the concepts of what the methods do, the object processes, from the circumstances in which they are allowed to do it, the control. The object controller ensures that scheduling constraints between the object's methods are met. Aggregate objects can be controlled in terms of their components. This language has a convenient formal base. Thus, using BDL expressions, behavioral properties of objects or groups of interesting objects can be verified. Our approach allows, for example, deadlock detection or verification of safety properties, while maintaining a reasonable code size for the running controller.A compiler from BDL has been implemented, automatically generating controller code in an Esterel program, i.e., in a reactive programming language. From this code, the Esterel compiler, in turn, generates an automaton on which verifications are done. Then this automaton is translated into a C code to be executed. This multistage process typifies the method for successful use of a domainspecific language. This also allows high-level concurrent programming.

show abstract

Section: Synchronization Abstractionsmentioning

confidence: 89%

“…So in Guide [34] an object may be associated with a set of activation conditions that specify whether or not a method may be executed by a thread. But threads are execution units distinct of objects which are passive.…”

Section: Integrated Approachmentioning

confidence: 99%

BDL: a specialized language for per-object reactive control

Bertrand

Augeraud

1999

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Such a library copes with the inheritance anomaly problem an efficient and flexible c++ library while using a simple synchronization scheme, derived from guard methods, 9 that makes the definition of classes easy and natural. The next section discusses the features and the limits of other approaches to synchronization in concurrent objectoriented systems.…”

Section: Introductionmentioning

confidence: 99%

An efficient and flexible C++ library for concurrent programming

Poggi

Rimassa

1998

Softw: Pract. Exper.

View full text Add to dashboard Cite

A major problem for the integration of concurrency in object-oriented languages is the so-called inheritance anomaly, i.e. the conflicts between inheritance and concurrency that often cause the need to redefine inherited methods in order to maintain the integrity of objects. Several solutions have been proposed for resolving these conflicts. However, some of them are incomplete, and do not solve all types of inheritance anomaly; others make the definition of classes complex and/or their implementation inefficient. This paper describes a C ++ library for concurrent programming that provides a comprehensive framework particularly suitable for coarse-grained distributed applications. This library copes with the inheritance anomaly problem, presenting a solution that minimizes the redefinition of inherited methods without increasing the complexity to write them. This solution is based on the use of a special set of methods, called interface methods, composed of a body and two sets of synchronization constraints. These two sets of synchronization constraints are respectively used to enable the execution of their method body and to disable the methods that cannot be executed after their method.

show abstract

“…Some object-oriented methods adopt asynchronous communication [26] which, however, introduces other problems: dificulty on verification of communication aspects and interference to inheritance of classes. New mechanisms need to be developed to accommodate both concurrency and inheritance coherently [27,28,29,30]. In addition to these concurrency related problems, the representation method for object-criented designs needs to be developed.…”

Section: Future Trendsmentioning

confidence: 99%

Trends in software design for distributed computing systems

Yau

Jia

Bae

[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems

View full text Add to dashboard Cite

A b s t r a c t Due to the rapid development of VLSI technology, computing systems can be made much more distributed and to match the structures of the problems for various applications. Because the characteristics of distributed computing systems are significantly different from those of centralized computing systems, different a,pproaches are needed to effectively address t,he design issues related to the characteristics of software for distributed computing systems. In this pa.per, the methods currently used to develop the software for distributed computing systems are classified into three categories: dataflow-oriented, communicationoriented, and object-oriented. Their applicabilities are conpa.red, and the future trends of software design approaches are discussed. Object-oriented software design methodoiogy is identified as a more promising approach to software design for distributed computing systems.I n d e x Terms-Distributed software design approaches, distributed computing systems, dataflow-oriented design approach, communication-oriented design approach, object oriented design approach, future trends. Introduet ionDue to the rapid developrrent of VLSI technology, computing systems can be made much more distributed and to match the structures of the problems for various applications. Furthermore, distribcted computing systems have the following major advantagcs: 1) The performance of a distributed computing system can be greatly improved by increasing its parallel processing capability. 2) A distributed computing system can be made more fault tolerant due to its distributed nature. 3) Tht: system can be easily expanded. Beca.use the cha,racteristics of distributed computing systems are sigxiificantly difierent f .om those of centralized computing systems, we need differ :nt, approaches to software design which can effectively address the issues related to the characteristics of distributed c( mputing systems, and realize the fu.11 potential of distribute< computing systems.In this paper, we will ( insider the characteristics of distributed computing systen i and categorize the methods currently used to develop so;tware for distributed computing systems in three classes: d ttaflow-oriented, communicationoriented, and object-oriented. The problems and issues to be addressed by the software design methodologies for distributed computing systems will also be identified. We will also discuss the trends of software design methods and identify the object-oriented software design methodology as a more promising approach . o software design for distributed computing systems although many research problems remain open. Characteristics of Distributed Computing Software SystemsA distributed computing system can be considered as a number of hardware processor: with each processor having certain computing capability, and a number of communication links among processors. From software point of view, a distributed software system -nx~ be considered as a set of sequential processes with each process residing on a hardw...

show abstract

A synchronization mechanism for typed objects in a distributed system

Cited by 24 publications

References 1 publication

BDL: a specialized language for per-object reactive control

BDL: a specialized language for per-object reactive control

An efficient and flexible C++ library for concurrent programming

Trends in software design for distributed computing systems

Contact Info

Product

Resources

About