CAREER: Programming Models for Green Software

职业：绿色软件编程模型

• 批准号: 1054515
• 负责人: Yu David Liu
• 金额: $ 36.21万
• 依托单位: SUNY at Binghamton
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1054515&HistoricalAwards=false
• 关键词: CAREER; Programming; Models; Green; Software

Energy efficiency is a critical goal for modern computing: power consumption represents a significant portion of operational cost for data centers and cloud computing providers; wireless sensor networks are only effective when individual nodes do not deplete their power quickly after deployment; increasing battery life is high on the wish list of millions of laptop and smartphone users. Prior research on energy-efficient computing is largely focused on innovations in VLSI, architectures, operating systems, and compiler optimizations.This project explores how innovations in programming models can contribute to energy-efficient computing. A focus on programming models has the distinctive benefits of promoting application-specific energy reduction, ensuring high portability in heterogeneous computing platforms, and facilitating the development of maintainable green software. The project centers around the design of a novel programming system where characteristics in energy-aware programming--such as power modes--can be declared or inferred as types, over which a type system can reason rigorously and compositionally. Types can further guide standard energy reduction techniques such as dynamic voltage and frequency scaling, and be exploited for certifying program energy characteristics in the Internet era. The outcome of the project includes the design of an energy-aware language and a compiler with novel features for energy reduction and certification. The project also brings the awareness of energy efficiency into computer programming classes and fosters next-generation green-conscious programmers--the contributors of a more sustainable society.

能源效率是现代计算的关键目标：功耗是数据中心和云计算提供商运营成本的重要组成部分;无线传感器网络只有在部署后单个节点不会快速耗尽其电力时才有效;增加电池寿命是数百万笔记本电脑和智能手机用户的愿望清单。以往关于节能计算的研究主要集中在超大规模集成电路、架构、操作系统和编译器优化方面的创新。本项目探讨编程模型的创新如何有助于节能计算。对编程模型的关注具有促进特定于应用的能量减少、确保异构计算平台的高度可移植性以及促进主流绿色软件的开发的独特益处。该项目围绕着一个新颖的编程系统的设计，在该系统中，能量感知编程的特征（如电源模式）可以被声明或推断为类型，类型系统可以严格地和组合地推理。类型可以进一步指导标准的能量减少技术，如动态电压和频率缩放，并被用于在互联网时代认证程序的能量特性。该项目的成果包括设计一种能源感知语言和一种具有节能和认证新功能的编译器。该项目还将能效意识带入计算机编程课程，并培养下一代具有绿色意识的程序员----他们是更可持续社会的贡献者。