ikra 0.0.1

data/lib/config/os_configuration.rb

@@ -0,0 +1,56 @@
+require "rbconfig"
+
+module Ikra
+    module Configuration
+        class << self
+            SUPPORTED_OS = [:linux, :macosx]
+            CUDA_NVCC = "/Developer/NVIDIA/CUDA-7.5/bin/nvcc"
+
+            def check_software_configuration
+                if !SUPPORTED_OS.include?(operating_system)
+                    raise "Operating system not supported: #{operating_system}"
+                end
+
+                # Check if nvcc is installed
+                %x(#{CUDA_NVCC})
+                if $?.exitstatus != 1
+                    raise "nvcc not installed"
+                end
+            end
+
+            def nvcc_invocation_string(in_file, out_file)
+                "#{CUDA_NVCC} -o #{out_file} -I/usr/local/cuda/samples/common/inc --shared -Xcompiler -fPIC #{in_file}"
+            end
+
+            def so_suffix
+                if operating_system == :linux
+                    "so"
+                elsif operating_system == :macosx
+                    "so"
+                elsif operating_system == :windows
+                    "dll"
+                else
+                    raise "Operating system not supported"
+                end
+            end
+
+            def operating_system
+                # copied from: http://stackoverflow.com/questions/11784109/detecting-operating-systems-in-ruby
+
+                host_os = RbConfig::CONFIG['host_os']
+                case host_os
+                    when /mswin|msys|mingw|cygwin|bccwin|wince|emc/
+                        :windows
+                    when /darwin|mac os/
+                        :macosx
+                    when /linux/
+                        :linux
+                    when /solaris|bsd/
+                        :unix
+                    else
+                        raise "Unknown operating system"
+                end
+            end
+        end
+    end
+end

data/lib/entity.rb

@@ -0,0 +1,11 @@
+module Ikra
+
+    # Marker mixin for object tracer
+    module Entity
+
+    end
+end
+
+class Array
+    include Ikra::Entity
+end

data/lib/ikra.rb

@@ -0,0 +1,7 @@
+require "logger"
+require_relative "symbolic/symbolic"
+require_relative "entity"
+
+module Ikra
+    Log = Logger.new(STDOUT)
+end

data/lib/parsing.rb

@@ -0,0 +1,32 @@
+require "parser/current"
+require_relative "sourcify/lib/sourcify"
+require "method_source"
+
+module Parsing
+    class << self
+        def parse_block(block, local_variables = [])
+            parser = Parser::CurrentRuby.default_parser
+            local_variables.each do |var|
+                parser.static_env.declare(var)
+            end
+            
+            parser_source = Parser::Source::Buffer.new('(string)', 1)
+            parser_source.source = block.to_source(strip_enclosure: true)
+            
+            return parser.parse(parser_source)
+        end
+        
+        def parse_method(method)
+            parser = Parser::CurrentRuby.default_parser
+            method.parameters.each do |param|
+                parser.static_env.declare(param[1])
+            end
+
+            parser_source = Parser::Source::Buffer.new('(string)', 1)
+            # TODO: dirty hack necessary because Parser is broken
+            parser_source.source = method.source.lines[1..-2].join
+            
+            return parser.parse(parser_source)
+        end
+    end
+end

data/lib/resources/cuda/block_function_head.cpp

@@ -0,0 +1 @@
+__device__ /*{return_type}*/ /*{name}*/(/*{parameters}*/)

data/lib/resources/cuda/env_builder_copy_array.cpp

@@ -0,0 +1,4 @@
+
+    void * temp_ptr_/*{field}*/ = /*{host_env}*/->/*{field}*/;
+    checkCudaErrors(cudaMalloc((void **) &/*{host_env}*/->/*{field}*/, /*{size_bytes}*/));
+    checkCudaErrors(cudaMemcpy(/*{host_env}*/->/*{field}*/, temp_ptr_/*{field}*/, /*{size_bytes}*/, cudaMemcpyHostToDevice));

data/lib/resources/cuda/header.cpp

@@ -0,0 +1,46 @@
+#include <stdio.h>
+
+#include <helper_cuda.h>
+#include <helper_cuda_gl.h>
+
+using namespace std;
+
+
+/* ----- BEGIN Shared Library Export ----- */
+// taken from http://stackoverflow.com/questions/2164827/explicitly-exporting-shared-library-functions-in-linux
+
+#if defined(_MSC_VER)
+    //  Microsoft 
+    #define EXPORT __declspec(dllexport)
+    #define IMPORT __declspec(dllimport)
+#elif defined(_GCC)
+    //  GCC
+    #define EXPORT __attribute__((visibility("default")))
+    #define IMPORT
+#else
+    //  do nothing and hope for the best?
+    #define EXPORT
+    #define IMPORT
+    #pragma warning Unknown dynamic link import/export semantics.
+#endif
+/* ----- END Shared Library Export ----- */
+
+/* ----- BEGIN Class Type ----- */
+typedef int obj_id_t;
+typedef int class_id_t;
+/* ----- END Class Type ----- */
+
+/* ----- BEGIN Union Type ----- */
+typedef struct union_type_struct
+{
+    class_id_t class_id;
+    obj_id_t object_id;
+} union_t;
+/* ----- END Union Type ----- */
+
+
+/* ----- BEGIN Environment (lexical variables) ----- */
+// environment_struct must be defined later
+typedef struct environment_struct environment_t;
+/* ----- END Environment (lexical variables) ----- */
+

data/lib/resources/cuda/kernel.cpp

@@ -0,0 +1,8 @@
+
+
+__global__ void kernel(environment_t */*{env_identifier}*/, /*{result_type}*/ *_result_)
+{
+    _result_[threadIdx.x + blockIdx.x * blockDim.x] = /*{block_invocation}*/;
+}
+
+

data/lib/resources/cuda/kernel_launcher.cpp

@@ -0,0 +1,28 @@
+extern "C" EXPORT /*{result_type}*/ *launch_kernel(environment_t */*{host_env}*/)
+{
+    printf("kernel launched\n");
+    
+    /* Modify host environment to contain device pointers addresses */
+    /*{copy_env}*/
+
+    /* Allocate device environment and copy over struct */
+    environment_t */*{dev_env}*/;
+    checkCudaErrors(cudaMalloc(&/*{dev_env}*/, sizeof(environment_t)));
+    checkCudaErrors(cudaMemcpy(/*{dev_env}*/, /*{host_env}*/, sizeof(environment_t), cudaMemcpyHostToDevice));
+
+    /*{result_type}*/ *host_result = (/*{result_type}*/ *) malloc(sizeof(/*{result_type}*/) * /*{result_size}*/);
+    /*{result_type}*/ *device_result;
+    checkCudaErrors(cudaMalloc(&device_result, sizeof(/*{result_type}*/) * /*{result_size}*/));
+    
+    dim3 dim_grid(/*{grid_dim[0]}*/, /*{grid_dim[1]}*/, /*{grid_dim[2]}*/);
+    dim3 dim_block(/*{block_dim[0]}*/, /*{block_dim[1]}*/, /*{block_dim[2]}*/);
+    
+    kernel<<<dim_grid, dim_block>>>(/*{dev_env}*/, device_result);
+
+    checkCudaErrors(cudaThreadSynchronize());
+
+    checkCudaErrors(cudaMemcpy(host_result, device_result, sizeof(/*{result_type}*/) * /*{result_size}*/, cudaMemcpyDeviceToHost));
+    checkCudaErrors(cudaFree(/*{dev_env}*/));
+
+    return host_result;
+}

data/lib/resources/cuda/soa_header.cpp

@@ -0,0 +1,4 @@
+/* ----- BEGIN Structure of Arrays (SoA) definitions ----- */
+/*{definitions}*/
+/* ----- END Structure of Arrays (SoA) definitions ----- */
+

data/lib/scope.rb

@@ -0,0 +1,166 @@
+require "set"
+require_relative "types/union_type"
+
+class Frame < Hash
+    def function_frame!
+        @is_function_frame = true
+    end
+
+    def is_function_frame?
+        @is_function_frame ||= false
+        @is_function_frame
+    end
+
+    def add_return_type(type)
+        if not is_function_frame?
+            raise "Return type allowed only for function frames"
+        end
+
+        if not type.is_union_type?
+            raise "Expected union type"
+        end
+
+        @return_type ||= Ikra::Types::UnionType.new
+        @return_type.expand(type)
+    end
+
+    def return_type
+        if not is_function_frame?
+            raise "Return type allowed only for function frames"
+        end
+
+        @return_type ||= Ikra::Types::UnionType.new
+        @return_type
+    end
+
+    def variable_names
+        keys
+    end
+end
+
+class Scope < Array
+    class Variable
+        attr_reader :type
+        attr_accessor :read
+        attr_accessor :written
+        
+        def initialize(type = Ikra::Types::UnionType.new)
+            @type = type
+            @read = false
+            @written = false
+        end
+    end
+    
+    def top_frame
+        last
+    end
+    
+    def previous_frame
+        self[-2]
+    end
+
+    def push_frame
+        frame = Frame.new
+        frame.default_proc = Proc.new do |hash, key|
+            hash[key] = Variable.new
+        end
+        push(frame)
+    end
+
+    def push_function_frame
+        push_frame
+        top_frame.function_frame!
+    end
+    
+    def pop_frame
+        pop
+    end
+    
+    # TODO: maybe remove?
+    def define_shadowed(name, type)
+        if top_frame.has_key?(name)
+            raise "#{name} already defined"
+        end
+        
+        top_frame[name] = Variable.new(type)
+    end
+    
+    def is_defined?(name)
+        any? do |frame|
+            frame.has_key?(name)
+        end
+    end
+    
+    def get_type(name)
+        reverse_each do |frame|
+            if frame.has_key?(name)
+                return frame[name].type
+            end
+        end
+        
+        raise "#{name} not found in symbol table"
+    end
+    
+    def declare_expand_type(name, type)
+        if not type.is_union_type?
+            raise "Expected union type"
+        end
+
+        top_frame[name].type.expand(type)
+    end
+    
+    def add_return_type(type)
+        reverse_each.detect do |fr|
+            fr.add_return_type(type)
+            return self
+        end
+
+        raise "Function frame not found"
+    end
+
+    def read!(name)
+        frame = reverse_each.detect do |fr|
+            fr.has_key?(name)
+        end
+        
+        frame[name].read = true
+    end
+    
+    def written!(name)
+        frame = reverse_each.detect do |fr|
+            fr.has_key?(name)
+        end
+        
+        frame[name].written = true
+    end
+    
+    def read_variables(frame_position)
+        frame = self[frame_position]
+        frame.select do |name, var|
+            var.read
+        end.keys
+    end
+    
+    def written_variables(frame_position)
+        frame = self[frame_position]
+        frame.select do |name, var|
+            var.written
+        end.keys
+    end
+    
+    def read_and_written_variables(frame_position = -1)
+        read_variables(frame_position) + written_variables(frame_position)
+    end
+    
+    def new_frame(&block)
+        push_frame
+        yield
+        pop_frame
+    end
+
+    def new_function_frame(&block)
+        push_function_frame
+        yield
+        pop_frame
+    end
+end

data/lib/sourcify/Gemfile

@@ -0,0 +1,10 @@
+source "http://rubygems.org"
+
+# Specify your gem's dependencies in sourcify.gemspec
+gemspec
+
+# As required by travis, see
+# http://about.travis-ci.org/docs/user/languages/ruby
+group :test do
+  gem 'rake'
+end

data/lib/sourcify/HISTORY.txt

@@ -0,0 +1,88 @@
+=== Current (pre 0.6.0)
+
+* adds Method#to_source, Method#to_sexp & Method#to_raw_source to MRI-1.9.2 (issue#3)
+* extensive refactoring to existing proc support to support the above
+* fixes incorrect encoding for scanner result (issue#19) [@tomykaira]
+* ensures compatibility with pry (issue#22) [@ty, @scooter-dangle]
+* fixes "already initialized const X" in ruby_parser" [@jmettraux]
+
+=== 0.5.0 (May 2, 2011)
+
+* adds Proc#to_raw_source that supports extracting of raw code, as it is written in
+  the source code (see issue#9), it supports all options that are already supported
+  by Proc#to_source.
+* MRI-1.8.6 now supports both ParseTree & static-scanner mode
+* out with infinity_test (due to unresolvable & unexpected consistent failure in
+  running specs for jruby-1.6.1 & always running ParseTree mode specs in static-scanner
+  mode), use homebaked rake tasks (spec:parsetree, spec:static & spec:all) to acheive
+  testing of different rubies in different modes
+* removd dependency on jeweler, & use bundler instead to handle dependency & also have
+  our own handcrafted gemspec file
+
+=== 0.4.2 (Feb 06, 2011)
+
+* fixes Sourcify::NoMatchingProcError when inline proc contains hashes (issue#7) [#ngty]
+* uses RubyParser#parse to eval correctness of code instead of Kernel#eval [#ngty]
+
+=== 0.4.1 (Jan 29, 2011)
+
+* fixes Sourcify::NoMatchingProcError when if/unless/until/while modifier follows
+  a trailing backslash (see issue#5) [#ngty]
+
+=== 0.4.0 (Oct 15, 2010)
+
+* adds Proc#to_source(:strip_enclosure => ...) (& the Proc#to_sexp equivalent) to ease
+  stripping of enclosing 'proc {|params| ... }', returning only the inner code body
+  '...' [#ngty]
+* adds Proc#to_source(:attached_to => ..., :ignore_nested => ..., &body_matcher) (& the
+  Proc#to_sexp equivalent) to narrow down code scanning, avoiding unnecessary
+  Sourcify::MultipleMatchingProcsPerLineError, useful for libs that can anticipate
+  how the proc should look like [#ngty]
+* adds support for running in MRI-1.9.2 [#ngty]
+* fixes '/' operator always treated as start of regexp [#ngty & #seamusabshere]
+
+=== 0.3.0 (Sep 23, 2010)
+
+* Proc#to_source & friends now work in IRB as well [#ngty]
+
+=== 0.2.3 (Sep 15, 2010)
+
+* since (static) code scanner doesn't run in 1.8.6, we enforce ParseTree mode
+  for 1.8.6 [#ngty]
+
+=== 0.2.2 (Sep 15, 2010)
+
+* fixed failure to run on MRI-1.8.6 [#ngty]
+
+=== 0.2.1 (Sep 14, 2010)
+
+* introduced hack to ensure procs generated by Symbol#to_proc & Method#to_proc
+  behaves exactly the same way under 1.8.*, 1.9.* & JRuby ~> always throwing
+  CannotHandleCreatedOnTheFlyProcError [#ngty]
+* minor cleaning up of ragel scanner [#ngty]
+
+=== 0.2.0 (Sep 10, 2010)
+
+* use home-baked ragel-based scanner for scanning for proc code [#ngty]
+* renamed Sourcify::LexerInternalError to Sourcify::ParserInternalError since
+  we are not using any lexer anymore [#ngty]
+* introduces CannotParseEvalCodeError, CannotParseIrbCodeError &
+  CannotHandleCreatedOnTheFlyProcError to handle procs that there is no way
+  to extract code from [#ngty]
+* tested against well known projects (eg. spree & redmine) to show that it is
+  indeed working [#ngty]
+
+=== 0.1.2 (Aug 30, 2010)
+
+* introduced throwing of Sourcify::LexerInternalError when parser cannot handle
+  incorrectly lexed code fragments [#ngty]
+* fixed bug in lexing keyword literals (represented as Symbol) [#ngty]
+
+=== 0.1.1 (Aug 30, 2010)
+
+* fixed empty return for Proc#to_sexp after calling of Proc#to_source [#ngty]
+
+=== 0.1.0 (Aug 28, 2010)
+
+* 1st gem release !! [#ngty]
+