By: Brendan (btrotter.delete@this.gmail.com), July 14, 2021 11:15 am
Room: Moderated Discussions
Hi,
cqwrteur (euloanty.delete@this.live.com) on July 14, 2021 7:39 am wrote:
> anon (anon.delete@this.ymous.org) on July 14, 2021 3:50 am wrote:
> > cqwrteur (euloanty.delete@this.live.com) on July 14, 2021 2:38 am wrote:
> > >
> > > Let me explain again. I do not want Linux Kernel to be written in any language besides C.
> > >
> > > C++ is not an OO language. If you think C++ is an OO language
> > > and people like me who do not use OO are wrong. You are liars.
> >
> > You want the Linux kernel to be written in C. Cool.
> >
> > No one here except Linus Torvalds really has any say in how the Linux kernel
> > is written (I think). What do you want to achieve through this discussion ?
> >
> > Please also refrain from insulting people and being generally condescending
> > ("dumbass", "kids", and a couple others). Is that how you discuss research problems
> > with your advisor and peers ? If not, why is it okay to do it online ?
>
> Yes. I want linux kernel only in C.
>
> Reasons are:
> 1. Linux kernel itself is a crap. Just adding Rust as a driver does not change the fact it is still a crap.
> Rust for Linux code with unsafe abuse already proves my correctness.
> 2. Rust brings no safety in the kernel since you need to many unsafe and they are too verbose. Do not tell
> me Redox OS, it is a microkernel and still, guess what, they have memory safety security vulnerabilities.
There's no evidence of that yet. It's dishonest to compare code (in C) that had 20+ years of bug fixes to code (in Rust) that hasn't been written yet because they're still trying to deal with "bindings to existing C code" and "low level scaffolding".
Sure, there's evidence that Rust isn't perfect (and that memory safety issues in new code isn't 100% impossible), but "better" does not require "perfect".
> 3. Rust still requires a runtime, that bloats kernel binary size and further diminishes performance.
> Things like rustfmt bloat 300kb for kernel that is completely unacceptable.
For C, "freestanding" means you don't have stdio (and can't use "printf()", etc). For Rust, "freestanding" means you don't have rustfmt. It's hard to see a major difference there. Sure; you can complain the "hosted C" requires a run-time (and adds 300+ KiB of bloat) that "freestanding Rust" doesn't have, but..
> 4. The fundamental issue is that Linux lacks of competition. Unless someone writes a new kernel
> completely to compete with Linux, the situation won't change, no matter what language you are going
> to rewrite it.
Linux competes directly with FreeBSD, NetBSD, OpenBSD and OpenSolaris (all using mostly the same user-space, all open source, all "*nix based design" with mostly the same "posix" APIs, etc).
The fundamental issue is that (in general) open source has a funding problem.
Linux has the most market share because it has better hardware support, features, performance, etc; because it has the most developers; because it has the most "for profit" company support; because it has the most market share (because it has better hardware support, features, performance, etc; because it has....). It's a "nearly unbreakable" cycle that has almost nothing to do with programming language or technical merit and almost everything to do with economics and marketing.
This "nearly unbreakable" cycle is caused by Linux relying on a deceptive system of "hidden surcharges" to solve the underlying open source funding problem. You buy a new computer to run FreeBSD (or OpenSolaris, or Windows, or ...), and a lot of that $$ goes to companies like Intel who spend a small part of your $ to fund Linux; with the side effect being that your support for FreeBSD ends up being used to ensure that Linux is better than FreeBSD. You can not expect "100% fair" competition between Linux and competitors under those circumstances.
If someone writes a new kernel to compete with Linux, then it'll just take them 10+ years (mostly on device drivers) to reach the stage were they're screwed by that "nearly unbreakable" cycle (in the same way that the existing direct competitors to Linux are screwed by it now).
Any kind of success requires that you break that "nearly unbreakable" cycle (that has nothing to do with programming language). The most effective path to success would be to use "arguably more powerful anti-competitive practices" to compete against "arguably less powerful anti-competitive practices" (e.g. be the world's king of spam and funnel $$ from an existing monopoly into a new Linux competitor on smartphones).
> Just like GCC was a crap, until clang comes out and changes the situation.
Sure, just like GCC was crap until Apple managed to break GCC's "nearly unbreakable cycle" by investing a lot of $$ into a viable competitor (which also had nothing to do with the language/s GCC developers or LLVM developers chose to use to implement their products).
Of course "C vs. Rust (vs. C++ vs...)" is a very different type of competition (competing for developer's minds, and not consumer's wallets) where technical merit has a much stronger influence. For this, the inclusion of Rust in Linux source code is evidence of competition between languages (and not evidence of a lack of competition); so it's like you're claiming there should be more competition (in an irrelevant area) because you're didn't like competition (in a relevant area).
- Brendan
cqwrteur (euloanty.delete@this.live.com) on July 14, 2021 7:39 am wrote:
> anon (anon.delete@this.ymous.org) on July 14, 2021 3:50 am wrote:
> > cqwrteur (euloanty.delete@this.live.com) on July 14, 2021 2:38 am wrote:
> > >
> > > Let me explain again. I do not want Linux Kernel to be written in any language besides C.
> > >
> > > C++ is not an OO language. If you think C++ is an OO language
> > > and people like me who do not use OO are wrong. You are liars.
> >
> > You want the Linux kernel to be written in C. Cool.
> >
> > No one here except Linus Torvalds really has any say in how the Linux kernel
> > is written (I think). What do you want to achieve through this discussion ?
> >
> > Please also refrain from insulting people and being generally condescending
> > ("dumbass", "kids", and a couple others). Is that how you discuss research problems
> > with your advisor and peers ? If not, why is it okay to do it online ?
>
> Yes. I want linux kernel only in C.
>
> Reasons are:
> 1. Linux kernel itself is a crap. Just adding Rust as a driver does not change the fact it is still a crap.
> Rust for Linux code with unsafe abuse already proves my correctness.
> 2. Rust brings no safety in the kernel since you need to many unsafe and they are too verbose. Do not tell
> me Redox OS, it is a microkernel and still, guess what, they have memory safety security vulnerabilities.
There's no evidence of that yet. It's dishonest to compare code (in C) that had 20+ years of bug fixes to code (in Rust) that hasn't been written yet because they're still trying to deal with "bindings to existing C code" and "low level scaffolding".
Sure, there's evidence that Rust isn't perfect (and that memory safety issues in new code isn't 100% impossible), but "better" does not require "perfect".
> 3. Rust still requires a runtime, that bloats kernel binary size and further diminishes performance.
> Things like rustfmt bloat 300kb for kernel that is completely unacceptable.
For C, "freestanding" means you don't have stdio (and can't use "printf()", etc). For Rust, "freestanding" means you don't have rustfmt. It's hard to see a major difference there. Sure; you can complain the "hosted C" requires a run-time (and adds 300+ KiB of bloat) that "freestanding Rust" doesn't have, but..
> 4. The fundamental issue is that Linux lacks of competition. Unless someone writes a new kernel
> completely to compete with Linux, the situation won't change, no matter what language you are going
> to rewrite it.
Linux competes directly with FreeBSD, NetBSD, OpenBSD and OpenSolaris (all using mostly the same user-space, all open source, all "*nix based design" with mostly the same "posix" APIs, etc).
The fundamental issue is that (in general) open source has a funding problem.
Linux has the most market share because it has better hardware support, features, performance, etc; because it has the most developers; because it has the most "for profit" company support; because it has the most market share (because it has better hardware support, features, performance, etc; because it has....). It's a "nearly unbreakable" cycle that has almost nothing to do with programming language or technical merit and almost everything to do with economics and marketing.
This "nearly unbreakable" cycle is caused by Linux relying on a deceptive system of "hidden surcharges" to solve the underlying open source funding problem. You buy a new computer to run FreeBSD (or OpenSolaris, or Windows, or ...), and a lot of that $$ goes to companies like Intel who spend a small part of your $ to fund Linux; with the side effect being that your support for FreeBSD ends up being used to ensure that Linux is better than FreeBSD. You can not expect "100% fair" competition between Linux and competitors under those circumstances.
If someone writes a new kernel to compete with Linux, then it'll just take them 10+ years (mostly on device drivers) to reach the stage were they're screwed by that "nearly unbreakable" cycle (in the same way that the existing direct competitors to Linux are screwed by it now).
Any kind of success requires that you break that "nearly unbreakable" cycle (that has nothing to do with programming language). The most effective path to success would be to use "arguably more powerful anti-competitive practices" to compete against "arguably less powerful anti-competitive practices" (e.g. be the world's king of spam and funnel $$ from an existing monopoly into a new Linux competitor on smartphones).
> Just like GCC was a crap, until clang comes out and changes the situation.
Sure, just like GCC was crap until Apple managed to break GCC's "nearly unbreakable cycle" by investing a lot of $$ into a viable competitor (which also had nothing to do with the language/s GCC developers or LLVM developers chose to use to implement their products).
Of course "C vs. Rust (vs. C++ vs...)" is a very different type of competition (competing for developer's minds, and not consumer's wallets) where technical merit has a much stronger influence. For this, the inclusion of Rust in Linux source code is evidence of competition between languages (and not evidence of a lack of competition); so it's like you're claiming there should be more competition (in an irrelevant area) because you're didn't like competition (in a relevant area).
- Brendan
Topic | Posted By | Date |
---|---|---|
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/09 08:56 PM |
Is unsafe hell truly good for linux kernel in the future? | Brendan | 2021/07/09 11:59 PM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 12:37 PM |
Is unsafe hell truly good for linux kernel in the future? | anon | 2021/07/10 03:14 AM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 12:40 PM |
Is unsafe hell truly good for linux kernel in the future? | Gabriele Svelto | 2021/07/10 02:59 PM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 03:42 PM |
Is unsafe hell truly good for linux kernel in the future? | anon | 2021/07/11 05:11 AM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/12 11:40 AM |
Is unsafe hell truly good for linux kernel in the future? | Foo_ | 2021/07/10 05:56 AM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 08:59 AM |
Most RWT posters don’t decide what goes into the Linux kernel | Mark Roulo | 2021/07/10 11:55 AM |
Is unsafe hell truly good for linux kernel in the future? | Foo_ | 2021/07/22 10:10 AM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 09:22 AM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 09:24 AM |
Déja Vu | Dismissive | 2021/07/10 09:41 AM |
Déja Vu | cqwrteur | 2021/07/10 09:47 AM |
Déja Vu | Dismissive | 2021/07/10 09:51 AM |
Déja Vu | Michael S | 2021/07/10 12:11 PM |
Is unsafe hell truly good for linux kernel in the future? | Gabriele Svelto | 2021/07/10 11:51 AM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 12:32 PM |
Is unsafe hell truly good for linux kernel in the future? | Michael S | 2021/07/10 01:04 PM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 01:25 PM |
Is unsafe hell truly good for linux kernel in the future? | Gabriele Svelto | 2021/07/10 02:56 PM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 03:41 PM |
Is unsafe hell truly good for linux kernel in the future? | Rayla | 2021/07/10 04:33 PM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 05:27 PM |
Interesting response... (NT) | Rayla | 2021/07/10 08:02 PM |
perhaps just another lousy AI bot? (NT) | anonymou5 | 2021/07/10 08:33 PM |
perhaps just another lousy AI bot? | dmcq | 2021/07/10 10:26 PM |
perhaps just another lousy AI bot? | cqwrteur | 2021/07/10 10:56 PM |
perhaps just another lousy AI bot? | dmcq | 2021/07/11 02:29 AM |
perhaps just another lousy AI bot? | anon | 2021/07/11 05:16 AM |
perhaps just another lousy AI bot? | cqwrteur | 2021/07/12 02:56 PM |
perhaps just another lousy AI bot? | Rayla | 2021/07/11 05:13 AM |
perhaps just another lousy AI bot? | cqwrteur | 2021/07/11 10:59 AM |
When did I call you a bot, Kebabbert? (NT) | Rayla | 2021/07/11 07:51 PM |
Alternatives? | Brendan | 2021/07/11 12:54 AM |
Alternatives? | Michael S | 2021/07/11 05:01 AM |
Alternatives? | Brendan | 2021/07/11 05:51 AM |
Alternatives? | cqwrteur | 2021/07/11 10:58 AM |
Alternatives? | Gabriele Svelto | 2021/07/12 12:31 AM |
Alternatives? | Michael S | 2021/07/12 02:58 AM |
Alternatives? | anon2 | 2021/07/12 08:08 AM |
Alternatives? | Michael S | 2021/07/12 08:22 AM |
cqwrteur: Keep it polite | David Kanter | 2021/07/13 07:59 AM |
Alternatives? | dmcq | 2021/07/12 08:37 AM |
Alternatives? | cqwrteur | 2021/07/12 03:04 PM |
Alternatives? | dmcq | 2021/07/12 03:26 PM |
Alternatives? | cqwrteur | 2021/07/13 12:47 AM |
Alternatives? | dmcq | 2021/07/13 05:54 AM |
Alternatives? | Jörn Engel | 2021/07/13 03:53 PM |
Alternatives? | FrankHB | 2021/07/17 06:56 AM |
Differences between Rust and C/Go | Gabriele Svelto | 2021/07/14 04:57 AM |
Differences between Rust and C/Go | FrankHB | 2021/07/17 08:47 AM |
Alternatives? | FrankHB | 2021/07/12 09:08 AM |
Alternatives? | Gabriele Svelto | 2021/07/14 01:28 PM |
Inappropriate messages removed: cqwrteur | David Kanter | 2021/07/15 09:59 AM |
Alternatives? | FrankHB | 2021/07/16 05:43 AM |
Alternatives? | Anon | 2021/07/16 11:01 AM |
Alternatives? | Gabriele Svelto | 2021/07/16 12:44 PM |
Type abstraction and kernel programming | FrankHB | 2021/07/17 12:44 AM |
Type abstraction and kernel programming | dmcq | 2021/07/18 03:00 AM |
Type abstraction and kernel programming | dmcq | 2021/07/18 03:36 AM |
Type abstraction and kernel programming | Etienne Lorrain | 2021/07/19 12:03 AM |
Type abstraction and kernel programming | dmcq | 2021/07/19 01:01 AM |
Type abstraction and kernel programming | Anon | 2021/07/19 01:05 AM |
Type abstraction and kernel programming | dmcq | 2021/07/19 02:23 AM |
Type abstraction and kernel programming | Brendan | 2021/07/19 06:05 AM |
Alternatives? | gallier2 | 2021/07/20 03:57 AM |
Alternatives? | Anon | 2021/07/20 05:24 AM |
Alternatives? | Michael S | 2021/07/20 09:14 AM |
Alternatives? | Anon | 2021/07/20 09:53 AM |
Alternatives? | gallier2 | 2021/07/21 10:44 PM |
Alternatives? | Adrian | 2021/07/20 11:00 AM |
Alternatives? | Brett | 2021/07/20 10:13 PM |
Alternatives? | Michael S | 2021/07/21 01:12 AM |
Alternatives? | dmcq | 2021/07/22 11:58 AM |
Alternatives? | Anon | 2021/07/21 07:58 AM |
Alternatives? | Brendan | 2021/07/12 01:34 AM |
Alternatives? | FrankHB | 2021/07/12 09:57 AM |
Alternatives? | cqwrteur | 2021/07/12 11:55 AM |
Alternatives? | FrankHB | 2021/07/12 08:44 PM |
Alternatives? | Brendan | 2021/07/12 07:52 PM |
Alternatives? | cqwrteur | 2021/07/12 10:05 PM |
Alternatives? | Anon | 2021/07/12 10:42 PM |
Alternatives? | cqwrteur | 2021/07/12 11:42 PM |
Alternatives? | cqwrteur | 2021/07/12 11:44 PM |
Alternatives? | Anon | 2021/07/13 07:32 PM |
Alternatives? | cqwrteur | 2021/07/13 08:36 PM |
Alternatives? | cqwrteur | 2021/07/13 08:39 PM |
Alternatives? | Anon | 2021/07/13 09:02 PM |
Alternatives? | cqwrteur | 2021/07/13 09:18 PM |
Alternatives? | cqwrteur | 2021/07/13 08:49 PM |
Alternatives? | Anon | 2021/07/13 09:07 PM |
Alternatives? | cqwrteur | 2021/07/13 09:16 PM |
Alternatives? | Anon | 2021/07/13 10:31 PM |
Alternatives? | cqwrteur | 2021/07/13 11:30 PM |
Alternatives? | Anon | 2021/07/14 12:55 AM |
Alternatives? | cqwrteur | 2021/07/14 01:22 AM |
Alternatives? | Anon | 2021/07/14 02:05 AM |
Alternatives? | cqwrteur | 2021/07/14 02:11 AM |
Alternatives? | Anon | 2021/07/14 03:16 AM |
Alternatives? | cqwrteur | 2021/07/14 06:06 AM |
Alternatives? | Anon | 2021/07/14 07:20 AM |
Alternatives? | cqwrteur | 2021/07/14 07:51 AM |
Alternatives? | Anon | 2021/07/14 11:33 AM |
Alternatives? | Gabriele Svelto | 2021/07/14 12:19 PM |
Alternatives? | FrankHB | 2021/07/16 06:07 AM |
Alternatives? | cqwrteur | 2021/07/13 11:33 PM |
Alternatives? | Anon | 2021/07/14 12:57 AM |
Alternatives? | cqwrteur | 2021/07/14 01:21 AM |
Alternatives? | dmcq | 2021/07/14 02:06 AM |
Alternatives? | cqwrteur | 2021/07/14 02:50 AM |
Alternatives? | ⚛ | 2021/07/15 07:33 AM |
Alternatives? | FrankHB | 2021/07/16 06:13 AM |
Alternatives? | cqwrteur | 2021/07/13 11:39 PM |
Alternatives? | Anon | 2021/07/14 01:08 AM |
Alternatives? | cqwrteur | 2021/07/14 01:20 AM |
Alternatives? | dmcq | 2021/07/14 01:46 AM |
Alternatives? | cqwrteur | 2021/07/14 01:52 AM |
Alternatives? | dmcq | 2021/07/14 09:13 AM |
Alternatives? | dmcq | 2021/07/14 09:23 AM |
Dealing with memory errors | Brendan | 2021/07/14 11:50 AM |
Dealing with memory errors | dmcq | 2021/07/14 03:27 PM |
Dealing with memory errors | Brendan | 2021/07/14 03:55 PM |
Alternatives? | cqwrteur | 2021/07/14 02:12 AM |
Alternatives? | Anon | 2021/07/14 03:16 AM |
Alternatives? | cqwrteur | 2021/07/14 05:55 AM |
Alternatives? | FrankHB | 2021/07/16 06:27 AM |
Alternatives? | cqwrteur | 2021/07/14 01:38 AM |
Alternatives? | anon | 2021/07/14 02:50 AM |
Stop feeding that troll | none | 2021/07/14 03:13 AM |
Alternatives? | cqwrteur | 2021/07/14 06:39 AM |
Alternatives? | Brendan | 2021/07/14 11:15 AM |
Alternatives? | Anon | 2021/07/14 03:19 AM |
Alternatives? | cqwrteur | 2021/07/14 06:12 AM |
Alternatives? | Anon | 2021/07/14 07:17 AM |
Alternatives? | cqwrteur | 2021/07/14 07:47 AM |
Alternatives? | Anon | 2021/07/14 12:00 PM |
Alternatives? | cqwrteur | 2021/07/14 12:44 PM |
Alternatives? | ⚛ | 2021/07/15 09:36 AM |
Alternatives? | Gabriele Svelto | 2021/07/14 12:26 PM |
Alternatives? | cqwrteur | 2021/07/14 12:46 PM |
Alternatives? | Gabriele Svelto | 2021/07/14 01:36 PM |
Alternatives? | cqwrteur | 2021/07/14 01:55 PM |
Alternatives? | Smoochie | 2021/07/14 11:07 PM |
Alternatives? | ⚛ | 2021/07/15 07:37 AM |
Alternatives? | Brendan | 2021/07/15 10:21 AM |
Alternatives? | Anon | 2021/07/15 12:15 PM |
Alternatives? | FrankHB | 2021/07/16 06:27 AM |
Alternatives? | None | 2021/07/14 01:50 AM |
Alternatives? | cqwrteur | 2021/07/14 01:54 AM |
Alternatives? | cqwrteur | 2021/07/14 01:55 AM |
Alternatives? | Rayla | 2021/07/14 04:47 AM |
Alternatives? | cqwrteur | 2021/07/14 05:54 AM |
Alternatives? | Gabriele Svelto | 2021/07/14 12:43 PM |
Alternatives? | FrankHB | 2021/07/12 11:47 PM |
Alternatives? | FrankHB | 2021/07/12 11:05 PM |
Alternatives? | Michael S | 2021/07/13 12:01 AM |
Alternatives? | FrankHB | 2021/07/13 12:25 AM |
Alternatives? | Doug S | 2021/07/12 11:29 PM |
Alternatives? | cqwrteur | 2021/07/12 11:48 PM |
Alternatives? | FrankHB | 2021/07/13 12:07 AM |
Is unsafe hell truly good for linux kernel in the future? | ⚛ | 2021/07/12 05:27 AM |
Is unsafe hell truly good for linux kernel in the future? | Anon | 2021/07/12 08:46 AM |
Is unsafe hell truly good for linux kernel in the future? | Etienne Lorrain | 2021/07/13 01:00 AM |
Is unsafe hell truly good for linux kernel in the future? | cqwrteur | 2021/07/10 12:38 PM |