Типичный malloc
(для платформы x86-64 и ОС Linux) наивно блокирует мьютекс в начале и освобождает его по завершении, или он блокирует мьютекс более умным способом в более тонкий уровень, чтобы уменьшить конкуренцию за блокировку? Если он действительно делает это вторым способом, то как он это делает?