一种虚拟路由器的体系结构及实现

提出了一种虚拟路由器体系结构，并对其中的关键组成部件如虚拟协议栈模块、虚拟路由协议模块以及虚拟管理模块等功能和实现进行了描述，为了实现单一代码能够运行多个实例，使用封装技术修改了协议栈代码、路由协议代码和路由器中其它的功能模块代码，并以BSD4.3为基础实现了虚拟路由器原型。通过对原型的测试，表明提出的体系结构和实现方法能够达到预期效果，具有实际应用价值。     

面向RISC-DSP处理器的代码生成和优化

随着嵌入式系统应用的发展，高效和小型化是其主要特点，这对目标代码质量的要求也越来越高。针对自行设计的32位具有RISC DSP结构的媒体处理器MD 32特有的体系结构特点，提出C编译器支持的，在汇编代码级通过指令调度和转换指令操作数及其类型的代码优化方法，实现输出高效的并行指令。统计数据表明：代码执行效率平均可以提高15％，而代码密度平均提高12％。     

VLIW技术的最新发展

作为一种有效提高指令级并行度的方法，超长指令字（VLIW）体系结构被看做RISC技术的自然延伸，VLIW体系结构通过编译器静脉调度发掘程序中潜在的并行性，从而有效地降低了硬件复杂度，该文结合Intel公司的IA-64体系结构与Transmeta公司的Crusoe苡片介绍VLIW技术的一些最新发展，并通过IBM的Tree-VLIW结构探讨VLIW处理器目标代码的兼容性问题。     

一种基于可重定向编译器的功耗优化框架

当今,低功耗设计成为系统设计中的关键问题之一,而编译中的低功耗优化也成为系统设计中的一个重要环节.文章针对传统功耗优化缺乏通用性的缺点,提出一个基于可重定向编译器的功耗优化框架.该框架通过对编译生成的二进制目标码进行横向再调度来降低指令总线上的高低电位切换次数,从而达到降低系统功耗的目的,并且,基于xpADL的支持,为该框架提供不同的体系结构描述,可以生成针对不同体系结构的功耗优化代码.以IA-64体系结构为例,在其仿真器Ski上作了大量实验,实验表明,对于静态代码,该框架的优化可达25%左右,对于动态代码,该框架可以达到30%以上的优化.因此,该框架的优化是行之有效的,并且具有相当的可扩展性.     

基于谓词代码的编译优化技术研究

程序中大量分支指令的存在,严重制约了体系结构和编译器开发并行性的能力。有效发掘指令级并行性的一个主要挑战是要克服分支指令带来的限制。利用谓词执行可有效地删除分支,将分支指令转换为谓词代码,从而扩大了指令调度的范围并且删除了分支误测带来的性能损失。阐述了基于谓词代码的指令调度、软件流水、寄存器分配、指令归并等编译优化技术。设计并实现了一个基于谓词代码的指令调度算法。实验表明,对谓词代码进行编译优化,能有效提高指令并行度,缩短代码执行时间,提高程序性能。     

基于多Agent协商机制的PCB装配调度系统

文中针对PCB装配调度问题设计了一个基于多Agent调度系统模型，给出了模型的体系结构与功能描述，系统将任务和优先权机制与基于合同网协议和KQML消息的竞标机制两者相结合，实现PCB装配的优化调度，详细介绍了多多Agent之间的KQML消息通信机制，给出一个应用实例。     

Linux内核基于对称多处理机的实现分析

SMP（对称多处理机）是一种紧耦合、共享存储的系统模型。Linux内核为了支持SMP体系结构，必须要修改基于UP（单处理机）的内核代码。文中详细分析了SMP的体系结构，并对Linux内核中SMP的启动以及如何实现多处理器的进程调度进行了详细的分析，最后阐述了SMP中出现的一致性问题及解决方案，解决了Linux内核在对称多处理机上的实现。     

LinuxNET软件体系结构及可扩展性分析

通过Linux2.2.16源代码和文档进行逆向转换,结合网络通信的典型模型,描述了LinuxNET软件的体系结构,并对软件的可扩展性及IP协议栈结构作了分析。     

