哲学家就餐问题的C#实现

撰文：周翔

这是我在上操作系统课的那个学期写的一段程序，并组织成了一篇文章。当初被我的挚友曾毅发表在CSTC的论坛上：http://cstc.net.cn/bbs/viewtopic.php?t=457，在此，我把它贴在这儿，希望对大家有所裨益。

 

学操作系统的进程同步都要涉及到三个经典问题：生产者-消费者问题、读者-写者问题和哲学家就餐问题。下面来介绍一下哲学家就餐问题：
哲学家就餐问题中，一组哲学家围坐在一个圆桌旁，每个哲学家的左边都只有一只筷子（当然他的右边也有一只筷子，但是这是他右边哲学家的左边的筷子），他们吃完了就思考，思考了一会就会饿，饿了就想吃，然而，为了吃饭，他们必须获得左边和右边的筷子。当每个哲学家只拿有一只筷子的时候，会坐者等另一只筷子，在每个哲学家都只拿一个筷子的时候，就会发生死锁。传统的解决死锁问题的方法是引用管程的概念，但是在C#中来实现的话可以使System.Threading中的mutex为每个哲学家来声名两个信号量RightChopStick和LeftChopStick，在主程序中用5个mutex赋值给它，用WaitHandle来实现对筷子的独占访问。这个例子是用windows图形界面实现，用事件来通知界面哲学家的状态。
以下是代码（在vs.net 下运行通过）：

//DiningPhilosophers.cs----------code:seafrog-----------------------------------------------------
using System;
using System.Threading;
using System.Windows.Forms;

using seafrog.Threading;
using seafrog.Philosopher;

namespace DiningPhilosophers
{
public class Form1 : System.Windows.Forms.Form
{
private System.Windows.Forms.Button button1;
private System.ComponentModel.Container components = null;
private System.Windows.Forms.ListBox listBox1;
private Philosopher[] p=new Philosopher[5];
public Form1()
{
InitializeComponent();

Mutex[] chopSticks=new