turn of the Cog

Hi All,

I've made a significant step today in making available the first
cut of my closure scheme. There is a new blog post on
www.mirandabanda.org/cogblog about the closure bytecodes which at the
end includes a pointer to the bootstrap @
http://www.mirandabanda.org/files/Co...808/Bootstrap/. The bootstrap
has been tested on internal Qwaq images, and on Croquet 1.0 and Squeak
3.9. I'd love to hear of other ports, e.g. to 3.10 and to Spoon. I'm
interested in bug reports (I haven't yet tested eToys) and code reviews
and tying up loose ends (for example I broke decompile with temp names
and haven't fixed it).

Thanks and enjoy.
--
Eliot ,,,^..^,,, Smalltalk - scene not herd

Eliot Miranda a écrit :
> Hi All,
>
> I've made a significant step today in making available the first cut
> of my closure scheme. There is a new blog post on
> www.mirandabanda.org/cogblog about the closure bytecodes which at the
> end includes a pointer to the bootstrap @
> http://www.mirandabanda.org/files/Co...808/Bootstrap/.

Great explanations.
You make it look simple.

The bootstrap
> has been tested on internal Qwaq images, and on Croquet 1.0 and Squeak
> 3.9. I'd love to hear of other ports, e.g. to 3.10 and to Spoon. I'm
> interested in bug reports (I haven't yet tested eToys) and code reviews
> and tying up loose ends (for example I broke decompile with temp names
> and haven't fixed it).
>
> Thanks and enjoy.
> --
> Eliot ,,,^..^,,, Smalltalk - scene not herd

I understand you'd love to be helped with the Decompiler, every modest
change I attempted about bytecode generation like inlining #repeat loops
would already be integrated without this tricky beast.

Nicolas

nicolas cellier wrote:
> Eliot Miranda a écrit :
>> Hi All,
>>
>> I've made a significant step today in making available the first
>> cut of my closure scheme. There is a new blog post on
>> www.mirandabanda.org/cogblog about the closure bytecodes which at the
>> end includes a pointer to the bootstrap @
>> http://www.mirandabanda.org/files/Co...808/Bootstrap/.
>
> Great explanations.
> You make it look simple.

Its a lot simpler than some other Smalltalk code I could mention
(Croquet for example is complicated!). Its only the VM; simple
mechanical stuff


>> The bootstrap
>> has been tested on internal Qwaq images, and on Croquet 1.0 and Squeak
>> 3.9. I'd love to hear of other ports, e.g. to 3.10 and to Spoon. I'm
>> interested in bug reports (I haven't yet tested eToys) and code
>> reviews and tying up loose ends (for example I broke decompile with
>> temp names and haven't fixed it).
>>
>> Thanks and enjoy.
>> --
>> Eliot ,,,^..^,,, Smalltalk - scene not herd
>
> I understand you'd love to be helped with the Decompiler, every modest
> change I attempted about bytecode generation like inlining #repeat loops
> would already be integrated without this tricky beast.



Well I made sure the decompiler works. But what doesn't work is the
feature that let's the decompiler use temporary names. he issue here is
that the existing scheme assumes there is just one vector of temp names.
With closures there are different vectors of temp names for each real
(unoptimized, not inlined) block and there are indirect temporaries. So
I have to come up with some scheme to represent this structure that
doesn't break qCompress:firstTry: and qDecompress:. I'm getting there


>
> Nicolas


--
The surest sign that intelligent life exists elsewhere in Calvin &
the universe is that none of it has tried to contact us. Hobbes.
--
Eliot ,,,^..^,,, Smalltalk - scene not herd