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

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

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

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

Research output: Contribution to conference › Paper › peer-review

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 → …

Access to Document

http://docentes.fct.unl.pt/joao-lourenco/files/inforum15-pot.pdfLicence: Unspecified

Cite this

@conference{9ee104467adf42e29e6a152ba5f45612,

title = "Execu{\c c}{\~a}o concorrente e determinista de transa{\c c}{\~o}es",

abstract = "Neste artigo apresentamos um protocolo de controlo de concorr{\^e}ncia que garante que a execu{\c c}{\~a}o concorrente de transa{\c c}{\~o}es {\'e} equivalente {\`a} sua execu{\c c}{\~a}o sequencial por uma ordem predefinida. Isto permite executar programas que usam transa{\c c}{\~o}es de forma determinista. O protocolo (1) permite, pela primeira vez, a execu{\c c}{\~a}o determinista de programas que usam mem{\'o}ria transacional por hardware; e (2) garante a execu{\c c}{\~a}o determinista de programas que usam mem{\'o}ria transacional por software com um desempenho claramente superior ao estado da arte.",

author = "Louren{\c c}o, \{Jo{\~a}o M.\} and Vale, \{Tiago M.\}",

note = "Sem PDF.; 6º Simp{\'o}sio de Inform{\'a}tica (INForum'15) ; Conference date: 08-09-2015",

year = "2015",

month = sep,

language = "Portuguese",

pages = "219--234",

}

TY - CONF

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

AU - Lourenço, João M.

AU - Vale, Tiago M.

N1 - Sem PDF.

PY - 2015/9

Y1 - 2015/9

N2 - 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.

AB - 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.

M3 - Paper

SP - 219

EP - 234

T2 - 6º Simpósio de Informática (INForum'15)

Y2 - 8 September 2015

ER -

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

Abstract

Conference

Access to Document

Fingerprint

Cite this