Lazy deserialization

https://v8project.blogspot.com/2018/02/lazy-deserialization.html

by AndrewDucker • 8 years ago

65 20 8 years ago

v8project.blogspot.com

michaelmior2• 8 years ago

@dang Could this be replaced with the non-mobile link?

https://v8project.blogspot.ca/2018/02/lazy-deserialization.h...

sctb• 8 years ago

Updated. Thanks!

michaelmior2• 8 years ago

Whoops! Forgot you're sharing the load with dang now. Thanks!

m_eiman• 8 years ago

Couldn’t they do this with a copy-on-write initial heap that all the engine instances clone?

jannotti• 8 years ago

I think that's pretty close to what they're doing, really. Though usually COW refers to doing things on a page by page basis, which probably would not be as effective (since it would copy entire pages, when only a little was needed, so unless you were careful to put related function close together, you'd copy a lot more of the heap than you really want).

You're probably right though. I bet they end up closer and closer to that. Possibly even sharing pages that can't be modified, like code objects. That's what the last sentence or two seems to allude to. Eventually, they'll pretty much be reinventing shared libraries for the JavaScript world. Not that that's a bad thing.

jnordwick• 8 years ago

Shared libs with security related side-channel leakage?

edf13• 8 years ago

Good work - but can we just take a minute to look at this...

Over the past two years, the snapshot has nearly tripled in size, going from roughly 600 KB in early 2016 to over 1500 KB today.

1.5MB per snapshot... per tab effectively! It's crazy how wasteful we've become.

CurtHagenlocher• 8 years ago

I vaguely remember Lars Bek saying ~8 years ago that the snapshot size was 50kb (at the time).

jaawn3• 8 years ago

I have thought for awhile, and continue to think, that developers avoid "premature" optimization too fiercely. Yes, there are diminishing returns with optimization effort, but too often people interpret "avoid premature optimization" as "never optimize unless it feels slow, and even then only if it feels slow when it's the only thing running. Otherwise, blame everything else that is running first!"

taeric2• 8 years ago

Indeed, the quote of Knuth on this is followed immediately by not neglecting that critical minority of code where it matters.

Sadly, the promise of zero cost abstraction is a huge siren call. And not likely to change anytime soon.

drak0n1c• 8 years ago

Not to mention that the "never optimize until it feels slow" judgement calls are usually conducted on Macbook Pros with fast internet.

stcredzero2• 8 years ago

A snapshot contains everything needed to fully initialize a new Isolate, including language constants (e.g., the undefined value), internal bytecode handlers used by the interpreter, built-in objects (e.g., String), and the functions installed on built-in objects (e.g., String.prototype.replace) together with their executable Code objects.

This sounds suspiciously like the Smalltalk image. The Smalltalk undefined value was involved in some paradoxes, therefore it couldn't be completely defined/instantiated declaratively.

I wonder if the (de)serialization mechanism used here could be re-targeted in a manner resembling the Parcel technology developed for VisualWorks Smalltalk? Basically, the runtime state of an application could be serialized into a "parcel," which could then be rapidly deserialized and more or less directly injected into the runtime image.

Promarged• 8 years ago

The Smalltalk undefined value was involved in some paradoxes

Could you elaborate on this? Or provide some references? This sounds interesteing but when I tried DDG and Google for "smalltalk undefined paradoxes" the results were not exactly satisfactory.

stcredzero2• 8 years ago

nil was the sole instance of the class UndefinedObject, which was a subclass of Object, whose superclass evaluated to nil.

Another paradox: Every instance has a Class. A Class is also an instance of a Class. That object also has a Class, and that instance of a Class also has a Class, and so on. It was turtles all the way down.

KMag• 8 years ago

This sounds suspiciously like the Smalltalk image.

Lars Bak was a major contributor to both V8 and StrongTalk.

Lazy deserialization

Related Stories