gisele-vm 0.6.0

data/lib/gisele/vm/robustness.rb

@@ -0,0 +1,31 @@
+module Gisele
+  class VM
+    module Robustness
+
+    private
+
+      def valid_label!(at)
+        unless vm.bytecode[at]
+          raise InvalidLabelError, "Unknown label: `#{at.inspect}`"
+        end
+        at
+      end
+
+      def valid_input!(input)
+        unless Array===input
+          raise InvalidInputError, "Invalid VM input: `#{input.inspect}`"
+        end
+        input
+      end
+
+      def valid_prog!(p, waitfor)
+        prog = Prog===p ? p : vm.fetch(p)
+        unless prog.waitfor == waitfor
+          raise InvalidStateError, "Prog `#{p}` does not wait for the #{waitfor}"
+        end
+        prog
+      end
+
+    end # module Robustness
+  end # class VM
+end # module Gisele

data/lib/gisele/vm/simulator/resumer.rb

@@ -0,0 +1,32 @@
+module Gisele
+  class VM
+    module Simulator
+      class Resumer < Component
+
+        def enter_heartbeat
+          @timer = EM.add_periodic_timer(0.01, &method(:resume))
+        end
+
+        def leave_heartbeat
+          @timer.cancel
+        end
+
+      private
+
+        def resume
+          prog = vm.pick(:waitfor => :world)
+          resume_one(prog) if prog
+        end
+
+        def resume_one(prog)
+          event = prog.waitlist.keys.sample
+          debug("Resuming Prog #{prog.puid}@#{prog.pc} -> #{event}")
+          vm.resume(prog, [ event ])
+        rescue Exception => ex
+          error error_message(ex, "Resume error (#{prog.puid}):")
+        end
+
+      end # class Resumer
+    end # class Simulator
+  end # class VM
+end # module Gisele

data/spec/command/gvm_compile.cmd

@@ -0,0 +1 @@
+gts --compile complete.gis

data/spec/command/gvm_compile.stdout

@@ -0,0 +1,111 @@
+main: then :s0
+s0:   push {:Main=>:s2}
+      flip
+      get
+      then
+s1:   then :notify
+s2:   then :s5
+      then :e48
+e48:  push ["Main"]
+      event :start
+s3:   then :notify
+s4:   then :s3
+      then :e50
+e50:  push ["Main"]
+      event :end
+s5:   push :s6
+      push [:s7, :s14]
+      then :fork
+s6:   push {:wake=>:s4}
+      then :join
+s7:   push :s8
+      push [:s9]
+      then :fork
+s8:   push {:wake=>:s13}
+      then :join
+s9:   then :s10
+      then :e2
+e2:   push ["Sort"]
+      event :start
+s10:  push {:ended=>:s11}
+      then :listen
+s11:  then :s12
+      then :e4
+e4:   push ["Sort"]
+      event :end
+s12:  then :notify
+s13:  then :notify
+s14:  then :s16
+s15:  then :s44
+s16:  push :s17
+      push [:s18]
+      then :fork
+s17:  push {:wake=>:s22}
+      then :join
+s18:  then :s19
+      then :e11
+e11:  push ["Hello"]
+      event :start
+s19:  push {:ended=>:s20}
+      then :listen
+s20:  then :s21
+      then :e13
+e13:  push ["Hello"]
+      event :end
+s21:  then :notify
+s22:  push :s23
+      push [:s24, :s31]
+      then :fork
+s23:  push {:wake=>:s38}
+      then :join
+s24:  push :s25
+      push [:s26]
+      then :fork
+s25:  push {:wake=>:s30}
+      then :join
+s26:  then :s27
+      then :e19
+e19:  push ["Ping"]
+      event :start
+s27:  push {:ended=>:s28}
+      then :listen
+s28:  then :s29
+      then :e21
+e21:  push ["Ping"]
+      event :end
+s29:  then :notify
+s30:  then :notify
+s31:  push :s32
+      push [:s33]
+      then :fork
+s32:  push {:wake=>:s37}
+      then :join
+s33:  then :s34
+      then :e28
+e28:  push ["Pong"]
+      event :start
+s34:  push {:ended=>:s35}
+      then :listen
+s35:  then :s36
+      then :e30
+e30:  push ["Pong"]
+      event :end
+s36:  then :notify
+s37:  then :notify
+s38:  push :s39
+      push [:s40]
+      then :fork
+s39:  push {:wake=>:s15}
+      then :join
+s40:  then :s41
+      then :e38
+e38:  push ["Goodbye"]
+      event :start
+s41:  push {:ended=>:s42}
+      then :listen
+s42:  then :s43
+      then :e40
+e40:  push ["Goodbye"]
+      event :end
+s43:  then :notify
+s44:  then :notify

data/spec/command/gvm_gts.cmd

@@ -0,0 +1 @@
+gvm --gts complete.gis

data/spec/command/gvm_gts.stdout

