基于同步共享内存的海—气模式耦合的实现

为解决海—气模式耦合过程中不同模式分量间数据的高效传递问题,选取Linux系统下通信效率最高的共享内存通信机制,为交换数据开辟共享内存区,并通过信号量协调数据交换时的同步,编写了基于同步共享内存的耦合模块。将该模块应用于中尺度大气模式MM5和第3代海浪模式WAVEWATCHIII的耦合中,对多个热带气旋的数值模拟试验表明:采用同步共享内存耦合模块建立的大气—海浪耦合模式运行稳定、高效,计算机时较传统耦合方法减少6%以上;耦合模块独立于数值模式,可直接移植到其他模式分量的耦合中,且适用于SMS和VSMS并行系统的计算。     

解决哲学家进餐问题陷入死锁状态的系统改造方案分析

通过对“哲学家进餐问题”的讨论,提出了解决计算机系统死锁的若干行之有效的方案,并给出了相应的实现代码.为解决并发进程同步问题提供了参考.     

一种经典进程同步问题的控制机制研究

以信号量机制、管程机制、会合技术、Petri网这四种控制机制为基础,对经典的进程同步问题:生产者-消费者模型进行了分析,并给出了该问题基于不同机制的解决方案,对四种控制机制进行了比较研究.     

教学设计理论在操作系统课程中的运用与探讨

针对计算机＂操作系统＂课程的特点,通过分析加涅的教学设计理论,本着激发学生学习兴趣,提高教学效果的原则,对课程进行了详细的教学设计。本文以＂信号量机制＂这堂课为例,具体阐述了教学设计的具体应用。     

基于工控单片机的嵌入式操作系统核心的设计

由于常用的RTOS对CPU硬件要求较高,导致其在用于工业控制的单片机上使用效果不好。文章采用C语言设计了一种小型嵌入式实时操作系统内核,而其对硬件的要求低,容量不超过3 K字节,能根据优先级进行任务调度,并提供了信号量与任务间通信功能优先级反转,可以较好地应用在小内存的单片机上。     

MASSCOMP机进程间通信机构IPC

本文详细介绍了 MASSCOMP 机上进程间的通信机构 IPC 的两种方式:信号量和共享存贮器,并举例说明如何使用与信号量和共享存贮器有关的系统调用来实现哲学家问题。     

一个经典进程同步问题的几种解法

描述了经典的进程同步问题—哲学家进餐问题。解决此类问题的关键是如何避免死锁,根据信号量机制与P、V操作能协调进程并发执行的特点,提出了分析此类问题的方法,并给出了此类问题的一些解法和性能分析。     

基于记录型信号量机制的进程互斥实现问题研究

从利用加锁法实现进程互斥存在的缺陷出发,论述了解决问题的方案,最后阐述了基于记录型信号量的进程互斥实现与其优势.     

操作系统教学点滴

操作系统中进程、程序与进程的同步问题一直是重点也是难点,对许多初学者而言要完全理解却有一定困难。本文针对这些重要概念、重要方法利用类C语言编写程序并展开论述。     

P操作序的部分结果

给出了在一定的约束条件下，Ｐ操作次序安排的构造性定理及推论，解决了一类类似于生产者－消费者问题中由于Ｐ操作序安排不当而导致死锁的问题。