5 ms·
Well, there is a lot of interest in a secure, scalable, fast, deterministic, simple OS which is also backwards compatible. ;) What do you mean by "safe" though
by qznc 14y ago
Well, there is a lot of interest in a secure, scalable, fast, deterministic, simple OS which is also backwards compatible. ;)
What do you mean by "safe" though? How is kernel-space safer then user-space?
- zobzu 13y agoNote that the part where I mentioned kernel and safe used quotes because its sarcastic. The modern oses do have kernels that are much safer than what we use day to day, however. They're indeed not in C. In general the core is typed ASM and it runs a a managed language right on top. The kernel is generally written with that and uses various concepts that separate privileges as much as possible for security, reliability and predictability, basically. That includes kernel components, and obviously drivers. Messages between components are also generally declared ("contracted") with well defined types.
- pjmlp 14y agoBy being written in systems programming languages safer than C.
- alberich 14y agoThis could catch some programming bugs, sure, but it wouldn't make the OS much safer. You can still have attacks on integrity, privacy and availability.
- pjmlp 14y agoAgreed, but the attack window would be smaller, that is what counts. If you really want to attack a system, nothing beats social engineering anyway.
- eli_gottlieb 13y agoThat would require building consensus around such a language. I mean, yes, this is one of my own hobby projects, but Rust is the most fully-developed attempt made so far and it still doesn't have the kind of developer backing that C did in the BSD days.
- pjmlp 13y agoI am old enough to remember when C only had backing from people working on UNIX systems, while other systems were either using Assembly or another high level language e.g. PL/I, Algol or Pascal dialect.