2015-08-08 21:03:37 +02:00
|
|
|
---
|
|
|
|
layout: site
|
|
|
|
---
|
|
|
|
<div class="row vspace10">
|
|
|
|
<div class="span12">
|
2015-11-23 13:19:56 +01:00
|
|
|
<h2 class="center">A completely object oriented machine</h2>
|
2015-08-08 21:03:37 +02:00
|
|
|
<div>
|
|
|
|
<p class="center"><span>
|
2015-11-23 13:19:56 +01:00
|
|
|
A fully self describing object system without external dependencies capable of executing dynamic
|
|
|
|
object oriented languages like ruby or python.
|
2015-08-08 21:03:37 +02:00
|
|
|
</span></p>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="row vspace20">
|
|
|
|
<div class="span4">
|
2015-11-23 13:19:56 +01:00
|
|
|
<h2 class="center">Goal</h2>
|
|
|
|
<p>
|
|
|
|
The goal is to execute object oriented code without external dependencies, on modern hardware.
|
2015-08-08 21:03:37 +02:00
|
|
|
</p>
|
2015-11-23 13:19:56 +01:00
|
|
|
<p>
|
2016-08-01 16:30:37 +02:00
|
|
|
It must be possible to compile higher level, dynamic, object oriented languages into a typed
|
|
|
|
intermediate representation, in a similar way that c++ is compiled into c (at least used to be).
|
|
|
|
So ruby compiles to soml which compiles to assembler which compiles to binaries.
|
|
|
|
<b>No interpretation.</b>
|
2015-11-23 13:19:56 +01:00
|
|
|
</p>
|
|
|
|
<p>
|
2016-08-01 16:30:37 +02:00
|
|
|
Using the compilation method on it's own runtime (and bootstraping with an exising vm),
|
|
|
|
it is possible to write the whole system in a dynamic oo language (ruby), thus
|
|
|
|
<b>removing the two language problem</b> (having to choose between nice and fast)
|
2015-08-08 21:03:37 +02:00
|
|
|
</p>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="span4">
|
|
|
|
<h2 class="center">Status</h2>
|
2015-11-23 13:19:56 +01:00
|
|
|
<p>
|
2016-08-01 16:30:37 +02:00
|
|
|
A first version of the lower level intermediate representation is now <a href="/soml/soml.html">done</a>.
|
|
|
|
Currently there is staticaly typed layer is called SOML (salama object machine layers), which
|
|
|
|
has roughly c-ish semantics, and introduces several new concept:
|
2015-11-23 13:19:56 +01:00
|
|
|
<ul>
|
|
|
|
<li> Object based memory (no global memory) </li>
|
|
|
|
<li> Multiple return addresses based on type </li>
|
|
|
|
<li> Multiple implementations per function based on type </li>
|
|
|
|
<li> Implicit type tracking using adaptive code</li>
|
2015-11-29 13:07:56 +01:00
|
|
|
<li> Explicit <a href="/2015/06/20/the-static-call-chain.html">message and frame objects</a>(no stack)</li>
|
2015-11-23 13:19:56 +01:00
|
|
|
<li> <a href="http://book.salama-vm.org/register/machine.html">Register machine abstraction</a></li>
|
2015-11-29 13:07:56 +01:00
|
|
|
<li> <a href="http://book.salama-vm.org/register/instructions.html">Extensible</a> instruction set</li>
|
2015-11-23 13:19:56 +01:00
|
|
|
</ul>
|
|
|
|
</p>
|
2015-08-08 21:03:37 +02:00
|
|
|
<p>
|
2015-11-23 13:19:56 +01:00
|
|
|
An abstract risc like register level defines some abstraction from the actual hardware. The
|
2016-08-01 16:30:37 +02:00
|
|
|
soml compiler compiles to this level, but a mapping to Arm is provided to produce <b>working binaries</b>.
|
2015-08-08 21:03:37 +02:00
|
|
|
</p>
|
2015-11-23 13:19:56 +01:00
|
|
|
<p>
|
2015-08-08 21:03:37 +02:00
|
|
|
There is also an interpreter (mostly for testing) and a basic
|
|
|
|
<a href="https://github.com/salama/salama-debugger"> visual debugger</a> which not only helps
|
|
|
|
debugging, but also understanding of the machine.
|
|
|
|
</p>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="span4">
|
|
|
|
<h2 class="center">Docs</h2>
|
|
|
|
<p>
|
|
|
|
The short introduction is under the <a href="/salama/layers.html">architecture</a> menu.
|
2015-11-23 13:19:56 +01:00
|
|
|
</p>
|
|
|
|
<p>
|
2016-08-01 16:30:37 +02:00
|
|
|
The section on SOML gives an overview of the <a href="/soml/soml.html">system layer</a>.
|
2015-08-08 21:03:37 +02:00
|
|
|
</p>
|
|
|
|
<p>
|
2015-11-23 13:19:56 +01:00
|
|
|
The full documentation is in form of a gitbook and can be <a href="/book.html">viewed here.</a>
|
2015-08-08 21:03:37 +02:00
|
|
|
</p>
|
|
|
|
<p>
|
|
|
|
The <a href="/project/motivation.html">about</a> section has some info of when and how this
|
2015-08-08 21:56:12 +02:00
|
|
|
started. If you feel like contributing <a href="/contribute.html">read this</a> or write a
|
|
|
|
<a href="https://groups.google.com/forum/#!forum/salama-dev"> mail </a>.
|
2015-08-08 21:03:37 +02:00
|
|
|
</p>
|
2015-11-29 13:07:56 +01:00
|
|
|
<h4 class="center">News</h2>
|
|
|
|
<p>
|
|
|
|
Last but not least, i try to get recent developments down on paper when they are still fresh.
|
|
|
|
</p>
|
|
|
|
<p>
|
|
|
|
{{ site.posts[0].date | date: "%d.%m.%y" }}:
|
|
|
|
<a href="{{ site.posts.first.url }}">{{ site.posts[0].title }} </a>
|
|
|
|
</p>
|
|
|
|
<p>
|
|
|
|
{{ site.posts[1].date | date: "%d.%m.%y" }}:
|
|
|
|
<a href="{{ site.posts.first.url }}">{{ site.posts[1].title }} </a>
|
|
|
|
</p>
|
|
|
|
<p>
|
|
|
|
{{ site.posts[2].date | date: "%d.%m.%y" }}:
|
|
|
|
<a href="{{ site.posts.first.url }}">{{ site.posts[2].title }} </a>
|
|
|
|
</p>
|
2015-08-08 21:03:37 +02:00
|
|
|
</div>
|
|
|
|
|
|
|
|
</div>
|