synthemesc-codex 0.0.0

data/codex.gemspec

@@ -0,0 +1,49 @@
+# -*- encoding: utf-8 -*-
+
+Gem::Specification.new do |s|
+  s.name = %q{codex}
+  s.version = "0.0.0"
+
+  s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
+  s.authors = ["Joshua Eckstein"]
+  s.date = %q{2009-08-09}
+  s.email = %q{josh@eksdyne.com}
+  s.extra_rdoc_files = [
+    "README.markdown"
+  ]
+  s.files = [
+    ".gitignore",
+     "Makefile.server",
+     "README.markdown",
+     "Rakefile",
+     "VERSION",
+     "build.h",
+     "codex.c",
+     "codex.gemspec",
+     "codex.h",
+     "codex_rb_ext.c",
+     "extconf.rb",
+     "format.h",
+     "lib/codex.rb",
+     "ptrn2mask",
+     "tpl.c",
+     "tpl.h",
+     "vm.c",
+     "vm.h"
+  ]
+  s.homepage = %q{http://github.com/synthemesc/codex}
+  s.rdoc_options = ["--charset=UTF-8"]
+  s.require_paths = ["lib"]
+  s.rubygems_version = %q{1.3.4}
+  s.summary = %q{Codex network machine}
+
+  if s.respond_to? :specification_version then
+    current_version = Gem::Specification::CURRENT_SPECIFICATION_VERSION
+    s.specification_version = 3
+
+    if Gem::Version.new(Gem::RubyGemsVersion) >= Gem::Version.new('1.2.0') then
+    else
+    end
+  else
+  end
+end

data/codex.h

@@ -0,0 +1,58 @@
+/* -*- Mode: C; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
+
+#ifndef _CODEX_H
+#define _CODEX_H
+
+#include "vm.h"
+
+/*
+ * On some Linux systems, this is missing and causes libevent to fail.
+ * There shouldn't be a problem with redefining it, as long as the
+ * definition is consistent.
+ */
+typedef unsigned char u_char;
+
+/*
+ * GCC will complain if you use uint64_t for the %llu convention in printf,
+ * even though they're exactly the same.
+ */
+#define LLU (unsigned long long)
+
+/*
+ * Default values and enumerations for codex server.
+ */
+#define PORT 32700
+#define VERBOSE 1
+#define SILENT 0
+#define DAEMONIZE 1
+#define FOREGROUND 0
+#define DEFAULT_SIZE  0x00FFFFFF
+#define DEFAULT_START 0x00000000
+
+/*
+ * Pipeline sizes.
+ */
+#define PIPELINE_DEPTH (128) /* In pages */
+#define PIPELINE_SIZE (sizeof(struct instruction_word)*PIPELINE_DEPTH) /* In bytes */
+
+/*
+ * Default verbosity in development.
+ */
+#ifdef DEVELOPMENT
+#define VERBOSITY VERBOSE
+#else
+#define VERBOSITY SILENT
+#endif
+
+/*
+ * GCC branch prediction.
+ */
+#ifndef LIKELY
+#define LIKELY(cond) __builtin_expect((cond),1)
+#endif
+
+#ifndef UNLIKELY
+#define UNLIKELY(cond) __builtin_expect((cond),0)
+#endif
+
+#endif

data/codex_rb_ext.c

@@ -0,0 +1,208 @@
+/* -*- Mode: C (Ruby); tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
+
+#include <ruby.h>
+
+#include "build.h"
+#include "tpl.h"
+#include "codex.h"
+#include "format.h"
+#include "vm.h"
+
+VALUE rb_mCodex;
+VALUE rb_cCodexPage;
+VALUE rb_cCodexFile;
+
+ID id_serialized;
+ID id_unserialized;
+
+static void
+tpl_rb_mark(tpl_node *tpl)
+{
+  return;
+}
+
+static void
+tpl_rb_free(tpl_node *tpl)
+{
+  tpl_free(tpl);
+  return;
+}
+
+static VALUE
+tpl_rb_alloc(VALUE self)
+{
+  tpl_node *tpl = NULL;
+  return Data_Wrap_Struct(self, tpl_rb_mark, tpl_rb_free, tpl);
+}
+
+static VALUE
+t_page_init(self, ary)
+  VALUE self;
+  VALUE ary;
+{
+  char* buffer;
+  int   buffer_size;
+  struct instruction_word op;
+  int i=0;
+
+  Check_Type(ary, T_ARRAY);
+  if (RARRAY(ary)->len % 4 != 0)
+  {
+    rb_raise(rb_eArgError, "Array must be multiples of 4.");
+    return (Qnil);
+  }
+
+  op.reserved = 0;
+  DATA_PTR(self) = tpl_map(TPL_INSTRUCTION_FORMAT, &op);
+
+  while(i<RARRAY(ary)->len)
+  {
+    op.opcode = rb_num2ulong(RARRAY(ary)->ptr[i++]);
+    op.src = rb_num2ull(RARRAY(ary)->ptr[i++]);
+    op.arg = rb_num2ull(RARRAY(ary)->ptr[i++]);
+    op.dst = rb_num2ull(RARRAY(ary)->ptr[i++]);
+    tpl_pack(DATA_PTR(self), 1);
+  }
+
+  tpl_dump(DATA_PTR(self), TPL_MEM, &buffer, &buffer_size);
+  rb_ivar_set(self, id_serialized, rb_str_new(buffer, buffer_size));
+  free(buffer);
+
+  return(self);
+}
+
+static VALUE
+t_page_serialized(VALUE self)
+{
+  return(rb_ivar_get(self, id_serialized));
+}
+
+static VALUE
+t_file_init(self, str)
+  VALUE self;
+  VALUE str;
+{
+  /* Make sure we get a string */
+  Check_Type(str, T_STRING);
+
+  /* The register file */
+  uint64_t native_registers[REGISTER_COUNT];
+  VALUE bignum_registers = rb_ivar_set(self, id_unserialized, rb_ary_new());
+
+  DATA_PTR(self) = tpl_map(TPL_REGISTER_FORMAT, native_registers, REGISTER_COUNT);
+  if (tpl_load(DATA_PTR(self), TPL_MEM, RSTRING(str)->ptr, RSTRING(str)->len) == -1)
+  {
+    rb_raise(rb_eArgError, "String is not a valid serialized register file.");
+    return(Qnil);
+  }
+
+  tpl_unpack(DATA_PTR(self), 0); /* unpack all REGISTER_COUNT elements at once */
+
+  int i; for(i=0; i<REGISTER_COUNT; i++)
+    rb_ary_push(bignum_registers, rb_ull2inum(native_registers[i]));
+
+  return(self);
+}
+
+static VALUE
+t_file_unserialized(VALUE self)
+{
+  return(rb_ivar_get(self, id_unserialized));
+}
+
+void Init_codex_rb_ext()
+{
+  rb_mCodex = rb_define_module("Codex");
+
+  rb_define_const(rb_mCodex, "VERSION_MAJOR", INT2FIX(VERSION_MAJOR));
+  rb_define_const(rb_mCodex, "VERSION_MINOR", INT2FIX(VERSION_MINOR));
+  rb_define_const(rb_mCodex, "VERSION_PATCH", INT2FIX(VERSION_PATCH));
+  rb_define_const(rb_mCodex, "BUILD", INT2FIX(CODEX_BUILD));
+
+#define TO_STR(x) #x
+#define CODEX_OP(op) rb_define_const(rb_mCodex,TO_STR(op),rb_uint2inum(OP_##op))
+
+  CODEX_OP(CLR);
+  CODEX_OP(MOV);
+  CODEX_OP(SORT);
+  CODEX_OP(AVG);
+  CODEX_OP(BE);
+  CODEX_OP(BNE);
+  CODEX_OP(BEZ);
+  CODEX_OP(BNEZ);
+  CODEX_OP(BLTEZ);
+  CODEX_OP(BGTEZ);
+  CODEX_OP(JMP);
+  CODEX_OP(SKP);
+  CODEX_OP(MIN);
+  CODEX_OP(MAX);
+  CODEX_OP(BLT);
+  CODEX_OP(BGT);
+  CODEX_OP(BLTZ);
+  CODEX_OP(BGTZ);
+  CODEX_OP(BLTE);
+  CODEX_OP(BGTE);
+  CODEX_OP(PUSH);
+  CODEX_OP(POP);
+  CODEX_OP(OR);
+  CODEX_OP(NOR);
+  CODEX_OP(ADD);
+  CODEX_OP(SUB);
+  CODEX_OP(INC);
+  CODEX_OP(DEC);
+  CODEX_OP(GRY);
+  CODEX_OP(HUE);
+  CODEX_OP(CALL);
+  CODEX_OP(RET);
+  CODEX_OP(AND);
+  CODEX_OP(NAND);
+  CODEX_OP(MUL);
+  CODEX_OP(DIV);
+  CODEX_OP(SHL);
+  CODEX_OP(SHR);
+  CODEX_OP(ROTL);
+  CODEX_OP(ROTR);
+  CODEX_OP(LOCK);
+  CODEX_OP(ULOCK);
+  CODEX_OP(XOR);
+  CODEX_OP(NOT);
+  CODEX_OP(POW);
+  CODEX_OP(ROOT);
+  CODEX_OP(SQR);
+  CODEX_OP(SQRT);
+  CODEX_OP(EXP);
+  CODEX_OP(LN);
+  CODEX_OP(TXN);
+  CODEX_OP(CMT);
+  CODEX_OP(RSV0);
+  CODEX_OP(RSV1);
+  CODEX_OP(SIN);
+  CODEX_OP(ASIN);
+  CODEX_OP(COS);
+  CODEX_OP(ACOS);
+  CODEX_OP(TAN);
+  CODEX_OP(ATAN);
+  CODEX_OP(RND);
+  CODEX_OP(SEND);
+  CODEX_OP(RSV2);
+  CODEX_OP(RSV3);
+  CODEX_OP(CSC);
+  CODEX_OP(ACSC);
+  CODEX_OP(SEC);
+  CODEX_OP(ASEC);
+  CODEX_OP(COT);
+  CODEX_OP(ACOT);
+
+  rb_cCodexPage = rb_define_class_under(rb_mCodex, "Page", rb_cObject);
+  rb_cCodexFile = rb_define_class_under(rb_mCodex, "File", rb_cObject);
+
+  rb_define_alloc_func(rb_cCodexPage, tpl_rb_alloc);
+  rb_define_method(rb_cCodexPage, "initialize", t_page_init, 1);
+  rb_define_method(rb_cCodexPage, "to_s", t_page_serialized, 0);
+
+  rb_define_alloc_func(rb_cCodexFile, tpl_rb_alloc);
+  rb_define_method(rb_cCodexFile, "initialize", t_file_init, 1);
+  rb_define_method(rb_cCodexFile, "to_a", t_file_unserialized, 0);
+
+  return;
+}

