Using Hardware Memory Protection to Build a High-Performance, Strongly-Atomic Hybrid Transactional Memory

We demonstrate how fine-grained memory protection can be used in support of transactional memory systems: first showing how a software transactional memory system (STM) can be made strongly atomic by using memory protection on transactionally-held state, then showing how such a strongly-atomic STM c...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2008 International Symposium on Computer Architecture s. 115 - 126
Hlavní autori: Baugh, Lee, Neelakantam, Naveen, Zilles, Craig
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: Washington, DC, USA IEEE Computer Society 01.06.2008
IEEE
Edícia:ACM Conferences
Predmet:
Abort Handler
Computer architecture
Computer science
Content management
Hardware
Hardware > Hardware validation
Hardware > Integrated circuits > Semiconductor memory
Hybrid
Memory Protection
Primitives
Proposals
Protection
Read-write memory
Software performance
Software safety
Software systems
Strong Atomicity
Theory of computation > Models of computation > Concurrency
Theory of computation > Models of computation > Concurrency > Parallel computing models
Transactional Memory
Hybrid
Transactional Memory
Primitives
Abort Handler
Memory Protection
Strong Atomicity
ISBN:9780769531748, 0769531741
ISSN:1063-6897
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We demonstrate how fine-grained memory protection can be used in support of transactional memory systems: first showing how a software transactional memory system (STM) can be made strongly atomic by using memory protection on transactionally-held state, then showing how such a strongly-atomic STM can be used with a bounded hardware TM system to build a hybrid TM system in which zero-overhead hardware transactions may safely run concurrently with potentially-conflicting software transactions. We experimentally demonstrate how this hybrid TM organization avoids the common-case overheads associated with previous hybrid TM proposals, achieving performance rivaling an unbounded HTM system without the hardware complexity of ensuring completion of arbitrary transactions in hardware. As part of our findings, we identify key policies regarding contention management within and across the hardware and software TM components that are key to achieving robust performance with a hybrid TM.
ISBN:9780769531748
0769531741
ISSN:1063-6897
DOI:10.1109/ISCA.2008.34