一种Glibc互斥锁的统计方法

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

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

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

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

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

基于有限容量库所方法的死锁防止算法

针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大.最后用一个示例说明了该算法,并进行了进一步的讨论.     

基于优先级动态分配的分布式死锁探测方法

本文采用动态优先级分配策略,提出分布式事务死锁探测的有效方法。该方法所使用的优先级分配策略改进了传统的分配方法,它能更为准确地反映事务的运行特性,以较少的通讯开销来探测分布式死锁,且具有更短的死锁探测时延。     

对GALT算法的理论性分析

GALT(Greatest Available Logical Time，最大可能逻辑时间)算法是HLA(High Level Architecture，高层体系结构)接口规范中时间管理服务能否实现的关键技术。不合理的GALT算法会导致死锁或破坏HLA时间管理的原则，从而导致整个仿真无法向前推进，或产生过去时刻的消息。分析了Frederick算法和身高测量法的死锁问题，给出了Frederick算法造成死锁的一个充分条件，重点讨论了它们遵守时间管理原则的情况。一个好的GALT算法，必须在确保不违反时间管理原则的基础上，才能最终解决死锁问题。     

基于活标识性质的活网子类划分

现有的Petri网子网分类在活性判断问题上难度跳跃过大,难以取得突破.通过对活标识单调性质的研究对结构活网进行了子类划分,将结构活网划分为严格单调活网、单调活网、关于冲突源单调活网、广义单调活网和奇异活网.同时,文中还给出了严格单调活网和单调活网的判定条件.这种划分对活性判断问题作了更细的分级,为活性的研究提供一种新思路.     

反应式系统的并发模型（Ⅲ）——Petri网模型

基于文（２,３）,引入反应式系统形式化描述的另一种典型模型－Ｐｅｔｒｉ网,给出一些重要性质的Ｐｅｔｒｉ网描述,建立了它与文（２）的抽象计算模型之间的映射关系,最后指出Ｐｅｔｒｉ网的一些不足之处。     

基于KOCNCES的智能重构制造控制系统动态建模与分析

为了提高制造控制系统的智能重构能力,提出了扩展功能块的新概念.在分析了智能重构与智能控制的并行执行过程基础上,探讨了基于知识表达的面向对象着色NCES(KOCNCES)建模方法,并给出了检测各虚拟制造设备(VMD)功能块对象KONCEM模型的死锁检测算法,以及检测整个控制系统KOCNCES模型的死锁检测算法.利用这些算法对机器人VMD功能块对象的KONCEM模型及一个柔性制造系统(FMS)的控制系统的KOCNCES模型进行了死锁分析.分析结果验证了该建模方法及死锁检测算法的有效性.     

嵌入式无线网卡驱动的实现与死锁问题的解决方法

本文介绍了USB无线网卡驱动程序设计的一般方法和技巧，并在嵌入式平台上实现了驱动的动态加载，对出现的热插拔问题进行分析，解决了平台USB底层驱动Hub．c函数中存在的死锁问题，最终使得无线网卡正常热插拔。