Redox OS 开发者抨击 Linux、Unix 和 GPL

oschina
 oschina
发布于 2016年03月23日
收藏 26

Redox OS是一个用Rust语言开发的类Unix操作系统项目,源代码托管在Github上,采用MIT许可证。在本月早些时候发布的更新中,开发者发布了一本电子书《The Redox Operating-System》,阐述了Redox OS的目标、设计理念和架构。虽然项目还处于早期阶段,开发者却毫不在乎的向其它著名的成熟开源项目开战。开发者宣称, 他们的目标是开发Linux的一个替代操作系统,但不会重复其它操作系统(aka Linux、Unix、BSD、HURD等)犯下的错误,他们不害怕放弃支持POSIX的糟糕部分。Redox OS将致力于维持Linux的兼容性,只要少许修改就能直接运行Linux可执行文件。开发者说,“我们会犯错,但不会犯其他人犯过的错。”开发者批评GPL对操作系统来说不是一个理想的许可证,它强迫任何即使是远程使用或链接到GPL源的代码都必须在GPL下授权。

本站文章除注明转载外,均为本站原创或编译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动共创开源社区。
转载请注明:文章转载自 OSCHINA 社区 [http://www.oschina.net]
本文标题:Redox OS 开发者抨击 Linux、Unix 和 GPL
资讯来源:Solidot
加载中

精彩评论

L
Liigo

引用来自“Windoze”的评论

用Rust写的OS?有种别用unsafe……
话说用了一大堆unsafe的Rust还不如C和C++呢……

引用来自“Liigo”的评论

Redox OS内核部分仅有16%的unsafe代码块,这个比例对内核而言已经很低了。Userspace里只有不到1%的unsafe代码块。

补充一个知识点:Rust里面unsafe代码块里的代码也不见得都是unsafe的代码。牛逼的作者靠着他牛逼的大脑可以保证这些代码也是safe代码。unsafe代码块比率越低,他review起来就越容易。C和C++?100%的unsafe代码块。
附加说明:Rust将代码分为safe和unsafe两部分,前者由编译器保证代码是安全的,后者由程序员保证代码是安全的(程序员在这里犯错时不安全代码就产生了)。unsafe的比例越少,程序员的负担就越轻。以上面的数字为例,Rust程序员只要仔细审查16%甚至1%的代码就够了,剩下的84%甚至99%由Rust编译器保证代码的安全性。对C/C++而言,编译器并不能保证哪怕1%的代码是安全的,程序员必须对100%的代码做安全审查。

最新评论(42

Alex-loongkylin
Alex-loongkylin
还不如用dlang
L
Liigo

引用来自“Windoze”的评论

用Rust写的OS?有种别用unsafe……
话说用了一大堆unsafe的Rust还不如C和C++呢……

引用来自“Liigo”的评论

Redox OS内核部分仅有16%的unsafe代码块,这个比例对内核而言已经很低了。Userspace里只有不到1%的unsafe代码块。

补充一个知识点:Rust里面unsafe代码块里的代码也不见得都是unsafe的代码。牛逼的作者靠着他牛逼的大脑可以保证这些代码也是safe代码。unsafe代码块比率越低,他review起来就越容易。C和C++?100%的unsafe代码块。
附加说明:Rust将代码分为safe和unsafe两部分,前者由编译器保证代码是安全的,后者由程序员保证代码是安全的(程序员在这里犯错时不安全代码就产生了)。unsafe的比例越少,程序员的负担就越轻。以上面的数字为例,Rust程序员只要仔细审查16%甚至1%的代码就够了,剩下的84%甚至99%由Rust编译器保证代码的安全性。对C/C++而言,编译器并不能保证哪怕1%的代码是安全的,程序员必须对100%的代码做安全审查。
L
Liigo

引用来自“Windoze”的评论

用Rust写的OS?有种别用unsafe……
话说用了一大堆unsafe的Rust还不如C和C++呢……
Redox OS内核部分仅有16%的unsafe代码块,这个比例对内核而言已经很低了。Userspace里只有不到1%的unsafe代码块。

补充一个知识点:Rust里面unsafe代码块里的代码也不见得都是unsafe的代码。牛逼的作者靠着他牛逼的大脑可以保证这些代码也是safe代码。unsafe代码块比率越低,他review起来就越容易。C和C++?100%的unsafe代码块。
L
Liigo
> 开发者宣称, 他们的目标是开发Linux的一个替代操作系统

开发者没有这么宣传过。恰恰相反,他们宣称不会复制Linux、也不以替代Linux为目标。可以通俗的说他们在做一个类似Linux的OS。至于将来会不会比现在的Linux还牛逼,谁知道呢,别忘了Linux自己也是从学生习作OS起步逐步发展而成的。
Windoze
Windoze
用Rust写的OS?有种别用unsafe……
话说用了一大堆unsafe的Rust还不如C和C++呢……
Pader
Pader
使用MIT协议,支持。抛弃POSIX糟糕的部分,支持。尤其是creat命令希望改为create,总之UNIX痛恨者手册里的说的很多都可以参考。
大黄
大黄
linux当初是怎么发展起来的?
平原君
平原君
通过放大炮,这项目成功的引起了大家的关注
返回顶部
顶部