分布式系统设计中的互斥问题

介绍了互斥问题的基本概念，并针对分布式系统设计中的互斥问题分析了非基于令牌和基于令牌的两种解决方案，通过对典型算法的分析，有助于对分布式系统形成可操作的数学模型。     

Linux下互斥机制及其分析

详细介绍了在Linux环境下,特别是内核态下可能遇到的各种互斥场景,依据代码执行路径对其进行了分类。在此基础上,比较了各种互斥问题的解决方案的使用环境、优缺点以及使用时要注意的问题。     

数据储存式无线传感器网络下一个具有高效能的密钥管理方案

针对无线传感器网络能量、存储空间、通信开销等局限性问题,在pDCS (Security and Privacy Support for Data-Centric Sensor Networks)的研究基础之上,保证不失其安全性的前提下,以互斥基底系统 (Exclusion Basis System,EBS)建构一个具有更高效率的分布式密钥管理方案,命名为ERP-DCS。该方案将网络密钥的管理工作(包括密钥分配、重置及撤销)分散至各个簇集中,藉以降低密钥重置阶段所需的通信量,节省能源,进而延长网络寿命。论证分析表明,ERP-DCS与pDCS相比,仅增加了些微的储存成本,却能大幅地降低密钥重置时的更新通信量。     

操作系统中进程同步与互斥思政教学设计

加快发展"自主可控、安全可信"的国产操作系统,将思政元素融入操作系统的教学中,培养具有家国情怀、工匠精神和创新能力的信创产业领军人才势在必行.以操作系统中进程同步与互斥为例,围绕教学目标、教学内容和学情分析,将BOPPPS模型引入教学过程,在模型的不同部分融入了不同的思政元素,提高了学生的参与度和主动性,激发了学生投身国产信创产业的爱国情怀,达到了较好的教学效果.     

改进的部分可观Petri网系统在线故障诊断器设计

本文研究部分可观Petri网建模的离散事件系统的故障检测问题.针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低的缺陷,本文提出了整数线性规划与广义互斥约束集成的部分可观Petri网系统在线故障诊断改进算法.假定部分可观Petri网系统的结构与初始标识为已知,故障被建模为不可观变迁.首先,算法需要观测接收事件序列,求解部分可观Petri网的整数线性规划问题,算法对系统的故障进行初步诊断.初步诊断为不确定诊断的情形,采用广义互斥约束的方法进行诊断.最后,通过离散事件系统实例分析,采用本文的算法,故障诊断率显著提高,验证了算法的有效性.     

一个分布式K互斥算法的概率模型检测

传统的验证方法难以保证分布式K互斥算法的有效性和安全性.为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证.通过设置算法中各个进程进入临界区的时间而得出的结果中发现,改变临界区的数目K,对于某一进程进入临界区的平均及时时间的影响并不大.如果某一进程的执行时间比其他进程大很多,则K的增加可以提高运行效率.最后证明了这一结论.     

域间动态角色转换中的静态互斥角色约束违反

安全互操作是实现跨管理域的资源共享与保护的关键技术. Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法..廖俊国等人指出该模型可能违反静态互斥角色约束,对问题的原因进行了分析,提出了约束违反检测算法和添加角色关联的先决条件.首先指出廖俊国等人关于约束违反原因的分析是片面的,其检测算法和先决条件也不能保证系统不会违反约束;然后指出在给定角色关联的前提下,外域的用户/角色分配是造成约束违反的根本原因;进而提出动态角色转换违反静态互斥角色约束的充要条件和约束违反检测算法;给出了添加角色关联和用户/角色分配的先决条件,保证了模型状态始终满足静态互斥角色约束.     

集中式和分布式操作系统中的同步互斥比较教学

本文对集中式操作系统和分布式操作系统中的同步互斥机制进行了对比分析,并对这两种系统中的互斥策略通过比较教学法进行了进一步研究。     

生产者／消费者经典同步问题的深入探究

描述Java语言多线程机制,阐述了操作系统中生产者／消费者这个经典同步问题,探讨了该问题的多种高效解决策略,并通过Java语言的多线程编程技术,给出了实现此问题相应解决策略的代码。旨在为研究producer—consumer paterns提供新思路。