并发进程相关论文
在分布式系统中,分布在不同计算机上的多个并发进程访问临界资源的时候经常会产生资源竞争问题,有可能导致临界资源被错误的改写或......
林惠民研究员十几年来一直从事计算机科学基础研究 ,主要研究领域是并发程序的形式语义学和形式化方法。在进程代数的验证工具、消......
本文基于多用户操作系统的内存管理方法，阐述了局部性原理及内外存交换数据时抖动问题的产生，定量分析了抖动问题中工作集与抖动之间......
本变介绍了DECNET—Ⅲ型广域网和3COMETHERNET局部网通过网关(GATEWAY)实现互连的设计思想和实现方法,系统各层协议和功能,互连网......
本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。
In this paper, the protocol of transport l......
基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功......
本文介绍车辆监测中央管理系统的设计指标、设计思想和运行效果.着重阐述了该系统的技术关健和实现方法.诸如主从机之间双向并行通......
一、引言电子计算机是影响和推动当今科技和社会发展的核心技术之一。近年来,随着计算机技术的高度发展和广泛应用,为了解决各种......
本文介绍了液力变矩器自动测试系统的软件结构及核心技术。在该系统中采用虚拟仪器软件的分层结构和接口技术,实现了测试系统的柔......
并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri......
并发进程具有明显的异步并发性，而Petri网是描述异步并发系统的有效工具，但是目前将Petri网用于并发进程控制问题的研究还几乎没有。......
讨论了并发进程的同步问题，给出一种以信号量为同步工具，借助前趋图进行了同步算法设计的方法。......
本文介绍在新一代计算机系统模型HNM上实现基于知识的智能型操作系统BKOS的并发进程同步控制。我们提出了资源也是知识的思想,并把......
在多用户操作系统中,关键是支持并发进程调度、提供进程同步和通信机制.无论是相互通信的进程还是共享不同类型资源的进程,都可能......
在操作系统中,进程管理是其重要内容之一。实施进程管理面临的主要问题是如何实现并发进程的同步。常用的同步机制有:信号量机制和......
并发程序的执行具有"不确定性",即在同样的输入条件下并发程序的执行结果不一定相同.这使得传统的对于顺序程序的循环调试方法对于......
以软件中数据为核心，通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例，提出一种实时软件数据耦合影响分......
着重讲述了利用信号量实现的并发进程的互斥与同步控制,并列举了三个具有典型性的例题,由此总结出在并发进程编程中信号量使用的技......
详细介绍和分析了用信号灯的P、V操作实现并发进程的同步和互斥这一类问题的求解思路和方法.......
通过对客户/服务器及其构造的分析 ,阐明了什么是客户/服务器系统和如何成功地建立这些系统。......
P、V操作的概念及使用在操作系统中非常重要，这里从一些新颖的角度来分析P、V操作，用P、V操作来实现进程的同步与互斥以及以一种简易......
本文研究了分布系统多个结点的独立并发进程同时访问互斥区的多版本并发控制算法。每一个写进程对共享文件产生一个新版本,原来的......
可信平台模块（trusted platform module,TPM）是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安......
本文以一种抽象的顺序推理机系统为模型,构造了一种控制进程同步的新方法。在该方法中,我们把共享资源抽象为自动机,通过为每个共......
本文从Ｗｉｎｄｏｗｓ的消息驱动机制入手，分析了Ｗｉｎｄｏｗｓ的多任务机制，用ＢｏｒｌａｎｄＣ＾＋＋的ＯｂｊｅｃｔＷｉｎｄｏｗｓ描述了Ｗｉｎｄｏｗｓ环境下的多进程发程序设计及所涉及的有关数据共享问题。......
本文介绍了晶片机的内部结构及其指令集,较详细地讨论了并发进程在晶片机中的调度策略,从指令和寄存器一级分析了晶片机的性能和机......
分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具。为此通过引入Pe......
