havox 0.11.1

data/lib/merlin/topologies/defense.dot

@@ -0,0 +1,20 @@
+digraph g1 {
+
+h1[type=host,mac="00:00:00:00:00:01",ip="10.0.0.1"];
+h2[type=host,mac="00:00:00:00:00:02",ip="10.0.0.2"];
+m1[type=host,mac="00:00:00:00:00:03",ip="10.0.0.3"];
+s1[type=switch, ip="11.0.0.1", id=1];
+
+s1 -> h1 [src_port=0, dst_port=0, cost=1, capacity="1Gbps"];
+h1 -> s1 [src_port=0, dst_port=0, cost=1, capacity="1Gbps"];
+
+s1 -> h2 [src_port=1, dst_port=0, cost=1, capacity="1Gbps"];
+h2 -> s1 [src_port=0, dst_port=1, cost=1, capacity="1Gbps"];
+
+s1 -> m1 [src_port=2, dst_port=0, cost=1, capacity="1Gbps"];
+m1 -> s1 [src_port=0, dst_port=2, cost=1, capacity="1Gbps"];
+
+h1 -> h1 [src_port=1, dst_port=2, cost=1, capacity="1Gbps"];
+h2 -> h2 [src_port=1, dst_port=2, cost=1, capacity="1Gbps"];
+m1 -> m1 [src_port=1, dst_port=2, cost=1, capacity="1Gbps"];
+}

data/lib/merlin/topologies/max.dot

@@ -0,0 +1,17 @@
+digraph g1 {
+
+h1[type=host,ip="10.0.0.1",mac="00:00:00:00:00:01"];
+h2[type=host,ip="10.0.0.2",mac="00:00:00:00:00:02"];
+m1[type=host,mac="00:00:00:00:00:03",ip="10.0.0.3"];
+s1[type=switch, ip="11.0.0.1", id=1];
+
+s1 -> h1 [src_port=0, dst_port=0, cost=1];
+h1 -> s1 [src_port=0, dst_port=0, cost=1];
+
+s1 -> h2 [src_port=1, dst_port=0, cost=1];
+h2 -> s1 [src_port=0, dst_port=1, cost=1];
+
+
+h1 -> h1 [src_port=1, dst_port=2, cost=1];
+h2 -> h2 [src_port=1, dst_port=2, cost=1];
+}

data/lib/merlin/topologies/min.dot

@@ -0,0 +1,11 @@
+digraph g1 {
+  h1 [type = host, mac = "00:1a:a0:0a:3b:9a", ip = "10.0.0.1"];
+  h2 [type = host, mac = "00:1a:a0:0a:42:72", ip = "10.0.0.2"];
+  s1 [type = switch, ip = "11.0.0.1", id = 1];
+
+  s1 -> h1 [src_port = 0, dst_port = 0, cost = 1, capacity = "10Gbps"];
+  h1 -> s1 [src_port = 0, dst_port = 0, cost = 1, capacity = "10Gbps"];
+
+  s1 -> h2 [src_port = 1, dst_port = 0, cost = 1, capacity = "10Gbps"];
+  h2 -> s1 [src_port = 0, dst_port = 1, cost = 1, capacity = "10Gbps"];
+}

data/lib/merlin/topologies/routeflow.dot

@@ -0,0 +1,37 @@
+digraph g1 {
+  h1 [type = host, mac = "00:00:00:00:00:01", ip = "172.31.1.100"];
+  h2 [type = host, mac = "00:00:00:00:00:02", ip = "172.31.2.100"];
+  h3 [type = host, mac = "00:00:00:00:00:03", ip = "172.31.3.100"];
+  h4 [type = host, mac = "00:00:00:00:00:04", ip = "172.31.4.100"];
+
+  s5 [type = switch, ip = "172.31.1.1", id = 5];
+  s6 [type = switch, ip = "172.31.2.1", id = 6];
+  s7 [type = switch, ip = "172.31.3.1", id = 7];
+  s8 [type = switch, ip = "172.31.4.1", id = 8];
+
+  s5 -> h1 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h1 -> s5 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s6 -> h2 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h2 -> s6 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s7 -> h3 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h3 -> s7 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s8 -> h4 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h4 -> s8 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s5 -> s6 [src_port = 2, dst_port = 2, cost = 1, capacity = "1Gbps"];
+  s5 -> s7 [src_port = 3, dst_port = 3, cost = 1, capacity = "1Gbps"];
+  s5 -> s8 [src_port = 4, dst_port = 4, cost = 1, capacity = "1Gbps"];
+
+  s6 -> s5 [src_port = 2, dst_port = 2, cost = 1, capacity = "1Gbps"];
+  s6 -> s8 [src_port = 3, dst_port = 2, cost = 1, capacity = "1Gbps"];
+
+  s7 -> s5 [src_port = 3, dst_port = 3, cost = 1, capacity = "1Gbps"];
+  s7 -> s8 [src_port = 2, dst_port = 3, cost = 1, capacity = "1Gbps"];
+
+  s8 -> s5 [src_port = 4, dst_port = 4, cost = 1, capacity = "1Gbps"];
+  s8 -> s6 [src_port = 2, dst_port = 3, cost = 1, capacity = "1Gbps"];
+  s8 -> s7 [src_port = 3, dst_port = 2, cost = 1, capacity = "1Gbps"];
+}

