On BNET: Is the Mac finally ready for the office?
BNET Business Network:
BNET
TechRepublic
ZDNet

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:PDFSize:171 KB
Date:Jan 2009
Pages:15
advertisement
Click Here

White Papers, Webcasts, and Resources

Featured Training Courses

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).