Evènement pour le groupe Modélisation et Verification

Date 2015-05-28  11:00-12:00
TitreAn Introduction to Software Transactional Memory 
RésuméSoftware Transactional memory (or STM for short) is a promising programming paradigm that aims at simplifying concurrent programming by using the notion of a transaction. A transaction executes a piece of code containing accesses to data items which are shared by several processes in a concurrent setting. By using transactions, the programmer needs only enhance its sequential code with invocations of special operations to read or write data items. It is guaranteed that if any operation of a transaction takes place, they all do, and that if they do, they appear to other threads to do so atomically, as one indivisible operation. In this talk, I will present the STM paradigm and the main algorithmic techniques to implement it. 
OrateurAlessia Milani 

Aucun document lié à cet événement.

Retour à l'index