Joys of Porting a Kernel to WebAssembly(medium.com)
medium.com
Joys of Porting a Kernel to WebAssembly
https://medium.com/@raphael.outhier/joys-of-porting-a-kernel-to-webassembly-5f0124e71080
11 comments
> More seriously ... can someone explain the point of this?
According to RMS, a hacker is "someone who enjoys playful cleverness, especially in programming but other media are also possible."
This seems to me a perfect example of the Hacker ethos. There isn't a real point (that I see) except to have some fun. For the record, I have daydreamed of porting a kernel to WebAssembly, however, I have not (yet) "perfected my skills as a programmer".
I don't think there needs to be a "point" to all programming projects for everybody.
According to RMS, a hacker is "someone who enjoys playful cleverness, especially in programming but other media are also possible."
This seems to me a perfect example of the Hacker ethos. There isn't a real point (that I see) except to have some fun. For the record, I have daydreamed of porting a kernel to WebAssembly, however, I have not (yet) "perfected my skills as a programmer".
I don't think there needs to be a "point" to all programming projects for everybody.
You're right, I should not have asked about the point of it.
What I really meant was: what can you learn by doing this? If the goals are as they are stated in the doc, what's the motivation for trying in a browser context? TFA doesn't say "I was just feeling playful", it lays out some goals and some rationale for them. I just don't understand why, given those goals, you would try to do this in a browswer. Screwing around with kernels is fun, because of all the stuff that can happen (and that you can learn). I'm having a hard time seeing how this would be the case here. I'm probably just blind.
What I really meant was: what can you learn by doing this? If the goals are as they are stated in the doc, what's the motivation for trying in a browser context? TFA doesn't say "I was just feeling playful", it lays out some goals and some rationale for them. I just don't understand why, given those goals, you would try to do this in a browswer. Screwing around with kernels is fun, because of all the stuff that can happen (and that you can learn). I'm having a hard time seeing how this would be the case here. I'm probably just blind.
to learn about web assembly?
True, but I feel like a lot of people make things in web assembly so that when it's finished, it can be put up as a website to show off in their portfolio in an accessible way. And I also feel like that makes is less pure in the hacker way. A lot of toy projects today are being built with showing off to employers in mind.
Good point but half a decade seems a bit to long for it to be just a ploy to show off to employers.
> More seriously ... can someone explain the point of this?
The author's bio says "Writes kernels for fun", so that may be the primary motivation.
> The browser (JS) environment already more or less defines a virtual machine already ... why would you overlay that abstraction with yet another semantically very similar abstraction?
I had assumed that a possible motivation may have been to use WebAssembly in a non-browser hosted environment but that doesn't seem to be a specific motivation in this situation--but it could be in another situation.
> If you want to play with "kernel" concepts, why would you do this inside a browser rather than on an actual machine (or even a host-supported VM)?
I think the key motivation in this situation is explained in this quote from the "VI. The need for code compatibility between freestanding and hosted environments" section:
> As such we can make up for the shortcoming of the freestanding environment by making the code as much platform-independent as possible. This allows for a rigorous stress-testing and debugging of shared code via standardised, powerful and robust tools in the hosted environment, and safe deployment of this verified code on freestanding platforms.
So, in brief, this seems partially motivated by the fact that portability of code improves its debug-ability due to the ability to run it in an easily instrumented environment in addition to the original standalone environment.
And partially motivated by portability being a function of both runtime environment and compilation toolchain--the latter which seems to have been a factor here with lack of custom section support in the object format.
Thus, rather than being a desire to "play with 'kernel' concepts" in a browser, this seems motivated by improving portability of existing code written to play with kernel concepts in a more standalone environment.
The author's bio says "Writes kernels for fun", so that may be the primary motivation.
> The browser (JS) environment already more or less defines a virtual machine already ... why would you overlay that abstraction with yet another semantically very similar abstraction?
I had assumed that a possible motivation may have been to use WebAssembly in a non-browser hosted environment but that doesn't seem to be a specific motivation in this situation--but it could be in another situation.
> If you want to play with "kernel" concepts, why would you do this inside a browser rather than on an actual machine (or even a host-supported VM)?
I think the key motivation in this situation is explained in this quote from the "VI. The need for code compatibility between freestanding and hosted environments" section:
> As such we can make up for the shortcoming of the freestanding environment by making the code as much platform-independent as possible. This allows for a rigorous stress-testing and debugging of shared code via standardised, powerful and robust tools in the hosted environment, and safe deployment of this verified code on freestanding platforms.
So, in brief, this seems partially motivated by the fact that portability of code improves its debug-ability due to the ability to run it in an easily instrumented environment in addition to the original standalone environment.
And partially motivated by portability being a function of both runtime environment and compilation toolchain--the latter which seems to have been a factor here with lack of custom section support in the object format.
Thus, rather than being a desire to "play with 'kernel' concepts" in a browser, this seems motivated by improving portability of existing code written to play with kernel concepts in a more standalone environment.
> Why would you want to implement "a kernel" in WebAssembly?
Because webassembly has all the problems (very old) physical hardware has. No multithreading, but a kernel can cheat that out (by rewriting user space programs or interpreting them). Cooperative multithreading is a central component of virtually every webassembly program (ie. we're at win3.1 level). There's uses for drivers, dynamic libraries, permissions, ... all of these concepts have uses it seems to me very similar to what you need on real hardware.
Because webassembly has all the problems (very old) physical hardware has. No multithreading, but a kernel can cheat that out (by rewriting user space programs or interpreting them). Cooperative multithreading is a central component of virtually every webassembly program (ie. we're at win3.1 level). There's uses for drivers, dynamic libraries, permissions, ... all of these concepts have uses it seems to me very similar to what you need on real hardware.
He must be one of these guys that spends there life coding all the time.
I think we all know one, that guys that has written his own programming language 2 years into college and that codes up until 1 am everyday...
Google “Nebulet” and beware a kernel that runs all of user space in ring 0 by using web assembly.
The next logical step would be whether the kernel itself can be written in web assembly.
The next logical step would be whether the kernel itself can be written in web assembly.
Is it possible to implement a preemptive scheduler on WebAssembly? How would the kernel interrupt a running task?
Phew. I was worried it might take him a decade or two. Here I am 3.5 decades in, and I'm still an imperfect programmer. Clearly, I just suck.
More seriously ... can someone explain the point of this? Why would you want to implement "a kernel" in WebAssembly? The browser (JS) environment already more or less defines a virtual machine already ... why would you overlay that abstraction with yet another semantically very similar abstraction? If you want to play with "kernel" concepts, why would you do this inside a browser rather than on an actual machine (or even a host-supported VM) ?