Execução concorrente e determinista de transações

Translated title of the contribution: Concurrent and Deterministic Execution of Transactions

João M. Lourenço, Tiago M. Vale

Research output: Contribution to conferencePaper

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 contributionConcurrent and Deterministic Execution of Transactions
Original languagePortuguese
Pages219-234
Publication statusPublished - Sep 2015
Event6º Simpósio de Informática (INForum'15) -
Duration: 8 Sep 2015 → …

Conference

Conference6º Simpósio de Informática (INForum'15)
Abbreviated titleINForum 2015
Period8/09/15 → …

Fingerprint Dive into the research topics of 'Concurrent and Deterministic Execution of Transactions'. Together they form a unique fingerprint.

Cite this