Collaborative Research: Applying Hardware-Inspired Methods for Multi-Core Software Design
协作研究:应用硬件启发的方法进行多核软件设计
基本信息
- 批准号:0725350
- 负责人:
- 金额:$ 45万
- 依托单位:
- 依托单位国家:美国
- 项目类别: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.
0725350协作研究:应用硬件启发的方法进行多核软件设计。加州大学欧文分校0725357合作研究:将硬件启发的方法应用于多核软件设计。泰勒大学圣地亚哥分校加州过去,微处理器功能的改进主要通过时钟频率提高和微架构增强的组合来表达,而这些对于典型的开发人员来说是不可见的。最近,由于功率和微架构可扩展性问题,微处理器设计已经偏离了这条道路,并开始专注于通过多核抽象来展示改进的半导体处理能力,该多核抽象将多个独立的处理器集成到单个芯片中。这种显式并行多核处理器的部署对软件系统的未来有着深远的影响。虽然并行软件在很大程度上是不必要的,在桌面系统,它将成为必不可少的,如果我们要继续提高软件功能和程序员的生产力,就像那些社会已经享有在过去的35 years.本研究探讨了一种新的设计方法,开发并行软件系统,是必要的,以利用多核处理器。这种方法利用了硬件芯片设计方法的概念,这些方法可以扩展到数百万个通信并行实体。 这种新的设计过程使软件开发人员能够创建灵活的系统设计,轻松适应如何实现计算的细化。它通过将软件系统的功能设计与如何组织计算的规范分离来实现这一点。 为了验证这种新的设计方法,该研究项目调查的合成和分析工具,可用于开发和完善这些功能和组织规范的建设。这些规范又用于创建针对特定多核微处理器优化的可执行文件。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Brian Demsky其他文献
Sinfer: Inferring information flow lattices for checking self-stabilization
Sinfer:推断信息流格以检查自稳定性
- DOI:
10.1109/issre.2013.6698925 - 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Y. Eom;Brian Demsky - 通讯作者:
Brian Demsky
A model counter for constraints over unbounded strings
无界字符串约束的模型计数器
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Loi Luu;Shweta Shinde;P. Saxena;Brian Demsky - 通讯作者:
Brian Demsky
SInfer: Inferring Information Flow Lattices for
SInfer:推断信息流格
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Checking Self;Brian Demsky - 通讯作者:
Brian Demsky
Yashme: Detecting Persistency Race
Yashme:检测持久性竞赛
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Hamed Gorjiara;G. Xu;Brian Demsky - 通讯作者:
Brian Demsky
AutoMO: automatic inference of memory order parameters for C/C++11
AutoMO:自动推断 C/C 11 的内存顺序参数
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Peizhao Ou;Brian Demsky - 通讯作者:
Brian Demsky
Brian Demsky的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Brian Demsky', 18)}}的其他基金
FMitF: Track I: Safe, Efficient Persistent Memory Systems
FMITF:第一轨:安全、高效的持久内存系统
- 批准号:
2220410 - 财政年份:2022
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: PMChecker: Tool Support for Crash-Consistent Persistent Memory Programs
SHF:小型:PMChecker:对崩溃一致持久内存程序的工具支持
- 批准号:
2102940 - 财政年份:2021
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Information-Flow-Based Profiling of Concurrent Applications
SHF:小型:基于信息流的并发应用程序分析
- 批准号:
2006948 - 财政年份:2020
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SI2-SSE: C11Tester: Scaling Testing of C/C++11 Atomics to Real-World Systems
SI2-SSE:C11Tester:将 C/C 11 原子的测试扩展到实际系统
- 批准号:
1740210 - 财政年份:2017
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SaTC: CORE: Medium: Sentinel: Constructing Secure Smart Home IoT Systems via Managed Communications
SaTC:核心:媒介:Sentinel:通过托管通信构建安全的智能家居物联网系统
- 批准号:
1703598 - 财政年份:2017
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: CDSChecker: Model-Checking Concurrent Data Structures under the C11/C++11 Memory Model
SHF:小:CDSChecker:C11/C 11 内存模型下的模型检查并发数据结构
- 批准号:
1319786 - 财政年份:2013
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SHF: Small: Tool Support for Verifiably-Robust Software
SHF:小型:对可验证稳健软件的工具支持
- 批准号:
1217854 - 财政年份:2012
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
TWC: Medium: Collaborative Proposal: Safety in Numbers: Crowdsourcing for Global Software Integrity
TWC:媒介:协作提案:数字安全:全球软件完整性的众包
- 批准号:
1228995 - 财政年份:2012
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
CAREER: Language Features for Robust Software
职业:健壮软件的语言特性
- 批准号:
0846195 - 财政年份:2009
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
CSR---AES: Programming Language and Runtime System Support for Robust Distributed Software Systems
CSR---AES:对鲁棒分布式软件系统的编程语言和运行时系统支持
- 批准号:
0720854 - 财政年份:2007
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: URoL:ASC: Applying rules of life to forecast emergent behavior of phytoplankton and advance water quality management
合作研究:URoL:ASC:应用生命规则预测浮游植物的紧急行为并推进水质管理
- 批准号:
2318862 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Applying a novel approach to link microbial growth efficiency, function and energy transfer in the ocean
合作研究:应用一种新方法将海洋中微生物的生长效率、功能和能量转移联系起来
- 批准号:
2219796 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Applying a novel approach to link microbial growth efficiency, function and energy transfer in the ocean
合作研究:应用一种新方法将海洋中微生物的生长效率、功能和能量转移联系起来
- 批准号:
2219795 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Applying and Refining a Model for Dynamic, Discussion-Based Professional Development for Middle School Teachers about Fractions, Ratios and Proportions
合作研究:应用和完善中学教师关于分数、比率和比例的动态、基于讨论的专业发展模型
- 批准号:
2331772 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
Collaborative Research: RUI--Applying Measurements, Models, and Machine Learning to Improve Parameterization of Aerosol Water Uptake and Cloud Condensation Nuclei
合作研究:RUI——应用测量、模型和机器学习来改进气溶胶吸水和云凝核的参数化
- 批准号:
2307150 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: RUI--Applying Measurements, Models, and Machine Learning to Improve Parameterization of Aerosol Water Uptake and Cloud Condensation Nuclei
合作研究:RUI——应用测量、模型和机器学习来改进气溶胶吸水和云凝核的参数化
- 批准号:
2307151 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Applying the stress gradient hypothesis to understand the microbial facilitation of seagrass responses to thermal stress
合作研究:应用应力梯度假设来了解海草对热应力反应的微生物促进作用
- 批准号:
2311577 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: URoL:ASC: Applying rules of life to forecast emergent behavior of phytoplankton and advance water quality management
合作研究:URoL:ASC:应用生命规则预测浮游植物的紧急行为并推进水质管理
- 批准号:
2318861 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Building and Applying a Universal Plagioclase Oxybarometer using X-ray Absorption Spectroscopy
合作研究:使用 X 射线吸收光谱法构建和应用通用斜长石氧压计
- 批准号:
2243745 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
Collaborative Research: Building and Applying a Universal Plagioclase Oxybarometer using X-ray Absorption Spectroscopy
合作研究:使用 X 射线吸收光谱法构建和应用通用斜长石氧压计
- 批准号:
2243746 - 财政年份:2023
- 资助金额:
$ 45万 - 项目类别:
Standard Grant