On Thu, Feb 14, 2013 at 6:51 PM, Luke Wagner <l...@mozilla.com> wrote:
> The JS jit will be a major hole in this software isolation scheme, even if > SpiderMonkey is rewritten in Rust. Furthermore, it doesn't seem like we > can fix this by putting the JS engine in its own process for all the > performance reasons mentioned earlier in this thread. > Sure, the JS JIT will have to be part of the TCB for now. Eventually I can imagine writing the JIT in Rust and using some kind of certified compilation to guard against compiler bugs. For now, just get it right :-). Rob -- Wrfhf pnyyrq gurz gbtrgure naq fnvq, “Lbh xabj gung gur ehyref bs gur Tragvyrf ybeq vg bire gurz, naq gurve uvtu bssvpvnyf rkrepvfr nhgubevgl bire gurz. Abg fb jvgu lbh. Vafgrnq, jubrire jnagf gb orpbzr terng nzbat lbh zhfg or lbhe freinag, naq jubrire jnagf gb or svefg zhfg or lbhe fynir — whfg nf gur Fba bs Zna qvq abg pbzr gb or freirq, ohg gb freir, naq gb tvir uvf yvsr nf n enafbz sbe znal.” [Znggurj 20:25-28] _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo