ttk 0.1.580 → 0.2.0

data/ruby_ex/symtbl.rb

@@ -1,106 +0,0 @@
-# Author: Nicolas Pouillard  <ertai@lrde.epita.fr>.
-# Copyright: Copyright (c) 2004 Nicolas Pouillard. All rights reserved.
-# License: Ruby license.
-
-# $LastChangedBy: ertai $
-# $Id: symtbl.rb 189 2005-04-03 00:33:40Z ertai $
-
-require 'set'
-
-class SymTbl
-
-  @@sid = -1
-
-  attr_reader :sid, :local, :father
-
-  def initialize ( father_env=nil, default=nil )
-    @father = father_env
-    @sid = (@@sid += 1)
-    @local = Hash.new(default)
-  end
-
-  def [] ( aKey )
-    if @local.has_key? aKey
-      @local[aKey]
-    elsif @father.nil?
-      @local.default
-    else
-      @father[aKey]
-    end
-  end
-
-  def []= ( aKey, aValue )
-    @local[aKey] = aValue
-  end
-
-  # FIXME
-  def each ( &block )
-    key_set = Set.new
-    blk = lambda do |k,v|
-      block[k, v] unless key_set.include? k
-      key_set << k
-    end
-    @local.each(&blk)
-    @father.each(&blk) unless @father.nil?
-  end
-
-  def ancestors
-    (@father.is_a?(SymTbl))? [self] + @father.ancestors : [self]
-  end
-
-  def desc_one
-    if defined? @already_described
-      return sid
-    else
-      @already_described = true
-      return { sid => @local }
-    end
-  end
-
-  def desc
-    ancestors.map{ |s| s.desc_one }.to_yaml
-  end
-
-end # class SymTbl
-
-
-
-if defined? TEST_MODE or __FILE__ == $0
-
-  require 'test/unit'
-  class SymTblTest < Test::Unit::TestCase
-
-    def test1
-      root = SymTbl.new
-
-      root[:a] = 0
-      root[:b] = 1
-
-      assert_equal(1, root[:b], 't1')
-      assert_equal(0, root[:a], 't2')
-
-      sub1 = SymTbl.new(root)
-
-      sub1[:a] = 2
-      sub1[:c] = 3
-
-      assert_equal(1, sub1[:b], 't3')
-      assert_equal(2, sub1[:a], 't4')
-      assert_equal(3, sub1[:c], 't5')
-
-      assert_equal(0, root[:a], 't6')
-
-      sub2 = SymTbl.new(sub1)
-
-      assert_equal(2, sub2[:a], 't7')
-
-      sub2[:a] = 42
-
-      assert_equal(42, sub2[:a], 't8')
-
-      assert_equal([], sub2.desc)
-    end
-
-  end # class SymTblTest
-
-end

data/ruby_ex/synflow.rb

