We present an analytical performance modeling approach for concurrency control al- gorithms in the context of Software Transactional Memories (STMs). Unlike existing ap- proaches, we consider a realistic execution pattern where each thread alternates the exe- cution of transactional and non-transactional code portions. Also, our model captures dy- namics related to the execution of both transactional read/write memory accesses and non- transactional operations, even when they occur within transactional contexts. Further, we rely on a detailed approach explicitly capturing key parameters, such as the execution cost of transactional and non-transactional operations, as well as the cost of begin, commit and abort operations. The proposed modeling methodology is general and extensible, lending itself to be easily specialized to capture the behavior of different STM concurrency control algorithms. In this work we specialize it to model the performance of Commit-Time-Locking algorithms, which are currently used by several STM systems. Copyright © 2010, Unisys Corporation. All rights reserved.

Analytical modeling of Commit-Time-Locking algorithms for Software Transactional Memories / DI SANZO, Pierangelo; Ciciani, Bruno; Palmieri, Roberto; Quaglia, Francesco; Romano, Paolo. - (2010). (Intervento presentato al convegno 36th International Conference on Computer Measurement Group tenutosi a Orlando; United States nel 6 December 2010 through 10 December 2010).

Analytical modeling of Commit-Time-Locking algorithms for Software Transactional Memories

DI SANZO, PIERANGELO;CICIANI, Bruno;PALMIERI, ROBERTO;QUAGLIA, Francesco;ROMANO, Paolo
2010

Abstract

We present an analytical performance modeling approach for concurrency control al- gorithms in the context of Software Transactional Memories (STMs). Unlike existing ap- proaches, we consider a realistic execution pattern where each thread alternates the exe- cution of transactional and non-transactional code portions. Also, our model captures dy- namics related to the execution of both transactional read/write memory accesses and non- transactional operations, even when they occur within transactional contexts. Further, we rely on a detailed approach explicitly capturing key parameters, such as the execution cost of transactional and non-transactional operations, as well as the cost of begin, commit and abort operations. The proposed modeling methodology is general and extensible, lending itself to be easily specialized to capture the behavior of different STM concurrency control algorithms. In this work we specialize it to model the performance of Commit-Time-Locking algorithms, which are currently used by several STM systems. Copyright © 2010, Unisys Corporation. All rights reserved.
2010
36th International Conference on Computer Measurement Group
Analytical performance; Key parameters; Memory access
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Analytical modeling of Commit-Time-Locking algorithms for Software Transactional Memories / DI SANZO, Pierangelo; Ciciani, Bruno; Palmieri, Roberto; Quaglia, Francesco; Romano, Paolo. - (2010). (Intervento presentato al convegno 36th International Conference on Computer Measurement Group tenutosi a Orlando; United States nel 6 December 2010 through 10 December 2010).
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/189836
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact