浙江省教育厅科研计划(Y200804394)
- 作品数：3 被引量：4H指数：1
- 相关作者：林菲孙勇更多>>
- 相关机构：杭州电子科技大学浙江交通职业技术学院更多>>
- 发文基金：浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于C#语言的事务内存系统被引量：3
- 2009年
- 事务内存是一种新的易于使用的同步技术,能使多线程程序高效地并行执行,目前大多数事务内存系统都处于研究实验阶段,尚未具备实际应用价值,或需要依赖特殊硬件实现。针对该现状,提出一种利用C#语言设计与实现的纯软件的事务内存系统,包括事务对象定义以及对事务对象的并行访问方法,并给出处理事务冲突的策略。实验结果表明,该系统是一种高效简洁的同步实现机制。
- 孙勇
- 关键词：C#语言事务内存事务对象竞争管理
- 软件事务内存的动态竞争管理策略被引量：1
- 2010年
- 软件事务内存是为了简化并行程序设计而出现的一种新的程序设计技术。为了降低软件事务内存系统中事务冲突的发生频率以提升系统整体性能,提出了一种新的基于动态控制和队列调度的竞争管理策略。定义了竞争强度的概念和系统总体框架,并在此基础上给出了利用运行时反馈信息动态调节竞争强度的方法。同时给出了事务序列化的设计方法与实现中应注意的问题,通过将冲突概率大的事务序列化以达到避免相同冲突再次发生的目的。结合常用的基准数据结构,对模型和算法进行了实验,最后结果表明了算法的正确性和有效性。
- 林菲
- 关键词：竞争管理序列化
- 并行程序的原子性验证算法研究
- 2010年
- 原子性保证并行程序中的多线程以正确方式交互,大多主流的编程语言都没有提供确保原子性的内部机制。为了提高测试程序原子性的效率与准确性,提出了一种自动检测并行程序中违反原子性错误的算法。基于状态转换,建立了原子性的形式化定义。在此基础上,利用线程锁设计了具体的算法模型以及实现中需注意的细节,同时给出自动修正错误的设计思路和建议。结合常用的基准数据结构,对模型和算法进行了实验,实验结果表明了该算法的正确性和有效性。
- 林菲
- 关键词：原子性死锁代码生成
