r3wp [groups: 83 posts: 189283]
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search
 

World: r3wp

[rebcode] Rebcode discussion

BrianH
11-Oct-2005
[30x2]
The assembler comment says no, but it hasn't been updated to reflect 
the other changes in syntax for test 2.
Sorry for the mass of questions, rather than just testing for myself 
:)

I have to go elsewhere for a while, and can pick up the discussion 
later...
Carl
11-Oct-2005
[32x4]
Do has been fixed.  Also Gabriele has been working on better assembler.
BRAW - yes computed goto.
BTW, code for everything is in system/internal object.
We will be doing another update very soon with new asm and various 
fixes.
Henrik
11-Oct-2005
[36]
is there any particular design you are going for yet? as in when 
we can expect to see a fixed feature set?
Carl
11-Oct-2005
[37x2]
Instruction set redesigned for best performance. That is #1 goal, 
not the look of the opcodes.
Floating point has now been added, as well as quick access to normal 
math lib funcs (sine, log, etc.)
Pekr
11-Oct-2005
[39]
Carl - that is fantastic ... I am just curious what was the reason 
we got rebcode? We talked about VM for years and suddenly it is here. 
Working with pixels is fast now :-) Is it just that you really enjoyed 
your vacation or is there any customer wish behind it? :-)
Carl
11-Oct-2005
[40x2]
The problem now is that the VM is getting close to optimal, which 
is making it very difficult to deal with the CPU oddities like pipeline 
and nonpredicted branch flushes, etc.
Hi Pekr: true reason is the move to better support OSX, which is 
on PPC. I wanted a VM so people could make faster funcs but without 
problems on other CPUs.
Pekr
11-Oct-2005
[42]
Any speedup/slowdown because of redesign? Still the same levels of 
performance as you posted in your blog?
Carl
11-Oct-2005
[43x2]
Yes, about the same.  Depends on if your CPU is hyperthreaded.  The 
problem there is that removing instructions (making the opcodes more 
efficient) actually has slowed it down a bit (like here on my system).
There is one big change yet to make: security.
Pekr
11-Oct-2005
[45x4]
to better support OS-X? So Internally you will switch to VM? Well, 
sorry for such questions, it is not just my level of knowledge - 
too low level :-)
So now someone can start thinking of writing JIT for rebcode, right? 
:-)
btw - would it (technically) make sense to provide interface to internal 
representation of datatypes? Dunno, just very primitive question, 
maybe it can't even technically work that way, but I thought that 
using technique as a rebcode, theoretically we could produce our 
own natives. Think of 'remove-each as an example. You had to provide 
us with one. I thought that if it would be possible to access e.g. 
block from within the rebcode, do some operations, that such functions 
could be done. Is that nonsense? :-)
Maybe we could rewrite some mezzanines then and have them more fast, 
but as I said - I am not even sure I know what I talk about :-)
Carl
11-Oct-2005
[49x2]
I've though a lot about internal access to datatypes, but the problem 
is that they change. For example, the 2.7.0 core kernel changes the 
internal id's for 80% of the datatypes.
So, the only way to do it would be to isolate them (datatype identifiers) 
via a lookup table.
Pekr
11-Oct-2005
[51]
wasn't it planned for so called language plug-ins some time ago?
Carl
11-Oct-2005
[52]
Yes, in fact it was the plugin design that made the problem clear.
Pekr
11-Oct-2005
[53]
So that ppl could write own components? Either in external language/libraries, 
or using VM?
Carl
11-Oct-2005
[54x3]
The more I worked on it, the more problems that came up.
A better approach is to use VM, and eventually JIT to native.
Then, if we come up with a datatype definition method, it may be 
possible to allow user created datatypes.
Pekr
11-Oct-2005
[57]
Yes, VM sounds good, but without internal access to datatypes? Dunno, 
will have to look into examples. Can't imagine manipulating block 
datatype for e.g. using VM :-)
Carl
11-Oct-2005
[58]
But, there would be many rules, because the user must be aware of 
GC and such.
Pekr
11-Oct-2005
[59]
Gabriele did something like that iirc ...
Carl
11-Oct-2005
[60]
Blocks are not very useful at VM level. Mostly strings, and the new 
Vector datatype.
Pekr
11-Oct-2005
[61]
Vector? AGG related?
Gabriele
11-Oct-2005
[62x5]
note about the new ASM: it has an iterative rewriting engine, so 
you can define rewriting rules and basically create your own assembler/compiler.
with it, i can write things like this:
f: rebcode [x y /local res] [
    res: x * x + (y * y)
    sqrt res
    return res
]
the x * x + (y * y) line is compiled to rebcode by the assembler, 
provided you give it the rules to do so :)
think of it as the macro expander in LISP, but more powerful (based 
on parse rules, so you can "expand" any dialect)
Carl
11-Oct-2005
[67x7]
New REBCODE release: www.rebol.net/builds/031/rebcode2.zip
Contains low level fixes and Gabriele's new assembler.
Both CORE and VIEW versions included.
Pekr: vector as a word for 1D array.
For example, vectors will let you create an optimal array of integers 
(unlike blocks).
Mostly useful for specific algorithms and use in rebcode VM.
But, note, not currently functional.
Henrik
11-Oct-2005
[74]
link is broken
Gabriele
11-Oct-2005
[75]
rebcode8.zip (there's a typo above)... but, wait, we found a couple 
bugs ;)
Carl
11-Oct-2005
[76]
New REBCODE release: www.rebol.net/builds/031/rebcode9.zip
Gabriele
11-Oct-2005
[77]
;you can try:
do http://www.colellachiara.com/soft/Misc/julia.r
Alan
11-Oct-2005
[78]
Carl:for some reason IE can not open/save rebcode9.zip-the page just 
gives me a blank icon ? But Firefox does work ! :)
Anton
12-Oct-2005
[79]
Very nice Gabriele :)