哲学家进餐问题(c++11自己实现semaphore)

首先c++11只有mutex与condition_variable这两个条件,是没有semaphore这个玩意的,因此借助mutex与condition_variable自己实现一个semaphore,然后解决os当中的哲学家进餐问题。
首先实现semaphore

class Semaphore
{
   
public:
Semaphore(int count =0):count(count)
{
   }
void Set(int n)
{
   
	count=n;
}
void Signal()
{
   
	unique_lock<mutex> lck(m_mutex);
	count++;
	cv.notify_all();
}
void Wait()
{
   
	unique_lock<mutex> lck(m_mutex);
	if(count<=0)
		cv.wait(lck);
	count--;
}

private:
mutex m_mutex;
condition_variable cv;
int count;
};

上述为实现的semaphore方法;
则如何解决哲学家进餐问题呢?

5 个沉默寡言的哲学家围坐在圆桌前,每人面前一盘意面。叉子放在哲学家之间的桌面上。(5 个哲学家,5 根叉子)

所有的哲学家都只会在思考和进餐两种行为间交替。哲学家只有同时拿到左边和右边的叉子才能吃到面,而同一根叉子在同一时间只能被一个哲学家使用。每个哲学家吃完面后都需要把叉子放回桌面以供其他哲学家吃面。只要条件允许,哲学家可以拿起左边或者右边的叉子,但在没有同时拿到左右叉子时不能进食。

假设面的数量没有限制,哲学家也能随便吃,不需要考虑吃不吃得下。

设计一个进餐规则(并行算法)使得每个哲学家都不会挨饿;也就是说,在没有人知道别人什么时候想吃东西或思考的情况下,每个哲学家都可以在吃饭和思考之间一直交替下去。

在这里插入图片描述
三种实现方法:
1、限制进餐人数

class DiningPhilosophers {
   
public:
    
  • 2
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
哲学家进餐问题是一个经典的同步问题,主要涉及到多个进程(哲学家)之间的资源竞争问题。在这个问题中,每个哲学家都需要交替地进行思考和进餐,但是他们共享一些资源,如餐具等,因此需要协调它们的行为以避免死锁和饥饿等问题。 下面是使用 Java 实现哲学家进餐问题的示例代码: ```java import java.util.concurrent.Semaphore; public class Philosopher implements Runnable { private final int id; private final Semaphore leftFork; private final Semaphore rightFork; public Philosopher(int id, Semaphore leftFork, Semaphore rightFork) { this.id = id; this.leftFork = leftFork; this.rightFork = rightFork; } @Override public void run() { try { while (true) { think(); leftFork.acquire(); rightFork.acquire(); eat(); rightFork.release(); leftFork.release(); } } catch (InterruptedException e) { Thread.currentThread().interrupt(); return; } } private void think() throws InterruptedException { System.out.println("Philosopher " + id + " is thinking"); Thread.sleep((long) (Math.random() * 5000)); } private void eat() throws InterruptedException { System.out.println("Philosopher " + id + " is eating"); Thread.sleep((long) (Math.random() * 5000)); } } public class DiningPhilosophers { private static final int NUM_PHILOSOPHERS = 5; public static void main(String[] args) { Semaphore[] forks = new Semaphore[NUM_PHILOSOPHERS]; for (int i = 0; i < NUM_PHILOSOPHERS; i++) { forks[i] = new Semaphore(1); } Philosopher[] philosophers = new Philosopher[NUM_PHILOSOPHERS]; for (int i = 0; i < NUM_PHILOSOPHERS; i++) { philosophers[i] = new Philosopher(i, forks[i], forks[(i + 1) % NUM_PHILOSOPHERS]); new Thread(philosophers[i]).start(); } } } ``` 在这个示例代码中,我们创建了一个 `Philosopher` 类和一个 `DiningPhilosophers` 类,其中 `Philosopher` 类实现哲学家的行为,而 `DiningPhilosophers` 类则负责创建和启动哲学家线程。 在 `Philosopher` 类中,我们使用了两个信号量 `leftFork` 和 `rightFork` 表示哲学家左边和右边的餐叉。在 `run` 方法中,哲学家先思考一段时间,然后尝试获取左右餐叉的信号量。如果成功获取了两个餐叉的信号量,哲学家就可以进餐。最后,哲学家释放左右餐叉的信号量,以便其他哲学家可以使用它们。 在 `DiningPhilosophers` 类中,我们首先创建了一个 `Semaphore` 数组 `forks`,其中每个元素都表示一个餐叉。然后,我们创建了五个 `Philosopher` 对象,并将它们的左右餐叉设置为相邻的两个 `Semaphore` 对象。最后,我们创建了五个线程,每个线程都对应一个哲学家,并启动它们。当程序运行时,每个哲学家会交替进行思考和进餐,直到程序被中断或终止。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值