一个基于混合并发模型的Java虚拟机

从解释执行到及时编译的转变极大地提高了Java程序的运行速度.但是,现有的Java虚拟机还有待进一步的改进.提出了一种新的Java虚拟机编译与执行模型——混合并发模型HCCEM(hybrid concurrent compilation and execution model).该模型通过多线程控制方式将字节码的编译与执行过程相重叠,从而获取加速的效果.另外还给出了基于HCCEM的Java虚拟机JAFFE的设计方案,并就实现中的执行模式切换、异常处理以及层次线程等问题进行了讨论.实验结果表明,HCCEM能够有效地提高Java程序的执行速度.

智能网SCP的两级并发模型与软件容错研究

智能网作为一种能够快速灵活地定义与提供电信新业务的体系结构，近年来受到人们的普遍重视，其中，业务控制点ＳＣＰ作为整个系统的核心，它的可靠性与全网的服务质量息息相关。本文中，我们首先指出了目前的ＳＣＰ产品在容错性能上存在的不足，然后根据ＳＣＰ的结构和运行机制提出一种两级并发模型，并基于此模型对其软件容错的途径进行了深入的探讨与研究。本文首次提出了应用软件出错情况下保证所有在线呼叫可靠处理的容错目标，并在ＳＣＰ系统级与呼叫级两个并发层次上给出了切实可行的容错策略或算法，最后，我们还对ＳＣＰ软件有效度的估算进行了进一步讨论。

并发模型的分类与层次

随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而对并发模型进行深入广泛的研究具有重要的现实意义。并发模型是一种描述与解释并发与分布式系统的形式化数学模型,在理论上可提供对并发系统及其行为的深刻理解,在实践中可为并发系统的设计与分析提供指导方法。探讨并发性的语义往往也集中在并发模型的研究,以此作为并发语言与系统的指称结构。

并发模型分析

并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确定性的方式等。

并发模型的范畴论方法

范畴论是一种通用概念框架，可作为软件工程的理论基础．介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例．

分布对象中间件并发模型研究

并发模型对于分布对象中间件具有十分重要的意义.分析了自主研发的分布对象中间件产品中的两级并发模型:通讯级并发和请求级并发.然后讨论了并发模型的模式和使用.

适合GIS事务特征的并发模型探讨

分析了地理信息系统的事务类型与特征,介绍了目前具有代表性的几类ORB产品采用的并发模型及特点,探讨了一类适合GIS事务特点的多事务并发模型,并通过实验验证了其并发优越性。

并发计算的元模型 Ⅴ.并发模型间的关系

讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .

消息中间件中多线程池并发模型的研究

分析典型的并发模型的缺陷,介绍工作者并发模型和领导者/跟随者并发模型的原理和优缺点,提出一个多线程池的并发模型;该模型不仅能提高中间件的并发能力和抢先能力,还能控制中间件的规模,提高其实时反应能力。

一个面向对象的二级并发模型

本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架．基于该模型，我们开发了一个多视点可视规范语言族ＦＯＲＣＥ－Ｌａｎｇｕａｇｅ．

并发模型的比较研究

并发性是计算机科学面临的主要挑战之一。近几年来,在这方面已经展开了大量的研究。并发进程模型的重要意义在于,它将提供一个可信赖的通用形式框架及一批新的技术手段,为并行分布式系统的研究、开发打下一个坚实的基础。对模型的深入研究,使我们能更深刻地洞察并发性的实质问题。本文对目前最成功的两个并发模型:CSP 和 CCS 的各主要方面进行较深入的比较研究,搞清楚它们实质的贡献,差异及存在的问题。

Ready？Go！Go语言并发模型和工具链

在《程序员》5月刊中，作者介绍了Go语言的部分语法和类型系统，本文作为延续，将重点介绍Go语言的并发模型和工具链。

乳腺癌化疗患者PICC并发症预警模型的构建及运行效果评价

