Collaborative Research: Applying Hardware-Inspired Methods for Multi-Core Software Design
Collaborative Research: Applying Hardware-Inspired Methods for Multi-Core Software Design
批准号:
0725350
负责人:
Brian Demsky
金额:
$45.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-10-01 至 2012-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
0725350Collaborative Research: Applying Hardware-Inspired Methods for Multi- Core Software Design Brian C. Demsky University of California, Irvine0725357Collaborative Research: Applying Hardware-Inspired Methods for Multi- Core Software Design Michael B. Taylor University of California, San DiegoIn the past, improvements in microprocessor capabilities were expressed largely through a combination of clock frequency increases and microarchitectural enhancements that were invisible to the typical developer. More recently, due to power and microarchitectural scalability issues, microprocessor designs have diverged from this path and have begun to focus on exposing improved semiconductor process capabilities through the multi-core abstraction, which integrates multiple independent processors into a single chip. The deployment of such explicitly-parallel multi-core processors has deep implications on the future of software systems. While parallel software has been largely unnecessary in desktop systems, it will become essential if we are to expect continued increases in software functionality and programmer productivity like those that society has enjoyed over the last 35 years.This research investigates a new design methodology for developing the parallel software systems that are necessary to take advantage of multi-core processors. This methodology leverages concepts from hardware chip-design methodologies, which scale to millions of communicating parallel entities. This new design process enables the software developer to create flexible system designs that easily accommodate refinement of how the computation is realized. It does this by separating the functional design of the software system from the specification of how to organize the computation. To validate this new design methodology, the research project investigates the construction of synthesis and profiling tools that can be used to develop and refine these functional and organizational specifications. These specifications are in turn used to create an executable that is optimized for the specific multi-core microprocessor.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FMitF: Track I: Safe, Efficient Persistent Memory Systems
-
批准号:2220410
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2022
-
负责人:Brian Demsky
-
依托单位:
SHF: Small: PMChecker: Tool Support for Crash-Consistent Persistent Memory Programs
-
批准号:2102940
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2021
-
负责人:Brian Demsky
-
依托单位:
SHF: Small: Information-Flow-Based Profiling of Concurrent Applications
-
批准号:2006948
-
项目类别:Standard Grant
-
资助金额:$49.96万
-
财政年份:2020
-
负责人:Brian Demsky
-
依托单位:
SI2-SSE: C11Tester: Scaling Testing of C/C++11 Atomics to Real-World Systems
-
批准号:1740210
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2017
-
负责人:Brian Demsky
-
依托单位:
SaTC: CORE: Medium: Sentinel: Constructing Secure Smart Home IoT Systems via Managed Communications
-
批准号:1703598
-
项目类别:Standard Grant
-
资助金额:$97.04万
-
财政年份:2017
-
负责人:Brian Demsky
-
依托单位:
SHF: Small: CDSChecker: Model-Checking Concurrent Data Structures under the C11/C++11 Memory Model
-
批准号:1319786
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2013
-
负责人:Brian Demsky
-
依托单位:
SHF: Small: Tool Support for Verifiably-Robust Software
-
批准号:1217854
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2012
-
负责人:Brian Demsky
-
依托单位:
TWC: Medium: Collaborative Proposal: Safety in Numbers: Crowdsourcing for Global Software Integrity
-
批准号:1228995
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2012
-
负责人:Brian Demsky
-
依托单位:
CAREER: Language Features for Robust Software
-
批准号:0846195
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Brian Demsky
-
依托单位:
CSR---AES: Programming Language and Runtime System Support for Robust Distributed Software Systems
-
批准号:0720854
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:Brian Demsky
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: