Linux信号量通信机制分析与实践

以操作系统原理中的信号量通信理论为基础,通过对Linux信号量数据结构和有关系统调用的分析,着重讨论了内核级和用户级的信号量通信、多用户的进程间的通信、线程之间的通信等问题,并采用ANSI C语言编写了具体实例.     

基于Linux的信号量通信机制研究与实现

该文以信号量通信理论为基础,通过对Linux信号量相关系统调用的分析,着重讨论了内核级和用户级的信号量通信、同一进程内线程之间的通信、多用户的进程间的通信等问题,并采用ANSIC编写了信号量通信的具体实例。     

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

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

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

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

基于单片机及FPGA的电力载波通信异常信号监测系统设计

为了保证电力载波通信网络的运行安全，以单片机及FPGA为硬件支持，设计基于单片机及FPGA的电力载波通信异常信号监测系统。根据电力载波通信网络的异常原因，设置异常信号特征作为判据。在建立的电力载波通信网络模型下，利用装设的信号采集设备、单片机以及FPGA元件，采集并处理电力载波通信信号。通过实时通信信号的特征提取与匹配，判定当前信号的异常状态，计算得出通信异常信号量和信号异常类型，最终以可视化的形式输出电力载波通信异常信号的监测结果。通过系统测试得出结论：与传统通信异常信号监测系统对比，优化设计系统的通信异常信号量的监测误差降低了1.37dBm，且通信异常信号类型的误检率得到明显降低。     

Linux中信号量机制研究

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

μC／OS-III对信号量的改进

μC／OS-III是对μC／OS-II的重大改进,增加了许多新的特性。在信号量的使用上,μC／OS-III增加了一些可选的参数,提高了使用的灵活性;新增了任务内嵌的信号量,可以更高效地和任务进行通信。本文分析对比μC／OS-II和μC／OS-III中信号量内部结构的差异及新增的特性。     

μC/OS-Ⅲ对信号量的改进

μC/OS-Ⅲ是对μC/OS-Ⅱ的重大改进,增加了许多新的特性.在信号量的使用上,μ C/OS-Ⅲ增加了一些可选的参数,提高了使用的灵活性;新增了任务内嵌的信号量,可以更高效地和任务进行通信.本文分析对比μC/OS-Ⅱ和μC/OS-Ⅲ中信号量内部结构的差异及新增的特性.     

基于VxWorks的多任务实时性分析

为了分析VxWorks操作系统在多任务环境下任务切换的实时性,运用时间戳方法对任务抢占切换时间进行了测量,并通过数据定量分析了任务数量对任务切换时间的影响。同时为了加强任务控制,使用信号量通信机制,设计任务间通信控制程序,并对信号量的实时性影响进行了测量与分析。结果表明任务数量和信号量机制对切换时间有一定影响,但增加的延迟时间非常小。     

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

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

在UNIX中用共享内存队列实现进程间通信

本文提出了在UNIX操作系统中,将共享内存和队列结合起来,采用共享内存来进行进程间的数据通信,用信号灯来同步共享内存区,应用共享内存队列来解决进程间通信数据量过大并且传递的频率过快的问题,文中介绍了进程间通信、共享内存区、信号灯以及队列的基本概念和在UNIX中的具体操作函数,详细说明了共享内存队列的具体实现算法。     

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

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

Linux共享内存的研究与实现

对于多用户、多任务的操作系统,进程间的通信是非常重要的,它是使整个系统得以有条不紊运作的基础。Linux系统提供了多种IPC机制,如信号、管道、信号量、消息队列、共享内存和套接字等,其中以共享内存效率最高。系统地阐述了Linux共享内存的原理和相关API,并给出了通过System V共享内存通信的实例。     

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

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

Linux进程间管道通信的研究

对于多用户、多任务的操作系统,进程间的通信（Inter—ProcessCommunication,IPC）是非常重要的,它是使整个系统得以有条不紊运作的基础。Linux操作系统提供了多种IPC机制,如信号、管道、信号量、消息队列、共享内存和套接字等,其中以管道通信最能体现Linux平台的特色。为此,系统地分析了Linux平台下的管道通信的实现机制,详细探讨了无名管道和命名管道的工作方式,并给出了相应的创建和使用的方法。     

Nucleus PLUS操作系统信号量机制的研究与测试

Nucleus PLUS是一种嵌入式实时操作系统内核.为深入全面地测试其用于任务同步的信号量模块,研究信号量实现机制,尤其是PI信号量中对优先级继承协议的实现,搭建测试环境,编写测试驱动,设计测试用例,开展针对信号量的测试.在常规测试、健壮性测试的基础上,提出基于信号量有限状态机的测试策略.测试效果良好,对操作系统其他内核对象的测试也具有一定的借鉴价值.