支持分布式合作实时事务处理的协同检验点方法

在实时事务执行时，事务故障或数据竞争会导致事务重启，为减少事务重启损失的工作量，可以采用检验点技术保证事务的时间正确性．在一类分布式实时数据库应用中，不同结点的事务通过消息交换形成合作关系，为保证合作事务间的全局一致性，当某一事务记检验点时，相关事务也要记检验点．传统协同检验点方法没有考虑应用的定时约束，不能很好地支持分布式合作实时事务处理．该文提出了一种基于图论的协同检验点方法，利用在每个计算结点上为每个合作事务集维护的局部有向图，使用一个基于图论的计算过程标识出应记检验点的事务，该方法既具有最小协同检验点特性，又使全局检验点的时延最小．实验表明该算法减少了全局检验点时延，有利于实时事务截止期的满足．     

软件安全及有关技术浅析

本文论述了软件安全的有关概念,和在系统和软件生命周期中加何组织软件安全工程的各项活动,并就相关技术进行了讨论。     

移动实时事务的相对时间正确性及其实现

随着移动通信技术的迅速发展,人们提出了新的应用要求：在移动环境下处理实时事务．而移动通信的带宽有限性引起较大的数据访问延迟,有时甚至由于网络传输的断接而使得事务得不到所需访问的数据,这些严重影响了移动环境下实时事务截止期的满足．实时事务的时间要求(典型地为截止性)的满足通常比事务执行的逻辑结果的完全正确更为重要．该文提出了移动环境下实时事务的“相对”时间正确性标准,只要事务访问的数据的陈旧度(staleness)在控制的范围内,就不一定要求实时事务访问的数据在事务提交时是有效的．文中提出了移动实时事务的相对时间正确性标准、保证事务相对时间正确性标准的算法及移动实时事务执行模型．所有这些策略一方面降低了移动实时事务的并发控制代价,另一方面以牺牲事务的“绝对”时间正确换取事务截止期的满足,这与实时数据库“宁愿要部分正确但及时的结果而不愿要绝对正确但过时的结果”的系统目标是相一致的．实验表明：相对时间正确性标准的提出及相应的事务执行模型能提高系统中满足截止期事务的比率,从而提高了系统性能．     

基于第三层VLAN技术的园区网实现

本文结合华中科技大学东校区校园网(Huazhong University of Science & TechnologyEastern Part Network)的例子讨论了基于第三层VLAN的园区网实现技术.文章先对HUSTEPNET的方案进行了介绍,然后讨论了该校园网中基于第三层的VLAN划分和路由策略,并提出了使用变长子网掩码来划分第三层VLAN的方法.     

嵌入式实时数据库系统的存储管理

本文针对嵌入式系统的应用环境和实时数据库系统的数据特征,通过对各种存储器性能的比较,提出了嵌入式实时数据库系统的存储体系结构.在此基础上,对读写速度不对称且写次数有限的存储器提出了一种合理的文件系统的物理结构和数据库的索引结构,减少写入次数以提高数据存取速度,并使写入次数均匀分布在存储器的各块中,以增加数据的可靠性延长存储器的寿命.对实时数据库的不同特征的数据的在本存储体系的安置也进行初步的讨论.     

系统与软件安全浅析

本文用系统工程的概念论述了系统与软件安全,并集中论述了如何将系统与软件安全分析集成到系统开发的各个生命周期中。     

支持移动合作实时事务的一种新的协同检验点算法

现有的协同检验点方法在移动环境中会带来较大的检验点过程延时 ,不能很好地支持实时事务处理 .提出了一种新的协同并行检验点方法 ,在正常的消息传输过程中 ,通过一点额外的带宽传送事务间检验点依赖关系 ;在某一事务记检验点时 ,尽可能地同时通知相关的事务记检验点 .实验表明 ,该算法对网络带宽没有明显的增加 ,而能大大降低事务记检验点的延时 ,使系统中超截止期的事务比例大大降低