网络化制造平台中服务调度机制研究

在分析了实施网络化制造平台必要性的基础之上,介绍了网络化制造平台总体框架,针对网络化制造平台复杂服务集群提出了一种服务调度机制,给出了该服务调度机制的体系结构,并阐述了其中的调度机构的软件设计,同时描述了该服务调度机制的运行过程。     

方面化构件组装体系结构描述语言AWright

方面化构件组装平台迫切需要一种新的软件体系结构描述语言来支持该平台的体系结构描述及验证。针对该平台特点,在分析Wright的基础上,提出一种扩展Wright的方面化构件组装体系结构描述语言——AWright。给出该体系结构描述语言的医疗诊断系统实例,以说明AWright的机制及其描述能力。     

功耗-体系结构描述语言XP-ADL及其设计环境

降低计算机系统的功耗日益成为系统设计中的重要目标，可配置VLIW体系结构在低功耗系统设计中具有显著的优势．本文提出一种功耗一体系结构描述语言XP-ADL，并介绍了基于该语言的体系结构设计环境．XP-ADL语言将系统中各功能部件的结构表示和它们的执行(功能)语义分离开来，方便了可配置的VLIW体系结构的描述．同时，为了便于在功耗模型下进行体系结构空间探索，XP-ADL允许在设计环境中包含各类功耗模型和功耗约束．     

基于增强描述的代码搜索方法

如何有效地帮助程序员从目前的各种代码库中搜索与特定编程任务相关的代码,已成为软件工程重要的研究领域之一.本文提出了一种基于增强描述的代码搜索方法DERECS.该方法首先基于开源项目、问答系统等,构建一个代码-描述语料库,并分析代码及自然语言描述,提取方法调用和代码结构相关特征值,然后基于代码片段中的方法调用及代码片段的结构特征对代码进行描述增强,以减小被搜索的代码与自然语言查询语句之间的差异,扩大搜索的范围.本文使用真实自然语言查询语句作为测试基准,对DERECS进行验证.验证结果表明,DERECS的效果显著优于典型方法SNIFF和Krugle的查询结果.     

DRTSADL分析器的设计与实现

DRTSADL是一种针对分布式实时系统的体系结构描述语言,其设计目的是为了实现基于软件体系结构的代码生成和测试。为此,首先需要设计并实现DRTSADL语言的分析器。本文论述了DRTSADL分析器设计和实现原理,说明了实现该分析器的主要过程。     

基于时态逻辑的软件体系结构描述语言及其可视化环境

在时态逻辑语言XYZ／E的基础上,建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为,能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。     

基于AADL的航天嵌入式软件Ada代码自动生成方法

模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language, AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。     

基于VHDL语言的交通控制器设计

该文介绍了一种基于VHDL语言的交通控制器设计,以QuartusII为软件开发平台,文中重点介绍该交通控制器的设计原理、设计步骤。在此基础上给出了基于VHDL硬件描述语言的系统实现源代码以及仿真结果,通过仿真结果进一步验证了该交通控制器方案的正确性,从而展示VHDL语言的强大结构和优秀特性。     

DSP分块内存和多AGU的编译指示优化

分块内存和多地址生成器(AGU)是DSP普遍采用的体系结构.传统的C语言编译器没有针对分块内存和多AGU结构进行代码优化,导致生成代码无法满足性能需求,影响了C语言编译器在数字信号处理领域的应用.为了解决这个问题,提出基于编译指示,与分块内存和多AGU结构相关的编译优化算法.该算法利用定义引用链和引用定义链中的数据流信息,为地址计算指令和访存指令分配AGU,从而提高生成代码的指令级并行度.实验结果表明此算法能够达到较好的优化效果.     

基于逻辑的软件体系结构共享注入点检测方法

已有的方面交互分析方法大多未考虑共享注入点的检测,从而影响了它们的实际应用。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL,提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑,给出了软件体系结构层注入点和切点指示器（pointcut designator,PCD）的形式化描述方法。在此基础上,应用一阶逻辑公式的合一思想,提出了软件体系结构层共享注入点的相关定义及定理,并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体系结构中检测共享注入点提供借鉴和参考。