How do you statically guarantee the order of lock acquisition for a thread? I think either you have simple enough control flow that it is somehow entirely visible to the compiler or you need to embed the order into the type system like this approach does.
I would assume it depends on what you are distilling.
If you are making brandy from clarified wine, it probably separates better than rotten grape mash.
It is still a continuum with some methanol molecules likely remaining even in the tails.
For all intents and purposes, the distiller's rule of thumb of throwing away the angels' share is still going to work because low methanol concentrations are never an issue —for the antidote for methanol is ethanol.
You throw away the foreshots because they also contain things like acetone that taste bad and may be harmful. They’re highly unpalatable so people can be relied on to do a sufficient job.
Also “Angel’s share” isn’t what you throw away, it’s what evaporates from the barrel when you age. What you throw away are the foreshots and parts of the heads and tails
That's not really how it works. There are only a few companies on the planet that are licensed to create their own cores that can run ARM instructions. This is an artificial constraint, though and at present China is (as far as I know) cut off from those licenses. Everyone else that makes ARM chips is taking the core design directly from ARM integrating it with other pieces (called IP) like IO controllers, power management, GPU and accelerators like NPUs to make a system on a chip. But with RISC-V lots of Chinese companies have been making their own core designs, that leads to flexibility with design that is not generally available (and certainly not cost effective) on ARM.
This can also change with the times —as in, within living memory.
My grandma used the formal address when reminiscing about going to the bakery when she was young but in the present she would use the familiar form and even the clerks would use a fake formal at best if they were feeling particularly grateful for having a job that day.
C/C++ is HR-newspeak out of the 1990s(at the time it was not clear that anyone would still want to use C and MSVC did move their compiler to C++).
It signals that the speaker doesn't understand that the two are different languages with very different communities.
I don't really think that C users are entirely immune to dependency hell, if that's what OP meant, though. It is orthogonal.
As a user, I do believe it sucks when you depend on something that is not included by default on all target platforms(and you fail to include it and maintain it within your source tree*).
I explained why C/C++ rubbed op the wrong way. It has nothing to do with a build process.
It is probably true that more average C programs can be built with plain Makefiles or even without a Makefile than C++, though.
You can of course add dependencies on configure scripts, m4, cmake, go, python or rust when building a plain self-contained C program and indeed many do.
There's ideas in here from various other kernels - some of the capability stuff is inspired by (but simpler than) seL4, and the message passing IPC and how I'll avoid priority inversion is based on ideas from QNX. Generally as a learning process I've tried to keep as open a mind as possible, without trying to reinvent all the wheels at once...
SYSTEM has a tiny arch-specific assembly trampoline which just sets up the initial stack pointer for new processes that it creates and makes the jump, but other than that it's source-compatible across architectures.
The platform detail extraction isn't yet complete, such that devices management on non-ACPI platforms isn't finished, but the idea is the abstraction will be enough that drivers for (at least) MMIO devices will be trivially portable.
OpenArena even has a browser version these days but sadly it doesn't seem to have any active servers anymore. I had progressed to the point where I could strafe jump and rocket jump all day.
No mention of replacing the weird-ass emacs thing on [ with proper vim bindings?
reply