References
1. alameldeen, a.r., mauer, c.J., xu, m.,
harper, P.J., martin, m.m.k.,
sorin, D.J., hill, m.D., Wood, D.a.
evaluating non-deterministic multithreaded commercial workloads. in
Proceedings of the 5th Workshop on
Computer Architecture Evaluation
Using Commercial Workloads
(february 2002), 30–38
2. bacon, D.f., goldstein, s.c.
hardware-assisted replay of
multiprocessor programs.
Proceedings of the ACM/ONR
Workshop on Parallel and Distributed
Debugging, published in ACM
SIGPLAN Notices (1991), 194–206.
3. ceze, L., tuck, J.m., montesinos, P.,
torrellas, J. bulksc: bulk
enforcement of sequential
consistency. in Proceedings of the
34th International Symposium on
Computer Architecture (san Diego,
ca, usa, June 2007).
4. Dunlap, g. W., Lucchetti, D., chen,
P.m., fetterman, m. execution replay
on multiprocessor virtual machines.
in International Conference on
Virtual Execution Environments
(VEE) (2008).
5. hammond, L., Wong, V., chen, m.,
carlstrom, b.D., Davis, J.D.,
hertzberg, b., Prabhu, m.k.,
Wijaya, h., kozyrakis, c., olukotun, k.
transactional memory coherence
and consistency. in Proceedings of
the 34th International Symposium
on Computer Architecture (June
2004).
6. hower, D.r., hill, m.D. rerun:
exploiting episodes for lightweight
race recording. in Proceedings
of the 35th Annual International.
Symposium on Computer
Architecture (June 2008).
7. Lamport, L. time, clocks and the
ordering of events in a distributed
system. Commun. ACM 21, 7 (July
1978), 558–565.
8. Leblanc, t.J., mellor-crummey, J.m.
Debugging parallel programs
with instant replay. IEEE Trans.
Comp. C- 36, 4 (april 1987),
471–482.
9. Lucia, b., Devietti, J., strauss, k.,
ceze, L. atom-aid: Detecting and
surviving atomicity violations.
in Proceedings of the 35th
International Symposium on
Computer Architecture (June 2008).
10. martin, m.m.k., sorin, D.J.,
beckmann, b.m., marty, m.r.,
xu, m., alameldeen, a.r.,
moore, k.e., hill, m.D., Wood, D.a.
multifacet’s general execution-driven multiprocessor simulator
(gems) toolset. Comp. Arch. News
(september 2005), 92–99.
11. montesinos, P., ceze, L., torrellas, J.
DeLorean: recording and
deterministically replaying shared-memory multiprocessor execution
efficiently. in Proceedings of the
35th International Symposium on
Computer Architecture (June
2008).
12. narayanasamy, s., Pereira, c.,
calder, b. recording shared
memory dependencies using
strata. in Proceedings of the
12th International Conference
on Architectural Support for
Programming Languages and
Operating Systems (new york,
ny, usa, october 2006), 229–240.
13. netzer, r.h.b. optimal tracing and
replay for debugging shared-memory
parallel programs. in Workshop on
Parallel and Distributed Debugging
(san Diego, california, may 1993),
1–11.
14. renau, J., fraguela, b., tuck, J., Liu,
W.,
Prvulovic, m., ceze, L., sarangi, s.,
sack, P., strauss, k., montesinos, P.
sesc simulator (January 2005),
http://sesc.sourceforge.net.
15. Vallejo, e., galluzzi, m., cristal, a.,
Vallejo, f., beivide, r., stenstrom, P.,
smith, J.e., Valero, m. implementing
kilo-instruction multiprocessors.
in Proceedings of the 2005
International Conference on
Pervasive Systems (July 2005).
16. xu, m., bodik, r., hill, m.D. a “flight
Derek R. Hower ( drh5@cs.wisc.edu)
computer sciences Department
university of Wisconsin-madison.
Pablo Montesinos ( pmontesi@cs.uiuc.edu)
computer science Department
university of illinois
urbana-champaign.
Luis Ceze ( luisceze@cs.washington.edu)
Department of computer science
and engineering
university of Washington.
© 2009 acm 0001-0782/09/0600 $10.00
data recorder” for enabling full-system multiprocessor deterministic
replay. in Proceedings of the 30th
Annual International Symposium on
Computer Architecture (June 2003),
122–133.
17. xu, m., bodik, r., hill, m.D. a
regulated transitive reduction (rtr)
for longer memory race recording. in
Proceedings of the 12th International
Conference on Architectural Support
for Programming Languages and
Operating Systems (october 2006),
49–60.
18. xu, m., malyugin, V., sheldon, J.,
Venkitachalam, g., Weissman, b.
retrace: collecting execution trace
with virtual machine deterministic
replay. in Proceedings of the 3rd
Annual Workshop on Modeling,
Benchmarking and Simulation
(June 2007).
Mark D. Hill ( markhill@cs.wisc.edu)
computer sciences Department
university of Wisconsin-madison.
Josep Torrellas ( torrellas@cs.uiuc.edu)
computer science Department
university of illinois
at urbana-champaign.
Take Advantage of
ACM’s Lifetime Membership Plan!
�
ACM Professional Members can enjoy the convenience of making a single payment for their
entire tenure as an ACM Member, and also be protected from future price increases by
taking advantage of ACM's Lifetime Membership option.
�
ACM Lifetime Membership dues may be tax deductible under certain circumstances, so
becoming a Lifetime Member can have additional advantages if you act before the end of
2009. (Please consult with your tax advisor.)
�
Lifetime Members receive a certificate of recognition suitable for framing, and enjoy all of
the benefits of ACM Professional Membership.
Learn more and apply at:
http://www.acm.org/life