移动智能体的形式化研究

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 ,并进一步给出了对后续工作的展望     

并发环境下的页面快速切换同步技术

本文简要概述并发环境下页面显示容易出现的问题,并就页面切换出现的不同步 问题进行分析。以及就此提出解决问题的对策。     

一种支持高效并发访问的移动对象索引

针对移动对象当前及未来位置索引不能有效支持多用户并发访问的问题,提出了一种支持高效并发访问的移动对象索引CS2B-tree(Concurrent Space-filling curve enabled Cache Sensitive B+-tree)。该索引结合了Bx-tree和CSB+-tree的特点,因而能够支持对移动对象进行预测查询且具有缓存敏感特性。重点研究了一种针对CS2B-tree的两层锁并发访问机制,特别是设计了一种网格锁备忘录结构,使得索引能够支持多任务并发执行。基于并发访问机制,分别提出了CS2B-tree的并发更新算法及并发预测范围查询算法。实验表明,相对于Bx-tree,CS2B-tree的并发访问的吞吐量提高了15.1%,响应时间减少了14.9%。     

互联系统的驱动器设计

本文通过对一般驱动器的讨论,结合已在某互联系统中实现的驱动器设计,探讨根据物理机结构,开发驱动器与系统中其它各层软件间的并发性途径。     

并发面向对象语言的演算语义研究

本文对л演算进行了扩展,使之能支持异步通讯,然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。     

多核环境下负载均衡的并行离散事件全局调度机制

分析了多核环境下传统的离散事件时间弯曲并行系统的性能,针对其事件调度开销小和负载均衡能力强难以兼得的问题,提出了一种基于分布式队列的全局调度机制,设计了相应的数据结构和调度算法,大大减少了锁开销.通过大量实验对多核环境下几种典型离散事件系统并行策略的性能分析表明,本文提出的全局调度策略不仅事件调度开销小,而且回滚率大大降低,有效克服了传统策略回滚量较大或难以实现动态负载平衡的情况,并具备良好的可扩展性.