data/lib/merlin/topologies/tetrahedron.dot

@@ -0,0 +1,39 @@
+digraph g1 {
+  h1 [type = host, mac = "00:00:00:00:00:01", ip = "10.0.0.10"];
+  h2 [type = host, mac = "00:00:00:00:00:02", ip = "10.0.0.20"];
+  h3 [type = host, mac = "00:00:00:00:00:03", ip = "10.0.0.30"];
+  h4 [type = host, mac = "00:00:00:00:00:04", ip = "10.0.0.40"];
+
+  s1 [type = switch, ip = "11.0.0.1", id = 1];
+  s2 [type = switch, ip = "11.0.0.2", id = 2];
+  s3 [type = switch, ip = "11.0.0.3", id = 3];
+  s4 [type = switch, ip = "11.0.0.4", id = 4];
+
+  s1 -> h1 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h1 -> s1 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s2 -> h2 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h2 -> s2 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s3 -> h3 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h3 -> s3 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s4 -> h4 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+  h4 -> s4 [src_port = 1, dst_port = 1, cost = 1, capacity = "1Gbps"];
+
+  s1 -> s2 [src_port = 2, dst_port = 2, cost = 1, capacity = "1Gbps"];
+  s1 -> s3 [src_port = 3, dst_port = 2, cost = 1, capacity = "1Gbps"];
+  s1 -> s4 [src_port = 4, dst_port = 2, cost = 1, capacity = "1Gbps"];
+
+  s2 -> s1 [src_port = 2, dst_port = 2, cost = 1, capacity = "1Gbps"];
+  s2 -> s3 [src_port = 3, dst_port = 3, cost = 1, capacity = "1Gbps"];
+  s2 -> s4 [src_port = 4, dst_port = 4, cost = 1, capacity = "1Gbps"];
+
+  s3 -> s1 [src_port = 2, dst_port = 3, cost = 1, capacity = "1Gbps"];
+  s3 -> s2 [src_port = 3, dst_port = 3, cost = 1, capacity = "1Gbps"];
+  s3 -> s4 [src_port = 4, dst_port = 3, cost = 1, capacity = "1Gbps"];
+
+  s4 -> s1 [src_port = 2, dst_port = 4, cost = 1, capacity = "1Gbps"];
+  s4 -> s2 [src_port = 4, dst_port = 4, cost = 1, capacity = "1Gbps"];
+  s4 -> s3 [src_port = 3, dst_port = 4, cost = 1, capacity = "1Gbps"];
+}

data/lib/trema/controllers/main_controller.rb

