[ANN] SqueakJS

 
Hi all,

On 20.12.2013, at 23:12, Chris Muller <[hidden email]> wrote:

> On Fri, Dec 20, 2013 at 3:31 PM, Bert Freudenberg <[hidden email]> wrote:
>>  http://croquetweak.blogspot.de/2013/12/squeakjs-lively-squeak-vm.html
>
> Ultra cool, Bert, congratulations!
>
> I was glad to see several, "for now"'s in your note.  Could you possibly give us a clue to your roadmap?
>
> A practical implementation of this has massive implications for Squeak -- deployment to any JS-enabled device.  Obviously this is a fantastic demonstration of wrapping computation, please tell me this is not just an experiment but something for which you have broader plans for..?

My personal medium-term goal is running an Etoys image. It will be very slow at first, but there certainly are ways to optimize.

But one reason for releasing it at this early stage is to allow people to work on what they think is needed. Like running a current Squeak image - beyond the stuff needed for Etoys it should really just be a handful changes to correctly interpret closures.

As for optimizing I think the way to go is a JIT compiler that creates actual Javascript functions from Squeak methods. And to make BitBlt fast, we could probably use WebGL.

There's also interesting stuff I probably won't be working on. Like a kind-of FFI that lets you call Javascript libraries directly. Or a plugin that gives you access to the DOM (I do have the mechanism for VM plugins in place already). With that you could write a native HTML UI which would certainly be much faster than BitBlt.

Networking would be interesting, too. How about implementing the SocketPlugin via WebSockets? Or file access using the browser's local storage API? Parallelize the VM with WebWorkers?

There's a gazillion exciting things to do :)

- Bert -

 

 

Wow. I expected that eventually someone would do this. Is it running the usual JSqueak 2.x image?

The potential here is unreal, man. We might be able to resurrect Scratch in Smalltalk if it can be run in browsers (especially on platforms like iOS where Flash is not present!)

Out of curiosity, do you have any benchies to share? It'd be nice to have a sense of what top of the line hardware and V8 can do with something like this in terms of performance.

Fantastic, Bert!

--Casey

On Fri, Dec 20, 2013 at 1:22 PM, Bert Freudenberg <[hidden email]> wrote:

 

Hi all,

I'm proud to announce SqueakJS, a new Squeak VM that runs on Javascript:

http://bertfreudenberg.github.io/SqueakJS/

It was inspired by Dan's JSqueak/Potato VM for Java, and similarly only runs the old Squeak 2.2 mini.image for now. But I developed it inside the Lively Kernel, which allowed me to make a nice UI to look inside the VM (in addition to all the Lively tools):

<SqueakJS-Lively.png>

It represents regular Squeak objects as Javascript objects with direct object references. SmallIntegers are represented as Javascript numbers, there is no need for tagging. Instance variables and indexable fields are held in a single array named "pointers". Word and byte binary objects store their data in arrays named "bytes" or "words". CompiledMethod instances have both "pointers" and "bytes". Float instances are not stored as two words as in Squeak, but have a single "float" property that stores the actual number (and the words are generated on-the-fly when needed).

For garbage collection, I came up with a hybrid scheme: the bulk of the work is delegated to the Javascript garbage collector. Only in relatively rare circumstances is a "manual" garbage collection needed. This hybrid GC is a semi-space GC with an old space and a new space. Old space is a linked list of objects, but newly allocated objects are not added to the list, yet. Therefore, unreferenced new objects will be automatically garbage-collected by Javascript. This is like Squeak's incremental GC, which only looks at objects in new space. The full GC is a regular mark-and-sweep: it's marking all reachable objects (old and new), then unmarked old objects get removed (a very cheap operation in a linked list), and new objects (identified by their missing link) are added to the old-space list. One nice feature of this scheme is that its implementation does not need weak references, which Javascript currently does not support.

This scheme also trivially supports object enumeration (Squeak's nextObject/nextInstance primitives): If the object is old, the next object is just the next link in the list. Otherwise, if there are new objects (newSpaceCount > 0) a GC is performed, which creates the next object link. But if newSpaceCount is 0, then this was the last object, and we're done.

The UI for now copies the Squeak display bitmap pixel-by-pixel to a typed array and shows it on the HTML 2D canvas using putImageData(). Clipboard copying injects a synthetic CMD-C keyboard event into the VM, then runs the interpreter until it has executed the clipboard primitive in response, then answers that string. This is because the web browser only allows clipboard access inside the copy/paste event handlers. You can drag an image file from your disk into the browser window to load it.

Besides running it on your desktop, you can install it as offline web app on an iPad: 

<SqueakJS-iPad.jpg>

On the iPad there is neither right-click nor command keys, but the menu is available on the inside of the flop-out scrollbars. It needs a fairly recent browser, too - it works in iOS 7, but apparently not in older ones. On Android it works in Chrome 31, but not quite as well (for example, the onscreen-keyboard does not come up on an Galaxy Note tablet).

The sources are on GitHub, and contributions are very welcome.

Have a great Christmas!

- Bert -

 
This is absolutely beautiful!

Performance figures are rather modest:
Safari: 3,401,360 bytecode/s 127,111 sends/s
Firefox: 4,232,804 bytecode/s 152,003 sends/s
Chrome: 1,860,465 bytecode/s 76,859 send/s
StackVM: 623,250,152 bytecode/s 13,392,546 sends/s

But still, MVC is _very_ usable. I could even set display depth to  
32bpp, and play with mandalas and such in full color. Wonderful!

This makes me think... Maybe MVC could still be useful as a low  
overhead UI for servers that usually run headless, very low power  
hardware, etc...

Cheers,
Juan Vuletich

 

 
On Sat, Dec 21, 2013 at 01:50:26PM -0300, J. Vuletich (mail lists) wrote:
I think that the lightweight MVC interface was important for demonstrating
the RoarVM for exactly this reason.

  http://news.squeak.org/tag/roarvm/

Dave

 

On Fri, Dec 20, 2013 at 10:31:35PM +0100, Bert Freudenberg wrote:

Hi all,

I'm proud to announce SqueakJS, a new Squeak VM that runs on Javascript:

   http://bertfreudenberg.github.io/SqueakJS/

It was inspired by Dan's JSqueak/Potato VM for Java, and similarly only runs the old Squeak 2.2 mini.image for now. But I developed it inside the Lively Kernel, which allowed me to make a nice UI to look inside the VM (in addition to all the Lively tools):

I don't know if anyone commented on the UI, but I love the VM debugger panels
that display and control the running VM while you use the Squeak mini image
running right next to it.

Dave

Thanks :) And there's even some stuff that's not exposed in the UI yet. I use the Lively tools to inspect the VM. Then for example