Garbage collector support for transactional memory

Details Garbage collector support for transactional memory Garbage collector support for transactional memory

2006-03-23

2010-06-29

Wong, Don (Department: 2163)

Data processing: database and file management or data structures

File or database maintenance

C707S672000, C707S684000

Reexamination Certificate

active

07747565

ABSTRACT:
A software transactional memory system is described which utilizes decomposed software transactional memory instructions as well as runtime optimizations to achieve efficient performance. The decomposed instructions allow a compiler with knowledge of the instruction semantics to perform optimizations which would be unavailable on traditional software transactional memory systems. Additionally, high-level software transactional memory optimizations are performed such as code movement around procedure calls, addition of operations to provide strong atomicity, removal of unnecessary read-to-update upgrades, and removal of operations for newly-allocated objects. During execution, multi-use header words for objects are extended to provide for per-object housekeeping, as well as fast snapshots which illustrate changes to objects. Additionally, entries to software transactional memory logs are filtered using an associative table during execution, preventing needless writes to the logs. Finally a garbage collector with knowledge of the software transactional memory system compacts software transactional memory logs during garbage collection.

REFERENCES:
patent: 6151607 (2000-11-01), Lomet
patent: 6289357 (2001-09-01), Parker
patent: 6427154 (2002-07-01), Kolodner et al.
patent: 6553392 (2003-04-01), Mosher et al.
patent: 6560773 (2003-05-01), Alexander et al.
patent: 6658652 (2003-12-01), Alexander et al.
patent: 6694340 (2004-02-01), Lyle et al.
patent: 6839726 (2005-01-01), Kawamoto
patent: 6898602 (2005-05-01), Sayag
patent: 7069279 (2006-06-01), Rau et al.
patent: 7117229 (2006-10-01), Marshall et al.
patent: 7240171 (2007-07-01), Barton et al.
patent: 7325108 (2008-01-01), Tuel
patent: 2002/0107879 (2002-08-01), Arnold et al.
patent: 2002/0138507 (2002-09-01), Shuf et al.
patent: 2003/0069905 (2003-04-01), Dussud
patent: 2004/0122876 (2004-06-01), Hudson et al.
patent: 2005/0097078 (2005-05-01), Lohman et al.
patent: 2007/0143287 (2007-06-01), Adl-tabatabai et al.
U.S. Appl. No. 11/192,784, filed Jul. 29, 2005, Harris.
Agesen et al., “An Efficient Meta-Lock for Implementing Ubiguitous Synchronization”, 30 pages, (Apr. 1999).
Bacon et al., “Thin locks: featherweight synchronization for Java”, pp. 258-268, (Jun. 1998).
Diniz & Rinard, “Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs”, 29 pages, (Aug. 1996).
Harris et al., “Composable Memory Transactions”, 13 pages, (Jun. 2005).
Harris & Fraser, “Language Support for Lightweight Transactions”, 15 pages, (Oct. 2003).
Hindman & Grossman, “Strong Atomicity for Java Without Virtual-Machine Support”, 18 pages, (printed Mar. 21, 2006).
Lev & Maessen, “Towards a Safer Interaction with Transactional Memory by Tracking Object Visibility”, 8 pages, (Oct. 2005).
Ringenburg & Grossman, “AtomCaml: First-Class Atomicity via Rollback”, 13 pages, (Sep. 2005).
Shinnar et al, Microsoft Research Technical Report “Integrating Support for Undo with Exception Handling”, 13 pages, (Dec. 2004).
Andrade et al., “Efficient Execution of Multi-Query Data Analysis Batches Using Compiler Optimization Strategies,”Lecture Notes in Computer Science, 15 pages (2004).
Finkelstein, “Common Expression Analysis in Database Application,”Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, pp. 235-245 (1982).
International Search Report and Written Opinion for PCT/US06/45526, dated Mar. 26, 2008.

Affiliated with

Also associated with

Rating

Garbage collector support for transactional memory does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Garbage collector support for transactional memory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Garbage collector support for transactional memory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4167027