test.fleet

   1 #import edu.berkeley.fleet
   2
   3 // skeleton solution to problem #1 (fill in the XXX blanks)
   4
   5 #memory { 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5,
   6           1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5,
   7           1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5,
   8           1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5,
   9           1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5,
  10           0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  11           0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  12           0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  13           0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  14           0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
  15  }
  16
  17 #ship memread   : MemReadShip
  18 #ship memwrite  : MemWriteShip
  19 #ship bitbucket : BitBucketShip
  20 #ship halt      : HaltShip
  21 #ship fetch     : FetchShip
  22
  23 top: { 100                 -> memread.count
  24        0             -(100)-> memread.token
  25        // XXX              -> memread.addr
  26        // XXX              -> memread.stride
  27
  28        memread.data   -(*)-> memwrite.data
  29
  30        // XXX               -> memwrite.count
  31        // XXX               -> memwrite.addr
  32        // XXX               -> memwrite.stride
  33        memwrite.token  -(99)-> bitbucket.in
  34        memwrite.token       -> halt.in
  35 }
  36
  37 top -> fetch.in
  38