@@ -0,0 +1,113 @@
+require 'havox'
+require 'colorize'
+
+class MainController < Trema::Controller
+  timer_event :datapath_statuses, interval: 10.sec
+
+  def start(_argv)
+    initialize_instance_vars
+    logger.info "Generating rules based on the policies defined in #{ENV['HAVOX_MERLIN_POLICY'].bold}" \
+                " over the topology #{ENV['HAVOX_MERLIN_TOPOLOGY'].bold}..."
+    define_havox_options
+    @rules = Havox::Merlin.compile!(ENV['HAVOX_MERLIN_TOPOLOGY'], ENV['HAVOX_MERLIN_POLICY'], @opts)
+    datapath_rules_info
+  rescue => e
+    handle_exception(e)
+  end
+
+  def switch_ready(dp_id)
+    install_rules(dp_id)
+    @datapaths << dp_id
+    @datapaths_off -= [dp_id]
+    dp_name = "s#{dp_id}"
+    logger.info "Datapath #{dp_name.bold} is #{'ONLINE'.bold.green}"
+  rescue => e
+    handle_exception(e)
+  end
+
+  def switch_disconnected(dp_id)
+    @datapaths -= [dp_id]
+    @datapaths_off << dp_id
+    dp_name = "s#{dp_id}"
+    logger.info "Datapath #{dp_name.bold} is #{'OFFLINE'.bold.red}"
+  end
+
+  def packet_in(dp_id, packet_in)
+    packet_details(packet_in)
+  end
+
+  private
+
+  def datapath_statuses
+    datapaths_on  = @datapaths.map { |id| "s#{id}" }.join(' ').bold.green
+    datapaths_off = @datapaths_off.map { |id| "s#{id}" }.join(' ').bold.red
+    logger.info "Datapath statuses: [#{datapaths_on}] [#{datapaths_off}]"
+  end
+
+  def install_rules(dp_id)
+    dp_rules = @rules.select { |r| r.dp_id == dp_id }
+    flow_mod_rules(dp_id, dp_rules) if dp_rules.any?
+  end
+
+  def flow_mod_rules(dp_id, dp_rules)
+    dp_rules.each do |rule|
+      send_flow_mod_add(
+        dp_id,
+        match: Pio::Match.new(rule.matches),
+        actions: action_methods(rule.actions)
+      )
+    end
+  end
+
+  def action_methods(actions_array)
+    methods = []
+    actions_array.each do |obj|
+      methods <<
+        case obj[:action]
+        when :output       then Pio::OpenFlow10::SendOutPort.new(obj[:arg_a])
+        when :enqueue      then Pio::OpenFlow10::Enqueue.new(obj[:arg_a], obj[:arg_b])
+        when :strip_vlan   then Pio::OpenFlow10::StripVlanHeader.new
+        when :set_vlan_vid then Pio::OpenFlow10::SetVlanVid.new(obj[:arg_a])
+        else raise Havox::Trema::UnpredictedAction,
+          "No method associated with action '#{obj[:action]}'"
+        end
+    end
+    methods
+  end
+
+  def datapath_rules_info
+    logger.info "Generated #{@rules.size} Merlin rules:"
+    @rules.group_by(&:dp_id).each do |id, rules|
+      logger.info "Datapath s#{id}: #{rules.size} rule(s)"
+    end
+  end
+
+  def handle_exception(e)
+    puts e.message
+    puts e.backtrace
+  end
+
+  def packet_details(packet_in)
+    logger.info "#{packet_in.data.class.name}: dp_id=#{packet_in.dpid} " \
+                "in_port=#{packet_in.in_port} src_mac=#{packet_in.source_mac} " \
+                "dst_mac=#{packet_in.destination_mac} inspection=#{packet_in.inspect}"
+  end
+
+  def initialize_instance_vars
+    @opts = {}
+    @datapaths = []
+    @datapaths_off = []
+    @rules = []
+  end
+
+  def define_havox_options
+    @opts[:force] = ENV['HAVOX_FORCE'].eql?('true')
+    @opts[:basic] = ENV['HAVOX_BASIC'].eql?('true')
+    @opts[:expand] = ENV['HAVOX_EXPAND'].eql?('true')
+    @opts[:output] = ENV['HAVOX_OUTPUT'].eql?('true')
+    logger.info 'Havox will ignore field conflicts in rules generated by Merlin'.blue if @opts[:force]
+    logger.info 'Havox will automatically append policies for ARP and ICMP protocols'.blue if @opts[:basic]
+    logger.info 'Havox will expand generated rules from VLAN-based to their full predicates'.blue if @opts[:expand]
+    logger.info 'Havox will switch all occurrences of Enqueue action to Output action'.blue if @opts[:output]
+  end
+end

data/lib/trema/topologies/common_topology.rb

@@ -0,0 +1,36 @@
+6.times do |i|
+  id = i + 1
+  id_hex = id.to_s(16).rjust(2, '0')
+
+  vhost "h#{id}" do
+    ip  "10.0.0.#{id}"
+    mac "00:00:00:00:00:#{id_hex}"
+  end
+
+  vswitch "s#{id}" do
+    datapath_id id
+    # ip "11.0.0.#{id}"
+  end
+
+  link "h#{id}", "s#{id}"
+end
+
+%w(20 60).each do |id|
+  id_hex = id.to_i.to_s(16).rjust(2, '0')
+
+  vhost "h#{id}" do
+    ip  "10.0.0.#{id}"
+    mac "00:00:00:00:00:#{id_hex}"
+  end
+
+  link "h#{id}", "s#{id.to_i / 10}"
+end
+
+link 's1', 's2'
+link 's1', 's3'
+link 's2', 's3'
+link 's2', 's4'
+link 's3', 's4'
+link 's3', 's5'
+link 's4', 's6'
+link 's5', 's6'

data/lib/trema/topologies/routeflow_topology.rb

@@ -0,0 +1,21 @@
+4.times do |i|
+  id = i + 1
+
+  netns "h#{id}" do
+    ip  "172.31.#{id}.100"
+    netmask '255.255.255.0'
+    route net: '0.0.0.0', gateway: "172.31.#{id}.1"
+  end
+
+  vswitch "s#{id}" do
+    datapath_id id
+  end
+
+  link "h#{id}", "s#{id}"
+end
+
+link 's1', 's2'
+link 's1', 's3'
+link 's1', 's4'
+link 's2', 's4'
+link 's3', 's4'

