|
Proposta de dissertação do MEI |
Título: |
Combining Locks with Transactional Memory in Data Centric Concurrency Control |
Proponente(s): |
Hervé Paulino
João Lourenço |
Créditos: |
42 ECTS |
Área científica: |
Computer Systems and Networks |
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 which locks are required to enforce the specified concurrency constraints, in such a way that the absence of deadlocks is guaranteed.
The current lock inference algorithm handles deadlock situations by increasing the granularity of the locks, hence reducing concurrency. The goal of this thesis is to study the use of Software/Hardware Transactional Memory as an alternative to locks in such situations. The work requires a prototype implementation in Java. |
Observações: |
The work will be in context of the Java language.
Current work can be found in paper https://www.researchgate.net/publication/301338064_From_Atomic_Variables_to_Data-Centric_Concurrency_Control |
|