Software Transactional Memory: La programmation concurrente sûre et facile?

[arnaudbos]

Sujet de votre conférence

Software Transactional Memory: La programmation concurrente sûre et facile?

Le(s) speaker(s)

Arnaud Bos. Passionné par les langages de programmation, les parenthèses et les systèmes distribués. Amateur de hamacs.

Description de votre conférence

La Software transactional memory (STM) est un mécanisme de contrôle de la concurrence alternative aux locks manuels, qui existe dans diverses formes, dans de nombreux langages.

Depuis quelques années, les STM gagnent en popularité dans la recherche, mais leur adoption dans les pratiques courantes de développement est plus lente.
Comme ce fut (l'est toujours?) le cas pour la garbage collection, la STM souffre de controverses concernant ses performances et aspects pratiques.
Cependant, Clojure, avec ses structures de données immuables et persistantes, son approche fonctionnelle et ses types de références, offre des avantages certains pour en proposer une, comme nous allons le voir.

Même si vous n'avez jamais entendu parler de STM, venez apprendre à écrire des programmes concurrents corrects facilement. Nous verrons quelles garanties la STM de Clojure offre, et les détails de son implémentation en Java.

Informations diverses

• Thème, label : Clojure, Java, Programmation concurrente, STM
• Niveau de difficulté (débutant|confirmé) : intermédiaire
• Durée : ~50mn
• Format : slides et "code browsing"
• Dispo : oui non, plus sous cette forme

[arnaudbos]

Ajout du label "Unlinkely to happen" parce que je ne ferai pas cette présentation sous cette forme. Depuis ce CfP j'ai pas mal avancé sur mon étude des STM et si je dois parler de ce sujet, j'en parlerai dans le cadre du projet de veille sur lequel je travaille depuis plusieurs années qui mèle STM, DistSys et TLA+.
Je garde le sujet ouvert pour me souvenir des votes.