@@ -0,0 +1,101 @@
+digraph G {
+  graph [rankdir="LR"];
+  0 [fillcolor="green" fixedsize="true" label="LA" shape="circle" style="filled" width="0.6"];
+  1 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  2 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  3 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  4 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  5 [fillcolor="white" fixedsize="true" label="F" shape="octagon" style="filled" width="0.6"];
+  6 [fillcolor="white" fixedsize="true" label="J" shape="doubleoctagon" style="filled" width="0.6"];
+  7 [fillcolor="white" fixedsize="true" label="F" shape="octagon" style="filled" width="0.6"];
+  8 [fillcolor="white" fixedsize="true" label="J" shape="doubleoctagon" style="filled" width="0.6"];
+  9 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  10 [fillcolor="white" fixedsize="true" label="L" shape="doublecircle" style="filled" width="0.6"];
+  11 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  12 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  13 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  14 [fillcolor="white" fixedsize="true" label="N" shape="circle" style="filled" width="0.6"];
+  15 [fillcolor="white" fixedsize="true" label="N" shape="circle" style="filled" width="0.6"];
+  16 [fillcolor="white" fixedsize="true" label="F" shape="octagon" style="filled" width="0.6"];
+  17 [fillcolor="white" fixedsize="true" label="J" shape="doubleoctagon" style="filled" width="0.6"];
+  18 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  19 [fillcolor="white" fixedsize="true" label="L" shape="doublecircle" style="filled" width="0.6"];
+  20 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  21 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  22 [fillcolor="white" fixedsize="true" label="F" shape="octagon" style="filled" width="0.6"];
+  23 [fillcolor="white" fixedsize="true" label="J" shape="doubleoctagon" style="filled" width="0.6"];
+  24 [fillcolor="white" fixedsize="true" label="F" shape="octagon" style="filled" width="0.6"];
+  25 [fillcolor="white" fixedsize="true" label="J" shape="doubleoctagon" style="filled" width="0.6"];
+  26 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  27 [fillcolor="white" fixedsize="true" label="L" shape="doublecircle" style="filled" width="0.6"];
+  28 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  29 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  30 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  31 [fillcolor="white" fixedsize="true" label="F" shape="octagon" style="filled" width="0.6"];
+  32 [fillcolor="white" fixedsize="true" label="J" shape="doubleoctagon" style="filled" width="0.6"];
+  33 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  34 [fillcolor="white" fixedsize="true" label="L" shape="doublecircle" style="filled" width="0.6"];
+  35 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  36 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  37 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  38 [fillcolor="white" fixedsize="true" label="F" shape="octagon" style="filled" width="0.6"];
+  39 [fillcolor="white" fixedsize="true" label="J" shape="doubleoctagon" style="filled" width="0.6"];
+  40 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  41 [fillcolor="white" fixedsize="true" label="L" shape="doublecircle" style="filled" width="0.6"];
+  42 [fillcolor="white" fixedsize="true" label="EVT" shape="circle" style="filled" width="0.6"];
+  43 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  44 [fillcolor="grey" fixedsize="true" label="E" shape="doublecircle" style="filled" width="0.6"];
+  5 -> 6 [label="(wait)"];
+  7 -> 8 [label="(wait)"];
+  9 -> 10 [label="start(Sort)"];
+  10 -> 11 [label="ended"];
+  11 -> 12 [label="end(Sort)"];
+  7 -> 9 [label="(forked)"];
+  12 -> 8 [label="(notify)"];
+  5 -> 7 [label="(forked#0)"];
+  8 -> 13 [label="(joined)"];
+  13 -> 6 [label="(notify)"];
+  16 -> 17 [label="(wait)"];
+  18 -> 19 [label="start(Hello)"];
+  19 -> 20 [label="ended"];
+  20 -> 21 [label="end(Hello)"];
+  16 -> 18 [label="(forked)"];
+  21 -> 17 [label="(notify)"];
+  14 -> 16 [label=""];
+  22 -> 23 [label="(wait)"];
+  24 -> 25 [label="(wait)"];
+  26 -> 27 [label="start(Ping)"];
+  27 -> 28 [label="ended"];
+  28 -> 29 [label="end(Ping)"];
+  24 -> 26 [label="(forked)"];
+  29 -> 25 [label="(notify)"];
+  22 -> 24 [label="(forked#0)"];
+  25 -> 30 [label="(joined)"];
+  30 -> 23 [label="(notify)"];
+  31 -> 32 [label="(wait)"];
+  33 -> 34 [label="start(Pong)"];
+  34 -> 35 [label="ended"];
+  35 -> 36 [label="end(Pong)"];
+  31 -> 33 [label="(forked)"];
+  36 -> 32 [label="(notify)"];
+  22 -> 31 [label="(forked#1)"];
+  32 -> 37 [label="(joined)"];
+  37 -> 23 [label="(notify)"];
+  17 -> 22 [label=""];
+  38 -> 39 [label="(wait)"];
+  40 -> 41 [label="start(Goodbye)"];
+  41 -> 42 [label="ended"];
+  42 -> 43 [label="end(Goodbye)"];
+  38 -> 40 [label="(forked)"];
+  43 -> 39 [label="(notify)"];
+  23 -> 38 [label=""];
+  39 -> 15 [label=""];
+  5 -> 14 [label="(forked#1)"];
+  15 -> 44 [label="(joined)"];
+  44 -> 6 [label="(notify)"];
+  2 -> 5 [label="start(Main)"];
+  6 -> 4 [label=""];
+  4 -> 3 [label="end(Main)"];
+  0 -> 2 [label="Main"];
+  3 -> 1 [label=""];
+}

data/spec/command/gvm_help.cmd

@@ -0,0 +1 @@
+gvm --help

data/spec/command/gvm_help.stdout

@@ -0,0 +1,30 @@
+
+The Gisele Virtual Machine
+
+SYNOPSIS
+  gvm [--version] [--help]
+  gvm [--drb-server] [options] GIS_FILE
+  gvm --drb-client [options]
+
+OPTIONS
+      --help                       Show this help message
+      --version                    Show version and exit
+  -c, --compile                    Compile the input file and output the VM bytecode
+  -g, --gts                        Outputs a gisele transition system
+
+Storage
+      --storage=URI                Use the specified storage (defaults to 'memory')
+  -t, --truncate                   Truncate process instances first
+
+VM & Agents
+  -i, --interactive                Start a console in interactive VM mode
+  -s, --simulate                   Use an agent simulating the environment
+      --drb-server                 Register the VM as a DRb server
+      --drb-client                 Look for the virtual machine on DRb
+
+Logging
+  -v, --verbose                    Log in verbose mode
+      --silent                     Only show warnings and errors
+      --log=FILE                   Use a specific log file
+
+SystemExit

data/spec/command/gvm_version.cmd

@@ -0,0 +1 @@
+gvm --version

data/spec/command/gvm_version.stdout

@@ -0,0 +1,2 @@
+gvm 0.6.0 (c) The University of Louvain
+SystemExit

data/spec/command/test_command.rb

@@ -0,0 +1,29 @@
+require 'spec_helper'
+require 'gisele/vm/command'
+module Gisele
+  describe 'the `gvm` commandline tool' do
+
+    Path.dir.glob("**/*.cmd").each do |cmdfile|
+
+      it "executes `#{cmdfile}` as expected" do
+        command = cmdfile.read.strip
+        argv    = Quickl.parse_commandline_args(command)[1..-1]
+        stdout  = cmdfile.sub_ext('.stdout').read
+
+        out, err = capture_io do
+          begin
+            Dir.chdir Path.dir/'../fixtures' do
+              VM::Command.run(argv)
+            end
+          rescue SystemExit
+            puts "SystemExit"
+          end
+        end
+
+        out.should eq stdout
+      end
+
+    end
+
+  end
+end

data/spec/fixtures/complete.gis

@@ -0,0 +1,13 @@
+task Main
+  par
+    Sort
+    seq
+      Hello
+      par
+        Ping
+        Pong
+      end
+      Goodbye
+    end
+  end
+end

data/spec/fixtures/fake_component.rb

@@ -0,0 +1,24 @@
+module Gisele
+  class VM
+    module FakeComponent
+      def registered(vm)
+        @vm = vm
+      end
+      def unregistered
+        @vm = nil
+      end
+      def registered?
+        !@vm.nil?
+      end
+      def connect
+        @connected = true
+      end
+      def disconnect
+        @connected = false
+      end
+      def connected?
+        @connected
+      end
+    end
+  end
+end

data/spec/fixtures/kernel.rb

@@ -0,0 +1,39 @@
+module Gisele
+  class VM
+    class Kernel
+      public :runner
+      class Runner
+        attr_accessor :bytecode
+        attr_accessor :opcodes
+        attr_accessor :stack
+
+        public :push, :peek, :pop
+
+        public :op_then,
+               :op_puid,
+               :op_parent,
+               :op_fetch,
+               :op_save,
+               :op_savea,
+               :op_pop,
+               :op_push,
+               :op_send,
+               :op_invoke,
+               :op_fold,
+               :op_unfold,
+               :op_event,
+               :op_fork,
+               :op_forka,
+               :op_get,
+               :op_getr,
+               :op_set,
+               :op_del,
+               :op_self,
+               :op_flip,
+               :op_nop,
+               :op_ifenil,
+               :op_ifezero
+      end
+    end
+  end
+end

data/spec/fixtures/ts.adl

@@ -0,0 +1,11 @@
+5 5
+0 true false
+1 false true
+2 false false
+3 false false
+4 false false
+0 1 hello
+1 2 ping
+2 1 pong
+1 3 goodbye
+3 4 ciao