bench9000 0.1

data/benchmarks/classic/richards-kwargs.rb

@@ -0,0 +1,403 @@
+# Derived from http://pws.prserv.net/dlissett/ben/bench1.htm
+# Licensed CC BY-NC-SA 1.0
+
+# Adapted by Stefan Marr, and then by Chris Seaton
+
+IDLE = 0
+WORKER = 1
+HANDLERA = 2
+HANDLERB = 3
+DEVICEA = 4
+DEVICEB = 5
+
+MAXTASKS = 6
+$layout = 0
+
+
+def run(iterations)
+   s = Scheduler.new
+   for i in 0..iterations
+     s.reset
+     s.addIdleTask(id: IDLE, pri: 0, wkq: nil, count: 10000)
+
+     wkq = Packet.new(link: nil, id: WORKER, kind: Packet::WORK)
+     wkq = Packet.new(link: wkq, id: WORKER, kind: Packet::WORK)
+     s.addWorkerTask(id: WORKER, pri: 1000, wkq: wkq)
+
+     wkq = Packet.new(link: nil, id: DEVICEA, kind: Packet::DEVICE)
+     wkq = Packet.new(link: wkq, id: DEVICEA, kind: Packet::DEVICE)
+     wkq = Packet.new(link: wkq, id: DEVICEA, kind: Packet::DEVICE)
+     s.addHandlerTask(id: HANDLERA, pri: 2000, wkq: wkq)
+
+     wkq = Packet.new(link: nil, id: DEVICEB, kind: Packet::DEVICE)
+     wkq = Packet.new(link: wkq, id: DEVICEB, kind: Packet::DEVICE)
+     wkq = Packet.new(link: wkq, id: DEVICEB, kind: Packet::DEVICE)
+     s.addHandlerTask(id: HANDLERB, pri: 3000, wkq: wkq)
+
+     s.addDeviceTask(id: DEVICEA, pri: 4000, wkq: nil)
+     s.addDeviceTask(id: DEVICEB, pri: 5000, wkq: nil)
+     s.schedule
+
+     if s.holdCount != 9297 or s.queueCount != 23246
+       return false
+     end
+   end
+
+   return true
+end
+
+
+def trace(c)
+   if $layout <= 0
+      print "\n"
+      $layout = 50
+   end
+   $layout -= 1
+   print c
+end
+
+
+class Scheduler
+   attr_reader :queueCount, :holdCount
+
+   def initialize()
+      @table = Array.new(MAXTASKS,nil)
+      @list = nil
+      @queueCount = 0
+      @holdCount = 0
+   end
+
+   def reset()
+      @table = Array.new(MAXTASKS,nil)
+      @list = nil
+      @queueCount = 0
+      @holdCount = 0
+   end
+
+   def holdCurrent
+      @holdCount += 1
+      @currentTcb.held
+      @currentTcb.link
+   end
+
+   def queue(packet:)
+      task = @table.at(packet.id)
+      if task # not nil
+         @queueCount += 1
+         packet.link = nil
+         packet.id = @currentId
+         task.checkPriorityAdd(task: @currentTcb,packet: packet)
+      else
+         task
+      end
+   end
+
+   def release(id:)
+      task = @table.at(id)
+      task.notHeld
+      if task.pri > @currentTcb.pri
+         task
+      else
+         @currentTcb
+      end
+   end
+
+   def schedule()
+      @currentTcb = @list
+      while @currentTcb # not nil
+         if @currentTcb.isHeldOrSuspended?
+            @currentTcb = @currentTcb.link
+         else
+            @currentId = @currentTcb.id
+            # trace(@currentId + 1) #TRACE
+            @currentTcb = @currentTcb.run
+         end
+      end
+   end
+
+   def suspendCurrent()
+      @currentTcb.suspended
+   end
+
+   def addDeviceTask(id:,pri:,wkq:)
+      createTcb(id: id,pri: pri,wkq: wkq, task: DeviceTask.new(scheduler: self))
+   end
+
+   def addHandlerTask(id:,pri:,wkq:)
+      createTcb(id: id,pri: pri,wkq: wkq, task: HandlerTask.new(scheduler: self))
+   end
+
+   def addIdleTask(id:,pri:,wkq:,count:)
+      createRunningTcb(id: id,pri: pri,wkq: wkq, task: IdleTask.new(scheduler: self,v1: 1,v2: count))
+   end
+
+   def addWorkerTask(id:,pri:,wkq:)
+      createTcb(id: id,pri: pri,wkq: wkq, task: WorkerTask.new(scheduler: self, v1: HANDLERA, v2: 0))
+   end
+
+   def createRunningTcb(id:,pri:,wkq:,task:)
+      createTcb(id: id,pri: pri,wkq: wkq, task: task)
+      @currentTcb.setRunning
+   end
+
+   def createTcb(id:,pri:,wkq:,task:)
+      @currentTcb = Tcb.new(link: @list,id: id,pri: pri,wkq: wkq, task: task)
+      @list = @currentTcb
+      @table[id] = @currentTcb
+   end
+end
+
+
+class DeviceTask
+   def initialize(scheduler:)
+      @scheduler = scheduler
+   end
+
+   def run(packet:)
+      if packet # not nil
+         @v1 = packet
+         # trace(packet.a1.chr) #TRACE
+         @scheduler.holdCurrent
+      else
+         if @v1 # not nil
+            pkt = @v1
+            @v1 = nil
+            @scheduler.queue(packet: pkt)
+         else
+            @scheduler.suspendCurrent
+         end
+      end
+   end
+end
+
+
+class HandlerTask
+   def initialize(scheduler:)
+      @scheduler = scheduler
+   end
+
+   def run(packet:)
+      if packet # not nil
+         if packet.kind == Packet::WORK
+            @v1 = packet.addTo(queue: @v1)
+         else
+            @v2 = packet.addTo(queue: @v2)
+         end
+      end
+      if @v1 # not nil
+         if (count = @v1.a1) < 4
+            if @v2 # not nil
+               v = @v2
+               @v2 = @v2.link
+               v.a1 = @v1.a2.at(count)
+               @v1.a1 = count+1
+               return @scheduler.queue(packet: v)
+            end
+         else
+            v = @v1
+            @v1 = @v1.link
+            return @scheduler.queue(packet: v)
+         end
+      end
+      @scheduler.suspendCurrent
+   end
+end
+
+
+class IdleTask
+   def initialize(scheduler:,v1:,v2:)
+      @scheduler = scheduler
+      @v1 = v1
+      @v2 = v2
+   end
+
+   def run(packet:)
+      if ( @v2 -= 1 ).zero?
+         @scheduler.holdCurrent
+      else
+         if (@v1 & 1).zero?
+            @v1 >>= 1
+            @scheduler.release(id: DEVICEA)
+         else
+            @v1 >>= 1
+            @v1 ^= 0xD008
+            @scheduler.release(id: DEVICEB)
+         end
+      end
+   end
+end
+
+
+class WorkerTask
+   ALPHA = "0ABCDEFGHIJKLMNOPQRSTUVWXYZ"
+
+   def initialize(scheduler:,v1:,v2:)
+      @scheduler = scheduler
+      @v1 = v1
+      @v2 = v2
+   end
+
+   def run(packet:)
+      if packet # not nil
+         @v1 =
+            if @v1 == HANDLERA
+               HANDLERB
+            else
+               HANDLERA
+            end
+         packet.id = @v1
+         packet.a1 = 0
+
+         packet.a2.collect! {|x|
+            @v2 += 1
+            @v2 = 1 if @v2 > 26
+            ALPHA[@v2]
+            }
+         @scheduler.queue(packet: packet)
+      else
+         @scheduler.suspendCurrent
+      end
+   end
+end
+
+
+class Tcb
+   RUNNING = 0b0
+   RUNNABLE = 0b1
+   SUSPENDED = 0b10
+   HELD = 0b100
+   SUSPENDED_RUNNABLE = SUSPENDED | RUNNABLE
+   NOT_HELD = ~HELD
+
+   attr_reader :link, :id, :pri
+
+   def initialize(link:, id:, pri:, wkq:, task:)
+      @link = link
+      @id = id
+      @pri = pri
+      @wkq = wkq
+      @task = task
+      # SUSPENDED_RUNNABLE else SUSPENDED
+      @state = if wkq then 0b11 else 0b10 end
+   end
+
+   def checkPriorityAdd(task:,packet:)
+      if @wkq # not nil
+         packet.addTo(queue: @wkq)
+      else
+         @wkq = packet
+         @state |= 0b1 # RUNNABLE
+         return self if @pri > task.pri
+      end
+      task
+   end
+
+   def run
+      if @state == 0b11 # SUSPENDED_RUNNABLE
+         packet = @wkq
+         @wkq = packet.link
+         @state = @wkq ? 0b1 : 0b0 # RUNNABLE : RUNNING
+      else
+         packet = nil
+      end
+      @task.run(packet: packet)
+   end
+
+   def setRunning
+      @state = 0b0 # RUNNING
+   end
+
+   def suspended
+      @state |= 0b10 # SUSPENDED
+      self
+   end
+
+   def held
+      @state |= 0b100 # HELD
+   end
+
+   def notHeld
+      @state &= ~0b100 # NOT_HELD
+   end
+
+   def isHeldOrSuspended?
+      #(@state & HELD) != 0 || @state == SUSPENDED
+      (@state & 0b100) != 0 || @state == 0b10
+   end
+end
+
+
+class Packet
+   DEVICE = 0
+   WORK = 1
+
+   attr_accessor :link, :id, :kind, :a1
+   attr_reader :a2
+
+   def initialize(link:, id:, kind:)
+      @link = link
+      @id = id
+      @kind = kind
+      @a1 = 0
+      @a2 = Array.new(4,0)
+   end
+
+   def addTo(queue:)
+     @link = nil
+     unless queue
+       self
+     else
+       nextPacket = queue
+       while (peek = nextPacket.link)
+         nextPacket = peek
+       end
+       nextPacket.link = self
+       queue
+     end
+   end
+
+end
+
+class Packet
+
+  attr_accessor :link, :id, :kind, :a1
+  attr_reader :a2
+   def initialize(link:, id:, kind:)
+      @link = link
+      @id = id
+      @kind = kind
+      @a1 = 0
+      @a2 = Array.new(4,0)
+   end
+
+   def addTo(queue:)
+     @link = nil
+     unless queue
+       self
+     else
+       nextPacket = queue
+       while (peek = nextPacket.link)
+         nextPacket = peek
+       end
+       nextPacket.link = self
+       queue
+     end
+   end
+
+end
+
+
+def harness_input
+  100
+end
+
+def harness_sample(input)
+  run(input)
+end
+
+def harness_verify(output)
+  # Self-verifies
+  true
+end
+
+require 'bench9000/harness'