data/lib/trema/topologies/tetrahedron_topology.rb

@@ -0,0 +1,22 @@
+4.times do |i|
+  id = i + 1
+
+  netns "h#{id}" do
+    ip  "10.0.0.#{id * 10}"
+    netmask '255.255.255.0'
+    route net: '0.0.0.0', gateway: '10.0.0.1'
+  end
+
+  vswitch "s#{id}" do
+    datapath_id id
+  end
+
+  link "h#{id}", "s#{id}"
+end
+
+link 's1', 's2'
+link 's1', 's3'
+link 's1', 's4'
+link 's2', 's3'
+link 's2', 's4'
+link 's3', 's4'

metadata

@@ -0,0 +1,253 @@
+--- !ruby/object:Gem::Specification
+name: havox
+version: !ruby/object:Gem::Version
+  version: 0.11.1
+platform: ruby
+authors:
+- Rodrigo Soares
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2018-03-06 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.11'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.11'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: factory_girl
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.8'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.8'
+- !ruby/object:Gem::Dependency
+  name: awesome_print
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: net-ssh
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+- !ruby/object:Gem::Dependency
+  name: net-scp
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.2'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.2'
+- !ruby/object:Gem::Dependency
+  name: trema
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.10.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.10.1
+- !ruby/object:Gem::Dependency
+  name: colorize
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.8'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.8'
+- !ruby/object:Gem::Dependency
+  name: sinatra
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+description: This gem offers a friendly way to deal with OpenFlow network policies
+  generated by Merlin, integrating it with RouteFlow through a simple orchestration
+  DSL.
+email:
+- silvars1@gmail.com
+executables:
+- havox
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- config.rb
+- examples/example_3x3.dot
+- examples/example_3x3.hvx
+- exe/havox
+- havox.gemspec
+- lib/havox.rb
+- lib/havox/app/api.rb
+- lib/havox/app/helpers/methods.rb
+- lib/havox/classes/edge.rb
+- lib/havox/classes/modified_policy.rb
+- lib/havox/classes/node.rb
+- lib/havox/classes/policy.rb
+- lib/havox/classes/rib.rb
+- lib/havox/classes/route.rb
+- lib/havox/classes/route_filler.rb
+- lib/havox/classes/rule.rb
+- lib/havox/classes/rule_expander.rb
+- lib/havox/classes/rule_sanitizer.rb
+- lib/havox/classes/topology.rb
+- lib/havox/classes/translator.rb
+- lib/havox/configuration.rb
+- lib/havox/dsl/directive.rb
+- lib/havox/dsl/directive_proxy.rb
+- lib/havox/dsl/examples/routeflow.hvx
+- lib/havox/dsl/network.rb
+- lib/havox/exceptions.rb
+- lib/havox/modules/command.rb
+- lib/havox/modules/field_parser.rb
+- lib/havox/modules/merlin.rb
+- lib/havox/modules/openflow10/ovs/actions.rb
+- lib/havox/modules/openflow10/ovs/matches.rb
+- lib/havox/modules/openflow10/routeflow/actions.rb
+- lib/havox/modules/openflow10/routeflow/matches.rb
+- lib/havox/modules/openflow10/trema/actions.rb
+- lib/havox/modules/openflow10/trema/matches.rb
+- lib/havox/modules/routeflow.rb
+- lib/havox/version.rb
+- lib/merlin/policies/common.mln
+- lib/merlin/policies/defense.mln
+- lib/merlin/policies/max.mln
+- lib/merlin/policies/min.mln
+- lib/merlin/policies/routeflow.mln
+- lib/merlin/policies/test.mln
+- lib/merlin/policies/tetrahedron.mln
+- lib/merlin/policies/tetrahedron.sample.mln
+- lib/merlin/policies/web_balanced.mln
+- lib/merlin/policies/web_unbalanced.mln
+- lib/merlin/topologies/common.dot
+- lib/merlin/topologies/defense.dot
+- lib/merlin/topologies/max.dot
+- lib/merlin/topologies/min.dot
+- lib/merlin/topologies/routeflow.dot
+- lib/merlin/topologies/tetrahedron.dot
+- lib/trema/controllers/main_controller.rb
+- lib/trema/topologies/common_topology.rb
+- lib/trema/topologies/routeflow_topology.rb
+- lib/trema/topologies/tetrahedron_topology.rb
+homepage: https://github.com/rodrigosoares/havox
+licenses:
+- GPL-3.0
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.7.6
+signing_key: 
+specification_version: 4
+summary: A gem for making the generation of OpenFlow network rules easier.
+test_files: []