您的位置: 专家智库 > >

丁柯

作品数:13 被引量:88H指数:3
供职机构:中国科学院软件研究所更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 7篇期刊文章
  • 4篇会议论文
  • 1篇学位论文
  • 1篇科技成果

领域

  • 13篇自动化与计算...

主题

  • 4篇事务处理
  • 3篇分布事务
  • 2篇日志
  • 2篇设计模式
  • 2篇事务工作流
  • 2篇数据库
  • 2篇数据库管理
  • 2篇数据库管理系...
  • 2篇资源管理
  • 2篇子系统
  • 2篇连接池
  • 2篇接口
  • 2篇库管理
  • 2篇计算机
  • 2篇工作流
  • 2篇管理器
  • 2篇管理子系统
  • 2篇分布事务处理
  • 1篇地址绑定
  • 1篇调度

机构

  • 13篇中国科学院软...
  • 1篇中国科学院

作者

  • 13篇丁柯
  • 3篇金蓓弘
  • 3篇张昕
  • 3篇冯玉琳
  • 2篇刘志峰
  • 1篇魏峻
  • 1篇樊会锋
  • 1篇李京
  • 1篇郭祥丰
  • 1篇许畅
  • 1篇范国闯
  • 1篇陈建巍
  • 1篇陈宁江
  • 1篇钟华
  • 1篇陈小芳
  • 1篇刘国梁
  • 1篇张文博
  • 1篇官荷卿
  • 1篇何华海

传媒

  • 4篇中国科学院计...
  • 3篇计算机科学
  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇计算机工程与...

年份

  • 1篇2004
  • 7篇2003
  • 5篇2002
13 条 记 录,以下是 1-10
排序方式:
分布事务处理中的资源管理
分布事务处理环境包括多个资源管理器,事务管理器需要对涉及到的各个资源进行连接,注册等操作.由于对资源管理器的连接操作需要花费较大的系统代价,因此,出于性能方面的考虑,对于资源的连接引入了连接池机制,而池中的资源连接,则需...
张昕丁柯
关键词:分布事务资源管理资源注册连接池
文献传递
企业应用服务器关键技术研究
钟华冯玉琳范国闯丁柯陈宁江张文博张昕官荷卿刘国梁郭祥丰樊会锋
面向国民经济和社会信息化的需求,针对因特网应用这一主流趋势,选择网络软件平台中的应用服务器进行关键技术研究,解决其中的体系结构、分布事务处理等关键问题,为建立支撑因特网应用快速的开发、高效运行和灵活部署的企业应用服务器提...
关键词:
关键词:应用服务器J2EE事务处理
JTS服务恢复管理子系统的设计和实现
2003年
事务恢复处理在数据库应用和网络分布计算环境中具有重要作用。文章给出了一个JTS服务恢复管理子系统JRECOVERY,在分布事务环境下保持事务的ACID特性,可以在通信故障、操作系统和应用程序崩溃时提供全面的自动恢复。此外,JRECOVERY还提供了可重用的优化策略;目前,JRECOVERY已应用到分布事务管理器ISTX的实现中。
刘志峰丁柯
关键词:日志
分布事务管理器的设计和实现
提供JTS服务的分布事务管理器在应用服务器中具有重要作用.由于分布事务的处理工作复杂繁多,而且分散在应用服务器整个系统的多个部分,这使构造和维护一个提供JTS服务的分布事务管理器非常困难.本文给出了一个分布事务管理器IS...
许畅丁柯
关键词:分布事务设计模式
文献传递
事务工作流的建模和分析被引量:58
2003年
事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器 .
丁柯金蓓弘冯玉琳
关键词:事务工作流软件系统
可靠消息传输服务的设计和实现
消息传递作为松耦合应用间的通信方法,是分布式系统集成中的一项关键技术.基于消息的分布式应用需要可靠的消息传输服务,这种消息服务应该能够在故障存在的情况下持续正确地工作.本文提出了一个机制,用较小的性能代价,能很好地保障消...
陈建巍李京丁柯
关键词:可靠性
文献传递
事务处理技术综述被引量:12
2003年
The concept of transaction originates from database research. It is a key technology to ensure the reliabilityand consistency of information. The flat transaction model is not suitable to current complex and distributed applica-tions since it lacks the semantic support for complex applications. In this paper, we survey two approaches to solvethe problems of the flat transaction model: extended transaction models and transactional workflows. We then pre-sent the transaction specifications and major commercial products of transaction processing technologies. Finally, weprospect the trend of these technologies.
陈小芳丁柯金蓓弘
关键词:事务处理数据库管理系统应用程序数据库访问
基于混合粒度冲突检测的事务工作流调度算法被引量:19
2003年
事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.
丁柯魏峻冯玉琳
关键词:计算机软件并发控制
异步接口模式及其应用
2002年
In distributed systems,high efficiency can be achieved using asynchronous API between client and server.This paper provides an architectural pattern that implements asynchronous API generally. Asynchronous methods donot execute operations directly,however,they delegate the sending and receiving process to individual threads via aqueue ,the client deals with results by means of callback ,wait or check. Synchronous API is implemented on the baseof asynchronous API. Presently the asynchronous API pattern has been employed in the implementation of messagequeue middleware ISMQ.
何华海丁柯
关键词:软件体系结构通信接口计算机
通用网络编程接口包的设计和实现被引量:2
2003年
网络计算环境中 ,网络编程接口的多样性给开发网络应用程序带来了很大的不便 .本文给出了一个通用的、可扩充的网络编程接口包 Uni Channels的设计与实现 .Uni Channels提供了通用的网络编程接口 ,并且通过使用一种新的设计模式即“地址绑定”模式 ,将协议相关操作和一般性的通信过程分离 ,从而使 Uni Channels具有良好的协议透明性 .目前 ,Uni
丁柯金蓓弘
关键词:网络编程接口设计模式地址绑定
共2页<12>
聚类工具0