Search Sciweavers | Sciweavers

33

FCCM
2007
IEEE

108views VLSI» more FCCM 2007»

14 years 4 months ago

Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...

Christoforos Kachris, Chidamber Kulkarni

claim paper

Read More »

27

click to vote

ISCA
2005
IEEE

101views Hardware» more ISCA 2005»

Virtualizing Transactional Memory

14 years 3 months ago

Download pages.cs.wisc.edu

Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...

Ravi Rajwar, Maurice Herlihy, Konrad K. Lai

claim paper

Read More »

30

click to vote

DATE
2007
IEEE

174views Hardware» more DATE 2007»

ATLAS: a chip-multiprocessor with transactional memory support

14 years 4 months ago

Download tcc.stanford.edu

Chip-multiprocessors are quickly becoming popular in embedded systems. However, the practical success of CMPs strongly depends on addressing the difﬁculty of multithreaded appli...

Njuguna Njoroge, Jared Casper, Sewook Wee, Yuriy T...

claim paper

Read More »

34

click to vote

IPPS
2010
IEEE

178views Distributed And Parallel Com...» more IPPS 2010»

Runtime checking of serializability in software transactional memory

13 years 7 months ago

Download www.princeton.edu

Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...

Arnab Sinha, Sharad Malik

claim paper

Read More »

21

click to vote

PPOPP
2010
ACM

171views Distributed and Parallel Com...» more PPOPP 2010»

Debugging programs that use atomic blocks and transactional memory

14 years 7 months ago

Download research.microsoft.com

Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adri...

claim paper