Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2004-11-11
2009-10-20
Yigdall, Michael J. (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S106000, C717S116000, C717S117000, C717S151000
Reexamination Certificate
active
07607125
ABSTRACT:
Existing methods for returning program state to a previous state are often too heavy weight. Often these methods attempt to guarantee a series of properties to a programmer across a distributed environment or multiple threads. Instead, a program state reversion mechanism provides a light weight and efficient runtime solution for general purpose programming languages. For example, a series of program statements (e.g., methods, instructions, etc.) are indicated by a programmer in a state reversion language construct, such as a TryAll block. If an exception is thrown anywhere from within the TryAll block, the program is reverted to the pre-TryAll block state.
REFERENCES:
patent: 5890161 (1999-03-01), Helland et al.
patent: 5958004 (1999-09-01), Helland et al.
patent: 6526416 (2003-02-01), Long
patent: 6543006 (2003-04-01), Zundel et al.
patent: 6618851 (2003-09-01), Zundel et al.
patent: 6728879 (2004-04-01), Atkinson
Fetzer et al., “Automatic Detection and Masking of Nonatomic Exception Handling”, Aug. 2004, IEEE, pp. 547-560 (from the IDS).
Algis Rudys, “Termination and Rollback in Language-Based Systems”, Dec. 2002, Rice University, Houston, Texas, pp. 1-93.
Shinnar et al., “Integrating support for undo with exception handling”, Dec. 2004, Microsoft Research, pp. 1-13.
Hagen et al., “Exception Handling in Workflow Management Systems”, 2000, IEEE, pp. 943-958.
Tim Harris, “Exceptions and side-effects in atomic blocks”, Jul. 25, 2004, In PODC Workshop on Con-currency and Synchronization in Java Programs (CSJP 2004), pp. 1-7.
Tim Harris, “Design choics for language-based transactions”, Aug. 2003, Technical report, Computer Lab Technical Report 572, pp. 1-7.
Harris et al., “Language Support for Lightweigh Transactions”, Oct. 26, 2003, ACM, pp. 1-15.
U.S. Appl. No. 10/650,245, filed Aug. 27, 2003, Grieskamp et al.
Produced by ECMA TC39/TG3, “Common Language Infrastructure (CLI) Partition III: CIL Instruction Set”, Final draft—Oct. 2002, 130 pages.
Barbara Liskov and Robert Scheifler, “Guardians and Actions: Linguistic Support for Robust, Distributed Programs”, ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 5, No. 3, Jul. 1983, pp. 381-404.
David L. Detlefs, Maurice P. Herlihy, and Jeannette M. Wing, “Inheritance of Synchronization and Recovery Properties in Avalon/C++”, IEEE Computer, vol. 21, No. 12, Dec. 1988, pp. 57-69.
Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles and Jeannette M. Wing, “Composing First-Class Transactions”, ACM Transactions on Programming Languages and Systems, Short Communication, Nov. 1994, 18 pages.
Jeannette M. Wing, Manuel Faehndrich, J. Gregory Morrisett, and Scott Nettles, “Extensions to Standard ML to Support Transactions”, ACM SIGPLAN Workshop on ML and its Applications, Jun. 1992, 15 pages.
Scott M. Nettles and Jeannette M. Wing, “Persistence+Undoability=Transactions”, Proc. of Hawaii International Conference on Systems Science 25, Jan. 1991, 12 pages.
George B. Leeman Jr., “A Formal Approach to Undo Operations in Programming Languages”, ACM Transactions on Programming Languages and Systems, vol. 8, No. 1, Jan. 1986, pp. 50-87.
Ralph E. Griswold, David R. Hanson, and John T. Korb, “Generators in Icon”, ACM Transactions on Programming Languages and Systems, vol. 3, No. 2, Apr. 1981, pp. 144-161.
Christof Fetzer and Karin Hogstedt, “Automatic Detection and Masking of Nonatomic Exception Handling”, IEEE Transactions on Software Engineering, Aug. 2004, pp. 547-560.
Brian Randell, Alexander Romanovsky, Cecelia M.F. Rubira, Robert J. Stroud, Zhixue Wu, and Jie Xu, “From Recovery Blocks to Concurrent Atomic Actions” Predictably Dependable Computing System,1995, 19 pages.
J.J. Horning, H.C. Lauer, P.M. Melliar-Smith, and B. Randell, “A Program Structure for Error Detection and Recovery”, Proceedings of the International Symposium on Operating Systems: Theoretical and Practical Aspects, Apr. 1974, 17 pages.
P.M. Melliar-Smith and B. Randell, “Software Reliability: The Role of Programmed Exception Handling”, Proceedings of the ACM Conference on Language Design for Reliable Software, 1977, ACM SIGPLAN Notices, vol. 12, No. 3, pp. 95-100.
Flaviu Cristian, “A Recovery Mechanism for Modular Software”, Proceedings of the 4thInternational Conference on Software Engineering, © 1979 IEEE, pp. 42-50A.
Antony L. Hosking, J. Eliot B. Moss, and Cynthia Bliss, “Design of an Object Faulting Persistent Smalltalk”, Coins Technical Report 90-45, May 1990, 18 pages.
Antony L. Hosking and J. Eliot B. Moss, “Towards Compile-Time Optimisations for Persistence”, Proceedings of the Fourth International Workshop on Persistent Object Systems, Sep. 1990, 11 pages.
Antony L. Hosking, Eric W. Brown, and J. Eliot B. Moss, “Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation”, Proceedings of the Nineteenth International Conference on Very Large Data Bases, Aug. 1993, 12 pages.
Shinnar Avraham E.
Steensgaard Bjarne
Tarditi, Jr. David Read
Klarquist & Sparkman, LLP
Microsoft Corporation
Wang Ben C
Yigdall Michael J.
LandOfFree
Programming language support for integrating undo and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Programming language support for integrating undo and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Programming language support for integrating undo and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4099785