收藏本站
《华东师范大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

资源模型与系统级描述语言的硬件综合

金乃咏  
【摘要】:为更好地描述分析嵌入式系统的行为,近年来出现了系统级描述语言。但系统级程序通常是目标平台无关的。为了挖掘程序最大的运行性能,需要在设计空间中进行探索,将程序模块映射到各目标器件上,并且将各种有关实现细节的决策在新的程序文本中体现出来。这一“探索—决策—重写”的过程是一个不断地从抽象到具体的精化过程。而无论“探索”和“决策”的结果如何,对“重写”而言,都必须保证不在“重写”的过程中引入有违高层规范的实现错误。这需要有与之匹配的理论与工具的支持。 本文继承了用数学方法研究编译器设计的传统,以UTP为理论工具,着重探讨了与硬件综合相适应的有资源的指称语义理论框架。 在该理论框架中,静态资源模型给出了资源约束的“质”的一面。它指出只有当程序满足资源特性的时候,程序才能正常运行。否则,程序就会发生错误。该模型把所有有违资源特性的错误程序都归结为“取消作业”。这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。在此基础上,我们给出了编译器设计的一般规范和三个应用。 资源不但有质的特性,也有量的特性。其后的有限资源模型是第一个模型在“量”的方面的扩展。它刻画了系统可用资源的数量将随程序的运行而减少,直至可用资源全部耗尽这一现象。同时我们发现在有限资源环境下资源重用带来的程序行为的不确定性,并探讨了消除这些不确定性的方法。 为了提高资源的利用率,我们通常会让几个并发进程共享资源。我们结合了CSP,UTP,Action Trace和Separation Logic等理论工具给出了统一解决资源冲突和访问冲突的并发进程共享资源模型,并用该方法讨论了资源共享中常见的冲突消解和死锁等问题。 除了正确性,好的编译器还应有较高的效率。编译器也是个程序,我们把程序比较的方法扩展到编译器比较上来,构造了“资源性能模型”。在考察了目标芯片的技术特性之后,我们给出了在预编译阶段,资源分配阶段,代码生成阶段和器件选型阶段等多个时期的硬件编译优化算法。理论和试验证明了这些方法的有效性。经优化,我们的综合器给出了小而快的网表。 这些资源预编译子句和资源分配算法为我们提供了高性能的资源定制和可靠的资源调度方法。而基于资源模型的硬件综合方法的本质是一个将程序从无资源约束环境转换到有资源约束环境的映射,它具有普遍的理论意义和应用价值。它不仅适用于硬件综合,也可用于软件编译,特别是可重定向软件编译器设计。
【学位授予单位】:华东师范大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TP312.1

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 董章震,潘捷,邓家禔;工作流模型的研究与实现[J];计算机辅助工程;2002年02期
2 陈猛,徐宗俊,郭刚;可重构制造系统及其关键支持技术[J];制造业自动化;2002年05期
3 钱鹏飞,张申生;异构业务领域模型驱动的资源集成[J];南京理工大学学报(自然科学版);2005年04期
4 鲁斌;;网格资源的超拓扑空间模型[J];计算机工程与应用;2006年29期
5 曹耀钦;李光明;宋建社;;军事应用网格的资源模型及形式化描述[J];计算机工程;2006年22期
6 汪惠芬;刘婷婷;张友良;;网络协同工艺设计系统研究与实现[J];机械设计;2007年12期
7 王正成;;网络化制造资源形式化建模及实现[J];浙江理工大学学报;2009年05期
8 余化鹏;卢显良;彭先蓉;;基于有限的共享资源模型实现嵌入式硬实时Linux[J];计算机技术与发展;2007年04期
9 吴立峰;金烨;;工作流系统的资源管理问题[J];计算机工程;2007年20期
10 周明骏;敖翔;邓昌智;田丰;戴国忠;;面向协作交互任务的资源模型[J];计算机辅助设计与图形学学报;2007年10期
中国重要会议论文全文数据库 前10条
1 王建利;何卫平;吉锋;和延立;;基于Web的支持敏捷制造的资源管理平台的研究[A];《制造业自动化与网络化制造》学术交流会论文集[C];2004年
2 李超平;;工作要求-资源模型对工作投入预测效应的实证研究[A];第十二届全国心理学学术大会论文摘要集[C];2009年
3 马智;杜雪涛;罗枫;;基于模式的网络资源模型设计[A];中国通信学会信息通信网络技术委员会2009年年会论文集(上册)[C];2009年
4 徐峰;张乃尧;华炜;;混合型企业的资源模型和制定生产计划的方法[A];1998年中国智能自动化学术会议论文集(下册)[C];1998年
5 林永毅;孙嵘;倪凌;;光缆网络资源模型及其编码规则的研究[A];中国通信学会2001年光缆电缆学术年会论文集[C];2001年
6 王建利;何卫平;吉锋;和延立;;基于Web的支持敏捷制造的资源管理平台的研究[A];先进制造技术论坛暨第三届制造业自动化与信息化技术交流会论文集[C];2004年
7 李佳慧;;自我控制资源模型的研究回顾及其新进展[A];北京市社会心理学会2009年学术年会论文摘要集[C];2009年
8 张云丰;王勇;;一类多资源模型的混合多属性群决策方法[A];第四届中国智能计算大会论文集[C];2010年
9 曾斌;乔非;张浩;;基于PETRI网的BPR流程建模工具的开发[A];2001中国控制与决策学术年会论文集[C];2001年
10 傅强;;三峡库区PREE可持续发展模型研究[A];面向21世纪的科技进步与社会经济发展(下册)[C];1999年
中国重要报纸全文数据库 前10条
1 童文臻;渠道:从资源模型向价值模型转变[N];中国计算机报;2004年
2 本报记者 徐红 实习生 辛忠;“数字矿山”:算得准 看得清[N];经济日报;2010年
3 北京邮电大学网络管理研究中心 朱凯;基于WCDMA的HSDPA技术及其标准化探讨[N];人民邮电;2008年
4 威廉;新一代OSS在长沙电信正式上线[N];人民邮电;2003年
5 上海贝尔阿尔卡特股份有限公司 沈浩 胡宏斌;资源管理确保精细运营[N];通信产业报;2006年
6 ;WSDM推动管理集成[N];网络世界;2005年
7 ;面向下一代网络的资源管理与服务开通解决方案[N];人民邮电;2007年
8 中国建设银行湖北分行信息技术部李涛、娄国伟、曾钦祥、吴安平、童海涛;实现多任务域工作流[N];计算机世界;2004年
9 大唐电信;下一代网络和业务转型中资源管理系统的建设[N];通信产业报;2008年
10 李忠亮通讯员 李坤滋;安徽移动构建统一运营管理体系[N];人民邮电;2008年
中国博士学位论文全文数据库 前10条
1 吕智慧;基于服务网格架构的内容分发关键技术研究[D];复旦大学;2004年
2 金乃咏;资源模型与系统级描述语言的硬件综合[D];华东师范大学;2006年
3 王正成;网络化制造资源集成平台若干关键技术研究与应用[D];浙江大学;2009年
4 张绍华;网格工作流关键技术研究[D];复旦大学;2004年
5 贺文锐;面向网络协同制造的资源优化配置技术研究[D];西北工业大学;2007年
6 郑然;网格计算环境下工作流关键技术的研究[D];华中科技大学;2006年
7 关志伟;面向用户意图的智能人机交互[D];中国科学院软件研究所;2001年
8 李立;下一代网络资源共享环境的研究[D];北京邮电大学;2007年
9 张世超;Norm支持的虚拟组织关键技术研究[D];复旦大学;2005年
10 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
中国硕士学位论文全文数据库 前10条
1 权小蕊;基于工作流的合同管理系统设计与实现[D];大连理工大学;2002年
2 张娜;面向产品设计的领域自动建模方法的研究与实现[D];西安电子科技大学;2008年
3 张乐伟;基于Axis的web服务有状态框架的研究与实现[D];浙江大学;2006年
4 王伟炜;基于Petri网的科技项目评审工作流模型分析与设计[D];哈尔滨工业大学;2007年
5 王捷;低压电网生产MIS系统的研发与实现[D];浙江大学;2008年
6 张雪超;基于eTOM的CDMA2000 1X的资源建模的研究与实现[D];北京邮电大学;2006年
7 闻晶;专业网资源管理系统北向接口的设计和实现[D];北京邮电大学;2008年
8 魏晓慧;基于着色Petri网的工作流建模的研究[D];中国石油大学;2008年
9 李久宏;基于知识的机构概念设计系统研究[D];西安电子科技大学;2001年
10 赵天慧;网格环境下异构动态分布式实时系统的面向方面的资源模型[D];广东工业大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026