Skip to feedback

Award Abstract # 0811405
CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure

NSF Org: CCF
Division of Computing and Communication Foundations
Recipient: UNIVERSITY OF WASHINGTON
Initial Amendment Date: September 9, 2008
Latest Amendment Date: September 9, 2008
Award Number: 0811405
Award Instrument: Standard Grant
Program Manager: John Reppy
CCF
 Division of Computing and Communication Foundations
CSE
 Directorate for Computer and Information Science and Engineering
Start Date: September 15, 2008
End Date: August 31, 2012 (Estimated)
Total Intended Award Amount: $250,000.00
Total Awarded Amount to Date: $250,000.00
Funds Obligated to Date: FY 2008 = $250,000.00
History of Investigator:
  • Daniel Grossman (Principal Investigator)
    djg@cs.washington.edu
Recipient Sponsored Research Office: University of Washington
4333 BROOKLYN AVE NE
SEATTLE
WA  US  98195-1016
(206)543-4043
Sponsor Congressional District: 07
Primary Place of Performance: University of Washington
4333 BROOKLYN AVE NE
SEATTLE
WA  US  98195-1016
Primary Place of Performance
Congressional District:
07
Unique Entity Identifier (UEI): HD1WMN6945W6
Parent UEI:
NSF Program(s): COMPUTING PROCESSES & ARTIFACT
Primary Program Source: 01000809DB NSF RESEARCH & RELATED ACTIVIT
Program Reference Code(s): 9218, HPCC
Program Element Code(s): 735200
Award Agency Code: 4900
Fund Agency Code: 4900
Assistance Listing Number(s): 47.070

ABSTRACT

As general-purpose computing moves into the age of pervasive parallelism, programmability becomes the key hurdle limiting the effective use of available computing resources. Transactional memory promises to simplify parallel programming for application programmers. However, research in Transactional Memory is being seriously hampered by the lack of a reusable open source infrastructure. The project will develop the key pieces necessary to overcome this situation: A transactional memory library built out of highly decomposed pieces will provide reusable and replaceable parts suitable for investigating tradeoffs in software TM implementations. Standardized interfaces will allow libraries conforming to the interfaces to be used in a variety of environments. TM-aware run-time analysis tools, particularly profilers and debuggers, will provide the necessary tool support for TM implementors and application programmers to understand and improve the performance of software using transactions. Interesting benchmarks, in a variety of high-level languages, will move forward our understanding of TM performance characteristics.

PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH

Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

(Showing: 1 - 10 of 21)
Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir "On the power of hardware transactional memory to simplify memory management" 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) , 2011
Alexander Jaffe, Thomas Moscibroda, Laura Effinger-Dean, Luis Ceze, and Karin Strauss "The Impact of Memory Models on Software Reliability in Multiprcessors" 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) , 2011
Armand Navabi and Suresh Jagannathan "Exceptionally Safe Futures" Coordination 2009 , 2009
Armand Navabi, Xiangyu Zhang, and Suresh Jagannathan "Quasi-Static Scheduling for Safe Futures" ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) , 2008 , p.23
Benjamin P. Wood, Luis Ceze, Dan Grossman "Data-Race Exceptions Have Benefits Beyond the Memory Model" ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC) , 2011
Cesare Ferri, Amber Viescas, Tali Moreshet, R. Iris Bahar, Maurice Herlihy "Energy Efficient Synchronization Techniques for Embedded Architectures" ACM Great Lakes Symposium on VLSI , 2008 , p.435
Colin S. Gordon, Michael D. Ernst, Dan Grossman "Static Lock Capabilities for Deadlock Freedom" ACM SIGPLAN Workshop on Types in Language Design and Implementation , 2012
Dan Grossman, Ruth E. Anderson "Introducing Parallelism and Concurrency in the Data Structures Course" SIGCSE Technical Symposium on Computer Science Education , 2012
Eric Koskinen and Maurice Herlihy "Concurrent Non-Commutative Boosted Transactions" Transact 2009 , 2009
Eric Koskinen, Matthew Parkinson, and Maurice Herlihy "Coarse-Grained Transactions" ACM Symposium on Principles of Programming Languages , 2010 , p.19
Fadi Meawad, Ryan Macnak, Jan Vitek "Collecting Transactional Garbage" Transact'11: ACM Sigplan Worskhop on Transactional Computing , 2011
(Showing: 1 - 10 of 21)

Please report errors in award information by writing to: awardsearch@nsf.gov.

Print this page

Back to Top of page