data/benchmarks/classic/richards.rb

@@ -0,0 +1,403 @@
+# Derived from http://pws.prserv.net/dlissett/ben/bench1.htm
+# Licensed CC BY-NC-SA 1.0
+
+# Adapted by Stefan Marr, and then by Chris Seaton
+
+IDLE = 0
+WORKER = 1
+HANDLERA = 2
+HANDLERB = 3
+DEVICEA = 4
+DEVICEB = 5
+
+MAXTASKS = 6
+$layout = 0
+
+
+def run(iterations)
+   s = Scheduler.new
+   for i in 0..iterations
+     s.reset
+     s.addIdleTask(IDLE, 0, nil, 10000)
+
+     wkq = Packet.new(nil, WORKER, Packet::WORK)
+     wkq = Packet.new(wkq, WORKER, Packet::WORK)
+     s.addWorkerTask(WORKER, 1000, wkq)
+
+     wkq = Packet.new(nil, DEVICEA, Packet::DEVICE)
+     wkq = Packet.new(wkq, DEVICEA, Packet::DEVICE)
+     wkq = Packet.new(wkq, DEVICEA, Packet::DEVICE)
+     s.addHandlerTask(HANDLERA, 2000, wkq)
+
+     wkq = Packet.new(nil, DEVICEB, Packet::DEVICE)
+     wkq = Packet.new(wkq, DEVICEB, Packet::DEVICE)
+     wkq = Packet.new(wkq, DEVICEB, Packet::DEVICE)
+     s.addHandlerTask(HANDLERB, 3000, wkq)
+
+     s.addDeviceTask(DEVICEA, 4000, nil)
+     s.addDeviceTask(DEVICEB, 5000, nil)
+     s.schedule
+
+     if s.holdCount != 9297 or s.queueCount != 23246
+       return false
+     end
+   end
+
+   return true
+end
+
+
+def trace(c)
+   if $layout <= 0
+      print "\n"
+      $layout = 50
+   end
+   $layout -= 1
+   print c
+end
+
+
+class Scheduler
+   attr_reader :queueCount, :holdCount
+
+   def initialize()
+      @table = Array.new(MAXTASKS,nil)
+      @list = nil
+      @queueCount = 0
+      @holdCount = 0
+   end
+
+   def reset()
+      @table = Array.new(MAXTASKS,nil)
+      @list = nil
+      @queueCount = 0
+      @holdCount = 0
+   end
+
+   def holdCurrent
+      @holdCount += 1
+      @currentTcb.held
+      @currentTcb.link
+   end
+
+   def queue(packet)
+      task = @table.at(packet.id)
+      if task # not nil
+         @queueCount += 1
+         packet.link = nil
+         packet.id = @currentId
+         task.checkPriorityAdd(@currentTcb,packet)
+      else
+         task
+      end
+   end
+
+   def release(id)
+      task = @table.at(id)
+      task.notHeld
+      if task.pri > @currentTcb.pri
+         task
+      else
+         @currentTcb
+      end
+   end
+
+   def schedule()
+      @currentTcb = @list
+      while @currentTcb # not nil
+         if @currentTcb.isHeldOrSuspended?
+            @currentTcb = @currentTcb.link
+         else
+            @currentId = @currentTcb.id
+            # trace(@currentId + 1) #TRACE
+            @currentTcb = @currentTcb.run
+         end
+      end
+   end
+
+   def suspendCurrent()
+      @currentTcb.suspended
+   end
+
+   def addDeviceTask(id,pri,wkq)
+      createTcb(id,pri,wkq, DeviceTask.new(self))
+   end
+
+   def addHandlerTask(id,pri,wkq)
+      createTcb(id,pri,wkq, HandlerTask.new(self))
+   end
+
+   def addIdleTask(id,pri,wkq,count)
+      createRunningTcb(id,pri,wkq, IdleTask.new(self,1,count))
+   end
+
+   def addWorkerTask(id,pri,wkq)
+      createTcb(id,pri,wkq, WorkerTask.new(self,HANDLERA,0))
+   end
+
+   def createRunningTcb(id,pri,wkq,task)
+      createTcb(id,pri,wkq,task)
+      @currentTcb.setRunning
+   end
+
+   def createTcb(id,pri,wkq,task)
+      @currentTcb = Tcb.new(@list,id,pri,wkq,task)
+      @list = @currentTcb
+      @table[id] = @currentTcb
+   end
+end
+
+
+class DeviceTask
+   def initialize(scheduler)
+      @scheduler = scheduler
+   end
+
+   def run(packet)
+      if packet # not nil
+         @v1 = packet
+         # trace(packet.a1.chr) #TRACE
+         @scheduler.holdCurrent
+      else
+         if @v1 # not nil
+            pkt = @v1
+            @v1 = nil
+            @scheduler.queue(pkt)
+         else
+            @scheduler.suspendCurrent
+         end
+      end
+   end
+end
+
+
+class HandlerTask
+   def initialize(scheduler)
+      @scheduler = scheduler
+   end
+
+   def run(packet)
+      if packet # not nil
+         if packet.kind == Packet::WORK
+            @v1 = packet.addTo(@v1)
+         else
+            @v2 = packet.addTo(@v2)
+         end
+      end
+      if @v1 # not nil
+         if (count = @v1.a1) < 4
+            if @v2 # not nil
+               v = @v2
+               @v2 = @v2.link
+               v.a1 = @v1.a2.at(count)
+               @v1.a1 = count+1
+               return @scheduler.queue(v)
+            end
+         else
+            v = @v1
+            @v1 = @v1.link
+            return @scheduler.queue(v)
+         end
+      end
+      @scheduler.suspendCurrent
+   end
+end
+
+
+class IdleTask
+   def initialize(scheduler,v1,v2)
+      @scheduler = scheduler
+      @v1 = v1
+      @v2 = v2
+   end
+
+   def run(packet)
+      if ( @v2 -= 1 ).zero?
+         @scheduler.holdCurrent
+      else
+         if (@v1 & 1).zero?
+            @v1 >>= 1
+            @scheduler.release(DEVICEA)
+         else
+            @v1 >>= 1
+            @v1 ^= 0xD008
+            @scheduler.release(DEVICEB)
+         end
+      end
+   end
+end
+
+
+class WorkerTask
+   ALPHA = "0ABCDEFGHIJKLMNOPQRSTUVWXYZ"
+
+   def initialize(scheduler,v1,v2)
+      @scheduler = scheduler
+      @v1 = v1
+      @v2 = v2
+   end
+
+   def run(packet)
+      if packet # not nil
+         @v1 =
+            if @v1 == HANDLERA
+               HANDLERB
+            else
+               HANDLERA
+            end
+         packet.id = @v1
+         packet.a1 = 0
+
+         packet.a2.collect! {|x|
+            @v2 += 1
+            @v2 = 1 if @v2 > 26
+            ALPHA[@v2]
+            }
+         @scheduler.queue(packet)
+      else
+         @scheduler.suspendCurrent
+      end
+   end
+end
+
+
+class Tcb
+   RUNNING = 0b0
+   RUNNABLE = 0b1
+   SUSPENDED = 0b10
+   HELD = 0b100
+   SUSPENDED_RUNNABLE = SUSPENDED | RUNNABLE
+   NOT_HELD = ~HELD
+
+   attr_reader :link, :id, :pri
+
+   def initialize(link, id, pri, wkq, task)
+      @link = link
+      @id = id
+      @pri = pri
+      @wkq = wkq
+      @task = task
+      # SUSPENDED_RUNNABLE else SUSPENDED
+      @state = if wkq then 0b11 else 0b10 end
+   end
+
+   def checkPriorityAdd(task,packet)
+      if @wkq # not nil
+         packet.addTo(@wkq)
+      else
+         @wkq = packet
+         @state |= 0b1 # RUNNABLE
+         return self if @pri > task.pri
+      end
+      task
+   end
+
+   def run
+      if @state == 0b11 # SUSPENDED_RUNNABLE
+         packet = @wkq
+         @wkq = packet.link
+         @state = @wkq ? 0b1 : 0b0 # RUNNABLE : RUNNING
+      else
+         packet = nil
+      end
+      @task.run(packet)
+   end
+
+   def setRunning
+      @state = 0b0 # RUNNING
+   end
+
+   def suspended
+      @state |= 0b10 # SUSPENDED
+      self
+   end
+
+   def held
+      @state |= 0b100 # HELD
+   end
+
+   def notHeld
+      @state &= ~0b100 # NOT_HELD
+   end
+
+   def isHeldOrSuspended?
+      #(@state & HELD) != 0 || @state == SUSPENDED
+      (@state & 0b100) != 0 || @state == 0b10
+   end
+end
+
+
+class Packet
+   DEVICE = 0
+   WORK = 1
+
+   attr_accessor :link, :id, :kind, :a1
+   attr_reader :a2
+
+   def initialize(link, id, kind)
+      @link = link
+      @id = id
+      @kind = kind
+      @a1 = 0
+      @a2 = Array.new(4,0)
+   end
+
+   def addTo(queue)
+     @link = nil
+     unless queue
+       self
+     else
+       nextPacket = queue
+       while (peek = nextPacket.link)
+         nextPacket = peek
+       end
+       nextPacket.link = self
+       queue
+     end
+   end
+
+end
+
+class Packet
+
+  attr_accessor :link, :id, :kind, :a1
+  attr_reader :a2
+   def initialize(link, id, kind)
+      @link = link
+      @id = id
+      @kind = kind
+      @a1 = 0
+      @a2 = Array.new(4,0)
+   end
+
+   def addTo(queue)
+     @link = nil
+     unless queue
+       self
+     else
+       nextPacket = queue
+       while (peek = nextPacket.link)
+         nextPacket = peek
+       end
+       nextPacket.link = self
+       queue
+     end
+   end
+
+end
+
+
+def harness_input
+  100
+end
+
+def harness_sample(input)
+  run(input)
+end
+
+def harness_verify(output)
+  # Self-verifies
+  true
+end
+
+require 'bench9000/harness'