交换系统多进程状态一致性恢复的一种方法

本文针对由确定性进程和非确定性进程构成的交换系统 ,在分析了系统内进程的拓扑结构及其它特点的基础上 ,提出了失效后状态恢复的优化方法。本文的主要贡献在于首次提出了用于进程状态恢复的反消息的概念。

在状态条中显示进程状态

在利用MFC编写应用程序尤其是涉及到数值分析与模拟程序时,要进行大量的数值运算,如在屏幕上显示三维、二维图形图像就需要进行数据拟合、样条以及插值等算法,而且为了保证精度,运算时数据点一般还采用浮点甚至双精度浮点数,这样应用程序就需要占用大量的CPU时间来完成相应的工作,一般持续几分钟、几十分钟甚至更多的时间。如果应用程序不输出一些信息的话,则常常会让人误认为系统是否已经当掉。因此Windows系统提供了一个函数:

基于有限状态进程的事件约束定义

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性.

生成诊断公式的有限状态进程等价验证

分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法,当两个进程不能互模拟时,产生两个诊断公式。算法的时间复杂度为O(mlogn),空间复杂度为O(m+n)。

汉语动态进程的“断、续、连”

汉语表示动态事件进程的语义范畴包含着"断、续、连"等几个主要的进程状貌。本文通过相关词语、说法的描述和辨析,试图展现该语义范畴的一个重要侧面,以服务于对外汉语教学。

一种基于状态空间演化的网络安全协议执行验证技术

文章提出一种基于状态空间演化的网络安全协议执行验证技术,实现对全局安全协议执行的验证。经分析表明,该技术可以做到及时发现入侵者的攻击,阻止入侵者欺骗参与者或盗取秘密信息。

进程迁移及其设计

回顾了进程迁移的应用发展的主要原因,讨论了进程迁移机制的主要特征以及设计中需要解决的问题.随后,对现有的各种进程迁移算法进行介绍和评估.最后,提出了基于其中一种算法的具体设计.

Windows NT进程检查点系统NTckpt的设计与实现

设置进程检查点是保存和恢复进程运行状态的重要技术,是实现容错、卷回调试和进程迁移的重要手段。介绍了WindowsNT操作系统的进程状态,以及基于该操作系统的进程检查点系统NTckpt的实现原理。NTckpt实现了完全一致恢复用户地址空间,保证了地址空间中动态分配数据区域的正确恢复。

操作系统的进程管理

在操作系统的研究中,进程管理是最重要的一种研究方式。用进程的观点来研究操作系统,就是围绕进程运行过程,即并发程序执行过程来讨论操作系统,这是一种动态的研究方式。

一种可靠高效的回卷恢复实现方法

本文针对现有用户级进程检查点实现中的线程挂起点不确定性问题提出一种基于线程自挂的解决方案.另外,为了降低分布式回卷恢复开销,本文提出一个多线程化的回卷恢复实现基架.基于所提回卷恢复策略,开发了一个回卷恢复试验床W INDAR.试验结果表明,多线程化实现策略能够显著提高悲观消息日志协议性能.

基于补偿回滚的操作系统故障自恢复技术

操作系统故障根据传播特性可分为process-local和kernel-global 2类,分别造成进程局部数据和内核全局状态的错误。现有技术通过重启系统或故障进程实现对进程局部数据错误的恢复,但未考虑内核全局状态的不一致问题,不能保证对kernel-global类型故障的恢复效果。针对以上问题,提出了一种基于补偿回滚的故障自恢复技术。该技术通过监测内核全局方法调用,在进程局部数据被正确恢复的前提下,利用补偿操作对不一致的内核全局状态进行恢复,控制了故障的传播效应,减小了单点故障造成的影响。此外,该技术以内核模块的形式实现,不需要对目标操作系统进行修改,可便捷地实现功能扩展和移植。故障注入实验结果表明,在保证系统功能正常的前提下,该技术能对91.6%的故障进行有效恢复,且带来的系统负载较小。

社会主义民族质疑及其他

