带标记数组型信号量机制的扩展

由于现实中同步与互斥问题复杂多样，如果都使用普通信号量机制来实现，显得灵活复杂、非常不便。本文在普通信号量机制的基础上，对带标记信号量和带标记数组型信号量进行了研究，提出了带标记多维数组型信号量机制，可以很好地解决原有信号量难以解决的复杂问题，拓宽了信号量机制在同步与互斥环境下的使用范围。

Linux中信号量机制研究

在Linux中,信号量机制是实现并发进程同步、解决互斥的有效方法。文中以Linux2.4版为例,系统地研究了信号和信号量机制,从信号量分类入手详细论述了信号量的数据结构及相关调用,不仅为全面、清晰地研究信号与信号量机制提供了有益的参考,还为进一步应用信号量机制提供了支持。

基于STM32的mbedOS信号量调度机制剖析

目前,嵌入式实时操作系统的调度机制的研究主要集中在Linux、FreeRTOS、VxWorks等操作系统,而对mbedOS中调度机制的研究缺乏相关资料。对此,通过信号量这一同步机制,在简要分析信号量的含义和有关要素的基础上,对mbedOS中的信号量调度机制及其关键函数进行理论分析,继而通过多任务并发的调度实验,进一步验证理论分析的正确性。通过时序图对调度机制进行总结,并对信号量调度机制的实时性能进行剖析,可为不同微控制器上的mbedOS信号量的应用提供基础,也为剖析其他RTOS(Real-Time Operating System)的信号量机制以及深入理解RTOS的工作原理提供了重要的借鉴价值。

以问题为导向的信号量机制课堂思政教学设计

根据操作系统信号量机制课堂的教学设计,课前布置查阅荷兰学者Dijkstra与信号量,课中以国内日常生活中核酸检测为例,提出核酸检测中的信号量机制问题,并将BOPPPS模型引入课堂教学过程,将思政元素融入模型的不同环节中,课后通过雨课堂对学生进行测试与投票统计学习效果,将思政元素融入操作系统课堂教学过程中,有效提高了学生的学习参与度,实现课堂思政教育与教学内容的融合,达到了较好的教学效果。

带标记信号量机制的拓广

本文通过对现有普通信号量及带标记信号量机制的研究 ,提出带标记数组型信号量和泛化带标记数组型信号量机制 ,可以很好地解决原有信号量难以解决的问题 。

用Vx Works的信号量机制实现任务同步

为了保证诸任务对临界critical资源resource的互斥访问,VxWorks提供了任务同步机制。二进制信号量是Vx Works系统中实现任务同步的一种重要手段,它保证了任务在并发时结果的一致性。简要介绍二进制信号量,阐述用二进制信号量解决任务互斥和同步的方法,并给出二进制信号量应用在某数据采集系统中的程序框架。某数据采集系统中有效地利用了VxWorks的信号量机制,实现了8个接收通道的数据采集、数据存储以及数据查询等任务对缓冲区的共享。

操作系统中信号量集的P、V操作

在一般的操作系统教材中 ,对信号量集的操作讲得比较少 ,本文详细讨论了AND型信号量集和一般的信号量集的算法 。

信号量在μC/OS-Ⅱ中的应用

实时多任务操作系统在嵌入式系统中的应用越来越受到开发者的重视,信号量做为任务之间的通信手段之一,在实时多任务操作系统中广泛使用;文章首先介绍了实时操作系统中的信号量及其类型,然后介绍了μC/OS-Ⅱ中信号量的管理,并重点分类讨论了信号量的作用、工作原理以及具体的实现方法,最后给出了μC/OS-Ⅱ中信号量在无人机系统中的应用。

基于信号量竞争调度的多端口通信服务

在代理业务平台中,需要支持多端口的通信服务并且必须把他们作为一个整体来对待。该文在预启服务进程的基础上,提出了TCP,一种基于信号量竞争调度的服务模式。

VxWorks中信号量实现任务间通信与同步机制分析

文章就嵌入式操作系统VxWorks的一个核心问题———任务间通信与同步机制进行讨论,重点分析了信号量在任务间的同步与互斥中的应用。

基于CCS的信号量形式化建模与验证

利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。

硬件实时操作系统信号量管理的设计与实现

信号量管理是操作系统中频繁运行的程序段之一。为提高实时操作系统RTOS的响应能力,提出了基于FPGA硬件实现信号量管理的设计方案。采用片内寄存器实现事件控制块(ECB)、映射表等存储结构,使用组合逻辑电路实现信号量管理模块,提高了信号量创建、删除及P/V操作的执行速度。

基于信号量的双重身份认证策略

针对现有安全策略的不足,提出一种新的应用于Web系统的安全策略——基于"信号量"的双重身份策略。在新策略的保护下,首先必须通过带验证码的身份认证,即使攻击者绕过口令认证等方式的第一道关口,基于"信号量"原理的第二次认证也会将攻击者阻止在Web系统之外。该策略是已有安全策略的有效补充,以不同以往的新途径提高了Web系统的安全性。

基于信号量的Linux多线程同步研究

信号量是进程或线程之间相互通讯的手段之一。有效地使用可以在多线程之间实现同步和互斥 ,以保证程序的正确的运行。在对线程的数据结构和相关的 10个函数分析的基础上 ,以一个具体的例子给出如何使用信号量机制实现多线程之间的同步。

采用信号量机制减少银行信息传输中的回冲处理

在银行信息系统中 ,为了减少因为网络通讯中断导致的数据回冲 ,提高交易成功率 ,我们引入信号量机制 ,在中央主机和交易前端的数据接收和发送区设立信号位。通过检验信号位 ,不仅在线路正常的情况下可以检验数据是否正确 ,而且在通讯中断的瞬间 ,通过检验交易前端的信号位是否为零 ,来判断交易是否成功 ,从而减少中央主机对数据的回冲。

操作系统中信号量管理的固化

本文介绍操作系统中信号量管理部分的固化。信号量管理部分是操作系统中频繁运行的程序段之一,因此,这部分的固化对提高机器的速度有明显的效果。特别是对资源种类多、数量大的计算机系统,速度的提高就会更加显著。我们在科研中,完成了信号量管理的固化。本文还将讨论固化后的性能评价。

带标记信号量——一种新型同步与互斥机制

1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用信号量描述起来比较困难或比较复杂.下面是一个典型的入厕问题:

信号量机制在Linux中的实现

以源代码分析为基础,全面剖析信号量在Linux中的实现。分析时,与基本原理相比较,重点阐述信号量在Linux中的实现特色,从而将Linux中的信号量实现机制较完整地呈现出来。

基于信号量通信的μC/OS-Ⅱ应用程序设计方法

提出了一种基于嵌入式实时操作系统μC/OS-Ⅱ的应用程序设计方法。该方法详细说明了通过信号量如何实现任务间的切换和调度,并给出了应用程序的基本结构。该结构清晰、易于理解、也容易实现。