*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Title: Bridging the Gap For Hardware Transactional Memory
Sunjae Young Park
Ph.D. Candidate
School of Computer Science
College of Computing
Georgia Institute of Technology
Date: Thursday, October 4 2018
Time: 11:00PM - 1:00PM (EDT)
Location: Klaus 3402
Committee:
Dr. Milos Prvulovic (Advisor, School of Computer Science, Georgia Institute of Technology)
Dr. Hyesoon Kim (School of Computer Science, Georgia Institute of Technology)
Dr. Moinuddin Qureshi (School of Electrical and Computer Engineering, Georgia Institute of Technology)
Dr. Santosh Pande (School of Computer Science, Georgia Institute of Technology)
Dr. Christopher J. Hughes (Intel)
Abstract:
Transactional memory (TM) is a promising new tool for shared memory application development. Unlike mutual exclusion locks, TM allows atomic sections to execute concurrently, optimistically predicting the threads will not conflict. Commercial releases of hardware TM (HTM) brings this functionality to the mainstream.
However, the commercial implementations work to provide TM functionality with the minimum amount of hardware changes required, unlike research prototypes that can work from a clean slate. As a result, there are significant gaps in performance of the commercial implementations compared to those proposed by the research community. In this thesis, I propose to several ideas that keep with this mindset, but still close the gap in performance.
First, I introduce plea bits that can be used to provide enhanced conflict resolution policies, compared to the basic "requester-wins" policy used in commercial HTM implementations. Second, I propose calling a pre-abort handler instead of doing automatic state rollback when encountering abort-causing conditions. Last, I propose to change how speculative writes are handled within the transaction, allowing for lazy conflict detection. Using these techniques, I show that it is possible to support more sophisticated HTM functionality while keeping the required changes minimal.
