|
Proposta de dissertação do MEI |
Título: |
Safe Data-Centric Concurrency Control |
Proponente(s): |
Hervé Paulino
António Ravara |
Créditos: |
42 ECTS |
Área científica: |
Software Construction and Analysis |
Início preferencial: |
Qualquer semestre |
URL: |
|
Já estão em curso trabalhos preliminares executados pelo alunos: |
|
Breve descrição: |
In data-centric concurrency control the programmer does not have to worry about synchronizing execution flows but rather identify memory locations that share consistency properties. A static analysis then infers the locks required to enforce the specified concurrency constraints.
The goal of this thesis is to formally prove key properties of RC3 (a previously proposed data centric concurrency control model), namely strong atomicity, deadlock-absence and serializability. To that end, the approach is to first formally specify the model\\\'s lock inference analysis. Subsequently, this formal framework will be used to proof the desired properties. |
Observações: |
A scholarship is available for this dissertation.
Current work can be found in paper https://www.researchgate.net/publication/301338064_From_Atomic_Variables_to_Data-Centric_Concurrency_Control |
|