High-Performance Synchronization for User-Level Applications
High-Performance Synchronization for User-Level Applications
批准号:
0204344
负责人:
Michael Scott
金额:
$25.26万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-06-01 至 2006-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Multiprocessor systems use synchronization primitives to coordinate theactivities of multiple threads of control. Spin locks in particular arewidely used in multiprocessor operating systems and in scientificappliactions. With the proliferation of multiprocessor servers, theselocks have come to be widely used in commercial applications as well.The multiprogrammed nature of server workloads, however, requires thatthreads be able to "time out" and abandon an attempt to acquire a lock.Timeout is easy on small machines, which can use traditional"test-and-set" spin locks, but these locks do not scale to largemachines. The principal alternative--scheduler-based locks such asthose provided by Java--has also proven to be prohibitively expensive.The proposed research aims to address the cost of user-levelsynchronization in multiprocessor servers by means of two principaltechniques: (1) the incorporation of timeout in scalable queue-basedlocks, and (2) the development of practical mechanisms for theconstruction of lock-free data structures. These techniques will beevaluated with respect to each other and to existing techniques, andwill be incorporated into threaded run-time systems such as the JavaVirtual Machine.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CNS Core: Medium: Operating System Modularity for Safety and Performance on Existing Commodity Hardware
-
批准号:1955498
-
项目类别:Continuing Grant
-
资助金额:$113.55万
-
财政年份:2020
-
负责人:Michael Scott
-
依托单位:
SHF:Small:Data Structures and Transactions for Emerging Nonvolatile Memory
-
批准号:1717712
-
项目类别:Standard Grant
-
资助金额:$44.99万
-
财政年份:2017
-
负责人:Michael Scott
-
依托单位:
Development of a Concept Inventory for Functional Reasoning
-
批准号:1504851
-
项目类别:Standard Grant
-
资助金额:$19.99万
-
财政年份:2015
-
负责人:Michael Scott
-
依托单位:
SHF: Small: Mainstream Transactional Memory
-
批准号:1422649
-
项目类别:Standard Grant
-
资助金额:$49.94万
-
财政年份:2014
-
负责人:Michael Scott
-
依托单位:
NEESR Planning/Collaborative Research: Simulation and Design Tools for Tsunami Bridge Engineering
-
批准号:1344695
-
项目类别:Standard Grant
-
资助金额:$13.5万
-
财政年份:2013
-
负责人:Michael Scott
-
依托单位:
CSR: Small: First-Class Operating System Management of Computational Accelerators
-
批准号:1319417
-
项目类别:Standard Grant
-
资助金额:$45.53万
-
财政年份:2013
-
负责人:Michael Scott
-
依托单位:
SHF: Small: Ordering-Based Semantics for Emerging Models of Parallel Computing
-
批准号:1116055
-
项目类别:Standard Grant
-
资助金额:$49.75万
-
财政年份:2011
-
负责人:Michael Scott
-
依托单位:
CSR:Small:Parallelism and Concurrency in Scripting Languages
-
批准号:1116109
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2011
-
负责人:Michael Scott
-
依托单位:
CCF: Medium: Routine Parallelism Enabled by Speculation
-
批准号:0963759
-
项目类别:Continuing Grant
-
资助金额:$104.25万
-
财政年份:2010
-
负责人:Michael Scott
-
依托单位:
CAREER: Particle Finite Element Response Sensitivity Analysis of Fluid-Structure Interaction
-
批准号:0847055
-
项目类别:Standard Grant
-
资助金额:$43.0万
-
财政年份:2009
-
负责人:Michael Scott
-
依托单位:
A Planning Proposal to Establish a Franco-American Doctoral Student Exchange for Energy and Sustainability
-
批准号:0738015
-
项目类别:Standard Grant
-
资助金额:$1.98万
-
财政年份:2007
-
负责人:Michael Scott
-
依托单位:
Religious Language and the Realism Problem
-
批准号:113116/1
-
项目类别:Research Grant
-
资助金额:$1.79万
-
财政年份:2006
-
负责人:Michael Scott
-
依托单位:
CSR--PDOS: Fulfilling the Promise of Transactions in Multithreaded Systems
-
批准号:0615139
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Michael Scott
-
依托单位:
Student Travel Support for 19TH ACM Symposium on Operating System Principles (SOSP); Lake George, NY; October 19-22, 2003
-
批准号:0335406
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2003
-
负责人:Michael Scott
-
依托单位:
Extended Structures Built on the Triphenoxymethane Platform: Modeling Metalloenzyme Active Sites
-
批准号:0316003
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Michael Scott
-
依托单位:
Organometallic Chemistry of Group 6 Imido Diamide Complexes
-
批准号:0094404
-
项目类别:Continuing Grant
-
资助金额:$37.5万
-
财政年份:2001
-
负责人:Michael Scott
-
依托单位:
CAREER: Tripodal Aryloxide Ligands: From Molecular Receptors to Organometallic Catalysis
-
批准号:9874966
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Michael Scott
-
依托单位:
Experimental Evaluation of Software Coherence for Next-Generation Networks
-
批准号:9705594
-
项目类别:Continuing Grant
-
资助金额:$79.42万
-
财政年份:1997
-
负责人:Michael Scott
-
依托单位:
High-Performance Synchronization for Shared-Memory Parallel Programs
-
批准号:9319445
-
项目类别:Standard Grant
-
资助金额:$18.57万
-
财政年份:1994
-
负责人:Michael Scott
-
依托单位:
Multi-Model Parallel Computing
-
批准号:9005633
-
项目类别:Standard Grant
-
资助金额:$23.39万
-
财政年份:1990
-
负责人:Michael Scott
-
依托单位:
海外基金