Javascript:SpiderMonkey:OdinMonkey: Difference between revisions

Revision as of 15:49, 4 November 2014

Continue iteration on SIMD proposal and implementation/optimization in Ion/Odin.
SharedArrayBuffer, Atomics, Futex

Move code generation off of parsing thread: bug 959263
PGAOT (Profile-Guided Ahead-of-Time Compilation):
- Create a baseline asm.js compiler: super-fast codegen but with full static type info
- Allow individual functions in an asm.js module to choose full or baseline (via "use" pragma on individual functions)
- Allow Emscripten users to change default (full or baseline), hand-annotate, or do profiling to place pragmas.
Parse and AOT compile while downloading: bug 1061886
Remove async-script requirement for asm.js caching:
- Maybe remove it from QuotaManager: bug 961057
- More likely, just take (large) script parsing off the main thread: bug 1084009
asm.js parser: Avoid building an intermediate parse tree; type check during recursive descent bug 854061

Optimize sin/cos: bug 967709
Use callee-saved registers: bug 985065
Heap access: bug 986981, bug 870743, bug 897425, bug 915157, bug 983131, bug 865523, bug 984478, bug 1056027
Optimize add-with-overflow: bug 1043365
Optimize min/max: bug 1060635
For asm.js->asm.js calls on x86, pass the return value via xmm register, not fp stack
Remove branching from double-to-int conversion using signal handler (see also bug 818750)
Optimize calls into (bug 962641), out of (bug 1000632), and between (bug 982036) asm.js modules.

Zero-cost exception handling: bug 1065089
Extend asm.js to allow proper tail calls for all return types and do the tail-call optimization
Effectively support 'goto' (even computed 'goto') by formalizing a pattern of while+switch that gets compiled as if it was goto
Extend asm.js to better support dynamically linking asm.js modules (a mutable, callable array argument to asm.js module, like the PLT)
Add DataView to avoid the alignment mask on asm.js heap accesses (this is mostly a problem of DataView being slow in all browsers)

int64 arithmetic: https://gist.github.com/BrendanEich/4294d5c212a6d2254703
ArrayBuffer.prototype.discard (bug 855669): to allow madvise(DONTNEED)
Typed Objects: (Typed Objects)
- This feature comes with float32/uint64/int64 value types, which would be useful as scalar types in asm.js.
- Formalize Typed Object "class declarations" in asm.js which could make asm.js a target for JVM/CLR/TypeScript (and allow these languages to reuse the builtin JS GC)
FunctionPromise: bug 854627, or perhaps just make some functions (asm.js, no-free-variables) structured-cloneable
Add way to programmatically observe whether asm.js validated: bug 952847

Add about:config option to throw for out-of-bounds or unaligned access (bug 1088655)
Fix asm.js caching browser interop (bug 1047098, bug 1047105

Credit to John Howard

@@ Line 42: / Line 42: @@
 == Usability improvements ==
-* Print warning on out-of-bounds heap access: {{bug|879891}}
+* Add about:config option to throw for out-of-bounds or unaligned access ({{bug|1088655}})
-* Add about:config option to check for and emit warning on unaligned heap access
 * Fix asm.js caching browser interop ({{bug|1047098}}, {{bug|1047105}}