航天器发射多任务并行调度模型及算法

航天器发射高频度常态化和航天产品可靠度的增加,客观上要求航天器发射采用并行调度模式以提高发射资源利用率。针对工序迭代可能引发的航天器发射系统死锁,构建了死锁预测和损失评价机制,建立了最小化任务时间和最小化加权滞后时间综合的目标函数,设计了多任务并行调度模型,开发了多类agent协同工作的优化算法,并使用调度实例验证了模型和算法的可行性和有效性。模型和算法在“天宫一号”和“神舟八号”发射任务中得到初步应用,效果较好。     

对银行家算法设计思想的改进及其代码实现

分析了银行家算法避免死锁的设计思想，改进了银行家算法，使其效率得到一定程度的提高，且用C语言描述了实现银行家算法的部分关键程序代码。     

基于HLA/RTI的分布式交互仿真中的死锁问题研究

从避免死锁的角度出发,深入地研究了RTI实现中的保守同步协议,并分析了RTI中为预防死锁的发生所采取的策略。在HLA标准下,其中重要的一点就是通过引入Lookahead以使时间管理机制能够得到更多的信息,这样可以有效地解决保守算法中的死锁问题。但如果物理系统出现死锁,那么基于HLA/RTI进行仿真时,仿真系统还是会出现死锁。最后,以一个机床加工系统为例进行了仿真,证实了上述看法的正确性。     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

大型数据库封锁和并发控制技术应用研究

信息系统在各种商务活动中的重要性不断增强,维护系统数据的可用性也已成为当前一个十分重要的课题.为了有效地保持健康的信息系统,必须采取一定的措施防止重要数据库数据被严重损坏,影响数据库管理系统,进而影响信息系统的正常运行.文章将从一个例子入手,讨论了数据库应用中并发控制的途径、方法,总结了开发系统时应注意的问题.     

一种Glibc互斥锁的统计方法

提出一种Glibc互斥锁的快速查找统计方法。利用面向对象技术和基于接口的编程思想,使用哈希算法查找mutex统计对象,使用循环队列技术记录mutex近期的操作,使用原子操作解决资源冲突,实现了Glibc互斥锁的快速统计。试验并结合X86CPU的打点技术进行统计分析,结果表明算法可以节约统计空间开销和避免资源冲突。     

数据库系统性能调优的研究与实践

文章从影响数据库系统性能的主要因素开始讨论,列举了数据库事务处理、索引、表结构、应用系统接口四个常见的对数据库系统性能产生影响的因素,并针对这些因素分析了系统性能不佳的具体原因,结合甘肃烟草商业电子商务系统调优实践,从创建索引、优化查询、清理临时表、避免表死锁、分离数据库、设置应用系统日志六个方面,引用实际案例,对数据库系统性能调优的基本方法进行了论述。本文希望能够为从事数据库系统管理工作的人员提供有益的经验和参考。     

一种并发控制协议—2PL-LW

2PL是大多数商业数据库系统使用的并发控制机制，建议使用一种新的协议：2PL－锁全写（2PL－LW），在实时数据库系统中，使用2PL－LW比传统协议在一致截止期条件下有更好的性能，同时建议使用阻塞事务的调度方案并对死锁进行分析。     

基于线程同步与妥协处理机制的多线程技术

为了充分利用CPU,节省系统开支,优化程序结构,多线程技术是许多程序开发中主要采用的技术。但是由于多线程这种技术的并发执行的特性导致许多资源利用、数据维护等方面的问题出现,死锁、数据混乱也随之产生。线程同步与妥协处理机制可以较好的解决多线程使用过程中产生的问题。实验中采用了这两种方法后数据混乱、死锁等问题的出现几率大大降低。实验结论表明上面两种方法的使用可以很好的控制死锁、数据混乱的出现,具有良好的使用价值。     

一种Linux内核自旋锁死锁检测机制的设计与实现

在操作系统内核中,自旋锁是一种应用非常广泛的锁机制,能大幅提高系统性能和吞吐量;另一方面,自旋锁的使用不当,会立即将系统锁死,直至人工重启才能解锁,是危害性最大的死锁原因.从检测死锁发生的角度出发,提出一种自旋锁死锁检测机制,可迅速检测到Linux内核中死锁的发生,报告死锁相关信息供管理员分析使用,在可能的情况下重启系统,降低系统宕机时间,提高系统稳定性.