Question

我的模拟是使用actor和Scala 2.8-Snapshot。在Java JRE 1.5中它运行良好 - 所有40个齿轮（演员）同时工作。使用Java JRE 1.6只有3个齿轮同时工作。我使用和不使用GUI进行测试：两者都给出相同的结果。

我可以在github上使用GUI进行模拟：http://github.com/pmeiclx/scala_gear_simulation

也许你还记得my first problem with actors。在解决了这些问题后，我为模拟做了一个GUI，我得到了这种新的“奇怪”行为。

这是没有GUI的代码：

package ch.clx.actorversions

import actors.Actor
import actors.Actor._
import collection.mutable.ListBuffer

case class ReceivedSpeed(gear: Gear)
case object StartSync

case class SyncGear(controller: GearController, syncSpeed: Int)

object ActorVersion {

  def main(args:Array[String]) = {
    println("[App] start with creating gears")
    val gearList = new ListBuffer[Gear]()
    for (i <- 0 until 100) {
      gearList += new Gear(i)
    }

    val gearController = new GearController(gearList)

    gearController.start()
    gearController ! StartSync
  }
}

/**
 * CONTROLLER
 */
class GearController(nGears: ListBuffer[Gear]) extends Actor {
  private var syncGears = new ListBuffer[Gear]
  private var syncSpeed = 0
  def act = {
    while(true) {
      receive {
        case StartSync => {
          println("[Controller] Send commands for syncing to gears!")
          var speeds = new ListBuffer[Int]
          nGears.foreach(e => speeds += e.speed)

          //Calc avg
          //var avgSpeed = speeds.foldLeft(0)(_ + _) / speeds.length
          //var avgSpeed = speeds.foldLeft(0) { (x, y) => x + y } / speeds.length
          syncSpeed = (0/:speeds)(_ + _) / speeds.length //Average over all gear speeds

          //TODO syncSpeed auf Median ausrichten

          println("[Controller] calculated syncSpeed: "+syncSpeed)
          nGears.foreach{e =>
                         e.start()
                         e ! SyncGear(this, syncSpeed)
          }
          println("[Controller] started all gears")
        }
        case ReceivedSpeed(gear: Gear) => {
          println("[Controller] Syncspeed received by a gear ("+gear.gearId+")")
          //println("[Controller] mailboxsize: "+self.mailboxSize)
          syncGears += gear
          if(syncGears.length == nGears.length) {
            println("[Controller] all gears are back in town!")
            System.exit(0)
          }
        }
        case _ => println("[Controller] No match :(")
      }
    }
  }
}

/**
 * GEAR
 */
class Gear(id: Int) extends Actor {

  private var mySpeed = scala.util.Random.nextInt(1000)
  private var myController: GearController = null

  def speed = mySpeed
  def gearId = id

  /* Constructor */
  println("[Gear ("+id+")] created with speed: "+mySpeed)

  def act = {
    loop {
      react {
        case SyncGear(controller: GearController, syncSpeed: Int) => {
          //println("[Gear ("+id+")] activated, try to follow controller command (form mySpeed ("+mySpeed+") to syncspeed ("+syncSpeed+")")
          myController = controller
          adjustSpeedTo(syncSpeed)
        }
      }
    }
  }

  def adjustSpeedTo(targetSpeed: Int) = {
    if(targetSpeed > mySpeed) {
      mySpeed += 1
      self ! SyncGear(myController, targetSpeed)
    }else if(targetSpeed < mySpeed) {
      mySpeed -= 1
      self ! SyncGear(myController, targetSpeed)
    } else if(targetSpeed == mySpeed) {
      callController
    }
  }

  def callController = {
    println("[Gear ("+id+")] has syncSpeed")
    myController ! ReceivedSpeed(this)
  }
}

Answer 1

简短回答：将控制器更改为使用循环/反应而不是使用while / receive

actors库检测它正在运行的Java版本，如果它是1.6（而不是IBM的VM），它使用捆绑版本的JSR-166y fork join线程池，因此底层有很大的不同实现取决于Java版本。

fork / join线程池使用一种两级队列来执行任务。每个工作线程都有一个队列，并且池中有一个共享队列。源自fork / join线程的任务直接进入fork / join线程的队列，而不是通过主队列。线程之间的任务窃取用于保持线程忙碌并帮助避免饥饿。

在您的情况下，启动齿轮的所有任务都会在运行控制器的线程的队列中结束。因为您在该actor中使用while / receive，所以它永远不会放弃该线程，因此它永远不会直接在其队列上执行任务。其他线程经常忙于3档，因此他们从不试图从运行控制器的线程中窃取工作。结果是其他的齿轮演员从未被执行过。

在控制器中切换到循环/响应应该可以解决问题，因为在每个循环中，actor都会释放线程并安排一个新任务，这个任务最终将在队列的后面，因此其他任务将在执行。

Answer 2

使用Java JRE 1.6只能同时使用3个齿轮。

你的意思是：

只有三个档位朝目标速度方向前进。当三个档位达到目标速度时，不再有齿轮进行任何进展。
任何时候只有三个齿轮进步。当三个齿轮中的一个达到目标速度时，另一个齿轮开始前进，直到所有齿轮都达到目标速度。

我猜第二个？

观察到的行为的差异可能是JVM实现的差异--JRE 1.5和JRE 1.6之间存在变化。其中一些变化可以关闭，例如通过设置这样一个标志：

-XX:ThreadPriorityPolicy=1

...但第二种行为是执行代码的完全有效的方式。它不是你所期望的，因为它违反了你所拥有的“公平”概念，但工作调度程序却没有。您可以添加某种时钟演员，以确保最受青睐的装备比最不喜欢的演员获得的不仅仅是（比如说）10“嘀嗒”。

在不知情的情况下，JRE之间的差异很难研究：

您正在使用的JRE更新版本。
您运行的操作系统。
您拥有多少CPU和核心。
是否已针对JRE 1.6重新编译代码。

祝你好运！

Scala Actors：JRE 1.5和1.6上的不同行为

2 个答案: