网易首页 > 网易数码 > 正文

MIT开发新系统 让初学者也能处理复杂程序

0
分享至

(原标题:MIT开发新系统 让初学者也能处理复杂程序)

摘要:动态规划是一种能够有效解决经济学、基因分析等领域计算问题的编程技术。但它不仅要求对应的计算机有多个内核或者多个运算单元,而且要求使用者具备一定的编程经验,这一点,一些经济学家和生物学家并不具备。但好消息是,经济学家和生物学家所要面对的编程难题已经有了新的解决方案。来自麻省理工学院(MIT)计算机和人工智能(CSAIL)实验室的研究者以及石溪大学的学者致力于通过一种新系统来解决上述编程问题。

这种新系统允许用户用一种更简单的方式去描述他们想要开发的程序,然后,该系统可以自动生成在多核芯片上运行的优化程序版本。另外,它还可以保证新版本程序和单核版本的结果相同,并且更快。

在实验中,研究者使用这个系统“并行”执行几个动态规划算法程序,把它们划分到可以在多核芯片上执行。结果表明,其处理速度是早期自动并行执行技术的3~11倍,几乎和计算机科学家人工并行优化的结果一样优越。

最近,在题为“系统、编程、语言和应用:软件的人性化”的计算机协会会议上,研究者们展示了他们的新系统。在一些实际问题当中,该系统为动态规划提供了指数级速度提升。因为它储存并且重用了一些计算结果,而不需要重新计算这些结果。“但是,它需要更多内存空间,因为你需要存储这些用于计算的结果”,这篇新论文的第一作者Shachar Itzhaky说,“当你运用它时,你会意识到它并没有达到你理想的速度提升,因为回调存储结果是缓慢的。当然,它仍然比重新计算快。”

为了避免以上问题,计算机科学家将对计算结果重新排序,使其以一个特定的顺序执行,减少从内存中回调这个值的次数。这种方法在单核计算机当中相对简单,但在多核计算机中,当多核共享这些计算结果时,内存管理就变得十分复杂了。一个人工优化的动态规划算法的并行版本通常可以达到单核版本的10倍效率。

CSAIL研究者的新系统——Bellmania(以动态规划编程的数学家Richard Bellman的名字命名)采用了名为分治递归的并行策略。假设这个并行算法的任务是计算一组矩阵的数目,那么它的第一步可能是将其分成4部分,分别进行计算;接着,它会继续将4个部分再分成4个部分,这就是递归调用的结果。

与Itzhaky一同参与研究的还有来自Edwin Sibley Webster学院的两位电子与计算机科学教授Solar-Lezama,CharlesLeiserson;两位MIT电子与计算机科学研究生RohitSingh,Kuat Yessenov;一位参加MIT本科生研究项目的同学:YongquanLu;一位石溪大学的助教RezaulChowdhury,他曾是雷尔森研究小组的一员。

雷尔森研究小组专门研究分支并行技术;Solar-Lezama擅长程序合成和生产代码规范的程序。通过使用Bellmania系统,用户可以简单地描绘程序的第一步——矩阵的划分和运算结果的反复使用。接下来,Bellmania系统会决定如何继续划分问题以及利用运算结果。

在递归调用的每一级,Bellmania将产生一个程序去执行这个矩阵一部分任务,将剩余工作丢给并行执行的子程序。每个子程序会执行同样类似的过程,并将部分工作丢给进一步划分的子程序。

Bellmania系统决定了每层处理多少数据,子程序处理多少剩余数据。“这样做的目的是安排内存的访问顺序,以至于当你读完一个数据之后,以后不需要再次读取它。” Itzhaky称。

找到项目的最有效的划分方案,需要仔细研究各种可能的方案。Solar-Lezama的研究组已经开发了一套工具用于更高效地寻找最优方案。即便如此,Bellmania还是需要15分钟去并行化一个典型的动态规划算法。但这已经比程序员开发同样的项目要快很多了,因为手工开发的代码,总有些复杂的地方难免出错。

一位来自佐治亚理工学院的计算机科学教授说:“他们的工作实际上使许多应用的并行执行成为可能。因为他们提供了一个更简单的高级技术去简化某些项目的开发,使它们的系统自动解决如何划分工作并生成低层代码(其质量可与手写代码相媲美)。”另外,他还指出:“这些应用在现实世界中有无数的算法例子,包括:计算生物学、蛋白质组学、网络安全、排序、调度问题、网络流量管理等,这项研究意义非凡!”

相关推荐
热点推荐
北京这些学校2024年首次招生、校址正式启用!

北京这些学校2024年首次招生、校址正式启用!

北青网-北京青年报
2024-03-28 18:54:05
普通中年人的天花板水平?从不应酬不吃夜宵,每天工资300块!

