package cn.Douzi.PhiEat; /** * 表示筷子的类 */ public class Chopstick{ /** * 表示筷子是否可用 */ private volatile boolean available = true; private int id; public Chopstick(){ } public Chopstick(int id){ this.id = id; } public boolean isAvailable(){ return available; } public void setAvailable(boolean available){ this.available = available; } public int getId(){ return id; } public void setId(int id){ this.id = id; } @Override public String toString(){ return "筷子" + id; } }
package cn.Douzi.PhiEat; public class ChopstickArray{ private Chopstick[] chopsticks; public ChopstickArray(){ } public ChopstickArray(int size) { chopsticks = new Chopstick[size]; for(int i = 0; i < chopsticks.length; ++i){ chopsticks[i] = new Chopstick(i); } } public Chopstick getId(int id){ return chopsticks[id]; } //得到 编号id的筷子 public Chopstick getLast(int id){ if(id == 0){ return chopsticks[chopsticks.length - 1]; }else{ return chopsticks[id - 1]; } } }
package cn.Douzi.PhiEat; import java.awt.*; import java.awt.event.*; import javax.swing.*; public class DiningPhilosophersFrame extends JFrame{ private final JPanel panel1 = new JPanel(); private final JPanel panel2 = new JPanel(); private final JPanel panel3 = new JPanel(); private final JTextArea thinkingTextArea = new JTextArea(6, 10); private final JTextArea eatingTextArea = new JTextArea(5, 10); private final JTextArea waitingTextArea = new JTextArea(5, 10); JLabel label1 = new JLabel("哲学家问题"); JLabel label2 = new JLabel("思考"); JLabel label3 = new JLabel("吃饭"); JLabel label4 = new JLabel("等待"); JLabel space = new JLabel(" "); JButton button = new JButton("开始运行"); JButton stop = new JButton("暂停"); public DiningPhilosophersFrame(){ panel2.setLayout(new GridLayout(2, 2, 3, 3)); panel3.setLayout(new BorderLayout()); label2.setFont(new Font("隶书", 0, 30)); label2.setHorizontalAlignment(0); label3.setFont(new Font("隶书", 0, 30)); label3.setHorizontalAlignment(0); label4.setFont(new Font("隶书", 0, 30)); label4.setHorizontalAlignment(0); panel2.add(label2); panel2.add(label3); panel2.add(label4); thinkingTextArea.setEditable(false); eatingTextArea.setEditable(false); waitingTextArea.setEditable(false); JScrollPane js1 = new JScrollPane(thinkingTextArea, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS); JScrollPane js2 = new JScrollPane(eatingTextArea, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS); JScrollPane js3 = new JScrollPane(waitingTextArea, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS); panel2.add(js1); panel2.add(js2); panel2.add(js3); // panel2.add(label2); // panel2.add(label3); // panel2.add(label4); panel2.setBackground(Color.LIGHT_GRAY); panel1.setBackground(Color.LIGHT_GRAY); panel1.setLayout(new FlowLayout(FlowLayout.CENTER)); label1.setFont(new Font("隶书", 0, 50)); //标题字体 panel1.add(label1); panel1.add(panel2); button.setBackground(Color.ORANGE); stop.setBackground(Color.ORANGE); panel1.add(button); panel1.add(space); panel1.add(stop); setContentPane(panel1); button.addActionListener(new ActionListener(){ @Override public void actionPerformed(ActionEvent e){ ChopstickArray chopstickArray = new ChopstickArray(5); for(int i = 0; i < 5; i++){ new Thread(new Philosopher(i, chopstickArray, thinkingTextArea, eatingTextArea, waitingTextArea)) .start(); } } }); stop.addActionListener(new ActionListener() { @Override public void actionPerformed(ActionEvent e) { // TODO Auto-generated method stub try { Thread.sleep(3000); } catch (InterruptedException e1) { // TODO Auto-generated catch block e1.printStackTrace(); } } }); setTitle("可爱的豆豆"); setSize(450, 400); setVisible(true); setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); } public static void main(String[] args){ new DiningPhilosophersFrame(); } }
package cn.Douzi.PhiEat; import java.util.Random; import javax.swing.JTextArea; public class Philosopher implements Runnable{ private int id; private boolean state; ChopstickArray chopstickArray; JTextArea thinkingTextArea; JTextArea eatingTextArea; JTextArea waitingTextArea; public Philosopher() { } public Philosopher(int id, ChopstickArray chopstickArray, JTextArea thinkingTextArea, JTextArea eatingtextArea, JTextArea waitingTextArea){ this.id = id; this.chopstickArray = chopstickArray; this.thinkingTextArea = thinkingTextArea; this.eatingTextArea = eatingtextArea; this.waitingTextArea = waitingTextArea; } public synchronized void thinking() { if(state) { // 如果在思考,说明这个哲学家两面的筷子没用 chopstickArray.getId(id).setAvailable(true); chopstickArray.getLast(id).setAvailable(true); String text = thinkingTextArea.getText(); thinkingTextArea.setText(text + this + "在思考\n"); thinkingTextArea.setCaretPosition(thinkingTextArea.getDocument().getLength()); thinkingTextArea.paintImmediately(thinkingTextArea.getBounds()); try{ Thread.sleep(1000); }catch(Exception e){ e.printStackTrace(); } } state = false; } public synchronized void eating(){ if(!state) { //没有在思考 if(chopstickArray.getId(id).isAvailable()){ // 如果哲学家右手边的筷子可用 if(chopstickArray.getLast(id).isAvailable()){ // 如果左手边的筷子也可用 // 然后将这个能吃饭的哲学家两侧的筷子都设置为不可用 chopstickArray.getId(id).setAvailable(false); chopstickArray.getLast(id).setAvailable(false); String text = eatingTextArea.getText(); eatingTextArea.setText(text + this + "在吃饭\n"); eatingTextArea.setCaretPosition(eatingTextArea.getDocument().getLength()); eatingTextArea.paintImmediately(eatingTextArea.getBounds()); try{ Thread.sleep(1000); }catch(Exception e){ e.printStackTrace(); } } else{ // 右手边的筷子可用，但是左手边的不可用 String str = waitingTextArea.getText(); waitingTextArea.setText(str + this + "在等待" + chopstickArray.getLast(id) + "\n"); try{ wait(new Random().nextInt(100)); }catch(Exception e){ e.printStackTrace(); } } }else { // 如果哲学家右手边的筷子不可用则等待 String str = waitingTextArea.getText(); waitingTextArea.setText(str + this + "在等待" + chopstickArray.getId(id) + "\n"); waitingTextArea.setCaretPosition(waitingTextArea.getDocument().getLength()); waitingTextArea.paintImmediately(waitingTextArea.getBounds()); try{ wait(new Random().nextInt(100)); }catch(Exception e) { e.printStackTrace(); } } } state = true; } @Override public void run(){ for(int i = 0; i < 10; ++i){ thinking(); eating(); } } @Override public String toString(){ return " 哲学家 " + id; } }
