论文部分内容阅读
剖析了信号量P、V原语操作和管程机制在分布式进程同步应用中受到限制的根本原因．介绍了会合技术的基本模型、一般形式和核心语句。同时结合典型的第一类读者一写者问题，设计出基于会合技术的解决方案。最后给出了利用阻塞型管道技术开发的通用会舍例程的具体实现代码。
分布式系统进程同步中的会合技术研究
【摘 要】
：
剖析了信号量P、V原语操作和管程机制在分布式进程同步应用中受到限制的根本原因．介绍了会合技术的基本模型、一般形式和核心语句。同时结合典型的第一类读者一写者问题，设计出
【机 构】
：
中南民族大学计算机科学学院
【出 处】
：
微计算机信息
【发表日期】
：
2006年08S期
【基金项目】
：
国家民委科学基金项目（MZY00004）和中南民族大学青年科研基金资助项目（YZQ03001）
其他文献
提出了一种建立在petri网的基本结构上的形式化正向推理算法，通过建立petri网的关联矩阵、标识向量和激发向量，将petri网与矩阵运算结合，可以在petri网模型中抽取一个子模型，从而
本文以PKIX标准作为PKI的建设规范。在分析PKI需求的特点和构建需求模型的常用模式的基础上，提出使用UML的构件、参与者和用例三个概念为主体构建PKI需求模型，然后分析PKIX标准
在10G以太网接口设计中，64位并行数据的CRC校验是其设计难点之一,常见的一些方法在对其进行CRC32校验时，会因为以太网帧不一定结束在64比特边界，导致进行校验处理时需要同时包含
本文介绍了PDP电视机中多制式数字视频信号转换电路的设计方案。其主要功能是对模拟视频信号进行解码和数宇化，并作隔行／逐行转换、尺度变换、帧频转换等处理．同时为PDP整机提供