目的研究构建乳腺癌化疗患者外周静脉置入中心静脉导管(PICC)并发症预警模型及其运行效果。方法将2021年10~12月就诊的40例乳腺癌化疗患者作为对照组,将2022年1~3月就诊的40例乳腺癌化疗患者作为观察组,对照组给予常规护理,观察组通过PICC并发症预警模型予以护理,采用本院自行设计的PICC相关并发症调查表、肿瘤患者PICC自我护理能力量表和乳腺癌患者生活质量测定量表比较2组干预效果,统计2组患者PICC带管化疗期间并发症发生情况、PICC自我护理能力和生活质量的差异性。结果观察组并发症总发生率明显低于对照组(P<0.05)。2组患者干预前自我概念、自我护理责任感、自我护理技能、健康知识、生理、社会/家庭、情感、附加关注评分和总得分比较差异无统计学意义(P>0.05),对照组干预后以上各维度评分和总得分较干预差异无统计学意义(P>0.05),观察组干预后以上各维度评分和总得分明显高于干预前和对照组,差异有统计学意义(P<0.05)。结论在乳腺癌化疗患者中应用PICC并发症预警模型可以降低并发症的发生率,改善患者自我护理能力,提高生活质量,具临床推广应用价值。

基于GPU多流并发并行模型的NDVI提取算法

利用GPU进行加速的归一化差分植被指数(Normalized Differential Vegetation Index,NDVI)提取算法通常采用GPU多线程并行模型,存在弱相关计算之间以及CPU与GPU之间数据传输耗时较多等问题,影响了加速效果的进一步提升。针对上述问题,根据NDVI提取算法的特性,文中提出了一种基于GPU多流并发并行模型的NDVI提取算法。通过CUDA流和Hyper-Q特性,GPU多流并发并行模型可以使数据传输与弱相关计算、弱相关计算与弱相关计算之间达到重叠,从而进一步提高算法并行度及GPU资源利用率。文中首先通过GPU多线程并行模型对NDVI提取算法进行优化,并对优化后的计算过程进行分解,找出包含数据传输及弱相关性计算的部分;其次,对数据传输和弱相关计算部分进行重构,并利用GPU多流并发并行模型进行优化,使弱相关计算之间、弱相关计算和数据传输之间达到重叠的效果;最后,以高分一号卫星拍摄的遥感影像作为实验数据,对两种基于GPU实现的NDVI提取算法进行实验验证。实验结果表明,与传统基于GPU多线程并行模型的NDVI提取算法相比,所提算法在影像大于12000*12000像素时平均取得了约1.5倍的加速,与串行提取算法相比取得了约260倍的加速,具有更好的加速效果和并行性。

反应式系统的并发模型(Ⅰ)——抽象数学模型

提出了反应式（ｒｅａｃｔｉｖｅ）系统形式化描述的一种抽象数学模型ＦＴＳ。分析了该模型带有公平性（ｆａｉｒｎｅｓ）条件及通过交替（ｉｎｔｅｒｌｅａｖｉｎｇ）实现并发计算的特点；并与实际系统进行比较，指出它可以较好地表示并发性。

反应式系统的并发模型(Ⅱ)——程序语言模型

文［１］提出了反应式系统的一种抽象并发计算模型；本文在此基础上给出反应式系统并发描述的程序语言模型，重点阐述和剖析基于共享变量模型的两种语言——转换图和文本语言，分别给出它们的语法及进程间通讯机制的描述，并建立抽象计算模型结构到这两种语言结构上的映射。

反应式系统的并发模型(Ⅲ)——Petri网模型

基于文［２，３］，引入反应式系统形式化描述的另一种典型模型——Ｐｅｔｒｉ网，给出一些重要性质的Ｐｅｔｒｉ网描述，建立了它与文［２］的抽象计算模型之间的映射关系，最后指出Ｐｅｔｒｉ网的一些不足之处。

反应式系统的并发模型(Ⅳ)——时态逻辑模型

基于文［１～３］，提出反应式系统并发描述的时态逻辑模型，并给出抽象计算模型的时态语义。

基于并发服务器模型的邮件系统

电子邮件服务是Internet中最主要的网络服务之一。该文通过对当前流行网络服务器程序的分析,结合邮件服务的特点,提出了一种基于并发服务器模型的邮件系统设计方案。通过使用线程池技术,成功地解决了实现过程中的请求过载、死锁及线程池大小控制问题,保证了邮件服务器系统的性能。实际测试结果表明该系统具有反映时间快、占用系统资源少的优点。

基于DHP-2PL的分布式实时数据库的并发控制模型

介绍了几种用于RTDBS(实时数据库系统)中的并发控制模型以及它们在分布式环境下(DRTDBS)的拓展。根据DHP-2PL提出一种改进的并发控制模型。在该模型中,引入优先级分配机制和加锁检测机制。通过这两种机制可更好地协调DRTDBS中一致性与截止期的关系,同时也解决了DHP-2PL中事务高重启率的问题。