Roadmap

[zhuzilin]

recent:

• [x] pass the typescript compiler test in Octane;
• [x] make the error messge more intuitive;
• [ ] design a good enough gc;
  • [x] implement a copying gc;
  • [x] implement a mark and sweep gc;
  • [ ] implement generational gc.
• [ ] do some optimization on the AST interpreter.
  • [x] remove ParameterMap in arguments object and specialize the function for MakeGetterArgs and MakeSetterArgs;
  • [ ] support ascii string to reduce memory consumption;
  • [x] do not allocate number in heap;
  • [x] separate string property and number property;
  • [x] move reference type to stack;
  • [x] let parser take parts in creating runtime values.

    functions:

• [ ] pass test262 ch06-ch14
• [ ] support a module system (ES6 / CommonJS);
• [ ] regex;
• [ ] json;
• [ ] URI.

  long term

• [ ] design byte code for the interpreter;
• [ ] experiement with different dispatch method and inline caching;
• [ ] JIT support;

[zhuzilin]

I'm trying to implement a stack-based virtual machine inside es.

I would use bytecode of SpiderMonkey: https://udn.realityripple.com/docs/Mozilla/Projects/SpiderMonkey/Internals/Bytecodes which is the only stack-based bytecode from a mainstream engine that is "well" documented.

The structure of the stack-based VM could be similar to JVM, as documented in the spec: https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-2.html

[zhuzilin]

The main performance bottleneck with the current implementation is that the property visiting is slow (the hashmap visiting costs around 40% of time). To completely solve this, I need to implement both the hidden class and inline caching (which means a good byte code design is also needed), which is too much work......