Boqun_Feng's profile picture. PGP: D870877E∣ Linux Kernel Developer

Boqun Feng

@Boqun_Feng

PGP: D870877E∣ Linux Kernel Developer

You won’t have jet lag if you take a propeller plane, right?


So you can actually eat the white "shell" of a brie cheese?


should be good for another month?

Boqun_Feng's tweet image. should be good for another month?

Hope this could clarify a few things about Rust-for-Linux: rust-for-linux.com/rust-kernel-po…


No, 4 is not what Linus said. Hector didn’t post any Rust patch in this instance, and what Linus replied was he didn’t want to do anything with Hector’s approach, not a “Rust patch”. Please don’t spread the misinformation.

summary of linux kernel drama: 1. dev posts patch for Rust support in kernel 2. maintainer said they would never allow patch 3. lead dev of Asahi Linux calls this out as sabotage on social media 4. Linus says social brigade makes him not want anything to do with the Rust patch



推友们懂得真多

这就是c11 lkmm这些memory model的价值嘛,把所有架构的乌七八糟屏障统一起来。但我也同意这些都是答辩,最终应该把他们简化



Accepted a lot of cookies after landing Copenhagen ;-)


When having an awkward silence with a room of compiler developers or language people, just say "volatile".


Everything can be pickle?

Boqun_Feng's tweet image. Everything can be pickle?

Boqun Feng reposted

"A coconut is just a nut."


It could be just that image is wrong ;-) Anyway my experience is Rust does bring more talented people into kernel development, case in point: @LinaAsahi , happy to see this!

I know Linux has an image of way too much bikeshedding and arguing, but here it feels like we're designing the future of Linux kernel development... Rust is such a huge deal and it's great to be part of such a talented group of people and help pave the path forward! ❤



#TIL `b4 am -l` can add review tags and "Link" tags to the patches!


"It seems like a project that will keep people busy for some time." So true ;-)

[$] Kernel time APIs for Rust lwn.net/Articles/92474… #LWN



Boqun Feng reposted

Preliminary Dates and Location for LPC2023 lpc.events/blog/2022/inde… #linuxplumbers


Boqun Feng reposted

🦀📕 All chapters of my book, Rust Atomics and Locks, are now freely available online: marabos.nl/atomics/ Enjoy! ✨


Try to prove a 4-line change with 200+ line reasoning: lore.kernel.org/lkml/Y4%2Fv1bC…


This is the example that SeqCst != "fully-ordered" atomics in Linux kernel.

That's about a full barrier, not about sequentially consistent memory ordering. SeqCst operations are only sequentially consistent with other SeqCst operations, so don't need a full barrier. See GCC's output for example: godbolt.org/z/hMfqWY3zr (No barrier for SeqCst.)



Loading...

Something went wrong.


Something went wrong.