Post #2167956

@itamarst File a bug for stdlib? Meanwhile you can use the cgroups2 CPU bandwidth API: read two numbers from `/sys/fs/cgroup/cpu.max`, divide, round up. https://www.kernel.org/doc/html/latest/admin-guide/cgroup-v2.html#:~:text=cpu.max