2016-07-05 14:46:09 -06:00
|
|
|
// threads/Philosopher.java
|
2015-12-15 11:47:04 -08:00
|
|
|
// (c)2016 MindView LLC: see Copyright.txt
|
2015-11-15 15:51:35 -08:00
|
|
|
// We make no guarantees that this code is fit for any purpose.
|
|
|
|
// Visit http://mindviewinc.com/Books/OnJava/ for more book information.
|
2015-06-15 17:47:35 -07:00
|
|
|
// A dining philosopher
|
|
|
|
import java.util.concurrent.*;
|
|
|
|
import java.util.*;
|
|
|
|
|
|
|
|
public class Philosopher implements Runnable {
|
|
|
|
private Chopstick left;
|
|
|
|
private Chopstick right;
|
|
|
|
private final int id;
|
|
|
|
private final int ponderFactor;
|
2016-01-25 18:05:55 -08:00
|
|
|
private SplittableRandom rand = new SplittableRandom(47);
|
2015-06-15 17:47:35 -07:00
|
|
|
private void pause() throws InterruptedException {
|
|
|
|
if(ponderFactor == 0) return;
|
|
|
|
TimeUnit.MILLISECONDS.sleep(
|
|
|
|
rand.nextInt(ponderFactor * 250));
|
|
|
|
}
|
|
|
|
public Philosopher(Chopstick left, Chopstick right,
|
|
|
|
int ident, int ponder) {
|
|
|
|
this.left = left;
|
|
|
|
this.right = right;
|
|
|
|
id = ident;
|
|
|
|
ponderFactor = ponder;
|
|
|
|
}
|
|
|
|
@Override
|
|
|
|
public void run() {
|
|
|
|
try {
|
|
|
|
while(!Thread.interrupted()) {
|
2015-11-03 12:00:44 -08:00
|
|
|
System.out.println(this + " " + "thinking");
|
2015-06-15 17:47:35 -07:00
|
|
|
pause();
|
|
|
|
// Philosopher becomes hungry
|
2015-11-03 12:00:44 -08:00
|
|
|
System.out.println(this + " " + "grabbing right");
|
2015-06-15 17:47:35 -07:00
|
|
|
right.take();
|
2015-11-03 12:00:44 -08:00
|
|
|
System.out.println(this + " " + "grabbing left");
|
2015-06-15 17:47:35 -07:00
|
|
|
left.take();
|
2015-11-03 12:00:44 -08:00
|
|
|
System.out.println(this + " " + "eating");
|
2015-06-15 17:47:35 -07:00
|
|
|
pause();
|
|
|
|
right.drop();
|
|
|
|
left.drop();
|
|
|
|
}
|
|
|
|
} catch(InterruptedException e) {
|
2015-12-02 09:20:27 -08:00
|
|
|
System.out.println(
|
|
|
|
this + " " + "exiting via interrupt");
|
2015-06-15 17:47:35 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
@Override
|
|
|
|
public String toString() { return "Philosopher " + id; }
|
2015-09-07 11:44:36 -06:00
|
|
|
}
|