undefined | Better HN

0 pointsthecombjelly10y ago0 comments

> Do I, as a user of the OS gain anything, or is it just easier for the kernel developers to not have to care about that?

Even if you don't gain anything directly you still gain significantly indirectly. Improvements in the speed and quality of kernel development means end users see new features quicker and bugs fixed sooner. It also makes it easier for CS researchers to try things out and make large advancements that can be easily applied to the OS.

0 comments

2 comments · 1 top-level

capitalsigma10y ago· 1 in thread

> Improvements in the speed...of kernel development means end users see new features quicker

When is the last time you needed a feature that could only be provided by your kernel?

> It also makes it easier for CS researchers to try things out

How are they going to try things out if your OS doesn't support any of the techniques they're interested in (i.e. novel ways of getting at hardware, novel ways of doing virtual memory, etc)? Your premise is that life will be better because we won't have to deal with the ugliness of talking directly to hardware in C/C++/assembler, so what room does that leave for research?

Also I just want to tag on a question based on one of your reddit posts:

> One example is that 3L can save the entire system as you are using it. This means that if the power gets cut or the battery dies you can (instantly) reboot the system and it will be like you never lost power.

You realize that this sort of thing is a huge area of current research, right? Because it's a really, really hard problem?

thecombjellyOP10y ago

> When is the last time you needed a feature that could only be provided by your kernel?

Generally these are "unseen" features such as adding multicore support or adding support for a power saving feature on your graphics card.

> How are they going to try things out if your OS doesn't support any of the techniques they're interested in (i.e. novel ways of getting at hardware, novel ways of doing virtual memory, etc)

They are interested in a lot more than that. Check the 3L references page for a few examples. [0] Plus you can do many of those things with 3L.

> You realize that this sort of thing is a huge area of current research, right? Because it's a really, really hard problem?

Yes. But it is certainly possible and has already been done to some degree. Genera, for example, did it and a number of other real-world and research OSes have done it. Of course the real challenge is making it as real-time as possible but getting it most of the way there isn't actually that difficult.

[0] http://3lproject.org/references

j / k navigate · click thread line to collapse