15、实时编程中的信号量与邮箱机制

实时编程中的信号量与邮箱机制

1. 信号量的基本概念与资源访问控制

在多任务系统中，对共享资源的访问需要进行合理的管理，以避免多个任务同时使用同一资源而产生冲突。例如，打印机就是一个典型的共享资源，同一时间只能有一个任务使用它。这时，就需要一种机制来调节对打印机的访问，信号量（Semaphore）就起到了这样的作用。

信号量就像一把钥匙，用于控制对资源的访问。只有持有这把钥匙（即获取了信号量）的任务才能使用资源。任务若要使用资源（如打印机），必须先通过调用相应的内核服务来获取信号量。

1.1 信号量的获取与释放

• 获取信号量 ：当任务调用 acquireSem 函数时，会执行以下操作：
  1. 对信号量的值进行减 1 操作。
  2. 如果减 1 后的值大于或等于 0，说明资源可用，任务可以继续执行；否则，任务会被阻塞，直到其他任务释放信号量。
• 释放信号量 ：当任务使用完资源后，调用 releaseSem 函数释放信号量。该函数会对信号量的值进行加 1 操作。如果加 1 后的值小于或等于 0，说明至少有一个任务在等待该信号量，此时会让其中一个等待的任务变为就绪状态。

以下是一个简单的代码示例，展示了任务如何获取和释放信号量来使用打印机：

// 任务 1
acquireSem (PrinterSem);
printf (“I am Task %d\n”, task);
r