Programming Languages White Papers
Implementation and Use of Transactional Memory With Dynamic Separation
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.
| Publisher | Springer Science+Business Media | File Format | |
|---|---|---|---|
| Date Published | January 2009 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful?
White Paper RSSIntroducing Xomega for XML Object Modeling and Code Generation
DownloadXML-based Model Driven Development can be a simple, but very powerful alternative to the UML-based MDA and can result in significantly increased productivity, clean and robust designs and improved system...
Market-Leading Data-Modeling Tools: Research Report from the Burton Group
The Burton Group provides an in-depth research report on Market-Leading Data-Modeling Tools. According to their research, basic data modeling tools have become commoditized - basic features are yesterday's...
The Converging Paths of SQL Server and SharePoint - Don't Wait Until It's Too Late!
SharePoint and SQL server have much in common, and understanding their similarities will help you streamline your day-to-day tasks and help you work more efficiently. Do you know what those...
Supporting Employees Anytime, Anywhere
New business demands require a new approach to end-user support. This is leading organizations to a remote service delivery model that leverages the Web and Saas technology
The Pursuit of a Standardized Solution for Secure Enterprise RBAC
Each RBAC implementation varies in its capabilities and method of management. In a multi-platform environment, these differences introduce higher administration hours and costs because the various RBAC models are not...
