samples/threadring2.mno

   1 actor Passer
   2   var int m_id
   3   var Passer m_next
   4
   5   action pass(int token)
   6     if (token == 0)
   7       puti(m_id)
   8       exit(0)
   9     else
  10       token = token - 1
  11       m_next::pass(token)
  12     end
  13   end
  14
  15   action setIdAndNext(int id, Passer next)
  16     m_id = id
  17     m_next = next
  18   end
  19 end
  20
  21 action main(string[] args)
  22     var int numPassers = 50300
  23     spawn Passer[] passers[numPassers]
  24     var int i = 0
  25     while (i < numPassers-1)
  26       passers[i]::setIdAndNext(i+1, passers[i+1])
  27       i = i + 1
  28     end
  29     passers[numPassers-1]::setIdAndNext(numPassers, passers[0])
  30
  31     passers[0]::pass(convertToInt(args[0]))
  32 end
  33