c8980595a3
truth check is only half done |
||
---|---|---|
lib | ||
stash | ||
test | ||
.codeclimate.yml | ||
.gitignore | ||
.reek | ||
.rubocop.yml | ||
.ruby-version | ||
.travis.yml | ||
CNAME | ||
CodeStyle.md | ||
FEATURES.md | ||
Gemfile | ||
Gemfile.lock | ||
Guardfile | ||
LICENSE.txt | ||
Rakefile | ||
README.md | ||
rubyx.gemspec | ||
ToDo.md |
RubyX
RubyX is about native code generation in and of ruby.
X can be read as 10 times faster, or a decade away, depending on mindset.
The current (fourth) rewrite adds a typed intermediate representation layer (bit like c, but not as a language). The idea is to compile ruby to that typed representation.
We use whitequarks parser to parse ruby.
Processing is roughly: Ruby --> Vm --> Risc --> Arm --> binary .
Done
Some things that are finished, look below for current status / work
Typed representation
The fully typed syntax representation and compiler to the Risc level is done. It is remodeled after last years system language, which proved the concept and surprised with speed.
Completely object oriented, including calling convention. Not much slower than c.
A runtime: Parfait
In a dynamic system the distinction between compile-time and run-time is blurs. But a minimum of support is needed to get the system up, and that is Parfait
Interpreter
After doing some debugging on the generated binaries i opted to write an interpreter for the risc layer. That way test runs on the interpreter reveal most issues.
Debugger
And after the interpreter was done, i wrote a visual debugger. It is a simple opal application that nevertheless has proven great help both in figuring out what is going on, and in finding bugs.
Status
Most work on the statically typed layer should be done (and produces working binaries!).
Next up: compiling ruby and typing it :-)
Stary sky
Iterate:
- more cpus (ie intel)
- more systems (ie mac)
- more syscalls, there are after all some hundreds
- A lot of modern cpu's functionality has to be mapped to ruby and implemented in assembler to be useful
- Different sized machines, with different register types ?
- on 64bit, there would be 8 bits for types and thus allow for rational, complex, and whatnot
- Housekeeping (the superset of gc) is abundant
- Any amount of time could be spent on a decent digital tree (see judy). Or possibly Dr.Cliffs hash.
- Also better string/arrays would be good.
- The minor point of threads and hopefully lock free primitives to deal with that.
- Other languages, python at least, maybe others
- translation of the vm instructions to another vm, say js
And generally optimize and work towards that perfect world (we never seem to be able to attain).
Contributing to rubyx
Probably best to talk to me, if it's not a typo or so.
I do have a todo, for the adventurous.
Fork and create a branch before sending pulls.
== Copyright
Copyright (c) 2014/5 Torsten Ruger. See LICENSE.txt for further details.