语言:C#
总起:
今天的哲学家进餐问题是最后多线程模型,讨论的是在有限的资源里线程竞争导致死锁、饥饿等问题。
没有接触过多线程编程的同学,可以先看一下第一章。
哲学家进餐问题:
该问题说的是,有5个哲学家围在一个圆桌前进餐,每个哲学家两旁有两把叉子,一共5把叉子。每个哲学家进行进餐需要拿起左右两把叉子,吃完之后将两把叉子放回供其他人使用。
这个是wiki上的图片:
根据以上的描述,我写了如下的程序:
static Random random = new Random();
public static readonly int MAX_PHILOSOPHERS_NUM = 5; // 最大的哲学家数量
// 同步标记
static List<Semaphore> forks = new List<Semaphore>();
private static List<Thread> philosophers = new List<Thread>();
// 获取左侧的叉子
public static void WaitLeftFork(int number)
{
forks[number].WaitOne();
Console.WriteLine("哲学家" + number + "取得左侧叉子");
}
// 获取右侧的叉子
public static void WaitRightFork(int number)
{
forks[(number+1) % MAX_PHILOSOPHERS_NUM].WaitOne();
Console.WriteLine("哲学家" + number + "取得右侧叉子");
}
// 开始吃饭
public static void Eat(int number)
{
Console.WriteLine("哲学家" + number + "开始进食");
Thread.Sleep(TimeSpan.FromSeconds(random.Next(2, 3)));
}
// 释放两个叉子
public static void ReleaseTwoForks(int number)
{
forks[number].Release();
forks[(number+1)%MAX_PHILOSOPHERS_NUM].Release();
}
// 休息
public static void TakeARest(int number)
{
Console.WriteLine("哲学家" + number + "开始休息");
Thread.Sleep(TimeSpan.FromSeconds(random.Next(1, 5)));
}
static void Main(string[] args)
{
// 创建5把叉子和5个哲学家
for (int i = 0; i < MAX_PHILOSOPHERS_NUM; i++)
{
forks.Add(new Semaphore(1, 1));
philosophers.A