[NAME]
ALL.dao.concurrent.async-class

[TITLE]
异步类

[DESCRIPTION]

异步类是一种特殊的类,当这种异步类的对象调用一个方法时, 这个调用将被自动地当作异步调用处理
,并创建轻任务返回未来值。 这种轻任务将被存在一个队列里,并按它们存入队列的顺序执行。

因此,这种异步对象在行为上很类似 actor model 里的actor。因为这里调用这种对象的方法就跟给act
or发消息一样, 而调用参数即是消息内容。 对于每个异步对象,轻任务将按存入队列的顺序执行, 这基
本等同actor按消息将收顺序处理消息。

异步类的定义由在普通类的定义里的类名后加异步模式标志!!组成。 这里是个简单的例子: 
     
   1  class Account !!
   2  {
   3      private
   4  
   5      var balance = 0
   6  
   7      public
   8  
   9      routine Account( init = 0 ){
  10          balance = init
  11      }
  12      routine Withdraw( amount: int ) => enum<false,true>
  13      {
  14          if ( balance < amount ) return $false
  15          balance -= amount
  16          return $true
  17      }
  18      routine Deposit( amount: int ) => int
  19      {
  20          balance += amount
  21          return balance
  22      }
  23      routine Balance() => int
  24      {
  25          return balance
  26      }
  27  }
  28  
  29  acount1 = Account( 100 )
  30  acount2 = Account( 100 )
  31  
  32  future1 = acount1.Withdraw( 10 )
  33  if( future1.value() == $true ) future2 = acount2.Deposit( 10 )
  34  
  35  future3 = acount1.Deposit( 20 )
  36  
  37  io.writeln( 'Balance in account1:', acount1.Balance().value() )
  38  io.writeln( 'Balance in account2:', acount2.Balance().value() )