普通中年人的天花板水平?从不应酬不吃夜宵,每天工资300块!

玛丽姬丝
2024-03-28 20:54:09
支持俄方的网友现在真的是欲哭无泪了

支持俄方的网友现在真的是欲哭无泪了

清晖有墨
2024-03-28 15:24:08
新加坡队长:如果亚洲球员有本事,像武磊去西班牙能得到更好待遇

新加坡队长:如果亚洲球员有本事,像武磊去西班牙能得到更好待遇

直播吧
2024-03-28 19:17:22
中芯国际暴跌60%!

中芯国际暴跌60%!

中国半导体论坛
2024-03-28 22:26:37
曝31岁泰山国脚被判3年!遭中国足球除名,出来后只能去海外踢球

曝31岁泰山国脚被判3年!遭中国足球除名,出来后只能去海外踢球

我爱英超
2024-03-28 22:38:35
女主播直接报价格,10000玩一天,最低要一次性支付20天的费用

女主播直接报价格,10000玩一天,最低要一次性支付20天的费用

新游戏大妹子
2024-03-27 11:03:47
央视记者被阻挠:一个新阶段

央视记者被阻挠:一个新阶段

城市的地得
2024-03-14 00:22:23
杭州公务员降薪?网友:上城区某四级主任科员综合年薪高达25万…

杭州公务员降薪?网友:上城区某四级主任科员综合年薪高达25万…

火山诗话
2024-03-28 21:16:16
躺在水晶棺里很多年的毛主席,如今看上去也还是和睡着了一般安详

躺在水晶棺里很多年的毛主席,如今看上去也还是和睡着了一般安详

回京历史梦
2024-03-28 17:37:56
孙颖莎的意外爆冷有3大原因,给王曼昱让路终于成功,奥运也稳了

孙颖莎的意外爆冷有3大原因,给王曼昱让路终于成功,奥运也稳了

阿信点评
2024-03-17 21:17:45
戴尔要跑路了!一万多人被裁,中国区被曝裁员非常多

戴尔要跑路了!一万多人被裁,中国区被曝裁员非常多

爆角追踪
2024-03-28 16:46:09
中纪委怒批:为什么动不动就问责公务员?

中纪委怒批:为什么动不动就问责公务员?

法律读品
2024-03-28 21:08:55
江同志的秘密花园

江同志的秘密花园

我是娱有理
2024-03-28 07:21:55
今日李铁过堂+足协补制度漏洞,足球行业正努力重拾信心

今日李铁过堂+足协补制度漏洞,足球行业正努力重拾信心

澎湃新闻
2024-03-28 22:38:29
郑同学高调官宣与胡教授恋爱:两人是真爱,对其称呼太肉麻

郑同学高调官宣与胡教授恋爱:两人是真爱,对其称呼太肉麻

180°视角
2024-03-28 15:03:39
小米汽车的三个杀手锏

小米汽车的三个杀手锏

袁国庆
2024-03-28 23:27:54
高铁9分钟不雅画面曝光,全网围观,网友:辣眼,脸都不要了?

高铁9分钟不雅画面曝光,全网围观,网友:辣眼,脸都不要了?

听风听你
2024-03-28 22:48:44
明明演技烂,却被吹上天的4位老戏骨,网友:只长年纪不长演技

明明演技烂,却被吹上天的4位老戏骨,网友:只长年纪不长演技

覃世勇
2024-03-28 02:18:42
银行女职员的出轨经历,老公出差不在家,上司赖在家里不肯走

银行女职员的出轨经历,老公出差不在家,上司赖在家里不肯走

马军情感故事
2024-03-27 11:24:58
2024-03-29 04:50:44

头条要闻

小米汽车7分钟大定破2万 网友:这价格真可以杀穿同行

头条要闻

小米汽车7分钟大定破2万 网友:这价格真可以杀穿同行

体育要闻

邮报:加入争夺战,曼联也想要奥尔莫

娱乐要闻

莱昂纳多与25岁新女友互相投喂超恩爱

财经要闻

中国版QE要来?国内外机构观点罕见一致

科技要闻

李斌李想何小鹏喊你买小米汽车

汽车要闻

混动增程双模式 长安UNI-Z售11.79万起

态度原创

艺术
时尚
本地
游戏
亲子

艺术要闻

艺术开卷|从闺阁、庭院到郊野,古画中的女性生活空间

2024的流行色,一定离不开安可拉红

本地新闻

专访|张伟潮:最年轻的龙头专职制造者

开放世界游戏也能做出街机手感?10年前的《龙之信条》有多好玩

亲子要闻

网友:小孩姐让我坐一会儿吧

无障碍浏览 进入关怀版
×