Abstract
A consolidação do modelo de memória partilhada na programação de arquiteturas multi-core tem centrado atenções no conhecido problema da gestão de estado partilhado. Nessa medida este artigo propõe um mecanismo de controlo de concorrência que permite a aquisição atómica, e mutualmente exclusiva, de conjuntos de recursos. A abordagem distingui-se relativamente a outras na área por permitir composicionalidade livre de deadlocks tanto em cenários estáticos como dinâmicos.
| Original language | Unknown |
|---|---|
| Title of host publication | INForum |
| Pages | 302-305 |
| Publication status | Published - 1 Jan 2012 |
| Event | INForum - Simpósio de Informática - Duration: 1 Jan 2012 → … |
Conference
| Conference | INForum - Simpósio de Informática |
|---|---|
| Period | 1/01/12 → … |