SHF: Small: Capsule-oriented Programming

SHF:小型:面向胶囊的编程

基本信息

  • 批准号:
    1423370
  • 负责人:
  • 金额:
    $ 45.01万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2014
  • 资助国家:
    美国
  • 起止时间:
    2014-08-01 至 2018-07-31
  • 项目状态:
    已结题

项目摘要

Modern software systems tend to be distributed, event-driven, and asynchronous, often requiring components to maintain multiple threads of control for message and event handling. In addition, there is increasing pressure on software developers to introduce concurrency into applications in order to take advantage of multicore and many-core processors to improve performance. Yet concurrent programming remains difficult and error-prone. The need to train the software development workforce in concurrent programming has become increasingly urgent as the CPU frequency growth no longer provides adequate scalability. As a result of that, a large number of developers in the current software development workforce continue to find it hard to deal with thorny concurrency issues in software design and implementation. The projects designs a new programming language construct called Capsules, an improved abstraction for concurrency that can hide the details of concurrency from the programmer and allow them to focus on the program logic. The main goal of this project is to conduct a formal study of the semantic properties of capsules, efficiently realize this abstraction in industrial strength tools that will be globally disseminated, and empirically evaluate performance and software engineering properties of a programming language design that incorporates this abstraction. This approach seeks to create software that is correct with respect to concurrency by construction. Its success will aid and enable more reliable development of concurrent software. While it makes great sense to develop explicit concurrency mechanisms, sequential programmers continue to find it hard to understand task interleavings and non-deterministic semantics. Thus, this research on the capsule abstraction, if successful, will have a large positive impact on the productivity of these programmers, on the understandability and maintainability of source code that they write, and on the scalability and correctness of software systems that they produce.
现代软件系统往往是分布式的、事件驱动的和异步的,通常需要组件维护消息和事件处理的多个控制线程。此外,为了利用多核和多核处理器来提高性能,软件开发人员面临着越来越大的压力,要求他们在应用程序中引入并发性。然而,并发编程仍然困难且容易出错。随着CPU频率的增长不再提供足够的可伸缩性,对软件开发人员进行并发编程培训的需求变得越来越迫切。其结果是,当前软件开发队伍中的大量开发人员仍然发现很难处理软件设计和实现中棘手的并发问题。这些项目设计了一种新的编程语言结构,称为胶囊,这是一种改进的并发性抽象,可以向程序员隐藏并发性的细节,并允许他们专注于程序逻辑。该项目的主要目标是对胶囊的语义属性进行正式研究,在将在全球传播的工业强度工具中有效地实现这一抽象,并经验地评估结合了这一抽象的编程语言设计的性能和软件工程属性。这种方法寻求通过构造来创建在并发性方面正确的软件。它的成功将有助于并实现更可靠的并发软件开发。虽然开发显式并发机制很有意义,但顺序程序员仍然发现很难理解任务交错和非确定性语义。因此,对封装抽象的研究如果成功,将对这些程序员的生产力、他们编写的源代码的可理解性和可维护性以及他们生成的软件系统的可伸缩性和正确性产生巨大的积极影响。

项目成果

期刊论文数量(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 }}

Hridesh Rajan其他文献

Intensional Effect Polymorphism
内涵效应多态性
Automating Cut-off for Multi-parameterized Systems
多参数化系统的自动切断
Design Patterns : A Canonical Test of Unified Aspect Model
设计模式:统一方面模型的规范测试
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hridesh Rajan;Kevin Sullivan
  • 通讯作者:
    Kevin Sullivan
Gang-of-Four Design Patterns: A Case Study of the Unified Model and the Eos Programming Language
四联设计模式:统一模型和 Eos 编程语言的案例研究
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hridesh Rajan
  • 通讯作者:
    Hridesh Rajan
A case for explicit join point models for aspect-oriented intermediate languages
面向方面中间语言的显式连接点模型的案例
  • DOI:
    10.1145/1230136.1230140
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hridesh Rajan
  • 通讯作者:
    Hridesh Rajan

Hridesh Rajan的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Hridesh Rajan', 18)}}的其他基金

