I like this approach (especially because it supports AVX-512), however even not counting the Zen 4c, AMD 3D v-cache CPU's have cores that are sufficiently heter

I like this approach (especially because it supports AVX-512), however even not counting the Zen 4c, AMD 3D v-cache CPU's have cores that are sufficiently heterogeneous (those with and without 3D cache) that some special scheduling is desired for some use cases (gaming on Windows)