Rust: cómo el orden de los campos en memoria puede duplicar el rendimiento de tu estructura multihilo
Cache-Conscious Data Layout in Rust: Field Zoning, False Sharing, 128-Byte Rule
En la primera parte de su serie sobre diseño de sistemas de bajo nivel en Rust, Debasish Ghosh explica cómo la disposición de los campos en memoria afecta drásticamente el rendimiento en estructuras multihilo. A través del ejemplo de un ring buffer SPSC, muestra cómo el 'field zoning' (agrupar campos según quién los escribe y con qué frecuencia) y el alineamiento a 128 bytes evitan el 'false sharing' y las penalizaciones ocultas del protocolo de coherencia. Incluye el uso de `#[repr(C)]` para fijar el orden de los campos y un tipo `CacheAligned` para alinear cada zona caliente a su propia línea de caché.
Dos núcleos escribiendo en campos diferentes que comparten una línea de caché de 64 bytes se serializarán silenciosamente a través del protocolo de coherencia del hardware: una patología llamada false sharing.