类似于餐饮哲学家的拍卖实现

Question

我试图在netlogo中实现一个拍卖概念——它类似于餐饮哲学家问题程序。

我的程序处理与用餐哲学家程序中的哲学家和叉子相对应的计算机和处理器。在哲学家程序中，用户需要两把叉子才能吃饭，但在计算机和处理器中，一台计算机需要一个处理器才能工作。

我的程序中定义的状态是：空闲，需要，使用，对应于哲学家程序中的思考，饥饿，进食。

目前，我的程序将所有计算机的状态更改为NEED。我有问题在获取服务器的计算机。

代码片段是-

  // ... lines of code for declaration etc
  . 
  . 
  .
  to update 
  if state = "IDLE" [
     if random-float 1.0 < hungry-chance [
     set state "NEED"
  ]
  stop
  ]
  if state = "USING" [

  set total-used (total-used + 1)
     if random-float 1.0 < full-chance 

     [ release-servers ]

     set state "IDLE"
    stop
   ]
  if state = "NEED" 

     [ acquire-servers ]
       if we've got both forks, eat.
      if got? servers
     [ set state "USING" ]
   stop

 end
 //lines of code in between
 .
 .

  to acquire-servers  ;; philosopher procedure
    ask servers [
     if [owner] of servers = nobody[
     set owner myself
     move-to owner
     set heading [heading] of owner

     ]
   ]
 end
 // lines of code at end

Answer 1

首先，您需要将测试状态的if更改为ifelse，并删除stop命令。这样，计算机将找到其正确的状态并执行相关程序，然后不查看其他状态。

其次，acquire servers过程当前将所有服务器分配给第一台需要服务器的计算机。您可能需要一个看起来更像：

to acquire-one-server
  let candidates servers with [ owner = nobody ]
  if any? candidates
  [ ask one-of candidates
    [ set owner myself
      move-to owner
      set heading [heading] of owner
    ]
  ]
end