Data processing: database and file management or data structures – Database and file access – Query optimization
Reexamination Certificate
2011-03-15
2011-03-15
Woo, Isaac M (Department: 2166)
Data processing: database and file management or data structures
Database and file access
Query optimization
C707S722000, C707S736000, C707S758000, C707S781000, C707S791000
Reexamination Certificate
active
07908265
ABSTRACT:
Strong semantics are provided to programs that are correctly synchronized in their use of transactions by using dynamic separation of objects that are accessed in transactions from those accessed outside transactions. At run-time, operations are performed to identify transitions between these protected and unprotected modes of access. Dynamic separation permits a range of hardware-based and software-based implementations which allow non-conflicting transactions to execute and commit in parallel. A run-time checking tool, analogous to a data-race detector, may be provided to test dynamic separation of transacted data and non-transacted data. Dynamic separation may be used in an asynchronous I/O library.
REFERENCES:
patent: 7206903 (2007-04-01), Moir et al.
patent: 2004/0015514 (2004-01-01), Melton et al.
patent: 2004/0015642 (2004-01-01), Moir et al.
patent: 2007/0043933 (2007-02-01), Moir et al.
patent: 2007/0118579 (2007-05-01), Hudson
patent: 2007/0156780 (2007-07-01), Saha et al.
patent: 2007/0169031 (2007-07-01), Harris
patent: 2007/0186069 (2007-08-01), Moir
patent: 2007/0245128 (2007-10-01), Gray et al.
patent: 2007/0260608 (2007-11-01), Hertzberg et al.
Li; et al., “Certifying Concurrent Programs with Transactional Memory” pp. 1-10.
Abadi; et al., “Principles and Constructs for STM: Automatic Defense against the Living Dead” pp. 1-13.
Fraser; et al., “Concurrent Programming without Locks” ACM Journal Name, vol. V, No. N, M 20YY. pp. 1-59.
Isard; et al., “Automatic Mutual Exclusion” pp. 1-6.
Abadi Martin
Birrell Andrew D.
Harris Timothy L.
Hsieh Johnson
Isard Michael A.
Microsoft Corporation
Woo Isaac M
LandOfFree
Transactional memory with dynamic separation does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Transactional memory with dynamic separation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Transactional memory with dynamic separation will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2772085