I have mixed feelings about this. In one side, I'm happy that some of the people affected by the Mozilla layoffs have now secured a job. On the other side, now almost all the power of the WASI standard is concentrated into the Fastly corporation (with wider penetration thanks to the WASI integration in Rust). The main and only player of the Bytecode Alliance becomes Fastly as well (as Mozilla is out of the server-sid…
Fastly hires entire Wasmtime team from Mozilla
21–30 of 153 posts
Re: Fastly hires entire Wasmtime team from Mozilla
#22Re: Fastly hires entire Wasmtime team from Mozilla
#23Earlier quoted context omitted.
Hm interesting idea... but - wasm has modules, "imports", and "exports" for I/O and host communication. The glue is one of the harder parts of the problem. - wasm bytecode is sandboxable with a simple MMU mapping. That's one reason it has structured control flow rather than goto. (And this is why you need a special algorithm to compile C gotos to wasm.) RISC V certainly doesn't limit itself like that. So I think this…
I don't completely understand your second point there, because I'm not necessarily talking about full-system emulation. Just userspace emulation. So, why can't RISC-V be a sandbox? It's just loading a normal ELF into a virtual memory. The first point is news to me, but I suppose you can build anything you want in an open ISA too. It looks like each object is like a shared object with an import and export table that c…
https://scholar.google.com/scholar?cluster=14979605902538775...
tl;dr security introduces a lot of design constraints that RISC V doesn't have.
section 2.3 on structured control flow:
WebAssembly represents control flow differently from most stack machines. It does not offer simple jumps but instead provides structured control flow constructs more akin to a programming language. This ensures by construction that control flow cannot form irreducible loops, contain branches to blocks with misaligned stack heights, or branch into the middle of a multi-byte instruction. These properties allow WebAssembly code to be validated in a single pass, compiled in a single pass, or even transformed to an SSA-form intermediate form in a single pass.
Also, wasm is a "Harvard architecture" rather than von Neumann (separate address space for code and data), also for security reasons:
section 2.2:
Linear memory is disjoint from code space, the execution stack, and the engine’s data structures; therefore compiled programs cannot corrupt their execution environment, jump to arbitrary locations, or perform other undefined behavior. At worst, a buggy or exploited WebAssembly program can make a mess of the data in its own memory.
However, wasm also leaves some things to be desired security wise. Buffer overflows in C are still buffer overflows once you compile to wasm, and can be chained in to JS exploits.
https://old.reddit.com/r/ProgrammingLanguages/comments/icb9v...
If you try to use RISC V in the same contexts, you'll have the same problems. If you have an additional layer of process sandboxing, then those could be mitigated. But then RISC V is not a wasm replacement.
Although maybe wasm is hopeless for C code, so you need more sandboxing anyway, so then it's on par with RISC V... interesting question.
Re: Fastly hires entire Wasmtime team from Mozilla
#24My money was on Cloudflare to have hired them wholesale. Regardless, congratulations to everyone involved! This deal has got me thinking... whether a right way to "lay-off" a supremely talented bunch is to actually see if other companies are willing to offer them jobs? Kind of how player transfers happen in Football (soccer). Either the team goes to the newer company wholesale or you help find your engineers suitable…
In my experience, acqui-hires benefit the company far more than the employees who get moved to a different company. The first time I was acquihired, my compensation actually decreased because they kept my base salary and rewrote the bonus structure such that it was impossible to hit previous payouts. Meanwhile, my prior company received a large payment for the transfer of our team. Ironically, the new company was pay…
Re: Fastly hires entire Wasmtime team from Mozilla
#25My money was on Cloudflare to have hired them wholesale. Regardless, congratulations to everyone involved! This deal has got me thinking... whether a right way to "lay-off" a supremely talented bunch is to actually see if other companies are willing to offer them jobs? Kind of how player transfers happen in Football (soccer). Either the team goes to the newer company wholesale or you help find your engineers suitable…
This is the acquihire model. You don't actually have to do the acquihire. A company could just offer folks jobs directly (CA frowns on companies working to block employee mobility given employers can also fire folks with basically no notice). But it smooths things to wrap it up in an acquihire. Startups often get offers like this. Wasn't there a recent case on HN where google or apple after the company rejected the a…
Re: Fastly hires entire Wasmtime team from Mozilla
#26Congratulations to the whole Wasmtime team! :)
Re: Fastly hires entire Wasmtime team from Mozilla
#27Earlier quoted context omitted.
In my experience, acqui-hires benefit the company far more than the employees who get moved to a different company. The first time I was acquihired, my compensation actually decreased because they kept my base salary and rewrote the bonus structure such that it was impossible to hit previous payouts. Meanwhile, my prior company received a large payment for the transfer of our team. Ironically, the new company was pay…
In my opinion, the acquihire you went through was poorly implemented, and the pay reduction disrespectful.
Re: Fastly hires entire Wasmtime team from Mozilla
#28Earlier quoted context omitted.
Hm interesting idea... but - wasm has modules, "imports", and "exports" for I/O and host communication. The glue is one of the harder parts of the problem. - wasm bytecode is sandboxable with a simple MMU mapping. That's one reason it has structured control flow rather than goto. (And this is why you need a special algorithm to compile C gotos to wasm.) RISC V certainly doesn't limit itself like that. So I think this…
I don't completely understand your second point there, because I'm not necessarily talking about full-system emulation. Just userspace emulation. So, why can't RISC-V be a sandbox? It's just loading a normal ELF into a virtual memory. The first point is news to me, but I suppose you can build anything you want in an open ISA too. It looks like each object is like a shared object with an import and export table that c…
Re: Fastly hires entire Wasmtime team from Mozilla
#29Earlier quoted context omitted.
In my opinion, the acquihire you went through was poorly implemented, and the pay reduction disrespectful.
I think their more general point still stands, though; why would you expect a company trying to "sell" their employees to negotiate in the employees' best interests rather than that of the company itself?
Re: Fastly hires entire Wasmtime team from Mozilla
#30Earlier quoted context omitted.
In my experience, acqui-hires benefit the company far more than the employees who get moved to a different company. The first time I was acquihired, my compensation actually decreased because they kept my base salary and rewrote the bonus structure such that it was impossible to hit previous payouts. Meanwhile, my prior company received a large payment for the transfer of our team. Ironically, the new company was pay…
In my opinion, the acquihire you went through was poorly implemented, and the pay reduction disrespectful.