@@ -1,474 +0,0 @@
-# Copyright: Copyright (c) 2004  Nicolas Pouillard. All rights reserved.
-# Author: Nicolas Pouillard  <ertai@lrde.epita.fr>.
-# License: Gnu General Public License.
-
-# $LastChangedBy$
-# $Id$
-
-#
-# Efficients control flows for synchronisation (and mutual exclusion) in
-# parallel systems.
-#
-
-require 'thread'
-require 'set'
-
-#
-# The +SynFlowFactory+ define the common part for a set of flows.
-#
-# A SynFlow is like an automaton (finite state machine):
-#   * states
-#   * transitions
-#   * an alphabet
-#   * an initial state
-#   * a set of final states
-#
-# With  this  automaton  (diagram, graph...)  you  can easily describe important
-# steps of your program control flow.
-#
-# Your automaton describe a model of execution and constraint every execution
-# to it.
-#
-# When a thread want to change the state of its flow it proceed like that:
-#   flow << :a_symbol_of_the_alphabet
-#
-# If a transition between the _current_ state and a state _destination_ is
-# labeled by _symbol_, then the state is updated to _destination_. 
-# Otherwise the thread is constraint to wait the modification of the _current_
-# state.
-#
-# See examples below to know how to use these class.
-#
-class SynFlowFactory
-
-  class Transition
-    attr_reader :src, :dest, :label
-
-    def initialize ( src, label, dest )
-      @src, @label, @dest = src, label, dest
-    end
-
-    def to_a
-      [@src, @label, @dest]
-    end
-
-    def == ( rhs )
-      rhs.is_a? self.class and
-       @label == rhs.label and
-         @dest == rhs.dest and
-           @src == rhs.src
-    end
-  end # class Transition
-
-
-  class TransitionSet
-
-    def initialize
-      @val = {}
-    end
-
-    def include? ( *a )
-      case a.size
-      when 1
-        t = a[0]
-        case t
-        when Array
-          return include?(*t)
-        else
-          return delta(t.src, t.label) == t.dest
-        end
-      when 2
-        state, label = a
-        return ! delta(state, label).nil?
-      when 3
-        state, label, dest = a
-        return delta(state, label) == dest
-      else
-        raise ArgumentError, 'bad transition'
-      end
-    end
-
-    def add ( src, label, dest )
-      @val[src] ||= {}
-      @val[src][label] = dest
-    end
-
-    def add_transition ( t )
-      add(t.src, t.label, t.dest)
-    end
-
-    def delta ( src, label )
-      @val[src] ||= {}
-      @val[src][label]
-    end
-
-    def << ( transition )
-      case transition
-      when Array
-        add(*transition)
-      when Hash
-        transition.each do |src, x|
-          unless x.is_a? Hash
-            raise TypeError, "bad transtion: #{transition.inspect}"
-          end
-          x.each do |label, dest|
-            add(src, label, dest)
-          end
-        end
-      when Transition
-        add_transition(transition)
-      else
-        raise TypeError, "bad transtion: #{transition.inspect}"
-      end
-      self
-    end
-
-  end # class TransitionSet
-
-
-  attr_accessor :initial, :transitions
-
-
-  def initialize
-    @transitions = TransitionSet.new
-    @initial = nil
-  end
-
-
-  def << ( transition )
-    @transitions << transition
-    self
-  end
-
-
-  def include? ( *transition )
-    @transitions.include?(*transition)
-  end
-
-  
-  def delta ( src, label )
-    @transitions.delta(src, label)
-  end
-
-
-  def new_flow
-    SynFlow.new(self, @initial)
-  end
-
-
-  def initial? ( state )
-    state == @initial
-  end
-
-end # class SynFlowFactory
-
-
-class SynFlow
-
-  class Error < Exception
-  end
-
-  attr_reader :state
-  attr_reader :i
-
-  @@i = -1
-  def initialize ( factory, initial_state )
-    @i = (@@i += 1)
-    super()
-    @mutex = Mutex.new
-    @condition = ConditionVariable.new
-    @factory = factory
-    @state = initial_state
-  end
-
-
-  def feed ( label )
-    D "#@i: Want read label #{label} (#@state)"
-    @mutex.synchronize do
-      while not @factory.include?(@state, label)
-        begin
-          @condition.wait(@mutex)
-        rescue ThreadError
-          raise Error,
-            'Cannot wait for change state because only one thread is running'
-        end
-      end
-      dest = @factory.delta(@state, label)
-      D "#@i: Ok change state with label #{label} (#@state -> #{dest})"
-      @state = dest
-      @condition.broadcast
-    end
-  end
-
-  alias advance feed
-  alias <<      feed
-
-
-  def try_feed ( label )
-    D "#@i: Try read label #{label} (#@state)"
-    if @mutex.try_lock
-      begin
-        if @factory.include?(@state, label)
-          dest = @factory.delta(@state, label)
-          D "#@i: Ok change state with label #{label} (#@state -> #{dest})"
-          @state = dest
-          @condition.broadcast
-          return true
-        end
-      ensure
-        @mutex.unlock
-      end
-    end
-    D "#@i: Ko you cannot change state"
-    return false
-  end
-
-  alias try_advance try_feed
-
-
-  def destroy
-    @i = @mutex = @condition = @factory = @state = nil
-  end
-
-
-  @@out = []
-
-  def self.debug_out
-    @@out
-  end
-
-  def D ( msg )
-    # @@out << msg
-    # STDERR.puts msg
-  end
-  private :D
-
-end # class SynFlow
-
-
-
-if $0 == __FILE__
-
-  require 'test/unit'
-  require 'timeout'
-
-
-  class SynFlowTest < Test::Unit::TestCase
-
-    T = SynFlowFactory::Transition
-    TSet = SynFlowFactory::TransitionSet
-
-    def test_aa_simple_transition
-      assert_equal(T.new(:a, :b, :c), T.new(:a, :b, :c))
-      assert_not_equal(T.new(:b, :a, :c), T.new(:a, :b, :d))
-    end
-
-    def test_ab_simple_transition_set
-      s = TSet.new
-      s << T.new(:a, :b, :c) << T.new(:b, :a, :d) << [:e, :f, :g]
-      assert(s.include?(:a, :b))
-      assert(s.include?(T.new(:a, :b, :c)))
-      assert(s.include?(:b, :a, :d))
-      assert(s.include?([:e, :f]))
-    end
-
-    def test_ac_bad_transition_set
-      s = TSet.new
-      s << T.new(:a, :b, :c) << T.new(:b, :a, :d)
-      assert(! s.include?(T.new(:b, :b, :c)))
-      assert(! s.include?(:a, :d, :c))
-      assert(! s.include?([:c, :b]))
-    end
-
-    #
-    #              g
-    # +---------------------------+
-    # |                           |
-    # v  a      b      c      d   |
-    # 1 ---> 2 ---> 3 ---> 4 ---> 5
-    #        |             ^
-    #        |  e       f  |
-    #        +----> 6 -----+
-    #
-    def make_simple_factory
-      f = SynFlowFactory.new
-      f << [1, :a, 2] \
-        << [6, :f, 4] \
-        << SynFlowFactory::Transition.new(3, :c, 4)
-      f << { 2 => { :e => 6, :b => 3 },
-             4 => { :d => 5 },
-             5 => { :g => 1 }
-           }
-      f.initial = 1
-      return f
-    end
-
-    def test_ad_simple_factory
-      f = nil
-      assert_nothing_raised do
-        f = make_simple_factory
-      end
-      transitions =
-       [[1, :a, 2],
-        [6, :f, 4],
-        [3, :c, 4],
-        [2, :e, 6],
-        [2, :b, 3],
-        [4, :d, 5],
-        [5, :g, 1]]
-      transitions.each do |s, l, d|
-        assert(f.transitions.include?(s, l, d))
-      end
-
-      assert(! f.transitions.include?(1, :a, 3))
-      assert(! f.transitions.include?(2, :a))
-      assert(! f.transitions.include?(1, :a, 1))
-
-      assert(f.initial?(1))
-      assert(! f.initial?(2))
-    end
-
-    def test_ba_simple_flow
-      f = make_simple_factory
-      m = nil
-      assert_nothing_raised { m = f.new_flow }
-      assert_nothing_raised do
-        Timeout.timeout(2) do
-          assert_equal(1, m.state)
-          m << :a
-          assert_equal(2, m.state)
-          m << :b
-          assert_equal(3, m.state)
-          m << :c
-          assert_equal(4, m.state)
-          m << :d
-          assert_equal(5, m.state)
-          m << :g
-          assert_equal(1, m.state)
-        end
-      end
-    end
-
-    def test_bb_simple_loop
-      f = make_simple_factory
-      f << [6, :e, 6]
-      m = f.new_flow
-      assert_nothing_raised do
-        Timeout.timeout(2) do
-          assert_equal(1, m.state)
-          m << :a
-          assert_equal(2, m.state)
-          m << :e
-          assert_equal(6, m.state)
-          m << :e
-          assert_equal(6, m.state)
-          m << :f
-          assert_equal(4, m.state)
-        end
-      end
-    end
-
-    def test_bc_simple_try_advance
-      f = make_simple_factory
-      m = f.new_flow
-      assert_nothing_raised do
-        Timeout.timeout(2) do
-          assert(m.try_advance(:a))
-          assert_equal(2, m.state)
-          m << :b
-          assert_equal(3, m.state)
-          assert(! m.try_advance(:e))
-          assert_equal(3, m.state)
-          m << :c
-          assert_equal(4, m.state)
-        end
-      end
-    end
-
-    def test_c_avanced_flow
-      f = make_simple_factory
-      m = f.new_flow
-      th = Thread.new { sleep ; m << :e }
-      assert_raise(Timeout::Error) do
-        Timeout.timeout(0.2) do
-          th.wakeup
-          th.join
-        end
-      end
-      assert_nothing_raised do
-        Timeout.timeout(2) do
-          m << :a
-          sleep 0.1
-          assert_equal(6, m.state)
-        end
-      end
-      assert_nothing_raised do
-        Timeout.timeout(2) do
-          m << :f
-          assert_equal(4, m.state)
-          m << :d
-          assert_equal(5, m.state)
-          m << :g
-          assert_equal(1, m.state)
-        end
-      end
-    end
-
-    def test_d_multi_threads
-      f = make_simple_factory
-      m = f.new_flow
-
-      assert_nothing_raised do
-        Timeout.timeout(5) do
-          t = []
-          t << Thread.new { m << :d }
-          t << Thread.new { m << :c }
-          t << Thread.new { m << :a }
-          t << Thread.new { m << :b }
-          t.each { |t| t.join }
-        end
-      end
-      assert_equal(5, m.state)
-    end
-
-    class E < Exception
-    end
-
-    def test_e_with_block
-      f = make_simple_factory
-      m = f.new_flow
-
-      assert_nothing_raised do
-        Timeout.timeout(5) do
-          t1 = Thread.new do
-            sleep
-            m << :a
-            sleep
-          end
-          t2 = Thread.new do
-            m << :e
-            t1.raise E
-          end
-          t1.wakeup
-          t2.join
-          assert_raise(E) { t1.join }
-        end
-      end
-      assert_equal(6, m.state)
-    end
-
-    def test_f_dumpable
-      f = make_simple_factory
-      m = f.new_flow
-
-      assert_nothing_raised do
-        Marshal.load(Marshal.dump(m))
-      end
-      assert_nothing_raised do
-        Marshal.load(Marshal.dump(f))
-      end
-    end
-
-  end # class SynFlowTest
-
-end