GitHub - Kimplul/kmi: Hybrid kernel with thread migration as IPC
https://programming.dev/post/46027963
GitHub - Kimplul/kmi: Hybrid kernel with thread migration as IPC - programming.dev
Apologies if self-promo is not allowed. This is a project I’ve been hacking
on-and-off on for some years. The main point of intrigue is that the kernel
doesn’t use traditional message passing for inter-process communication (IPC),
instead allowing threads to be moved between processes. Compared to a typical
synchronous message passing implementation, thread migration can be more
parallel (several threads can enter the same process at the same time versus
messages having to wait in a mailbox to be read) while being roughly as
performant single-thread. I’ve benchmarked my kernel on real RISC-V hardware to
roughly be on par with seL4. Thread migration could potentially also be
significantly sped up with hardware:
https://dl.acm.org/doi/10.1145/3064176.3064197
[https://dl.acm.org/doi/10.1145/3064176.3064197] Personally, I also find that
thread migration has some soft benefits, like easy userspace scheduling, being
easy to implement and arguably allowing better resource distribution, that are
more difficult to demonstrate but are probably worth bringing up. The major
downside is that some of the flexibility of message passing is lost, message
passing between networked computers is straightforward and asynchronous messages
can allow the sender thread to do other things while it waits, which both
require extra effort with thread migration (but are at least doable). The idea
itself is not exactly new, the first implementation of thread migration I could
find is from 1994, in an experimental PA-RISC port of the Mach kernel, where the
migrating thread model was retrofitted to a remote procedure call (RPC)
mechanism that was previously built on message passing:
https://www.usenix.org/conference/usenix-winter-1994-technical-conference/evolving-mach-30-migrating-thread-model
[https://www.usenix.org/conference/usenix-winter-1994-technical-conference/evolving-mach-30-migrating-thread-model]
According to the article, thread migration made the RPC mechanism ~5x faster
while requiring only about half the source lines of code. Unfortunately, the
port never really went anywhere and Mach as a whole kind of disappeared. A form
of it still lives on in GNU Hurd, but only the message passing parts. Beyond
that, I could really only find one other semi-active project using migrating
threads, the COMPOSITE project:
https://www2.seas.gwu.edu/~gparmer/publications/ospert10.pdf
[https://www2.seas.gwu.edu/~gparmer/publications/ospert10.pdf] COMPOSITE was
designed for thread migration, but targets a more niche use-case of predictable
systems, which it argues thread migration is better suited for than message
passing. Some design decisions place limitations on how the kernel can be used,
for example each process is required to allocate execution stacks for however
many threads the process is willing to host at the same time, which is not
really an issue if you have full control over the system but can cause slowdowns
and extra resource usage if you’re trying to use it as a general-purpose
operating system. I have a blog post which is something of a technical overview
if anyone is curious: https://metanimi.dy.fi/blog/kmi/
[https://metanimi.dy.fi/blog/kmi/] The kernel itself is in fairly good shape,
but I don’t really have a proper userspace for it quite yet, sorry. That’s
something I’m semi-actively working on.
did anyone get CommodoreOS3 running?
https://eviltoast.org/post/24622080
did anyone get CommodoreOS3 running? - eviltoast
I downloaded the CommodoreOS3-20250422_0209.iso when it was released. The file
is 37 GB. HyperV didn’t recognize it as an ISO, and I just didn’t put any
further work into getting it going. I still have this monster ISO just sitting
there, almost a year later.
Did anyone get it installed? They do have video about the initial experience
right there on the download page. It sounds pretty unique.
https://www.commodoreos.net/CommodoreOS.aspx
[https://www.commodoreos.net/CommodoreOS.aspx]
Maybe I’ll sneakernet that 40gb file to my server or something.
FreeBSD: Home NAS, part 1 – configuring ZFS mirror (RAID1)
Prototyping a Home NAS with RAID1 on FreeBSD on a virtual machine: system installation via SSH with bsdinstall, configuring ZFS mirror and working with datasets
As questions about the previous post on #RISC_OS today's and tomorrow start flowing, I posted a new article with some answers to some of those. Please remember this is an open discussion, so if I have made errors please send me the corrections, thank you!
https://riscoscommunity.org/understanding-risc-os/what-happens-to-risc-os-applications-if-we-introduce-preemptive-multitasking/
#riscos #OSDev #operating_systems
What Happens to RISC OS Applications if We Introduce Preemptive Multitasking?
In this article we discuss and analyse what can happen to traditional RISC OS software if a preemptive scheduler is introduced, as discussed in a previous post., “RISC OS applications rely on cooperative multitasking. If the operating system becomes preemptive, do all applications need to be rewritten?”, This seems to be a common and certainly…
RE: https://mastodon.social/@rperezrosario/115690942091524650
Wow! Amazed that 62% of 7,280 people mainly use GNU Linux/ UNIX as their “personal time”operating system (ie when they have a free choice). Decent sample size but how different/similar is Fedi to the rest of the world? And has this percentage changed recently (ie because of recent events)? Fascinating developments… love to know more. 😊
#UNIX #GNU_linux #operating_systems #freeChoice #surveyResults
Are there any operating systems with devs that don't have a history of openly abusing others?
https://programming.dev/post/41232868
Are there any operating systems with devs that don't have a history of openly abusing others? - programming.dev
I would prefer to find an operating system I can support that is developed by
people who are generally kind, however I find the behavior of many of the top
Linux/*BSD devs to be… abhorrent. Are there any real alternatives that are led
by nicer people?
"OS correctness: A Formal but Pragmatic Foundation for General-Purpose Operating Systems.", or the missing link between #hardware and #software.
https://indico.cern.ch/event/1472688/
#operating_systems
Compute & Accelerator Forum - OS correctness
To receive annuoncements and information about this forum please subscribe to [email protected]
Everything We Hate About Windows by The Hardware Unboxed Podcast - Oct 24, 2025 [Video Podcast, 1:27:02 hours]
https://beehaw.org/post/22856534
Everything We Hate About Windows by The Hardware Unboxed Podcast - Oct 24, 2025 [Video Podcast, 1:27:02 hours] - Beehaw
Invidious: https://inv.nadeko.net/watch?v=r3XLQMsQGGk
[https://inv.nadeko.net/watch?v=r3XLQMsQGGk] YouTube:
https://youtu.be/r3XLQMsQGGk [https://youtu.be/r3XLQMsQGGk] Video description: —
Episode 86: You all told us what you hated about Windows 11, and we fully
agreed. So in this episode we go through all our grievances with the current
state of Windows. CHAPTERS 00:00 - Intro 06:21 - Unnecessary Microsoft accounts
10:39 - Search is broken 15:49 - Splash screens and ads 20:52 - The right click
context menu 26:53 - Pre-installed bloatware 33:21 - Windows updates hurting
performance 38:41 - Telemetry capture and data mining 42:28 - Copilot AI
integration 45:45 - Updates breaking things 48:14 - Inability to dismiss pop-ups
and updates 50:25 - Janky monitor issues 58:21 - Removing useful customization
options 1:01:06 - Driver updates via Windows Update breaking things 1:05:17 -
Microsoft Store 1:09:21 - Is Linux an alternative for gaming PCs? 1:14:36 -
Summary of the current state of Windows 1:17:44 - Updates from our boring lives
Kimplul
dbtng
Hacker News
Paolo Fabio Zaino ☮️🌍💻🎸🎮☕️🍩🍕
Su_G
المحترف العربي
Cayetano Santos
thingsiplay