信号量和管程

本文介绍了操作系统中解决多线程并发问题的信号量和管程概念。重点讲解了信号量的互斥与同步作用,通过生活中的例子解释了信号量的工作原理,包括P操作(尝试减少信号量)和V操作(尝试增加信号量),强调了这两个操作的原子性。
摘要由CSDN通过智能技术生成

希望阅读本文后的你,可以更好的理解OS中的信号量和管程。如果你有任何疑惑,欢迎指出,因为很有可能是我的理解错误或者笔误。

0. 相关概念回顾

在OS引入多线程后,程序的多任务并发功能得到了良好的支持,但同时也带来了问题,那就是多线程并发会导致一些共享的资源产生竞争问题(例如对共享数据区的数据进行操作),而在计算机中,操作这种共享资源的代码块被称为临界区。为了解决这种竞争冲突,我们必须理解两个概念:同步互斥

互斥: 所谓互斥,就是说,任何时候只能有一个对象访问某个资源,绝不允许多个对象同时操作。即任何时候只能有一个进程执行临界区代码。

同步:所谓同步,指的是事件执行之间的依赖关系,譬如,事件B只有在事件A执行完毕后才能执行。在OS多线程中,同步的引入是为了协调对共享数据的并发访问。

而为了确保同步的正确执行,基本来说有两种方式:

  1. 通过底层硬件支持来完成(CPU指令中有Test-and-Set指令,即原子操作,所谓原子操作就是说,一个操作要么执行完成,要么就不执行,决不可能执行到一半就停下来去做别的事情。)
  2. 高层次的软件编程抽象。(编程难度较大)

大致如下图所示:

好的,我会尽力回答你的问题。首先,我需要说明一下,在本程序中,我们使用Java语言来实现生产者-消费者问题的同步控制,并且使用信号量管程两种方式来进行实现。 1. 信号量的作用及初始值设置 信号量是一种用于进程间同步及互斥的工具。在本程序中,我们使用Java提供的Semaphore类来实现信号量的功能。Semaphore类的构造方法可以接收一个整数参数,该参数表示信号量的初始值。在本程序中,我们将使用两个Semaphore对象,分别表示生产者和消费者的信号量。同时,我们将设置生产者的初始信号量为缓冲区大小,消费者的初始信号量为0。这样,生产者在开始时就可以向缓冲区中放入数据,而消费者必须等待生产者先向缓冲区中放入数据,才能开始取出数据。 2. 未使用信号量时可能产生的问题及其在代码执行结果上的体现 如果我们不使用信号量来进行同步控制,那么就会出现以下问题: - 生产者可能会向已满的缓冲区中继续放入数据,导致数据丢失或覆盖; - 消费者可能会从空的缓冲区中取出数据,导致程序出现错误。 在代码执行结果上,如果不使用信号量进行同步控制,很可能会出现死锁或者数据丢失等问题。 3. 使用信号量控制的程序代码 下面是使用信号量来进行同步控制的程序代码: ``` import java.util.concurrent.Semaphore; public class ProducerConsumerSemaphore { private static final int BUFFER_SIZE = 10; private static int[] buffer = new int[BUFFER_SIZE]; private static Semaphore producerSemaphore = new Semaphore(BUFFER_SIZE); private static Semaphore consumerSemaphore = new Semaphore(0); private static void produce(int i) throws InterruptedException { producerSemaphore.acquire(); buffer[i] = i; System.out.println("Producer produced " + i); consumerSemaphore.release(); } private static void consume(int i) throws InterruptedException { consumerSemaphore.acquire(); int value = buffer[i]; System.out.println("Consumer consumed " + value); producerSemaphore.release(); } public static void main(String[] args) { Thread producerThread = new Thread(() -> { for (int i = 0; i < BUFFER_SIZE; i++) { try { produce(i); } catch (InterruptedException e) { e.printStackTrace(); } } }); Thread consumerThread = new Thread(() -> { for (int i = 0; i < BUFFER_SIZE; i++) { try { consume(i); } catch (InterruptedException e) { e.printStackTrace(); } } }); producerThread.start(); consumerThread.start(); } } ``` 在这个程序中,我们定义了一个缓冲区,并使用Semaphore类来定义了两个信号量:producerSemaphore和consumerSemaphore。生产者先获取producerSemaphore的锁,然后向缓冲区中放入数据,之后释放consumerSemaphore的锁。消费者先获取consumerSemaphore的锁,然后从缓冲区中取出数据,之后释放producerSemaphore的锁。 4. 使用信号量控制后的执行结果 当我们使用信号量来进行同步控制时,程序可以正常运行,而且不会出现死锁或者数据丢失等问题。下面是使用信号量控制后的程序执行结果示例: ``` Producer produced 0 Producer produced 1 Producer produced 2 Producer produced 3 Producer produced 4 Producer produced 5 Producer produced 6 Producer produced 7 Producer produced 8 Producer produced 9 Consumer consumed 0 Consumer consumed 1 Consumer consumed 2 Consumer consumed 3 Consumer consumed 4 Consumer consumed 5 Consumer consumed 6 Consumer consumed 7 Consumer consumed 8 Consumer consumed 9 ``` 从执行结果可以看出,生产者先向缓冲区中放入了10个数据,然后消费者再从缓冲区中依次取出了这10个数据。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值