1 / 5

Language Support for TM Breakout Session Summary Dagstuhl Seminar on TM June 12, 2008

Language Support for TM Breakout Session Summary Dagstuhl Seminar on TM June 12, 2008. Ali-Reza Adl-Tabatabai Programming Systems Lab Intel Corporation. Language semantics. Balancing pragmatic vs. ideal Pragmatic lock-based approach for C++

lethia
Download Presentation

Language Support for TM Breakout Session Summary Dagstuhl Seminar on TM June 12, 2008

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Language Support for TMBreakout Session SummaryDagstuhl Seminar on TMJune 12, 2008 Ali-Reza Adl-Tabatabai Programming Systems Lab Intel Corporation

  2. Language semantics Balancing pragmatic vs. ideal • Pragmatic lock-based approach for C++ • Clean, new semantics based possibly on strong isolation for new languages • Strong isolation practical to implement in SW? Should uncaught exceptions rollback? • How do you handle thrown objects? • Managed code: deep copy • native code: ? Features that cause partial rollback • Abort, retry, abort-on-exception

  3. Safety & progress In absence of partial rollback, Single Global Lock Atomicity (SGLA) provides reasonable safety guarantees Add progress guarantees on top of this model SGLA does not cover partial rollback • How to add this to the model? • Can rollback cause data races? Is SGLA the right framework to think about atomic blocks?

  4. My stand Take a pragmatic approach to C++ & Java • C++: SGLA • Java: ELA • Add semantics for abort, retry, and abort-on-exception Develop cleaner semantics for other languages • Progress guarantees • Stronger isolation guarantees

  5. Google groups for TM language integration http://groups.google.com/group/tm-languages

More Related