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
中文摘要
多处理器系统使用同步原语来协调多个控制线程的活动。尤其是自旋锁在多处理器操作系统和科学应用中得到了广泛的应用。随着多处理器服务器的激增,这些锁也被广泛应用于商业应用中。然而,服务器工作负载的多编程特性要求线程能够“超时”并放弃获取锁的尝试。超时在小型机器上很容易,这些机器可以使用传统的“测试和设置”旋转锁,但这些锁不能扩展到大型机器。主要的替代方案--基于调度器的锁,例如由Java提供的锁--也被证明是令人望而却步的。所提出的研究旨在通过两种主要技术来解决多处理器服务器中用户级同步的代价:(1)在可扩展的基于队列的锁中加入超时;(2)开发用于构造无锁的数据结构的实用机制。这些技术将根据彼此和现有技术进行评估,并将被合并到线程运行时系统中,如Java虚拟机。
英文摘要
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
-
依托单位:
海外基金