Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2006-12-10
2010-12-07
Pham, Thomas K (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S127000, C717S125000, C717S131000, C717S134000, C717S135000
Reexamination Certificate
active
07849446
ABSTRACT:
Transactional programming promises to substantially simplify the development and maintenance of correct, scalable, and efficient concurrent programs. Designs for supporting transactional programming using transactional memory implemented in hardware, software, and a mixture of the two have emerged recently. Unfortunately, conventional debugging programs are often inadequate when employed in relation to code that employs transactional memory and new or modified techniques are needed. We describe techniques whereby certain facilities of a transactional memory implementation can be leveraged to provide replay debugging. With replay debugging, the user can examine a partial or complete execution of an atomic block after it has happened—for example, right before the execution commits. Moreover, in some cases the user can modify the replayed execution, and decide to commit the new modified execution instead of the original replayed one.
REFERENCES:
patent: 5870607 (1999-02-01), Netzer
patent: 6275956 (2001-08-01), On et al.
patent: 7506318 (2009-03-01), Lindo et al.
patent: 2002/0157086 (2002-10-01), Lewis et al.
patent: 2003/0028858 (2003-02-01), Hines
patent: 2004/0015642 (2004-01-01), Moir et al.
patent: 2007/0011656 (2007-01-01), Kumamoto
U.S. Appl. No. 10/915,502 entitled “Hybrid Software/Hardware Transactional Memory”, filed Aug. 10, 2004.
Harris, T., et al., “A Practical Multi-Word Compare-and-Swap Operation”, in Proceedings of the 16th International Symposium on DIStributed Computing (2002), pp. 265-279.
Herlihy, M., et al., “Software Transactional Memory for Dynamic Data Structures”, in Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (2003).
Lev, Y., et al., “Towards a Safer Interaction with Transactional Memory by Tracking Object Visibility”, in Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL) (Oct. 2005).
Lewis, B., “Debugging Backwards in Time”, in Proceedings of the Fifth International Workshop on Automated Debuggin (AADEBUG 2003), Sep. 2003.
Narayanasamy, S., et al., “BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging” in Proceedings of the 32nd International Symposium on Computer Architecture 1063-6897 IEEE 2005, 12 pages.
Rajwar, R., et al., “Virtualizing Transactional Memory”, in Proceedings of the 32nd International Symposium on Computer Architecture (ISCA'05) IEEE 2005, 12 pages.
Kumar, S., et al., “Hybrid Transactional Memory”, in Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, Mar. 29-31, 2006, ACM, New York, NY, 12 pages.
Afek, Y., et al., “Atomic Snapshots of Shared Memory”, Journal of the Association for Computing Machinery, vol. 40, No. 4, Sep. 1993, ACM, New York, NY, pp. 873-890.
Srinivasan, S.M., et al., “Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging”, Proceedings of the General Track: 2004 USENIX Annual Technical Conference, Jun. 27-Jul. 2, 2004, 15 pages.
SIMICS Hindsight “Time is Now on your Side”, Virtutech White Paper, Mar. 2005, 9 pages.
Lev, Y., “Debugging with Transactional Memory”, in proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT 2006), Ottawa, Canada, Jun. 11, 2006, 10 pages.
Lev, Y., “Debugging with Transactional Memory”, in proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT 2006), Ottawa, Canada, Jun. 11, 2006, Presentation slides, 41 pages.
“12 Great Reasons why Etnus TotalView is the World's Best C/C++ Debugger”, ETNUS TotalView® The most advanced debugger on Linux and UNIX, © 2003 Etnus, 2 pages.
“Debugging Memory Problems using TotalView” Version 8.0, © 2006 Etnus LLC.
Lev Yosef
Moir Mark S.
Kowert Robert C.
Meyertons Hood Kivlin Kowert & Goetzel P.C.
Oracle America Inc.
Pham Thomas K
LandOfFree
Replay debugging does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Replay debugging, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Replay debugging will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4237297