Hace el tipicomalloc (para la plataforma x86-64 y el sistema operativo Linux) bloquee ingenuamente un mutex al principio y lo libere cuando termine, o ¿bloquea un mutex de una manera más inteligente a un nivel más fino, de modo que se reduce la contención de bloqueo? Si efectivamente lo hace de la segunda manera, ¿cómo lo hace?