Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Solo-fast Universal Constructions for Deterministic Abortable Objects
du groupe Algorithmique Distribuée

Date 2014-07-07  14:00-15:00
TitreSolo-fast Universal Constructions for Deterministic Abortable Objects 
Résumé In the context of shared memory model, we present our study on efficient implementations for deterministic abortable objects. Deterministic abortable objects behave like ordinary objects when accessed sequentially, but they may return a special response abort to indicate that the operation failed (and did not take effect) when there is contention. It is impossible to implement deterministic abortable objects only with read/write registers. Thus, we study solo-fast implementations. These implementations use stronger synchronization primitives, e.g., CAS, only when there is contention. We consider interval contention. We present a non-trivial solo-fast universal construction for deterministic abortable objects. A universal construction is a method for obtaining a concurrent implementation of any object from its sequential code. The construction is non-trivial since in the resulting implementation a failed process can cause only a finite number of operations to abort. Our construction guarantees that operations that do not modify the object always return a legal response and do not use CAS. Moreover in case of contention, at least one writing operation succeeds. We prove that our construction has asymptotically optimal space complexity for objects whose size is constant. 
Lieu178 
OrateurClaire Capdevielle, (LaBRI, Université de Bordeaux) 



Aucun document lié à cet événement.

Retour
Retour à l'index