Modernise Compiler Technology with Deep Learning

通过深度学习实现编译器技术现代化

基本信息

  • 批准号:
    2596456
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Studentship
  • 财政年份:
    2021
  • 资助国家:
    英国
  • 起止时间:
    2021 至 无数据
  • 项目状态:
    未结题

项目摘要

Today's computing systems adsorb a huge amount of the planet's resources. Datacentres consume 4% of global energy and are asked to perform increasingly computationally expensive tasks. Making the programs that run on them more efficient is of paramount importance. Compilers, which are solely responsible for optimising these programs, have changed little in the last several decades. Their middle ends are comprised of many passes with hand-built heuristics, each of which is complex and, in the aggregate, are too complex for any compiler engineer to successfully reason about.Developing an optimising compiler is a highly skilled and arduous process, and there is inevitably a software delay whenever a new processor is designed. It often takes several generations of a compiler to start to effectively exploit the processors' potential, by which time a new processor appears, and the process starts again. This never-ending game of catch-up means that we rarely fully exploit a shipped processor, and it inevitably delays time to market. In this project, we will investigate the use of machine learning (deep learning in particular) to automate the process of designing compiler heuristics. This project aims to improve compiler-based program optimisation techniques through deep learning. It will investigate the use of machine learning to reason about the complex program optimisation space. It will research new ways to automate the process of compiler heuristic design and demonstrate the benefit of the proposed techniques on real-world applications for performance and energy efficiency. If successful, our work will lead to compilers that can deliver good performance on any hardware architecture and can automatically catch up with the hardware evolution. Programs will be run faster and save more energy than is currently possible.
今天的计算系统吸收了地球上大量的资源。数据中心消耗全球能源的4%,并被要求执行越来越昂贵的计算任务。使在它们上运行的程序更有效是至关重要的。在过去的几十年里,专门负责优化这些程序的开发人员几乎没有改变。它们的中间端由许多手工编译的编译器组成,每一个编译器都很复杂,总的来说,对于任何编译器工程师来说都太复杂了。开发一个优化的编译器是一个高度熟练和艰巨的过程,每当设计一个新的处理器时,不可避免地会有软件延迟。通常需要几代编译器才能开始有效地利用处理器的潜力,到那时,一个新的处理器出现了,这个过程又开始了。这种无休止的追赶游戏意味着我们很少充分利用已交付的处理器,这不可避免地推迟了上市时间。在这个项目中,我们将研究使用机器学习(特别是深度学习)来自动化设计编译器的过程。该项目旨在通过深度学习改进基于编译器的程序优化技术。它将研究使用机器学习来推理复杂的程序优化空间。它将研究自动化编译器启发式设计过程的新方法,并展示所提出的技术在实际应用中对性能和能源效率的好处。如果成功,我们的工作将导致编译器可以在任何硬件架构上提供良好的性能,并可以自动赶上硬件的发展。程序将运行得更快,并节省更多的能源比目前可能的。

项目成果

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

其他文献

吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等:“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
LiDAR Implementations for Autonomous Vehicle Applications
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
生命分子工学・海洋生命工学研究室
生物分子工程/海洋生物技术实验室
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人:“血管医学与科学系列分子医学图解”Yodosha(涉谷正志编辑)125(2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响:“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:

的其他文献

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

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

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    --
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship

相似海外基金

Modernise Compiler Technology With Deep Learning
通过深度学习实现编译器技术现代化
  • 批准号:
    EP/X018202/1
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Software Java development of Human/Computer interface for Sidense Semiconductor Compiler technology
Sideense Semiconductor 编译器技术的人机界面软件 Java 开发
  • 批准号:
    463208-2014
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Experience Awards (previously Industrial Undergraduate Student Research Awards)
I-Corps: Compiler Technology for Modern Many-core Architectures
I-Corps:现代多核架构的编译器技术
  • 批准号:
    1342156
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Air Option 1: Technology Translation - Compiler Technology for Modern Manycore Architectures
Air 选项 1:技术翻译 - 现代众核架构的编译器技术
  • 批准号:
    1343436
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Evolutionary development of a model checker compiler using verification technology and non-standard type systems
使用验证技术和非标准类型系统的模型检查器编译器的进化开发
  • 批准号:
    24650016
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Differentiation-Enabled Compiler Technology (COMPAD-III)
支持微分的编译器技术 (COMPAD-III)
  • 批准号:
    EP/F069383/1
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Collaborative Research: CSR--AES: SoftCheck: Compiler and Run-Time Technology for Efficient Fault Detection and Correction in Low nm-Scale Multicore Chips
合作研究:CSR--AES:SoftCheck:用于低纳米级多核芯片中高效故障检测和纠正的编译器和运行时技术
  • 批准号:
    0615273
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Differentiation-Enabled Fortran 95 Compiler Technology (CompAD-II)
支持差异化的 Fortran 95 编译器技术 (CompAD-II)
  • 批准号:
    EP/D062071/1
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Collaborative Research: CRS--AES: SoftCheck: Compiler and Run-Time Technology for Efficient Fault Detection and Correction in Low nm-Scale Multicore Chips
合作研究:CRS--AES:SoftCheck:用于低纳米级多核芯片中高效故障检测和纠正的编译器和运行时技术
  • 批准号:
    0615267
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
ITR: Compiler Technology for Automatic Parallelization via Thread-Level Speculation
ITR:通过线程级推测自动并行化的编译器技术
  • 批准号:
    0219931
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了