Web服务事务处理的模型化方法研究

Web服务技术的出现为解决跨组织的过程集成问题提供了一种模式。在集成和交互的过程中,Web服务需要事务的支持来保持数据的一致性。传统协议规范已经能够支持Web服务下的事务处理,但仍然存在着问题,比如不同事务处理规范之间兼容性处理、消息格式不匹配、补偿机制、超时和事务范围确立等问题还有待解决。本文介绍了一种Web服务系统的层次设计,并给出了一种Web服务事务处理的模型化方法。这种方法在设计初期就对事务的补偿机制、超时和事务范围这些问题进行考虑和解决,使事务处理过程更加清晰和直接。     

几个常见分布式文件系统特征分析和性能对比

近年来随着云计算市场规模不断增长,作为云计算平台基础设施的云存储系统也随之显得越来越重要。数以万计的互联网应用已经运行于云计算环境,同时大量不同的应用也即将从传统运行环境转移到云计算平台。不同的互联网应用的存储需求可能不一样。例如:应用中涉及的单个文件大小,文件数量,IO访问模式,读写比率等,都对底层存储系统提出了不同的要求。这说明在云计算环境中,单个文件系统可能无法满足全部应用的存储需求,本文尝试通过在单一云计算平台中部署多个不同分布式文件系统来优化存储系统的总体性能。为了优化混合式文件系统的性能,首先需要分析不同文件系统的性能特征。本文通过量化方法分析了云计算环境下几个常用的分布式文件系统,这些文件系统分别是ceph,moosefs,glusterfs和hdfs。实验结果显示:即使针对同一文件的相同读写操作,不同分布式文件系统之间的性能也差异显著,当单个文件的大小小于256MB时,moosefs的平均写性能比其它几个文件系统高22.3%;当单个文件大小大于256KB时,glusterfs的平均读性能比其它几个文件系统高21.0%。这些结果为设计和实现一个基于以上几个分布式文件系统的混合式文件系统提供了基础。     

基于堆叠式分布式文件系统的端到端校验

端到端校验是一种有效的数据完整性检测手段,可为分布式存储系统提供基本的可靠性保证。Glusterfs 是一种常用的堆叠式分布式文件系统,但缺乏有效的数据完整性检测机制,存在用户数据遭受破坏而无法被发现的风险,即返回错误数据给用户。这种风险在某些情况还会扩散,造成多副本或灾备、双活情况下的数据丢失。针对这一问题,该文提出了一种高性价比的基于 Glusterfs 的端到端校验方案(命名为 Glusterfs-E2E),可以有效解决 Glusterfs 文件系统中存在的数据完整性风险。该方案不但可以提供全路径的保护,具备 2%～8% 的高性能开销,而且还可以提供软件故障的定位功能。     

一种改进的分布式并行事务处理策略研究

目前,XML技术在基于因特网的复杂分布式系统事务处理中的应用已成为国内外研究的热点,尤其是如何提高分布式系统的并行事务处理能力,同时使系统具有高度容错能力,是一个具有挑战性的课题。本文提出了一种对XML文档进行DOM树划分、将复杂长事务划分成可并行执行的子事务的并行事务处理策略,从而在不影响其容错性能的情况下进一步提高分布式系统的并行运算性能和处理复杂长事务的能力,同时做到负载均衡。     

LSE：一种处理器体系结构软件仿真器开发工具

在现代处理器体系结构设计中,利用软件仿真技术对设计结果进行验证是最重要的方面之一.然而,处理器体系结构仿真器的开发是一个非常困难的过程.主要的困难表现在三个方面:第一,目前用于处理器体系结构仿真器开发的编程语言如C或C 语言都是串行执行的语言,而处理器的各部件是可以并行运行的,使用串行编程语言编程来模拟并行执行的部件需要长时间的、仔细的程序功能与部件功能的匹配工作,并且容易出错;第二,使用串行程序来模拟并行部件的运行,模拟速度很低,并且仿真速度低是处理器体系结构软件仿真器开发领域的瓶颈问题;最后,仿真器仿真结果的可信度低也是一个关键问题.本文首先介绍了一种新的处理器体系结构软件仿真器开发工具,然后深入分析了该开发工具的优点和缺点,最后对该仿真器开发环境提出了改进方案.     

多核处理器体系结构软件仿真技术：研究综述

由于单核处理器的处理能力已经接近极限，很难再有提高，人们将目光投向了多核处理器体系结构。在处理器体系结构的设计中，体系结构软件仿真技术是最重要的一个方面。本文首先介绍处理器体系结构仿真技术的概念、分类、目的和意义，然后讨论多核处理器体系结构仿真技术的现状和面临的问题；分析了多核处理器软件仿真技术的复杂性；比较和分析了当前主流技术的优缺点。由于多核处理器体系结构的研究处于初期阶段，因此多核处理器体系结构仿真领域面临着诸多挑战和机遇。本文最后指出了多核处理器体系结构软件仿真技术今后的研究方向。     

PheonixLSM：高性能低空间开销的分布式键值存储本地引擎

分布式键值存储将数据复制到多个存储服务器的本地引擎中,并通过一致性协议保证各副本数据的一致性。其中,以日志结构合并树为核心数据结构的实现方式最为常见。然而,面向通用业务模式设计的日志结构合并树,并不适合一致性逻辑的特殊业务模式,会引发增删改性能的降低,并在全量修复过程中造成空间放大。针对上述问题,该文提出了一种新型本地引擎 PheonixLSM,通过增加增删改操作和回刷操作的约束,消除了分布式键值存储增删改流程中的双写问题,提升了引擎性能。通过重构日志结构合并树底层的 SST 文件布局,支持删除实时回收空间,消除了全量修复时的额外空间放大。实验结果显示,与原生本地引擎相比,使用 PheonixLSM 的分布式键值存储系统,增删改性能提升 90.7%,全量修复的空间放大从 65.6% 降至 6.4%,并减少了 72.3% 的修复时间。     

Windows NT下快速成形机的控制系统研究

探讨了WindowsNT的内核及Win3 2子系统的有关任务和作业管理的机制 ,提出一种在Windows环境下 ,既能实现实时控制任务 ,又能实现辅助控制任务的快速成形系统的控制方案。     

基于PC总线的新一代LOM机CNC系统

详细介绍了基于ＰＣ总线的新一代ＬＯＭ机ＣＮＣ系统，该系统结合世界先进的快速成形技术的特点，顺应Ｗｉｎｄｏｗｓ环境下开发控制系统的潮流，根据开放性体系结构设计思想而完成。系统的开发成功，使ＬＯＭ系统日趋完善。     

大数据基准测试程序包构建方法研究

基准测试程序是评估计算机系统的关键测试工具。然而,大数据时代的到来使得开发大数据系统基准测试程序面临着更加严峻的挑战,当前学术界和产业界还不存在得到广泛认可的大数据基准测试程序包。文章利用实际的交通大数据系统构建了一个基于Hadoop平台的交通大数据基准测试程序包SIAT-Bench。通过选取多个层次属性量化了程序行为特征,采用聚类算法分析了不同程序-输入数据集对的相似性。根据聚类结果,为SIATBench选取了有代表性的程序和输入数据集。实验结果表明,SIAT-Bench在满足程序行为多样性的同时消除了基准测试集中的冗余。