TU Darmstadt / ULB / TUprints

Seamless Concurrent Programming of Objects, Aspects and Events

Van Ham, Jurgen Michael :
Seamless Concurrent Programming of Objects, Aspects and Events.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2015)

[img]
Preview
Text
unified_thesis_TUD.pdf
Available under Creative Commons Attribution 3.0 de.

Download (1MB) | Preview
Item Type: Ph.D. Thesis
Title: Seamless Concurrent Programming of Objects, Aspects and Events
Language: English
Abstract:

The advanced concurrency abstractions provided by the Join calculus overcome the drawbacks of low-level techniques such as locks and monitors. They rise the level of abstraction, freeing programmers that implement concurrent applications from the burden of concentrating on low-level details. However, with current approaches the coordination logic involved in complex coordination schemas is fragmented into several pieces including join patterns, data emissions triggered in different places of the application, and the application logic that implicitly creates dependencies among channels, hence indirectly among join patterns. We present JEScala, a language that captures coordination schemas in a more expressive and modular way by leveraging a seamless integration of an advanced event system with join abstractions. We implement Joins-based state machines using JEScala and introduce a domain specific language for finite state machines that make faster alternative implementations possible. We validate our approach with case studies and we provide a first performance assessment. We compare the performance of three different implementations of a finite state machine. Finally, we validate the idea of constructing a concurrent JEScala program by using the parts of a sequential Event-Based program in combination with an event monitor, a component that synchronizes handling of multiple events.

Alternative Abstract:
Alternative AbstractLanguage
L’utilisation de concepts avancés de programmation concurrente permet de dépasser les inconvénients de l’utilisation de techniques de bas niveau à base de verrous ou de moniteurs. Elle augmente le niveau d’abstraction, libérant les programmeurs d’applications concurrentes d’une focalisation excessive sur des détails. Cependant, avec les approches actuelles, la logique nécessaire à la mise en place de schémas de coordinations complexes est fragmentée en plusieurs points de l’application sous forme de « join patterns », de notifications et de la logique applicative qui crée implicitement des dépendances entre les canaux de communication et donc, indirectement, les « join patterns » (qui définissent ces canaux). Nous présentons JEScala, un langage qui capture les schémas de coordination (d’une application concurrente) d’une manière plus expressive et modulaire, en s’appuyant sur l’intégration fine d’un système d’évènements avancé et des « join patterns ». Nous implémentons des automates finis à partir de « joins » à l’aide de JEScala et introduisons un langage dédié à la définition de ces automates finis permettant d’en obtenir des implémentations plus efficaces. Nous validons notre approche avec des études de cas et évaluons l’efficacité de son exécution. Nous comparons la performance de trois implémentations d’un automate fini. Nous validons enfin l’idée d’un moniteur d’évènements en créant un programme JEScala concurrent à partir d’un découpage d’un programme séquentiel.French
Place of Publication: Darmstadt
Uncontrolled Keywords: Event-driven Programming, Aspect-Oriented Programming, Concurrency, Join Patterns, Scala
Alternative keywords:
Alternative keywordsLanguage
Programmation par événements, programmation par aspects, concurrence, «Join Patterns», ScalaFrench
Classification DDC: 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
Date Deposited: 27 Nov 2015 12:19
Last Modified: 27 Nov 2015 12:19
URN: urn:nbn:de:tuda-tuprints-51250
Referees: Mezini, Prof. Dr. Mira and De Meuter, Prof. Dr. Wolfgang
Refereed: 9 March 2015
URI: http://tuprints.ulb.tu-darmstadt.de/id/eprint/5125
Export:
Actions (login required)
View Item View Item

Downloads

Downloads per month over past year