收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于运行时的程序执行模型研究

李世胜  
【摘要】: 随着技术的不断进步和应用领域的不断扩大,计算机系统日益朝着硬件复杂化和软件抽象化的方向发展。硬件复杂化为软件提供了更多的性能优化的机会,而软件抽象化则提高了计算机软件工作者的生产效率。但是,随着硬件复杂化和软件抽象化的程度的提高,其间必然产生日益扩大的鸿沟。这个鸿沟在宏观上体现在高度抽象化的软件在高度复杂化的硬件平台上较低的执行效率,而软硬件之间的运行时环境则是这个鸿沟的物理载体。 为了优化高度抽象的软件在高度复杂的硬件上的执行效率,而同时又不损失抽象的软件本身在高生产率上的优势,我们就需要对程序执行模型进行研究。程序执行模型建立在具有指定特征的硬件之上,并服务于具有指定特征的应用程序。对程序执行模型的研究,可以分析硬件特征在程序优化中的实际有效性,可以指导程序的优化并预测程序优化后的执行效率和性能加速比,因此对硬件、应用软件以及运行时环境的设计、分析和优化都有着重要的理论和实际应用价值。 鉴于SIMD指令以及动态程序设计语言在近些年来成为了学术界和工业界研究的热点,以及动态程序设计语言的高度抽象性,本文研究在具有SIMD指令集扩展的硬件之上,动态程序设计语言JavaScript的执行模型的建立、分析以及用之来指导对JavaScript程序的性能优化。本文研究成果主要包括: 1.提出并分析了新的多线程调度算法:本文研究了Harmony Java虚拟机中的垃圾回收算法,抽象了其中的对象移动任务调度问题,提出了一个新的多线程半在线调度算法并分析了其竞争比。 2.设计实现了高效的Java虚拟机SIMD编程接口:本文以Intel X86平台为基础,提出了Harmony Java虚拟机上的SIMD指令的编程接口JVI,并用SpecJVM2008测试程序集测量了JVI的性能,验证了其高效性。 3.系统分析了JavaScript语言程序的执行行为:本文通过SunSpider测试程序集,以我们提出的针对JavaScript语言程序的动态类型系统处理算法为基础,系统的分析了JavaScript语言程序在其元数据类型、对象结构、数组结构等方面的执行行为。 4.设计实现了高效的JavaScript执行引擎TypeCastor:本文以Harmony Java虚拟机为基础,设计实现了JavaScript语言程序的执行引擎TypeCastor,在其中实现了我们提出的针对JavaScript语言程序的动态类型系统处理算法,并以SunSpider测试程序集为基础测量了TypeCastor的性能,验证了其高效性。 5.优化了JavaScript程序在SIMD指令集硬件上的执行性能:本文以我们提出的SIMD应用程序接口JVI以及JavaScript程序执行引擎TypeCastor为基础,设计了JavaScript语言的SIMD指令接口,并以此接口优化并测量了JavaScript程序的执行性能。 6.建立并分析了带SIMD指令集硬件上的JavaScript程序的执行模型TPW:本文通过分析JavaScript的执行行为、向量化优化过程以及实验数据,建立一个TPW模型用于描述JavaScript程序的执行行为、指导SIMD优化的过程、并预测SIMD优化后程序的加速比和执行特征。 本文的主要创新点有: 1.提出了一个新的针对虚拟机垃圾回收中对象移动问题的多线程任务调度算法,并对其进行了严格的竞争比和问题复杂度分析,因此对垃圾回收中的线程调度算法的设计从理论上给出了指导方法。 2.首次提出了在Java虚拟机上的SIMD指令的编程接口,并通过实际的应用程序验证了接口的高效性。该接口贴合Java语言的特征、可移植性强并且足够抽象,因此为程序员对Java等语言程序进行向量化优化提供了十分便利有效的工具。 3.系统的分析了JavaScript语言的执行行为,总结出其动态类型系统的可静态预测性。同时,利用这一性质,我们设计并实现了一个高效的JavaScript执行引擎TypeCastor,使用这个引擎可以大大的提高实际的JavaScript程序的执行效率。 4.建立了首个JavaScript程序在SIMD指令集硬件体系结构上的程序执行模型TPW。该模型可以用以指导对JavaScript程序的向量化优化,并能够对优化结果进行较为准确的预测。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 储久良;程序执行进度可视化模块设计[J];电脑技术;1995年11期
2 乔林,汤志忠,容红波,张赤红;指令级并行程序执行模型[J];计算机学报;1999年05期
3 蒋雪峰;EXE文件关联被修改导致程序执行故障[J];电脑爱好者;2003年18期
4 何允如,刘宗田,郝峰,李心科;基于程序执行状态图的软件测试方法研究[J];计算机工程与应用;2002年18期
5 支超有;高级语言程序执行DOS命令的实现[J];微型机与应用;1994年05期
6 朱绍祥 ,张宏生;可编程序控制器(PC)原理及其在机床上应用 第三讲 PC的基本原理[J];制造技术与机床;1987年10期
7 周顺生;一个能打印出“字中字”的程序[J];电脑编程技巧与维护;1994年11期
8 周顺生;一个能打印出“字中字”的程序[J];电脑编程技巧与维护;1994年05期
9 于光;调试用FoxPro编写的应用程序[J];计算机时代;1995年02期
10 郭蔚;在“数据结构”教学中应用多媒体的几点尝试[J];河北工业大学成人教育学院学报;2000年04期
11 苏清林;单片机控制系统软件抗干扰措施[J];电子与电脑;1994年05期
12 ;问与答[J];电脑技术;1995年04期
13 冯传钊;DAA指令的正确使用[J];机电工程;1996年01期
14 沈志宏;何为中断[J];电脑爱好者;1997年05期
15 熊德伟;避免频繁整理磁盘碎片的方法[J];电脑爱好者;2001年09期
16 ;EPSON单片机讲座(六) 软件开发[J];电子产品世界;2002年24期
17 杨继元 ,张志强;都是日期惹的祸[J];电脑爱好者;2002年03期
18 ;第一次[J];电脑爱好者;2003年09期
19 钱永林;论TMS320C54X DSP的程序优化[J];江西电力职业技术学院学报;2005年02期
20 张世雄;C++中流的使用[J];软件世界;1997年08期
中国重要会议论文全文数据库 前10条
1 陈必华;;燃气燃烧器和器具用电子控制器软件的设计与评估[A];中国土木工程学会城市燃气分会应用专业委员会2010年年会论文集[C];2010年
2 江应栋;黄青松;;高温真空钛合金成形炉应用[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
3 姜现伟;杨东凯;刘龙飞;;空投物资搜索终端的设计与实现[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
4 杨正凯;;一种新的二维表关系描述语言[A];推进铁路新跨越加快经济大发展——中国科协2004年学术年会铁道分会场论文集[C];2004年
5 李大方;何守才;;提高关系数据库与PROLOG之间的接口效率[A];第九届全国数据库学术会议论文集(下)[C];1990年
6 梁睿;刘林霞;张自强;;基于运行时验证的AOP程序检测框架[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
7 何大进;冯红超;杜雪飞;;软件滤波器的设计及在工程中的应用[A];中国计量协会冶金分会2010年会论文集[C];2010年
8 陈勇;;医学影像学科ISO9001管理之设备管理程序建立[A];2010中华医学会影像技术分会第十八次全国学术大会论文集[C];2010年
9 周赞虎;张永祥;杜鹃;林俊君;;API 20E对食品中致病微生物检测应用探讨[A];微生物实用技术生态环境应用学术研讨会论文集[C];2008年
10 张毅;姜晶菲;;星载计算机寄存器保护机制研究[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
中国博士学位论文全文数据库 前9条
1 李世胜;基于运行时的程序执行模型研究[D];中国科学技术大学;2010年
2 方维;面向数据通信优化的并行程序执行模型[D];中国科学技术大学;2011年
3 赵天磊;微处理器Cache访问行为分析技术研究[D];国防科学技术大学;2011年
4 王伟;使用显式控制流语言验证汇编程序的方法[D];中国科学技术大学;2011年
5 毛华庆;基于GPU优化的三维实时渲染技术的研究[D];武汉大学;2010年
6 刘西洋;演化测试中面向分支到达的适应度函数设计研究[D];西安电子科技大学;2007年
7 卢风顺;面向CPU/GPU异构体系结构的并行计算关键技术研究[D];国防科学技术大学;2012年
8 富弘毅;OpenMP并行程序容错技术研究[D];国防科学技术大学;2010年
9 成玉;高性能微处理器动态容软错误设计关键技术研究[D];国防科学技术大学;2012年
中国硕士学位论文全文数据库 前10条
1 田志雨;基于程序执行的错误定位方法[D];南京理工大学;2012年
2 高祺;主机DB2数据库重组技术的研究与应用[D];上海交通大学;2011年
3 牛海波;基于MPI的并行容错技术研究与实现[D];国防科学技术大学;2011年
4 梁北海;基于污点分析的Java Web程序脆弱性检测方法研究[D];华中科技大学;2013年
5 黄剑军;基于带权欧氏距离的壳检测与脱壳技术的研究[D];杭州电子科技大学;2009年
6 刘福东;面向MPI程序的进程数据相似性分析与优化技术[D];国防科学技术大学;2010年
7 徐健;基于KBC特性及降噪的错误定位技术及其实践[D];浙江大学;2012年
8 王乾;基于动态二进制分析的关键函数定位技术研究[D];解放军信息工程大学;2012年
9 杨华;潍坊滨海经济开发区城市管理执法文书管理系统的设计与实现[D];山东大学;2010年
10 陈奇;AC3音频解码在专用嵌入式平台上的实现[D];电子科技大学;2010年
中国重要报纸全文数据库 前10条
1 ;Msgsrv32程序为何总出错[N];电脑报;2002年
2 天津 武金刚;“看家法宝”SysRecorder[N];电脑报;2001年
3 泥巴;require和include经典一例剖析[N];电脑报;2001年
4 林为洋;轻松备份 轻松恢复[N];中国电脑教育报;2002年
5 杨浩;黑衣人信箱[N];中国电脑教育报;2003年
6 ;菜鸟捉虫[N];电脑报;2001年
7 ;防毒精灵2002[N];中国电脑教育报;2002年
8 杜雨青;考的就是细心[N];中国电脑教育报;2004年
9 记者 刘浏;成都工商推行“国标服务”[N];成都日报;2005年
10 浙江 杨俊;用ASP编写计数器[N];电脑报;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978