1543211 - Move immutable bytecode-related fields from JSScript to SharedScriptData

Status: RESOLVED FIXED

(Core :: JavaScript Engine, task, P1)

Description

[Ted Campbell [:tcampbell]]

We currently keep scalar fields associated with bytecode compilation results on the JSScript itself, but since SharedScriptData always exists we should move the non-pointer /immutable fields off JSScript.

The primary motivation is memory reduction, especially when we are able to use SharedScriptData across processes. It also is useful if LazyScript and JSScript types get unified.

Comment 1

[Ted Campbell [:tcampbell]]

Attachment: Bug 1543211 - Hash raw bytes in ScriptBytecodeHasher

As more fields get added to SharedScriptData it becomes more problematic
to check them in hashing function so this changes code to hash raw bytes
of the immutable portion of SharedScriptData itself as well as its
trailing arrays (which currently hash as bytes already).

This redefines those data ranges in terms of mozilla::Span to make it
simpler to work with.

The ScriptBytecodeHasher is renamed to SharedScriptDataHasher to be
clearer about its scope.

The ScriptBytecodeHasher::Lookup struct is removed. The self-hash of a
lookup is only computed once during lookup so it is not necessary for
use to cache the result ourselves.

Comment 2

[Ted Campbell [:tcampbell]]

Attachment: Bug 1543211 - Move integer fields from JSScript to SharedScriptData

The SharedScriptData allocation always exists so moving these immutable
integer fields allows more sharing for memory savings. This adds an
extra dereference in a few paths in the JITs but they are negligable.

Comment 3

[Ted Campbell [:tcampbell]]

Attachment: Bug 1543211 - Store offsets instead of lengths in SharedScriptData

When describing multiple packed arrays that make up a SharedScriptData
we previously saved the length of each array and computed the start of
an array from the other of the others. Instead, this patch records the
offset from |this| to the end of each array. This makes seeking to the
start of an array simpler while still allowing computing the length of
an array as the difference of its start and end offsets.

This patch replaces the SharedScriptData::natoms/noteLength fields with
offsets instead.

Comment 4

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/3240bfce551d
Hash raw bytes in ScriptBytecodeHasher r=jandem
https://hg.mozilla.org/integration/autoland/rev/0930e8c0f382
Move integer fields from JSScript to SharedScriptData r=jandem
https://hg.mozilla.org/integration/autoland/rev/495c41f92744
Store offsets instead of lengths in SharedScriptData r=jandem

Comment 5

[Dorel Luca [:dluca]]

https://hg.mozilla.org/mozilla-central/rev/3240bfce551d
https://hg.mozilla.org/mozilla-central/rev/0930e8c0f382
https://hg.mozilla.org/mozilla-central/rev/495c41f92744