基于依赖关系的事务工作流模型研究

事务工作流是把数据库中的事务概念引入到工作流领域。典型的事务工作流由于采用向前回滚或者向后回滚的方式来保证原子性,所以对任务的事务特性和执行顺序要求过于严格,并不能很好地定义实际应用中用户对事务的各种需求。为了提高事务工作流的扩展性,提出了基于依赖关系进行事务工作流建模的方法,并从任务的状态出发,总结了任务之间执行顺序的依赖关系,根据依赖关系的不同类型和依赖的特性给出了调度算法。     

一种层次式的事务工作流失效恢复算法

部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法,对于长期运行且结构复杂的事务工作流,失效时需要补偿至静态定义的某一活动甚至起始活动,因此代价较大.给出了事务工作流的概念模型,提出了一种层次式的失效恢复算法.与传统方法相比,允许事务性或者非事务性子过程同时存在;将工作流看作由嵌套结构的子过程组成,而不是一个平坦流图;基于执行历史而不是工作流定义进行补偿,可简化循环结构的恢复.该算法针对活动的恢复策略进行层次式的向上规约处理,动态确定补偿终止点,可有效减小补偿域.证明了算法的正确性,性能分析表明其性能通常优于非层次的失效恢复算法,讨论了算法的实现.     

一种基于QoS的事务工作流并发调度算法

并发冲突引起的连锁夭折会降低系统性能,提出了一种基于QoS的事务工作流调度算法,该算法适应异构环境需求,支持基于QoS的延迟调度优化策略和SAFE集合扩充优化策略,可根据QoS参数调整相应的调度决策,在保证分布异构环境中复杂事务工作流并发正确性的同时减少连锁夭折.证明了算法不会引起循环等待和饿死现象,可保证调度的可串行性和可恢复性,性能模拟表明该算法适用于长期运行的事务工作流的并发调度,可有效减少连锁夭折,从而减少由此带来的性能损失.     

ITXC:一种基于事务消息的分布式事务方案

由于分布式系统之间通过网络进行通信,而网络具有不可靠性与不确定性,导致分布式系统的一致性或对事务有要求的应用难以得到保障.在研究高可靠消息中间件的基础上,提出一种基于事务消息的分布式事务解决方案,能较好地适用于最终一致要求的事务应用场景,并具备良好的性能.     

移动事务的恢复

提出了移动计算环境中的移动事务恢复协议。在所提出的恢复模型中,移动主机(MH)与基站(MSS)之间相互交流信息,且将该信息记录在MSS上的日记中,进而通过这些日记信息在MSS上建立移动事务的镜像事务。提出的恢复算法是以镜像事务和日记为基础的,可处理移动数据库中的各种故障及事务回滚。     

一种基于统计模型的动态Web日志事务分割算法

Web日志分析预处理阶段的一个重要步骤是事务分割,把一系列的操作合并成完整的事务。文章提出了一种基于统计模型的事务分割算法。统计模型上采用了网站链接的边界访问概率和事务内的链接转移概率矩阵。算法将包含了若干个事务的日志片断作为一个整体,采用最大似然的准则来获得整体最优划分结果。在一个内网办公系统日志采集的数据集上,文章采用True Positive Rate和Precision两个统计量来比较不同事务划分算法的性能,结果证明了文章提出的算法的有效性。     

一种支持组合事务的执行语义分析方法

为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.     

一种软件事务存储模型的设计和模拟

要使多核处理器充分发挥并行计算性能,最大的挑战是并行编程模型.目前并行线程使用锁来保证线程间的同步,但锁会带来死锁等错误,并且性能很难优化.事务存储模型将一系列共享存储操作看成一个事务,保证其原子性,一致性和隔离性.它可以取代锁结构,简化编程模型,提高并行计算的性能.介绍了一种软件事务存储模型(Buffering Software Transactional Memory,BSTM)的结构,它主要采用了写缓冲的办法,简化了事务模型的设计.实验的结果表明这种模型存在一定的优势.     

一种硬件事务存储系统中的事务嵌套处理方案

事务存储是一种旨在改善多核处理器可编程性的技术,高效的事务嵌套处理是硬件事务存储系统面临的挑战性问题之一.为了在不显著增加硬件复杂性的前提下实现高效的事务嵌套处理,提出了一种支持有条件部分回滚的事务嵌套处理方案CPR,该方案为各层嵌套事务维护统一的数据集合,通过增加少量硬件状态位以记录各层嵌套事务对数据的读/写状态,实现了满足特定条件时事务进行部分回滚,在不显著增加硬件复杂性的前提下,提高了闭合嵌套模型的处理效率.基于模拟器Simics与多核扩展包GEMS进行了模拟实验和性能评价,结果表明,CPR方案在复杂性显著低于nested LogTM的情况下,获得了与其基本一致的性能,同时性能相对于传统的扁平模型有显著提升.     

一种支持事务内I/O操作的事务存储系统结构

本文提出了一种支持事务内I/O操作的硬件事务存储系统结构.该系统基于多核处理器结构和已有的cache一致性机制,通过增加事务缓冲区和相关硬软件,实现对事务的支持.事务内I/O操作的实现基于事务提交锁的部分提交以及事务线程的阻塞/唤醒机制,解决了事务内I/O操作所面临的回滚、事务迁移和缓冲区溢出等问题.系统在模拟器中实现,并利用5个测试程序对系统的性能进行了评价分析,结果表明事务程序在系统中的性能相对于锁程序得到提升.     

