other · MACAU (Kiel University) · 2012

Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java

Motika, Christian, von Hanxleden, Reinhard, Heinold, Mirko

Cited by 0Abstract and details only

Abstract

A key issue in the development of reliable embedded software is the proper handling of reactive controlow, which typically involves concurrency. Java and its thread concept have only limited provisions for implementing deterministic concurrency. Thus, as has been observed in the past, it is challenging to develop concurrent Java programs without any deadlocks or race conditions. To alleviate this situation, the Synchronous Java (SJ) approach presented her adopts the key concepts that have been established in the world of syschronous programming for handling reactive controlow. Thus SJ not only provides deterministic concurrency, but also dierent variants of deterministic preemption. Furthermore SJ allows concurrent threads to communicate with Esterel-style signals. As a case study for an embedded system usage, we also report on how the SJ concepts have been applied in the context of Lego Mindstorms.

Cite this paper

APA 7

Motika, C., von Hanxleden, R., & Heinold, M. (2012). Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java. MACAU (Kiel University).

MLA 9

Motika, Christian, et al. “Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java.” MACAU (Kiel University), 2012.

Chicago

Motika, Christian, Reinhard von Hanxleden, and Mirko Heinold. 2012. “Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java.” MACAU (Kiel University).

Harvard

Motika, C., von Hanxleden, R. and Heinold, M. (2012) ‘Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java’, MACAU (Kiel University).

BibTeX

@misc{motika2012synchronous,
  title = {{Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java}},
  author = {Motika, Christian and von Hanxleden, Reinhard and Heinold, Mirko},
  journal = {MACAU (Kiel University)},
  year = {2012}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.