Weak Fairness Semantic Drawbacks in Java Multithreading - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Weak Fairness Semantic Drawbacks in Java Multithreading

Résumé

With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. It is the aim of this paper to exemplify some subtle programming errors that may result from the process queuing and awaking policy, which corresponds to a weak fairness semantic and which has been chosen for implementing the monitor concept in this language. Two examples show some subtle deadlocks resulting from this policy. The first example deals with process synchronization: processes seeking after partners for a peer-to-peer communication call a symmetrical rendezvous server. The second example concerns resource sharing according to a solution of the dining philosophers paradigm. In this example, several implementations are presented, the last ones aiming to provide deterministic process awakening. All these examples have been validated and simulated and this allows comparing their concurrency complexity and effectiveness. Our conclusion is, first, that the use of Java for multithreading programming necessitates sometimes additional shielding code for developing correct programs and, second, that a good acquaintance with several styles of concurrent programming helps designing more robust Java solutions, once the choice of the implementation language is irrevocable.
Fichier principal
Vignette du fichier
Weak_Fairness_Semantic_Drawbacks_in_Java_Multithre.pdf (304.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03401976 , version 1 (25-10-2021)

Identifiants

Citer

Claude Kaiser, Jean-François Pradat-Peyre. Weak Fairness Semantic Drawbacks in Java Multithreading. 14th International Conference on Reliable Software Technologies, Jun 2009, Brest, France. pp.90-104, ⟨10.1007/978-3-642-01924-1_7⟩. ⟨hal-03401976⟩
77 Consultations
65 Téléchargements

Altmetric

Partager

More