动态多栈技术

在实际应用中经常会遇到多栈结构,传统的多栈顺序存储结构总是事先开辟定量的存储空间,导致了多栈中存储空间不同程度的浪费,在数据结构与算法中没有解决该问题。在此研究并实现了多栈的动态存储结构,并用此种结构解决了一些实际的问题。     

多栈的顺序存储及实现技术

栈是一种重要的数据结构,栈在各种类型的系统中应用广泛,堆栈技术被广泛应用于编译软件和程序设计中。讨论栈的结构特征与操作实现特点,有着重要的意义。经常讨论的是单栈、共享栈等传统的栈。但在实际应用中经常会遇到多栈结构,在数据结构与算法中没有研究该内容,在此研究并实现了多栈的顺序存储结构。并用此种结构解决了一些实际的问题。     

安全关键系统的栈空间分析研究

由于存储空间异常引起的系统故障,系统开发或维护人员很难从失效特征直接判断到根原因。另外,存储空间异常通常会引起整个系统崩溃,对于安全关键系统,如航空电子系统,系统的失效往往会引起坠机或人员伤亡,因此,对安全关键系统的空间分析显得尤为重要。由于系统栈空间的分析涉及系统动态运行状态,在程序的任意点都有可能被中断服务程序或实时操作系统的其它任务中断。此外系统的栈分析需要基于目标码等特性,再次增加了对于系统栈空间分析的难度。本文从栈空间分析的必要性出发,提出一种综合中断抢占图的栈分析理论和方法,并就安全关键系统如何保证栈空间使用的确定性进行论述。最后,就安全关键软件系统FCOS的栈空间分析过程进行详细的阐述。     

共享栈排序及实现

栈是重要的数据结构，有着许多重要的应用方面。文［１］就栈在排序上的应用介绍了几种算法，本文在此基础上进一步详细介绍利用共享栈排序的两种方法－共享栈栈式排序和共享栈插入排序法，并给出了用ＰＡＳＣＡＬ语言实现的排序程序。这两种方法的共同特点是，都不需要额外的存储开销，都具有较高的排序效率和实用推广价值。     

数据流上加权共享滑动窗口的连接查询处理算法

在数据流应用中,系统经常需要处理大量的滑动窗口连续查询,采用共享滑动窗口技术可以有效节省存储空间,提高系统整体的查询处理能力。但是共享滑动窗口技术会增大单个查询的响应延迟,降低单个查询的服务质量。针对这个问题,论文提出了加权共享滑动窗口的概念,并提出了三种优化的连接执行算法,优先响应重要的滑动窗口查询,从而提高了系统整体的服务质量。理论分析和实验结果表明论文提出的方法是行之有效的。     

ZigBee协议网络层的设计与实现

Zigbee标准具有低速率、低能耗、安全可靠等特点,非常适合于家庭自动化、建筑自动化和工业自动化应用.本文根据国际标准,分析、设计和实现了ZigBee协议栈采用的单片机Atmegal28,它仅有128K字节系统可编程闪存空间和4K字节的内部SRAM,所以本协议栈没有引入任何操作系统而且采用共享缓冲区进行数据收发和交换以节约有限的存储空间.最终,实现了规范中定义的所有功能,包括网络设备管理和mesh路由.     

多核处理器中混合分布式共享存储空间的实时划分技术

在多核处理器芯片中,分布式共享存储DSM虽然提供了统一的全局寻址的存储空间,但却引入了虚地址向实地址转换的开销,这对性能产生了负面的影响。我们注意到,在并行程序的执行过程中,被处理的数据属性(私有或共享)并不是一成不变的。并行程序中不同的数据具有不同的属性,即使同一数据在程序的不同执行阶段也可能具有不同的属性。本文首先详细地阐述了一种混合式的分布式共享存储空间,支持对共享数据采用全局寻址的虚地址访问而对私有数据采用快速寻址的实地址访问;进而提出了一种针对混合式的分布式共享存储空间的实时划分技术。该技术根据并行程序中数据的属性,在程序运行时,实时地调整和划分分布式共享存储空间。当数据为私有时,通过实地址访问加快数据的访问速度,当数据为共享时则维持虚地址访问,从而减少整个并行程序运行过程中的地址转换开销,提高系统的性能。实际应用程序的实验结果表明,与传统的分布式共享存储空间相比,实时划分的混合式的分布式共享存储空间具有性能优势,性能的提升比例与具体的网络规模、计算规模、并行程序映射方式等有关。在我们的实验中,性能的提升比例最高为13.14%,最低为6.98%。     

μC／OS—Ⅱ任务栈处理的一种改进方法

在μC/OS-Ⅱ内核中,各个不同的任务使用独立的堆栈空间,堆栈的大小按每个任务所需要的最大堆栈深度来定义,这种方法可能会造成堆栈空间浪费。本文叙述如何在RTOS中多个任务共用连续存储空间作为任务栈的方法,并详细比较二者的优缺点和适用性。     

μC/OS-Ⅱ任务栈处理的一种改进方法