分布式悬挂物管理系统的知识处理研究

悬挂物管理系统是航空火控系统的重要组成部分，将知识处理引入悬挂物管理系统并作了扩展，建立了分布式悬挂物管理系统的知识处理算法，并实现了分布式悬挂物管理系统的知识传输和可视化，从而使作战飞机达到交互性、可扩展性、可配置性，力求最大限度地提高作战效能。     

支持LRT的失败恢复算法及其事务性质分析

研究人员已经致力于组合事务的恢复问题研究,但是大多数成果集中通过向后恢复来维持事务的一致性,补偿是向后恢复通常使用的一种手段,但是向后恢复的最大缺陷就是导致代价相当高,且向后恢复策略不能完全满足各种不同恢复需求。提出一种基于失败类型的恢复算法(包括向前、向后和替代恢复),其是一种基于扩展Petri网的形式化建模方法,为实现松弛ACID属性,引入状态托肯、数据托肯和QoS托肯,增加失败变迁和补偿变迁。失败发生时,动态计算终止依赖点TDP和补偿集,依据任务之间的控制流、数据流、时序、状态和行为依赖,获取任务的失败类型,选择合适的恢复策略,构造一个支持无缝添加/删除失败恢复的可执行模型。     

分布式事务处理于SOA环境下的研究

SOA是流行的软件技术架构,可使系统之间保持一种松散耦合的特性,SOA可以提高应用开发效率,缩短开发周期,对于企业整合有着深远的意义。通过研究WS-Transaction标准和已提出的分布式事务模型及其扩展模型,提出一种改进的符合SOA环境特点的事务模型。并以该模型为原型设计一个基于SOA架构的事务处理组件,其通过可插拔的方式集成不同的事务提交协议,并能实现在SOA下不同类型的事务处理。     

基于扩展型工作流网的网格工作流模型研究

基于传统的工作流网不能满足网格动态性的要求,及其无法体现数据流的不足,提出一种可行的扩展型工作流网(EWFN)的网格工作流模型.该模型适应网格动态变化特点和应用处理需求,并且既能表示出控制流,又能表示出数据流.使用实例表明采用该模型的可行性及其优点.     

面向协同审批的工作流模型构建研究

针对协同审批机制的特殊性,提出了协同审批三维工作流模型及构建过程。文中详细分析了组织、数据、过程3类子模型在协同审批机制中的形式化描述,相比其他的模型范例,协同审批三维工作流模型不仅通过IPO模型清楚明了地描述了业务流程。还体现业务过程所访问的关键数据流及组织结构,更利于系统、科学地统筹协同审批工作流开发。     

基于非对称QKD的股票交易数据库隐私查询协议

证券交易所的股票交易数据库中包含大量敏感信息,用户查询该数据库时保障账户及数据库的隐私十分重要.分析了非对称量子密钥分配(QKD)及其优良特性,提出了一种基于非对称QKD的不经意集合元素映射判定协议.该协议在查询数据库时保证了用户和数据库的隐私.安全性分析结果表明,该协议能有效抵抗量子存储攻击、伪造量子态攻击和纠缠测量攻击,具有很高的信道损耗容忍度.     

A workflow task scheduling algorithm based on the resources' fuzzy clustering in cloud computing environment

Cloud computing is the key and frontier field of the current domestic and international computer technology, workflow task scheduling plays an important part of cloud computing, which is a policy that maps tasks to appropriate resources to execute. Effective task scheduling is essential for obtaining high performance in cloud environment. In this paper, we present a workflow task scheduling algorithm based on the resources' fuzzy clustering named FCBWTS. The major objective of scheduling is to minimize makespan of the precedence constrained applications, which can be modeled as a directed acyclic graph. In FCBWTS, the resource characteristics of cloud computing are considered, a group of characteristics, which describe the synthetic performance of processing units in the resource system, are defined in this paper. With these characteristics and the execution time influence of the ready task in the critical path, processing unit network is pretreated by fuzzy clustering method in order to realize the reasonable partition of processor network. Therefore, it largely reduces the cost in deciding which processor to execute the current task. Comparison on performance evaluation using both the case data in the recent literature and randomly generated directed acyclic graphs shows that this algorithm has outperformed the HEFT, DLS algorithms both in makespan and scheduling time consumed. Copyright © 2014 John Wiley & Sons, Ltd.     

省间交易合约转让（置换）交易机制研究

合约转让与置换交易作为是一种电力金融交易模式,可以为市场主体提供更灵活的交易模式,有效应对电力供需波动带来的市场风险,对中长期物理交易合约形成有益的补充。本文在对西电东送电源结构特点和框架协议执行情况总结的基础上,对西电东送合约转让与置换交易的必要性和可行性进行了论证,提出了基于不同电力供需形势的三种交易模型,进行了算例验证,并对具体交易组织和实施方案提出了设想,对开展相关工作具有一定指导意义。     

基于工作流的ASP服务组合模型研究

提出了一种基于工作流和数据泵的ASP服务集成的方法，该方法运用工作流技术来实现ASP服务的过程集成，运用数据泵实现数据的集成，ASP服务集成的关键是控制流和数据流，控制流运用工作流技术，而数据流运用数据泵。在基于工作流的ASP组合模型的实现技术中讨论了ASPWF模型的思想、建立步骤，设计了引擎算法。在案例分析中通过电信企业运营中的SLA工单处理的业务过程为例，说明如何将工作流与小粒度ASP组合服务模型的优势相结合，提高系统处理的效率。