A Linux distribution that supports many windows programs. Used at the city Échirolles for public administrations, social aid, inclusion and more. https://shaarli.lyokolux.space/shaare/ss7NxA

The technology seems promising, but https://blog.sesse.net/blog/tech/2025-01-20-21-45_migrating_away_from_bcachefs.html.

So wait and see and let the time mature the technology.

Crowdfunding for a Linux phone.

This is huge:

Cores may stay idle for seconds while ready threads are waiting in runqueues. In our experiments, these performance bugs caused many-fold performance degradation for synchronization-heavy scientific applications, 13% higher latency for kernel make, and a 14-23% decrease in TPC-H throughput for a widely used commercial database.

DOI: https://dl.acm.org/doi/10.1145/2901318.2901326

It may be useful to read it completely.

Fixes:

• compare the minimum load of each scheduling groups instead of the average
• Linux spawns threads on the same core as their parent thread: a node can steal threads from a another node by comparing the average load
  and two others

It is useful to read their tools (online sanity checker for invariants such as "No core remains idle while another core is overloaded")

During the 00s,dozens of papers described new schedling algorithms, [... but] a few of them were adopted in mainstream operatin systems, mainly because it is not clear how to integrate all theseideas in scheduler safely.

Similar the part Related Work describes the current state of the research on other domains: performance bugs, kernel correctness, tracing.

The resources are available on Github: https://github.com/jplozi/wastedcores

Why io_uring is so much pertinent for softwares? Because io_uring it is meant asynchronous I/O storage operations addressing performance issues with similar interfaces provided by functions like read()/write() or aio_read()/aio_write() etc. for operations on data accessed by file descriptors.

The io_uring kernel interface was adopted in Linux kernel version 5.1 to resolve the deficiencies of Linux AIO.

Every Unix is sacred, every Unix is best, every Unix is different, when you run ps.

Changer une option dans le BIOS de windows à Linux casse la machine 🤨

How to map integer types to rust integer types and more.

How to tackle C macros and inline functions in Rust?

Guo put together a ""hack"". His idea was to use Clang to compile helpers.c into LLVM bytecode. Then, for each Rust crate, ask the compiler to emit bytecode as well. Once everything is in the form of LLVM bytecode, it can be fed back into Clang with LTO turned on to produce a combined object file with the helpers inlined.

and more challenging topics.

le géoblocage d'un serveur public est totalement contraire à l'esprit d'internet et c'est préjudiciable aux internautes.

Here’s the pitch: a motivated group of talented Rust OS developers could build a Linux-compatible kernel, from scratch, very quickly, with no need to engage in LKML politics. You would be astonished by how quickly you can make meaningful gains in this kind of environment; I think if the amount of effort being put into Rust-for-Linux were applied to a new Linux-compatible OS we could have something production ready for some use-cases within a few years.

Rust checks are integrated in the kernel CI pipelines.