Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2006-10-25
2009-11-17
Baderman, Scott T (Department: 2114)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
Reexamination Certificate
active
07620850
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. However, certain features and capabilities that would be desirable for debugging programs executed using transactional memory are absent from conventional debuggers. Breakpointing is one example of a capability not well supported when conventional debugging technology is applied to transactional memory. We describe techniques by which a debugger may instrument code (or by which a TM library may provide functionality) to direct execution of an atomic block to a code path that facilitates breakpoint handling.
REFERENCES:
patent: 2004/0015642 (2004-01-01), Moir et al.
patent: 2005/0216701 (2005-09-01), Taylor
patent: 2006/0064677 (2006-03-01), Bickson et al.
patent: 2006/0294326 (2006-12-01), Jacobson et al.
patent: 2007/0055960 (2007-03-01), Damron et al.
patent: 2008/0178160 (2008-07-01), Brock et al.
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.
Baderman Scott T
Kowert Robert C.
Leibovich Yair
Meyertons Hood Kivlin Kowert & Goetzel P.C.
Sun Microsystems Inc.
LandOfFree
Breakpoints in a transactional memory-based representation... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Breakpoints in a transactional memory-based representation..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Breakpoints in a transactional memory-based representation... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4107754