在μC/OS-Ⅱ内核中,各个不同的任务使用独立的堆栈空间,堆栈的大小按每个任务所需要的最大堆栈深度来定义,这种方法可能会造成堆栈空间浪费.本文叙述如何在RTOS中多个任务共用连续存储空间作为任务栈的方法,并详细比较二者的优缺点和适用性.     

ESP：基于OS／2的SVM研究及实验

共享虚拟存储技术可以将松耦合系统中相互独立的物理存储空间组织成一个统一的逻辑存储空间。我们基于ＯＳ／２对共享虚拟存储系统ＥＳＰ的硬软件结构，算法和性能等进行了研究和实验，初步结论是理论分析与实测结果基本一致，这种技术在多机系统，分布式计算机以及并行处理中是有用的。     

Modeling and Stack Simulation of CMP Cache Capacity and Accessibility

Performance trade-offs between fast data access by local data replication and cache capacity maximization by global data sharing have been extensively studied for many-core Chip Multiprocessors (CMPs). Costly simulations over a wide spectrum of the design space are generally required to gain insight for a sound design. To lower the cost, we develop an abstract model for understanding the performance impact of data replication on CMP caches. To overcome the lack of real-time interactions among multiple cores in the model, we further develop an efficient single-pass stack simulation to study the performance of CMP cache organizations with various degrees of data replication. The global stack logically incorporates a shared stack and per-core private stacks; shared/private reuse (stack) distances can be collected in a single-pass simulation. With the reuse distances, one can calculate the performance of CMP cache organizations with various degrees of data replication. We verify both the model and the stack simulation against execution-driven simulations with commercial multithreaded workloads. The results show that the abstract model provides accurate information about performance trade-offs of data replication. The stack simulation accurately predicts the performance of various cache organizations with 2-9 percent error margins using only about 8 percent of the simulation time.     

基于以太网交换机的Linux协议栈虚拟化技术

网络协议栈虚拟化的目标是在一台网络设备上虚拟出多个协议栈以实现网络设备的一虚多功能。由于 Linux操作系统的网络协议栈本身是不支持这种网络协议栈虚拟化技术的,因此本文通过对Linux操作系统3.11.10版本 IPV4网络协议栈进行改造以实现 Linux网络协议栈的虚拟化,并在设备平台上验证了经过网络协议栈虚拟化改造后的以太网交换机对业务流的隔离功能。     

On First-Order Logic and CPDA Graphs

Higher-order pushdown automata (n-PDA) are abstract machines equipped with a nested ‘stack of stacks of stacks’. Collapsible pushdown automata (n-CPDA) extend these devices by adding ‘links’ to the stack and are equi-expressive for tree generation with simply typed λY terms. Whilst the configuration graphs of HOPDA are well understood, relatively little is known about the CPDA graphs. The order-2 CPDA graphs already have undecidable MSO theories but it was only recently shown by Kartzow (Log. Methods Comput. Sci. 9(1), 2013) that first-order logic is decidable at the second level. In this paper we show the surprising result that first-order logic ceases to be decidable at order-3 and above. We delimit the fragments of the decision problem to which our undecidability result applies in terms of quantifer alternation and the orders of CPDA links used. Additionally we exhibit a natural sub-hierarchy enjoying limited decidability.     

LTE-V2X协议栈开发及通信测试

目前推出的V2X通信技术相关标准中存在技术要求细节不够明确等问题, 导致车联网通信终端产品存在差异, 通信协议栈之间不能实现全面互联互通. 针对这一问题, 通过分析LTE-V2X协议栈的性能要求及总体分层, 提出了LTE-V2X协议栈的软硬件解决方案并完善协议栈各层设计细节, 完成消息数据填充与编解码、构建各层数据帧并设计逐层封装机制. 在此基础上, 基于真实道路场景对协议栈进行通信性能测试, 测试结果显示该协议栈满足设计要求, 符合协议栈顶层应用规范.     

多个栈共享内存空间算法研究

在分析传统栈的基础上,提出了一种多个栈共享内存空间的新算法,以提高内存空间利用率.     

多个栈共享内存空间通用算法研究

在分析了传统栈的基础上,提出了一种多个栈共享内存空间的通用算法,以提高内存空间利用率。     

基于Linux网络协议栈的嵌入式开发

在嵌入式开发中,根据产品本身的特点,在操作系统中实现特定用途的网络协议栈是一个重要工作。利用Linux内核中基于AF_INET套接字类型的TCP／IP网络协议栈的实现机制,在不影响Linux系统原有网络协议栈的情况下创建了一种新的网络协议栈,通过在原有的Linux网络协议栈中添加新的服务,提高了视频服务器系统的效率。     

Multiple stack performance near saturation

Detailed simulation experiments have been performed to study multiple stack performance, primarily using two methods recently developed by the authors called dynamic initial allocation and local reallocation procedures. Some results are: determining first occurrences of overflows in terms of storage saturation; observing performance behaviours, particularly for near full storage saturation; and performance evaluation on the weight of two storage redistribution schemes, one being based on the most recent stack growth, the other on the current stack size. Also discussed is the issue of whether additional space should be sought when storage is near saturation, and if so, how it is to be obtained. The critical stack saturation percentage is proposed as the point where additional storage space should be sought. It is the one at which the expected total cost is the minimum.