作者认为“社会主义民族”的提法实际上是把民族所处的社会发展程度和社会性质视为民族的社会属性，并进入到民族属性的内涵中，这样便混淆了民族的内在性质与外部社会性质的区别，因而在理论上难以成立，而从现实看也不符合民族团结的利益。

群机系统的容错和恢复

工作站群机系统已成为分布式并行处理发展的主流方向之一。随着群机系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高。设计高可靠的群机系统 ,需要着重研究其系统容错技术。本文主要论述linux群机分布式系统进程的容错和恢复。重点讲述用户层中的检查点设置。

PSC:软硬件协同设计的一种中间模型

提出了一种软硬件协同设计的系统模型—— PSC(进程状态控制 )。建立了 PSC的可视化表示、形式化的定义和演化规则。PSC是一种层次化建模方法 ,它可以将系统控制逻辑和功能实现分离 ,有助于将模型转换为物理实现 。

超步透导的回卷恢复

工作站机群系统已成为分布式并行处理发展的主流方向之一 .随着机群系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高 .设计高可靠的群机系统 ,需要着重研究其系统容错技术 .本文叙述了并行异构环境回卷恢复和检查点派生 .实现透明的可移植容错和负载均衡能力 .避免调整检查点就可以构成全局一致性状态 .不仅使 BSP应用程序自治容错能力 ,而且能够在机群 (Clusters)间迁移 ,保持系统负载均衡 .重点介绍检查点设置、检查点派生、卷回。

企业动态联盟敏捷性研究

主要对基于生产过程分解和招投标的动态联盟建盟方式进行了研究 ,对动态联盟的敏捷性时间和成本指标进行了分析 ,指出了影响时间和成本指标的主要因素。并对盟员两两直接协商的动态联盟建盟方式与招投标建盟方式进行了比较。将 Rick Dove提出的企业敏捷性度量指标扩展应用于动态联盟敏捷性的分析 ,从而得出了一些对于动态联盟建盟具有指导性意义的原则。

探讨E-NNI连接建立的信令控制协议

E-NNI连接建立的信令控制协议是自动交换光网络中域间网络互联互通的关键协议之一。基于OPNET进程状态实现E-NNI连接建立的信令控制协议状态,符合标准化的E-NNI连接建立的信令控制协议。这种状态功能方法可以在VxWorks平台下实现实际需要的标准协议。文中将采用这种方法实现Ssreq状态协议原语。

SHELL过程两种调用形式的差异

ＳＨＥＬＬ过程两种调用形式的差异中国银行泉州分行许元红ＵＮＩＸ操作系统自从问世以来，吸引了越来越多的用户，在国内外都相当盛行，已成为新一代多用户小型和微型计算机事实上的标准操作系统。ＵＮＩＸ的成功之处之一，就在于它的ｓｈｅｌｌ。ｓｈｅｌｌ的功能不止是...

CPU机时采集与统计方法的探讨——APOLLO机上的一种实现方法

本文定性地论述了用 CPU(Central Processing Unit中央处理器)机时来管理指导软件项目的生产及设备维护和运行质量,并把它作为用户和软件开发人员评价与验收最终产品的定量数据之一.在CPU时间与软件属性之间相关性的简述中,提出了有必要在无专门处理用户作业占用CPU的单用户机上,寻求关于采集处理CPU时间的观点.为此,本文针对目前的单用户多进程机,几乎都不具备专门记录用户作业所开销CPU机时,这一系统功能的现状,本文在三方面作了论述:(1)问题的提出;(2)探索用户进程环境CPU机时的方式;(3)实现方法.

幻灯片文件转换教程 将幻灯片转换为FLASH动画

PowerPoint是制作幻灯片文件的好工具.对于自己费尽心血设计的幻灯片作品,在展示时当然不想让其他人窃取自己的内容.而且如果作品只能在PowerPoint程序中打开.那应用范围将很窄。将其转换为其他格式.既方便保密内容.又可以在没有安装PowerPoint的电脑中运行查看,使用本文介绍的两款幻灯片文件转换工具,将使用户得尝所愿!