Abstract
Neste artigo apresentamos um protocolo de controlo de concorrência que garante que a execução concorrente de transações é equivalente à sua execução sequencial por uma ordem predefinida. Isto permite executar programas que usam transações de forma determinista. O protocolo (1) permite, pela primeira vez, a execução determinista de programas que usam memória transacional por hardware; e (2) garante a execução determinista de programas que usam memória transacional por software com um desempenho claramente superior ao estado da arte.
| Translated title of the contribution | Concurrent and Deterministic Execution of Transactions |
|---|---|
| Original language | Portuguese |
| Pages | 219-234 |
| Publication status | Published - Sept 2015 |
| Event | 6º Simpósio de Informática (INForum'15) - Duration: 8 Sept 2015 → … |
Conference
| Conference | 6º Simpósio de Informática (INForum'15) |
|---|---|
| Abbreviated title | INForum 2015 |
| Period | 8/09/15 → … |