summaryrefslogblamecommitdiff
path: root/docs/examples/oneplacebuffer.scala
blob: ccdb0f87320ac728d34b75780f72bd50d25b24bb (plain) (tree)
1
2
3
4
5
6
7
8
9
10
                





                            


                                                                               
 
                                                               


                                         
                                   




                               

                                   


     








                                                        
                                   

                                       

                                  

                                        



                          

                                        


              
                          
                       
               


   
 
package examples

object oneplacebuffer {

  import scala.concurrent._;

  class OnePlaceBuffer {
    private val m = new MailBox() {}          // An internal mailbox
    private case class Empty()                // Types of messages we deal with
    private case class Full(x: Int)

    m send Empty()                            // Initialization

    def write(x: Int): Unit = m receive {
      case Empty() =>
        Console.println("put " + x)
        m send Full(x)
    }

    def read: Int = m receive {
      case Full(x) =>
        Console.println("get " + x)
        m send Empty(); x
    }
  }

  def kill(delay: Int) = new java.util.Timer().schedule(
    new java.util.TimerTask {
      override def run() = {
        Console.println("[killed]")
        System.exit(0)
      }
    },
    delay) // in milliseconds

  def main(args: Array[String]) = {
    val buf = new OnePlaceBuffer
    val random = new java.util.Random()

    def producer(n: int): unit = {
      Thread.sleep(random.nextInt(1000))
      buf.write(n)
      producer(n + 1)
    }

    def consumer: unit = {
      Thread.sleep(random.nextInt(1000))
      val n = buf.read
      consumer
    }

    ops.spawn(producer(0))
    ops.spawn(consumer)
    kill(10000)
  }

}