C++20 has apparently a fix for it with std::jthread, though.

With all possible the learnings from Java, .NET, Erlang, TBB, Concurrency Runtime, and yet ISO C++ did not manage to get a proper concurrency story, and it full of traps like the one you mention.

Another one is std::async, which might actually be synchronous, depending on a set of factors.

But, don't detach the thread.

Java does not specify the actual threading model, so you can get green threads (user space) or red threads (kernel threads).

The upcoming Project Loom, intends to make it so that green threads become the default (aka virtual threads on Loom), but you can still ask for kernel threads, given that is what most JVM implementations have converged into.

GHC Haskell's runtime has a "default" light-weight thread system (forkIO) that schedules logical threads on the available operating system threads and parallelises them across available CPUs:

- https://wiki.haskell.org/Parallelism#Multicore_GHC

- https://stackoverflow.com/a/41485705

- https://www.aosabook.org/en/posa/warp.html

Right, Go uses green (userspace) threads.

zig optionally uses pthreads (depending on if you link against libc or not)

erlang has its own process/thread implementation with, iirc, 64b per process.