J. Oplinger and M. S. Lam. Enhancing Software Reliability with Speculative Threads. In Proceedings of the 10th Intl. Conference on Architectural Support for Programming Languages and Operating Systems, Oct. 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Appears in the Proceedings of the 30th Annual International - Symposium On Computer (Correct)
....well known architectural support for Thread Level Speculation (TLS) 5, 10, 11, 19, 26, 27] can be reused for software debugging. Previous work has pointed out that TLS s ability to squash or commit the side effects of code sections as a unit can be used to enhance software reliability [17]. In this paper, we claim that TLS has the potential to be a core technology for software debugging. Specifically, with simple extensions, it supports the ability to roll back recent buggy execution and repeat it as many times as necessary until the bug is fully characterized. These incremental ....
....to a window of several tens of thousands of dynamic instructions per thread. However, our evaluation indicated that this limited window is very effective at debugging races. The hardware mechanisms we use for debugging are based on TLS [5, 10, 11, 19, 26, 27] Recently, Oplinger and Lam [17] have proposed using TLS to execute software assertion checks in parallel with the main program, and to provide transaction like semantics to the programmer. Software assertion checks can be used to detect many types of bugs, while ReEnact currently only detects data races. However, parallelizing ....
[Article contains additional citation context not shown here]
J. Oplinger and M. S. Lam. Enhancing Software Reliability with Speculative Threads. In 10th Intl. Conf. on Arch. Support for Prog. Lang. and Operating Sys., pages 184--196, 2002.
Architectural Semantics for Practical Transactional Memory - Austen Mcdonald Jaewoong (2006) (Correct)
No context found.
J. Oplinger and M. S. Lam. Enhancing Software Reliability with Speculative Threads. In Proceedings of the 10th Intl. Conference on Architectural Support for Programming Languages and Operating Systems, Oct. 2002.
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
No context found.
J. Oplinger and M. S. Lam. Enhancing software reliability with speculative threads. In ASPLOS, October 2002.
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
No context found.
J. Oplinger and M. S. Lam. Enhancing software reliability with speculative threads. In ASPLOS, October 2002.
iWatcher: Efficient Architectural Support for Software Debugging - Pin Zhou Feng (2004) (1 citation) (Correct)
No context found.
J. Oplinger and M. S. Lam. Enhancing software reliability with speculative threads. In ASPLOS, October 2002.
Flashback: A Lightweight Extension for Rollback and .. - Srinivasan.. (2004) (1 citation) (Correct)
No context found.
J. Oplinger and M. S. Lam. Enhancing software reliability with speculative threads, October 2002.
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
No context found.
J. Oplinger and M. S. Lam. Enhancing software reliability with speculative threads. In ASPLOS, October 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC