gisele-vm 0.6.0

data/CHANGELOG.md

@@ -0,0 +1,5 @@
+# 0.1.0 / FIX ME
+
+* Enhancements
+
+  * Birthday!

data/Gemfile

@@ -0,0 +1,18 @@
+source 'http://rubygems.org'
+
+group :runtime do
+  gem "gisele-language", "~> 0.6.0"
+  gem "alf", "~> 0.12.2"
+  gem "stamina-core", "~> 0.6.1"
+  gem "sequel", "~> 3.40"
+  gem "eventmachine", "~> 1.0.0"
+end
+
+group :extra do
+  gem "sqlite3", "~> 1.3"
+end
+
+group :development do
+  gem "rake", "~> 0.9.2"
+  gem "rspec", "~> 2.11"
+end

data/Gemfile.lock

@@ -0,0 +1,46 @@
+GEM
+  remote: http://rubygems.org/
+  specs:
+    alf (0.12.2)
+      backports (~> 2.6)
+      myrrha (~> 1.2.1)
+      quickl (~> 0.4.2)
+    backports (2.6.4)
+    citrus (2.4.1)
+    diff-lcs (1.1.3)
+    eventmachine (1.0.0)
+    gisele-language (0.6.0)
+      citrus (~> 2.4)
+      path (~> 1.2)
+      sexpr (~> 0.5.0)
+    myrrha (1.2.2)
+    path (1.3.1)
+    quickl (0.4.3)
+    rake (0.9.2.2)
+    rspec (2.11.0)
+      rspec-core (~> 2.11.0)
+      rspec-expectations (~> 2.11.0)
+      rspec-mocks (~> 2.11.0)
+    rspec-core (2.11.1)
+    rspec-expectations (2.11.1)
+      diff-lcs (~> 1.1.3)
+    rspec-mocks (2.11.1)
+    sequel (3.40.0)
+    sexpr (0.5.1)
+    sqlite3 (1.3.5)
+    stamina-core (0.6.1)
+      quickl (~> 0.4.3)
+
+PLATFORMS
+  java
+  ruby
+
+DEPENDENCIES
+  alf (~> 0.12.2)
+  eventmachine (~> 1.0.0)
+  gisele-language (~> 0.6.0)
+  rake (~> 0.9.2)
+  rspec (~> 2.11)
+  sequel (~> 3.40)
+  sqlite3 (~> 1.3)
+  stamina-core (~> 0.6.1)

data/LICENCE.md

@@ -0,0 +1,22 @@
+# The MIT Licence
+
+    Copyright (c) 2012 - Bernard Lambeau
+
+    Permission is hereby granted, free of charge, to any person obtaining
+    a copy of this software and associated documentation files (the
+    "Software"), to deal in the Software without restriction, including
+    without limitation the rights to use, copy, modify, merge, publish,
+    distribute, sublicense, and/or sell copies of the Software, and to
+    permit persons to whom the Software is furnished to do so, subject to
+    the following conditions:
+
+    The above copyright notice and this permission notice shall be
+    included in all copies or substantial portions of the Software.
+
+    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+    EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+    MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+    NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+    LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+    OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+    WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Manifest.txt

@@ -0,0 +1,15 @@
+gisele-vm.gemspec
+gisele-vm.noespec
+.gemtest
+CHANGELOG.md
+Gemfile
+Gemfile.lock
+bin/**/*
+lib/**/*
+LICENCE.md
+Manifest.txt
+Rakefile
+README.md
+spec/**/*
+tasks/**/*
+test/**/*

data/README.md

@@ -0,0 +1,10 @@
+# Gisele::VM
+
+[![Build Status](https://secure.travis-ci.org/blambeau/gisele-vm.png)](http://travis-ci.org/blambeau/gisele-vm)
+[![Dependency Status](https://gemnasium.com/blambeau/gisele-vm.png)](https://gemnasium.com/blambeau/gisele-vm)
+
+A virtual machine for the gisele process language.
+
+## Links
+
+https://github.com/blambeau/gisele-vm

data/Rakefile

@@ -0,0 +1,11 @@
+# We run tests by default
+task :default => :test
+
+#
+# Install all tasks found in tasks folder
+#
+# See .rake files there for complete documentation.
+#
+Dir["tasks/*.rake"].each do |taskfile|
+  load taskfile
+end

data/bin/gvm

@@ -0,0 +1,9 @@
+#!/usr/bin/env ruby
+begin
+  require 'gisele-vm'
+rescue LoadError => ex
+  $:.unshift File.expand_path('../../lib', __FILE__)
+  require 'gisele-vm'
+end
+require 'gisele/vm/command'
+Gisele::VM::Command.run(ARGV)

data/gisele-vm.gemspec

@@ -0,0 +1,191 @@
+# We require your library, mainly to have access to the VERSION number.
+# Feel free to set $version manually.
+$LOAD_PATH.unshift File.expand_path('../lib', __FILE__)
+require "gisele-vm/version"
+$version = Gisele::VM::Version.to_s
+
+#
+# This is your Gem specification. Default values are provided so that your library
+# should be correctly packaged given what you have described in the .noespec file.
+#
+Gem::Specification.new do |s|
+
+  ################################################################### ABOUT YOUR GEM
+
+  # Gem name (required)
+  s.name = "gisele-vm"
+
+  # Gem version (required)
+  s.version = $version
+
+  # A short summary of this gem
+  #
+  # This is displayed in `gem list -d`.
+  s.summary = "A virtual machine for the gisele process language."
+
+  # A long description of this gem (required)
+  #
+  # The description should be more detailed than the summary.  For example,
+  # you might wish to copy the entire README into the description.
+  s.description = "This project provides a virtual machine for the modeling language +gisele+\ndeveloped in the Gisele and PIPAS research projects at UCLouvain"
+
+  # The URL of this gem home page (optional)
+  s.homepage = "https://github.com/blambeau/gisele-vm"
+
+  # Gem publication date (required but auto)
+  #
+  # Today is automatically used by default, uncomment only if
+  # you know what you do!
+  #
+  # s.date = Time.now.strftime('%Y-%m-%d')
+
+  # The license(s) for the library.  Each license must be a short name, no
+  # more than 64 characters.
+  #
+  # s.licences = %w{}
+
+  # The rubyforge project this gem lives under (optional)
+  #
+  # s.rubyforge_project = nil
+
+  ################################################################### ABOUT THE AUTHORS
+
+  # The list of author names who wrote this gem.
+  #
+  # If you are providing multiple authors and multiple emails they should be
+  # in the same order.
+  #
+  s.authors = ["Bernard Lambeau"]
+
+  # Contact emails for this gem
+  #
+  # If you are providing multiple authors and multiple emails they should be
+  # in the same order.
+  #
+  # NOTE: Somewhat strangly this attribute is always singular!
+  #       Don't replace by s.emails = ...
+  s.email  = ["blambeau@gmail.com"]
+
+  ################################################################### PATHS, FILES, BINARIES
+
+  # Paths in the gem to add to $LOAD_PATH when this gem is
+  # activated (required).
+  #
+  # The default 'lib' is typically sufficient.
+  s.require_paths = ["lib"]
+
+  # Files included in this gem.
+  #
+  # By default, we take all files included in the Manifest.txt file on root
+  # of the project. Entries of the manifest are interpreted as Dir[...]
+  # patterns so that lazy people may use wilcards like lib/**/*
+  #
+  here = File.expand_path(File.dirname(__FILE__))
+  s.files = File.readlines(File.join(here, 'Manifest.txt')).
+                 inject([]){|files, pattern| files + Dir[File.join(here, pattern.strip)]}.
+                 collect{|x| x[(1+here.size)..-1]}
+
+  # Test files included in this gem.
+  #
+  s.test_files = Dir["test/**/*"] + Dir["spec/**/*"]
+
+  # The path in the gem for executable scripts (optional)
+  #
+  s.bindir = "bin"
+
+  # Executables included in the gem.
+  #
+  s.executables = (Dir["bin/*"]).collect{|f| File.basename(f)}
+
+  ################################################################### REQUIREMENTS & INSTALL
+  # Remember the gem version requirements operators and schemes:
+  #   =  Equals version
+  #   != Not equal to version
+  #   >  Greater than version
+  #   <  Less than version
+  #   >= Greater than or equal to
+  #   <= Less than or equal to
+  #   ~> Approximately greater than
+  #
+  # Don't forget to have a look at http://lmgtfy.com/?q=Ruby+Versioning+Policies
+  # for setting your gem version.
+  #
+  # For your requirements to other gems, remember that
+  #   ">= 2.2.0"              (optimistic:  specify minimal version)
+  #   ">= 2.2.0", "< 3.0"     (pessimistic: not greater than the next major)
+  #   "~> 2.2"                (shortcut for ">= 2.2.0", "< 3.0")
+  #   "~> 2.2.0"              (shortcut for ">= 2.2.0", "< 2.3.0")
+  #
+
+  #
+  # One call to add_dependency('gem_name', 'gem version requirement') for each
+  # runtime dependency. These gems will be installed with your gem.
+  # One call to add_development_dependency('gem_name', 'gem version requirement')
+  # for each development dependency. These gems are required for developers
+  #
+  s.add_development_dependency("sqlite3", "~> 1.3")
+  s.add_development_dependency("rake", "~> 0.9.2")
+  s.add_development_dependency("rspec", "~> 2.11")
+  s.add_dependency("gisele-language", "~> 0.6.0")
+  s.add_dependency("alf", "~> 0.12.2")
+  s.add_dependency("stamina-core", "~> 0.6.1")
+  s.add_dependency("sequel", "~> 3.40")
+  s.add_dependency("eventmachine", "~> 1.0.0")
+
+  # The version of ruby required by this gem
+  #
+  # Uncomment and set this if your gem requires specific ruby versions.
+  #
+  # s.required_ruby_version = ">= 0"
+
+  # The RubyGems version required by this gem
+  #
+  # s.required_rubygems_version = ">= 0"
+
+  # The platform this gem runs on.  See Gem::Platform for details.
+  #
+  # s.platform = nil
+
+  # Extensions to build when installing the gem.
+  #
+  # Valid types of extensions are extconf.rb files, configure scripts
+  # and rakefiles or mkrf_conf files.
+  #
+  s.extensions = []
+
+  # External (to RubyGems) requirements that must be met for this gem to work.
+  # It’s simply information for the user.
+  #
+  s.requirements = nil
+
+  # A message that gets displayed after the gem is installed
+  #
+  # Uncomment and set this if you want to say something to the user
+  # after gem installation
+  #
+  s.post_install_message = nil
+
+  ################################################################### SECURITY
+
+  # The key used to sign this gem.  See Gem::Security for details.
+  #
+  # s.signing_key = nil
+
+  # The certificate chain used to sign this gem.  See Gem::Security for
+  # details.
+  #
+  # s.cert_chain = []
+
+  ################################################################### RDOC
+
+  # An ARGV style array of options to RDoc
+  #
+  # See 'rdoc --help' about this
+  #
+  s.rdoc_options = []
+
+  # Extra files to add to RDoc such as README
+  #
+  s.extra_rdoc_files = Dir["README.md"] + Dir["CHANGELOG.md"] + Dir["LICENCE.md"]
+
+end

data/gisele-vm.noespec

@@ -0,0 +1,31 @@
+template-info:
+  name: rubygem.noe
+  version: 2.0.0
+  manifest:
+    lib/__lower__/version.rb:
+      ignore: true
+variables:
+  lower:
+    gisele-vm
+  upper:
+    Gisele::VM
+  version:
+    0.6.0
+  summary: |-
+    A virtual machine for the gisele process language.
+  description: |-
+    This project provides a virtual machine for the modeling language +gisele+
+    developed in the Gisele and PIPAS research projects at UCLouvain
+  authors:
+    - {name: Bernard Lambeau, email: blambeau@gmail.com}
+  links:
+    - https://github.com/blambeau/gisele-vm
+  dependencies:
+    - {name: gisele-language,  version: "~> 0.6.0",   groups: [runtime]}
+    - {name: alf,              version: "~> 0.12.2",  groups: [runtime]}
+    - {name: stamina-core,     version: "~> 0.6.1",   groups: [runtime]}
+    - {name: sequel,           version: "~> 3.40",    groups: [runtime]}
+    - {name: eventmachine,     version: "~> 1.0.0",   groups: [runtime]}
+    - {name: sqlite3,          version: "~> 1.3",     groups: [extra]}
+    - {name: rake,             version: "~> 0.9.2",   groups: [development]}
+    - {name: rspec,            version: "~> 2.11",    groups: [development]}

data/lib/gisele-vm.rb

@@ -0,0 +1,4 @@
+require_relative "gisele-vm/loader"
+require_relative "gisele-vm/version"
+require_relative "gisele/compiling"
+require_relative "gisele/vm"

data/lib/gisele-vm/loader.rb

@@ -0,0 +1,5 @@
+require "gisele-language"
+require "alf"
+require "stamina-core"
+require 'sequel/no_core_ext'
+require "eventmachine"

data/lib/gisele-vm/version.rb

@@ -0,0 +1,16 @@
+module Gisele
+  class VM
+    module Version
+
+      MAJOR = 0
+      MINOR = 6
+      TINY  = 0
+
+      def self.to_s
+        [ MAJOR, MINOR, TINY ].join('.')
+      end
+
+    end
+    VERSION = Version.to_s
+  end
+end

data/lib/gisele/compiling.rb

@@ -0,0 +1,3 @@
+require_relative 'compiling/gts'
+require_relative 'compiling/gts2bytecode'
+require_relative 'compiling/gisele2gts'

data/lib/gisele/compiling/gisele2gts.rb

@@ -0,0 +1,143 @@
+module Gisele
+  module Compiling
+    class Gisele2Gts < Sexpr::Rewriter
+      grammar Language
+
+      def self.compile(arg, parse_options = {})
+        case arg
+        when String, Path
+          parsed = Gisele.parse(arg, parse_options)
+          sexpr  = Gisele.sexpr(parsed)
+          compile(sexpr)
+        else
+          compiler = new
+          compiler.call(arg)
+          compiler.gts
+        end
+      end
+
+      # if/elsif/else -> guarded commands
+      use Language::IfToCase
+
+      def on_unit_def(sexpr)
+        entry = add_state(:launch, :initial => true)
+        exit  = add_state(:end)
+        tasks = sexpr.sexpr_body.select{|n| n.first == :task_def}
+        tasks.each do |task|
+          c_entry, c_exit = apply(task)
+          connect(entry, c_entry, task[1].to_sym)
+          connect(c_exit, exit)
+        end
+        [entry, exit]
+      end
+
+      def on_task_def(sexpr)
+        registry[sexpr[1]] ||= begin
+          entry  = add_state(:event)
+          exit   = add_state(:end)
+          endevt = add_state(:event)
+
+          sexpr[2...-1].each do |s|
+            apply(s) if s.first == :task_def
+          end
+
+          c_entry, c_exit = apply(sexpr.last)
+          connect(entry, c_entry, start_event(sexpr))
+          connect(c_exit, endevt)
+          connect(endevt, exit, end_event(sexpr))
+
+          [entry, exit]
+        end
+      end
+
+      def on_seq_st(sexpr)
+        entry = add_state(:nop)
+        exit  = add_state(:nop)
+
+        current = entry
+        sexpr.sexpr_body.each do |child|
+          c_entry, c_exit = apply(child)
+          connect(current, c_entry)
+          current = c_exit
+        end
+        connect(current, exit)
+
+        [entry, exit]
+      end
+
+      def on_par_st(sexpr)
+        entry = add_state(:fork)
+        exit  = add_state(:join)
+        connect(entry, exit, :"(wait)")
+
+        sexpr.sexpr_body.each_with_index do |child,idx|
+          c_entry, c_exit = apply(child)
+          c_end = add_state(:end)
+          connect(entry,  c_entry, :"(forked##{idx})")
+          connect(c_exit, c_end, :"(joined)")
+          connect(c_end, exit,  :"(notify)")
+        end
+
+        [entry,exit]
+      end
+
+      def on_task_call_st(sexpr)
+        entry = add_state(:fork)
+        exit  = add_state(:join)
+        connect(entry, exit, :"(wait)")
+
+        c_entry, c_exit = task_nodes(sexpr)
+        connect(entry, c_entry, :"(forked)")
+        connect(c_exit, exit, :"(notify)")
+
+        [entry, exit]
+      end
+
+      def gts
+        options[:gts] ||= Gts.new
+      end
+
+    private
+
+      def registry
+        @registry ||= {}
+      end
+
+      def task_nodes(sexpr)
+        registry[sexpr.last] || begin
+          entry  = add_state(:event)
+          listen = add_state(:listen)
+          endevt = add_state(:event)
+          exit   = add_state(:end)
+          connect(entry, listen, start_event(sexpr))
+          connect(listen, endevt, :ended)
+          connect(endevt, exit, end_event(sexpr))
+          [ entry, exit ]
+        end
+      end
+
+      def start_event(sexpr)
+        {:symbol => :start, :event_args => [ sexpr[1] ]}
+      end
+
+      def end_event(sexpr)
+        {:symbol => :end, :event_args => [ sexpr[1] ]}
+      end
+
+      def add_state(kind = :nop, attrs = {})
+        attrs = attrs.merge(:kind => kind)
+        case kind
+        when :join, :end, :listen
+          attrs[:accepting] = true
+        end
+        gts.add_state(attrs)
+      end
+
+      def connect(source, target, attrs={})
+        attrs = {:symbol => attrs} if Symbol===attrs
+        gts.connect(source, target, {:symbol => nil}.merge(attrs))
+      end
+
+    end # class Gisele2Gts
+  end # module Compiling
+end # module Gisele