• 4 Posts
  • 74 Comments
Joined 1 year ago
cake
Cake day: June 10th, 2023

help-circle


  • His job is to not get the maintainers to agree, but his job definitely is to bark a bit if somebody behaves like Ted.

    It might even be Rust is not meant for Linux kernel and it will never happen. Or it happens in the driver layers, but stays out from the core. We do not know yet. The concern Ted is raising is definitely valid: if the C APIs change, people who work daily in the C code cannot spent cycles fixing the Rust APIs. These people have their day jobs which pays them to maintain these subsystems, and it is at least not yet clear will these employers fund rewriting anything in Rust. There are tens of filesystems in Linux, with lifetimes passing around that are not documented and might not work in Rust.

    Note: I’m a Rust dev for the past 10 years, and I follow this discussion with high interest.






  • Me neither, but the risk is there and well documented.

    The point was, ZFS is not great as your normal laptop/workstation filesystem. It kind of requires a certain setup, can be slow in certain kinds of workflows, expects disks of same size and is never available immediately for the latest kernel version. Nowadays you actually can add more disks to a pool, but for a very long time you needed to build a new one. Adding a larger disk to a pool will still not resize it, untill all the disks are replaced.

    It shines with steady and stable raid arrays, which are designed to a certain size and never touched after they are built. I would never use it in my workstation, and this is the point where bcachefs gets interesting.


  • But scrub is not fsck. It just goes through the checksums and corrects if needed. That’s why you need ECC ram so the checksums are always correct. If you get any other issues with the fs, like a power off when syncing a raidz2, there is a chance of an error that scrub cannot fix. Fsck does many other things to fix a filesystem…

    So basically a typical zfs installation is with UPS, and I would avoid using it on my laptop just because it kind of needs ECC ram and you should always unmount it cleanly.

    This is the spot where bcachefs comes into place. It will implement whatever we love about zfs, but also be kind of feasible for mobile devices. And its fsck is pretty good already, it even gets online checks in 6.11.

    Don’t get me wrong, my NAS has and will have zfs because it just works and I don’t usually need to touch it. The NAS sits next to UPS…





  • For me the reason was that I wanted encryption, raid1 and compression with a mainlined filesystem to my workstation. Btrfs doesn’t have encryption, so you need to do it with luks to an mdadm raid, and build btrfs on top of that. Luks on mdadm raid is known to be slow, and in general not a great idea.

    ZFS has raid levels, encryption and compression, but doesn’t have fsck. So you better have an UPS for your workstation for electric outages. If you do not unmount a ZFS volume cleanly, there’s a risk of data loss. ZFS also has a weird license, so you will never get it with mainline Linux kernel. And if you install the module separately, you’re not able to update to the latest kernel before ZFS supports it.

    Bcachefs has all of this. And it’s supposed to be faster than ZFS and btrfs. In a few years it can really be the golden Linux filesystem recommended for everybody. I sure hope Kent gets some more help and stops picking fights with Linus before that.


  • One of the best filesystem codebases out there. Really a top notch file system if you don’t need to resize it once it’s created. It is a write through, not copy on write, so some features such as snapshots are not possible using XFS. If you don’t care about features found in btrfs, zfs or bcachefs, and you don’t need to resize the partition after creating it, XFS is a solid and very fast choice.

    Ext4 codebase is known to be very complex and some people say even scary. It just works because everybody’s using it and bugs have been fixed years ago.


  • Yep, windows kernel has a ton of Rust code already, even some of its syscalls are made in Rust. Linux kernel is getting a new GPU driver for NVIDIA written in Rust, and GPU driver for removed M-series also written in Rust. removed is hiring Rust devs, so is Amazon, Meta, Google…

    In the startup space it’s been quite good with Rust for some time. I’ve been writing production code with it for almost a decade. It is not a fad anymore.

    A productive, safe, fast and fun language to write with excellent tooling, and we are just getting started.


  • And developers who get familiar and easy tools such as cargo, rust-analyzer and all the popular libraries working in any Cosmic project in about five minutes. And the compiler will tell you if you managed to make memory errors or data races in a very clear way. Always the same way.

    You learn Rust and its tools once, and you can just jump into any of these projects and be productive.

    And yes, scripting language is needed for Cosmic at some point. There are a ton of them, from RHAI to different lisps to python to javascript. Plug and play, and the interop is easy and fast.



  • Yep, but QT’s object model and its being written in C++ makes it super cumbersome to use in Rust. GTK is better here due to it being written in C, but the direction it’s taking in GTK4 is not really great, and having a safe Rust UI toolkit is a huge win for the community.

    Cosmic being fully Rust means I can just take one project from them, and immediately start working on it with cargo and all the familiar tools. It’s not as easy with C or C++ projects in Gnome and KDE.

    I think it’s great we have some competition in this space, everybody wins.