Samuel Thibault, le Tue 22 Sep 2009 16:44:11 +0200, a écrit :
> I'm afraid the bug is most probably in the kernel,
BTW, I know that on x86 at least glibc and libgomp use the cpuid
instruction themselves to discover the cpu topology. Such backend could
be written to compensate for kernel bugs, but it's not necessarily clear
whether it would be easy to decide at runtime which one between linux
and such backend is right (because more up-to-date). It would however
be useful for OSes which don't export this kind of information.