Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / src / edu / tamu / aser / rvtest / buffer / Consumer.java

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/buffer/Consumer.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/buffer/Consumer.java
new file mode 100644 (file)
index 0000000..113df0b
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/buffer/Consumer.java
@@ -0,0 +1,22 @@
+package edu.tamu.aser.rvtest.buffer;
+/* from http://www.doc.ic.ac.uk/~jnm/book/ */
+/* Concurrency: State Models & Java Programs - Jeff Magee & Jeff Kramer */
+/* has a deadlock */
+
+/********************CONSUMER*******************************/
+
+class Consumer extends Thread {
+
+    final BufferImpl buf;
+
+    Consumer(BufferImpl b) {buf = b;}
+
+    public void run() {
+      try {
+          //        while(true) {                                                                                                                                                                            
+//            System.out.println("Consumer trying to get - "+this);                                                                                                                                          
+          buf.get();
+            //        }                                                                                                                                                                                      
+      } catch(InterruptedException e ){}
+    }
+}