FREE Registration is required
Overview:
The paper introduces the design and implementation of Dynamic Separation (DS) as a programming discipline for using transactional memory. The approach is based on the programmer indicating which objects can be updated in transactions, which can be updated outside transactions, and which are read-only. The paper introduces explicit operations that identify transitions between these modes of access. The paper shows how to guarantee strong semantics for programs that use these DS operations correctly, even over an STM implementation that provides only weak atomicity. The paper describes a run-time checking tool (analogous to a data-race detector) that can test whether or not a program is using DS operations correctly. The paper also examines the use of DS in an asynchronous IO library.
(Is this item miscategorized? Does it need more tags? Let us know.)
| Format: | Size: | 171 KB | |
| Date: | Jan 2009 | ||
| Pages: | 15 |
White Papers, Webcasts, and Resources
- Spend 3 minutes with free EBS ROI Tool - and Save Thousands IBMSee exactly how an Oracle EBS upgrade can lower your cost of ownership, deliver greater business intelligence, and improve capabilities company-wide.
- IBM WebSphere Portal for z/OS taps into System z, Web 2.0: Executive update IBMSee how to lower costs and extract value faster with more responsive, interactive and intuitive business applications from WebSphere Portal Version 6.1.
- Live Webcast: Saving 70% with Google Apps over Microsoft Exchange with Mattson Technology GoogleHear how a global technology company transformed the way it does business--and turned off 6 of its servers--simply by switching to Google Apps.
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
Featured Training Courses
- Implementing and Administering Windows 7 in the Enterprise
- CCNA Boot Camp v2.0
- VMware vSphere: Install, Configure, Manage [V4]
- Certified Ethical Hacker
- Management and Leadership Skills
- Browse all Training Courses







