国家自然科学基金(60083004)
- 作品数：17 被引量：70H指数：7
- 相关作者：张素琴戴桂兰田金兰蒋维杜王生原更多>>
- 相关机构：清华大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育振兴行动计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 嵌入式CPU软硬件协同开发中的操作系统设计被引量：7
- 2005年
- 为了满足高性能嵌入式CPU软硬件协同开发的需要,提出一个嵌入式Linux操作系统设计方案,在真正的硬件完成之前利用虚拟原型系统进行软硬件集成测试。该方案基于开放源代码软件,采用精简配置的Linux Kernel,以u-Clibc和Busybox为主构成根文件系统,特别选择加入必要的基准测试程序。该系统成功应用于清华大学THUMP系列CPU开发,保证了验证的完备性,提高了验证效率,为CPU的性能优化提供了有力的支持。实验结果表明:该方案满足了验证目的和虚拟环境对操作系统设计提出的严格要求,同时为目标CPU未来运行系统提供了基础。
- 董渊王生原陈嘉田金兰张素琴
- 关键词：操作系统嵌入式系统设计
- 编译系统中间代码的一种抽象表示被引量：8
- 2002年
- 中间表示是提高编译器的可移植性和代码生成的有效性的关键技术.为提高编译成份的可复用性,简化编译器的构造,本文提出了一种描述程序语言抽象语法及编译器内部数据结构的抽象中间表示AIR(Abstract Inter-mediate Representation).AIR以代数数据类型为主体,并用面向对象特征对其进行扩展,从而使之具有简洁的语法,较强的表达能力、灵活性和可扩展性.AIR将抽象描述与其具体实现相分离,可方便地用不同的高级程序语言实现,从而有助于提高编译成份间的互操作性.
- 戴桂兰张素琴田金兰蒋维杜
- 关键词：面向对象编译器
- 面向对象建模集成环境AML-Tools的设计与实现被引量：2
- 2002年
- 该文描述了一个新的面向对象建模集成环境AML-Tools。AML是一个基于Ada95的建模语言,它吸取了Ada95的基本原理和思想,利用支持面向对象建模的设施对其进行扩充和改造,使之适用于软件建模的各个阶段;引进了程序包、任务等程序单元的概念并使之成为AML的核心成份;吸取了多视点模型的思想,将描述同一实体不同侧面特征的信息分别封装在相应的程序单元声明、程序单元体和程序单元描述中;利用新的并发模型、同步设施和限制设施,有效地解决了系统并发性、不确定性等非功能特性的描述问题。
- 戴桂兰
- 关键词：软件工程面向对象软件开发
- AML模型导航工具的设计与实现被引量：2
- 2002年
- 基于面向对象建模语言AML ,开发了一种在软件模型中实现动态导航的方法。这种方法通过将软件模型不同侧面的视图映射到一种集成支撑表示中 ,提供动态导航算法 。
- 戴桂兰
- 关键词：AML软件开发环境面向对象建模语言
- 指令调度和寄存器分配的集成算法
- 2004年
- 指令调度对于充分发挥现代高性能RISC(reducedinstructionsetcomputer)处理器的指令级并行处理能力至关重要。基于扩展的装入延时体系结构模型,提出了在代码生成过程中针对表达式树的森林的局部寄存器分配和局部指令调度的集成算法。此算法以DLS(delayed-loadschedulingalgorithm)算法为基础,在保持了使用寄存器少,算法复杂度低的特点的同时,还为适应新的模型和提高效率做了以下扩展:1)通过记录变量内存值的改变信息,设置调度缓冲区解决了多表达式树指令调度的数据相关性问题;2)将调度范围由单个表达式树扩展到森林更有效地减少指令延时;3)通过对调度生成的指令序列的局部调整来处理store延时,有效地减少了由于共享资源而引起的互锁。
- 戴军戴桂兰张素琴田金兰
- 关键词：指令调度寄存器分配表达式树
- 基于类库的可重定向编译器后端设计与实现被引量：1
- 2003年
- 该文在对几种可重定向编译器进行分析的基础上,提出了一种基于类库的可重定向编译器后端设计技术。该技术通过恰当定义机器描述与代码生成之间的接口,抽象不同硬件平台共有的操作与功能,隔离中间表示和不同硬件平台汇编语言代码的差异。根据不同硬件平台特点,利用面向对象技术实现接口,构成重定向支持类库。代码生成器通过对接口的调用,将中间表示转化为相应平台的汇编语言,完成编译器后端的重定向工作。
- 王民华张素琴田金兰
- 关键词：代码生成类库
- 动态编译技术研究被引量：10
- 2004年
- 本文从动态编译的概念出发,着重讨论了运行时特定化技术和Just-in-time编译技术;比较全面地总结并评述了具有代表性的动态编译系统及其采用的Profiling技术、重编译技术;并探讨了动态编译技术研究中存在的一些问题及进一步的工作。
- 崔慧敏戴桂兰王生原张素琴
- 关键词：JUST-IN-TIME
- 面向多目标机的交叉调试器的研究与设计被引量：14
- 2003年
- 为了缩短嵌入式软件开发的时间和提高嵌入式软件的质量,需要研究和开发新的交叉调试器技术。该文研究了交叉调试器的原理和主要技术难点,针对嵌入式软件开发环境与运行环境不同,以及嵌入式芯片多样性的特点,采用构件组装的技术,提出了一种全新结构的交叉调试器的设计方案。此设计方案可以支持多种嵌入式目标机,并且具有良好的目标机重定向性、功能可扩充性和平台可移植性。
- 吴疆田金兰张素琴
- 关键词：嵌入式软件开发环境交叉调试器远程调试设计方法
- 基于指令聚类与指令调度的嵌入式软件功耗优化研究被引量：2
- 2006年
- 选用指令级能耗评估模型,提出和验证了一种基于指令聚类与指令调度的功耗优化方案.该方案采用深度优先算法搜索局部最优解,挑选出能耗较小的一种指令序列.又兼顾测试工作量与精确度,将能耗相似的指令归入同类,有效降低了获取相邻指令切换能耗参数的工作量过大这一问题.通过分析基于SimpleScalar/Wattch模拟器的实验结果,指出仅用指令调度技术进行指令级功耗优化,其效果有限,为了提高优化效率,必须进行更高级别的功耗评估与优化.
- 陈嘉董渊杨阳戴桂兰王生原
- 关键词：指令调度功耗优化深度优先搜索聚类
- 面向对象编译类库构造被引量：10
- 2003年
- 通过对编译系统进行面向对象分析,探讨了基于类库的编译器构造方法。在抽取语言文法基本结构的基础上,构造了可复用的编译基本类。编译基本类模型以语法单元为单位,集编译过程中词法分析、语法分析、语义处理、优化和执行等操作与一体,打破了传统编译器中各个编译阶段的空间分割。在基于类库构造的编译器中,对符号表做了类化处理并采用了动态的多级结构,同时将语言语法和语义的处理相分离。提高了编译成份的可扩展性、可复用性和可维护性。
- 张素琴戴桂兰田金兰蒋维杜
- 关键词：面向对象编译器类库词法分析语法分析语义处理
