University of Illinois at Urbana-Champaign Block I logo
university of illinois at urbana-champaign

Department of Computer Science

Computer Science Department Calendar

skip to events

calendar tabs

  •  All 
  • Grid
  • Month
  • Week
  • Day
  • (Selected tab) Detail

Event Detail Information

Event Detail Information

R.T. Chien Distinguished Lecture: "Type-Specific Synchronization for Software Transactional Memory"

Speaker Maurice Herlihy, Brown University
Date Apr 9, 2013
Time 4:00 pm  
Location CSL Auditorium (B02)
Sponsor Coordinated Science Laboratory
Event type Academic
Views 4894
Originating Calendar CSL General Event Calendar
Software transactional memory (STM) is intended to make concurrent programs easier to design, implement, and reason about. STM is supported, either directly or through libraries, by an increasing number of languages and compilers, such as GNU C++, Clojure, Haskell, Java, Scala, and others. Perhaps inspired by databases, most STM synchronization and recovery mechanisms work by classifying operations as reads or writes. We argue that such an approach is unlikely to scale, especially for highly-contended "hot-spot" objects. As an alternative, we describe "transactional boosting", a technique for making highly-concurrent thread-safe data structures transactional. As long as the thread-safe implementation satisfies certain regularity properties (informally, that every method has an inverse), we define a simple wrapper transformation that that concurrent transactions without inherent conflicts can synchronize at the same granularity as the original thread-safe implementation.
link for robots only