data/extconf.rb

@@ -0,0 +1,2 @@
+require "mkmf"
+create_makefile("codex_rb_ext")

data/format.h

@@ -0,0 +1,126 @@
+#ifndef _FORMAT_H
+#define _FORMAT_H
+
+#define TPL_INSTRUCTION_FORMAT "A(S(uuUUU))"
+#define TPL_REGISTER_FORMAT    "U#"
+
+/****** Source masks ******/
+#define SRC_TYPE       0x00000001 /* ...... ........ ...... .... .... 0001 */
+#define SRC_MODE       0x00000006 /* ...... ........ ...... .... .... 0110 */
+#define SRC_RSVD       0x00000008 /* ...... ........ ...... .... .... 1000 */
+
+#define SRC_TYPE_VAL   0x00000000 /* ...... ........ ...... .... .... ...0 */
+#define SRC_TYPE_REF   0x00000001 /* ...... ........ ...... .... .... ...1 */
+
+#define SRC_MODE_IMM   0x00000000 /* ...... ........ ...... .... .... .00. */
+#define SRC_MODE_CONST 0x00000002 /* ...... ........ ...... .... .... .01. */
+#define SRC_MODE_ADDR  0x00000006 /* ...... ........ ...... .... .... .11. */
+#define SRC_MODE_REG   0x00000004 /* ...... ........ ...... .... .... .10. */
+
+/****** Argument masks ******/
+#define ARG_TYPE       0x00000010 /* ...... ........ ...... .... 0001 .... */
+#define ARG_MODE       0x00000060 /* ...... ........ ...... .... 0110 .... */
+#define ARG_RSVD       0x00000080 /* ...... ........ ...... .... 1000 .... */
+
+#define ARG_TYPE_VAL   0x00000000 /* ...... ........ ...... .... ...0 .... */
+#define ARG_TYPE_REF   0x00000010 /* ...... ........ ...... .... ...1 .... */
+
+#define ARG_MODE_IMM   0x00000000 /* ...... ........ ...... .... .00. .... */
+#define ARG_MODE_CONST 0x00000020 /* ...... ........ ...... .... .01. .... */
+#define ARG_MODE_ADDR  0x00000060 /* ...... ........ ...... .... .11. .... */
+#define ARG_MODE_REG   0x00000040 /* ...... ........ ...... .... .10. .... */
+
+/****** Destination masks ******/
+#define DST_TYPE       0x00000600 /* ...... ........ ...... 0110 .... .... */
+#define DST_RSVD       0x00000900 /* ...... ........ ...... 1001 .... .... */
+
+#define DST_MODE_ADDR  0x00000600 /* ...... ........ ...... .11. .... .... */
+#define DST_MODE_REG   0x00000400 /* ...... ........ ...... .10. .... .... */
+
+#define OP             0x03FC0000 /* ...... 11111111 ...... .... .... .... */
+#define OP_RSVD        0x00000000 /* ...... 00000000 ...... .... .... .... */
+
+#define IF             0x00007000 /* ...... ........ 000001 .... .... .... */
+#define IF_RSVD        0x00038000 /* ...... ........ 111110 .... .... .... */
+
+/* OP_FULL is a combined opcode and interface mask. */
+#define OP_FULL        (IF|OP)    /* ...... 11111111 000001 .... .... .... */
+
+#define IF_CORE        0x00000000 /* ...... ........ .....0 .... .... .... */
+
+#define OP_CLR         0x00000000 /* ...... 00000000 .....0 .... .... .... */
+#define OP_MOV         0x03FC0000 /* ...... 11111111 .....0 .... .... .... */
+#define OP_SORT        0x00040000 /* ...... 00000001 .....0 .... .... .... */
+#define OP_AVG         0x03F80000 /* ...... 11111110 .....0 .... .... .... */
+#define OP_BE          0x000C0000 /* ...... 00000011 .....0 .... .... .... */
+#define OP_BNE         0x03F00000 /* ...... 11111100 .....0 .... .... .... */
+#define OP_BEZ         0x00080000 /* ...... 00000010 .....0 .... .... .... */
+#define OP_BNEZ        0x03F40000 /* ...... 11111101 .....0 .... .... .... */
+#define OP_BLTEZ       0x00180000 /* ...... 00000110 .....0 .... .... .... */
+#define OP_BGTEZ       0x03E40000 /* ...... 11111001 .....0 .... .... .... */
+#define OP_JMP         0x001C0000 /* ...... 00000111 .....0 .... .... .... */
+#define OP_SKP         0x03E00000 /* ...... 11111000 .....0 .... .... .... */
+#define OP_MIN         0x00140000 /* ...... 00000101 .....0 .... .... .... */
+#define OP_MAX         0x03E80000 /* ...... 11111010 .....0 .... .... .... */
+#define OP_BLT         0x00100000 /* ...... 00000100 .....0 .... .... .... */
+#define OP_BGT         0x03EC0000 /* ...... 11111011 .....0 .... .... .... */
+#define OP_BLTZ        0x00300000 /* ...... 00001100 .....0 .... .... .... */
+#define OP_BGTZ        0x03CC0000 /* ...... 11110011 .....0 .... .... .... */
+#define OP_BLTE        0x00340000 /* ...... 00001101 .....0 .... .... .... */
+#define OP_BGTE        0x03C80000 /* ...... 11110010 .....0 .... .... .... */
+#define OP_PUSH        0x003C0000 /* ...... 00001111 .....0 .... .... .... */
+#define OP_POP         0x03C00000 /* ...... 11110000 .....0 .... .... .... */
+#define OP_OR          0x00380000 /* ...... 00001110 .....0 .... .... .... */
+#define OP_NOR         0x03C40000 /* ...... 11110001 .....0 .... .... .... */
+#define OP_ADD         0x00280000 /* ...... 00001010 .....0 .... .... .... */
+#define OP_SUB         0x03D40000 /* ...... 11110101 .....0 .... .... .... */
+#define OP_INC         0x002C0000 /* ...... 00001011 .....0 .... .... .... */
+#define OP_DEC         0x03D00000 /* ...... 11110100 .....0 .... .... .... */
+#define OP_GRY         0x00240000 /* ...... 00001001 .....0 .... .... .... */
+#define OP_HUE         0x03D80000 /* ...... 11110110 .....0 .... .... .... */
+#define OP_CALL        0x00200000 /* ...... 00001000 .....0 .... .... .... */
+#define OP_RET         0x03DC0000 /* ...... 11110111 .....0 .... .... .... */
+#define OP_AND         0x00600000 /* ...... 00011000 .....0 .... .... .... */
+#define OP_NAND        0x039C0000 /* ...... 11100111 .....0 .... .... .... */
+#define OP_MUL         0x00640000 /* ...... 00011001 .....0 .... .... .... */
+#define OP_DIV         0x03980000 /* ...... 11100110 .....0 .... .... .... */
+#define OP_SHL         0x006C0000 /* ...... 00011011 .....0 .... .... .... */
+#define OP_SHR         0x03900000 /* ...... 11100100 .....0 .... .... .... */
+#define OP_ROTL        0x00680000 /* ...... 00011010 .....0 .... .... .... */
+#define OP_ROTR        0x03940000 /* ...... 11100101 .....0 .... .... .... */
+#define OP_LOCK        0x00780000 /* ...... 00011110 .....0 .... .... .... */
+#define OP_ULOCK       0x03840000 /* ...... 11100001 .....0 .... .... .... */
+#define OP_XOR         0x007C0000 /* ...... 00011111 .....0 .... .... .... */
+#define OP_NOT         0x03800000 /* ...... 11100000 .....0 .... .... .... */
+#define OP_POW         0x00740000 /* ...... 00011101 .....0 .... .... .... */
+#define OP_ROOT        0x03880000 /* ...... 11100010 .....0 .... .... .... */
+#define OP_SQR         0x00700000 /* ...... 00011100 .....0 .... .... .... */
+#define OP_SQRT        0x038C0000 /* ...... 11100011 .....0 .... .... .... */
+#define OP_EXP         0x00500000 /* ...... 00010100 .....0 .... .... .... */
+#define OP_LN          0x03AC0000 /* ...... 11101011 .....0 .... .... .... */
+#define OP_TXN         0x00540000 /* ...... 00010101 .....0 .... .... .... */
+#define OP_CMT         0x03A80000 /* ...... 11101010 .....0 .... .... .... */
+#define OP_RSV0        0x005C0000 /* ...... 00010111 .....0 .... .... .... */
+#define OP_RSV1        0x03A00000 /* ...... 11101000 .....0 .... .... .... */
+#define OP_SIN         0x00580000 /* ...... 00010110 .....0 .... .... .... */
+#define OP_ASIN        0x03A40000 /* ...... 11101001 .....0 .... .... .... */
+#define OP_COS         0x00480000 /* ...... 00010010 .....0 .... .... .... */
+#define OP_ACOS        0x03B40000 /* ...... 11101101 .....0 .... .... .... */
+#define OP_TAN         0x004C0000 /* ...... 00010011 .....0 .... .... .... */
+#define OP_ATAN        0x03B00000 /* ...... 11101100 .....0 .... .... .... */
+#define OP_RND         0x00440000 /* ...... 00010001 .....0 .... .... .... */
+#define OP_SEND        0x03B80000 /* ...... 11101110 .....0 .... .... .... */
+#define OP_RSV2        0x00400000 /* ...... 00010000 .....0 .... .... .... */
+#define OP_RSV3        0x03BC0000 /* ...... 11101111 .....0 .... .... .... */
+#define OP_CSC         0x00C00000 /* ...... 00110000 .....0 .... .... .... */
+#define OP_ACSC        0x033C0000 /* ...... 11001111 .....0 .... .... .... */
+#define OP_SEC         0x00C40000 /* ...... 00110001 .....0 .... .... .... */
+#define OP_ASEC        0x03380000 /* ...... 11001110 .....0 .... .... .... */
+#define OP_COT         0x00CC0000 /* ...... 00110011 .....0 .... .... .... */
+#define OP_ACOT        0x03300000 /* ...... 11001100 .....0 .... .... .... */
+
+#define FLAGS_RSVD     0xFC000000 /* 111111 ........ ...... .... .... .... */
+
+#define VALID_INSTRUCTION (~(SRC_RSVD|ARG_RSVD|DST_RSVD|OP_RSVD|IF_RSVD|FLAGS_RSVD))
+
+#endif

data/lib/codex.rb

@@ -0,0 +1,39 @@
+require File.join(File.dirname(__FILE__), "..", "codex_rb_ext")
+require 'socket'
+
+module Codex
+  VERSION = "#{VERSION_MAJOR}.#{VERSION_MINOR}.#{VERSION_PATCH}".freeze
+
+  class Page
+  end
+
+  class File
+  end
+
+  class Connection
+    def initialize(host='cloudburst.net', port=32700)
+      @host = host
+      @port = port
+      @sock = UDPSocket.open
+      @ops = []
+      self
+    end
+
+    def push(op, src, arg, dst)
+      @ops += [op, src, arg, dst]
+      self
+    end
+
+    def compile
+      @page = Codex::Page.new(@ops)
+      self
+    end
+
+    def execute
+      @sock.send(@page.to_s, 0, @host, @port)
+      if select([@sock], nil, nil, 1)
+        Codex::File.new(@sock.recvfrom(0xFFFF).shift).to_a
+      end
+    end
+  end
+end