A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification
[chapter]
2014
Lecture Notes in Computer Science
Thread Level Speculation (TLS) is a dynamic code parallelization technique proposed to keep the software in pace with the advances in hardware, in particular, to automatically parallelize programs to take advantage of the multicore processors. Being speculative, frameworks of this type unavoidably rely on verification systems that are similar to software transactional memory, and that require voluminous inter-thread communications or centralized registering of the performed memory accesses. The
doi:10.1007/978-3-319-11164-3_11
fatcat:k7hv6nqbovgxrcpzspfpy55k5u