SHF:Small: More Modular Deep Learning
SHF:Small:更加模块化的深度学习
  • 批准号:
    2223812
  • 财政年份:
    2022
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
Collaborative Research: CCRI: ENS: Boa 2.0: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale
合作研究:CCRI:ENS:Boa 2.0:增强大规模研究软件及其演化的基础设施
  • 批准号:
    2120448
  • 财政年份:
    2021
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
HDR TRIPODS: D4 (Dependable Data-Driven Discovery) Institute
HDR TRIPODS:D4(可靠数据驱动的发现)研究所
  • 批准号:
    1934884
  • 财政年份:
    2019
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Continuing Grant
Travel Grant to Attend Big Data in Software Engineering Track
参加软件工程大数据课程的旅费补助
  • 批准号:
    1743070
  • 财政年份:
    2017
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale
CI-EN:Boa:增强大规模研究软件及其演化的基础设施
  • 批准号:
    1513263
  • 财政年份:
    2015
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
SHF: Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
SHF:大型:协作研究:利用数据和集体社区专业知识从开源存储库推断软件规范
  • 批准号:
    1518897
  • 财政年份:
    2015
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
EAGER: Boa: A Community Research Infrastructure for Mining Software Repositories
EAGER:Boa:采矿软件存储库的社区研究基础设施
  • 批准号:
    1349153
  • 财政年份:
    2013
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
SHF: Small: Phase-Based Tuning for Better Utilization of Performance-Asymmetric Multicores
SHF:小型:基于相位的调整,以更好地利用性能不对称的多核
  • 批准号:
    1117937
  • 财政年份:
    2011
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Balancing Expressiveness and Modular Reasoning for Aspect-oriented Programming
SHF:小型:协作研究:平衡面向方面编程的表达性和模块化推理
  • 批准号:
    1017334
  • 财政年份:
    2010
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Continuing Grant
CAREER: On Mutualism of Modularity and Concurrency Goals
职业:模块化和并发目标的互惠性
  • 批准号:
    0846059
  • 财政年份:
    2009
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Continuing Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

Early diagnosis of small-bowel injuries related to rheumatoid arthritis using genome biomarker and capsule endoscopy
使用基因组生物标志物和胶囊内窥镜早期诊断与类风湿性关节炎相关的小肠损伤
  • 批准号:
    17K09384
  • 财政年份:
    2017
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
PATHOLOGY MISS RATE RISK REDUCTION IN DIAGNOSTIC SMALL BOWEL CAPSULE ENDOSCOPY
降低诊断性小肠胶囊内窥镜病理学漏检率风险
  • 批准号:
    8057895
  • 财政年份:
    2011
  • 资助金额:
    $ 45.01万
  • 项目类别:
TC: Small: Capsule: Safely Accessing Confidential Data in a Low-Integrity Environment
TC:小:胶囊:在低完整性环境中安全访问机密数据
  • 批准号:
    0916126
  • 财政年份:
    2009
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Standard Grant
Impulse-driven small capsule for medical treatment
脉冲驱动小胶囊医疗
  • 批准号:
    20560244
  • 财政年份:
    2008
  • 资助金额:
    $ 45.01万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Intelligent Image Feature Matching for Small Intestine Capsule Endoscopy
小肠胶囊内窥镜智能图像特征匹配
  • 批准号:
    7326378
  • 财政年份:
    2007
  • 资助金额:
    $ 45.01万
  • 项目类别:
WIRELESS CAPSULE ENDOSCOPY TO EVALUATE THE SMALL INTESTINE
用于评估小肠的无线胶囊内窥镜
  • 批准号:
    7607251
  • 财政年份:
    2007
  • 资助金额:
    $ 45.01万
  • 项目类别:
WIRELESS CAPSULE ENDOSCOPY TO EVALUATE THE SMALL INTESTINE
用于评估小肠的无线胶囊内窥镜
  • 批准号:
    7380731
  • 财政年份:
    2006
  • 资助金额:
    $ 45.01万
  • 项目类别:
Noise-Isolating Capsule for Small-Animal fMRI Research
用于小动物功能磁共振成像研究的噪声隔离舱
  • 批准号:
    6989000
  • 财政年份:
    2005
  • 资助金额:
    $ 45.01万
  • 项目类别:
WIRELESS CAPSULE ENDOSCOPY TO EVALUATE THE SMALL INTESTINE
用于评估小肠的无线胶囊内窥镜
  • 批准号:
    7204707
  • 财政年份:
    2005
  • 资助金额:
    $ 45.01万
  • 项目类别:
Identification of small molecule inhibitors of the capsule synthesis of gram-negative bacteria
革兰氏阴性菌荚膜合成小分子抑制剂的鉴定
  • 批准号:
    10005005
  • 财政年份:
  • 资助金额:
    $ 45.01万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了