Exploiting Commutativity to Reduce the Cost of Updates

To Shared Data in Cache-Coherent Systems

Trabajos anteriores han propuesto tcnicas de hardware y software para reducir el trfico y la
serializacin de actualizaciones en sistemas paralelos. En hardware, el trabajo previo se ha
centrado principalmente en las operaciones de memoria remota (RMO); las OMR reducen el costo
de las actualizaciones, tambin causan trfico y serializacin globales significativos, y a menudo
hacen que las lecturas sean ms lentas.
Ideas claves para reducir an ms el costo de las actualizaciones:
1. Muchas operaciones de actualizacin no necesitan leer los datos que actualizan.
2. Las operaciones de actualizacin son a menudo conmutativas, y se puede realizar en cualquier
orden antes de leer los datos.
Existen obstculos que impiden estas optimizaciones en los protocolos actuales y es por ello que
presentamos COUP que es una tcnica general que extiende protocolos de coherencia para
permitir actualizaciones conmutativas locales y concurrentes. COUP desacopla los permisos de
lectura y escritura, e introduce operaciones primitivas de actualizacin conmutativa y es ms fcil
de aplicar a sistemas y aplicaciones actuales.
Tcnicas que reducen el costo de las actualizaciones de los datos compartidos:
1. Tcnicas de Hardware.
Aqu podemos ver que las operaciones de memoria remota (RMO) son el esquema ms
estrechamente relacionado con COUP. En lugar de actualizar las lneas de cach, las operaciones
de actualizacin se envan a una ubicacin fija.
COUP est limitado a actualizaciones conmutativas, mientras que las RMO soportan operaciones
no conmutativas.
2. Tcnicas de Software.
La delegacin es la contraparte del software de las OMR y est sujeta a los mismos intercambios;
reduce el movimiento y la sincronizacin de los datos, pero incurre en trficos globales y
serializacin.
La privatizacin es la contraparte de software de COUP, y est sujeta a intercambios similares.
GENERALIZANDO EL GOLPE
Ahora mostramos cmo generalizar COUP para soportar
mltiples operaciones, bloques de cach ms grandes, otros
protocolos y jerarquas de cach ms profundas.
COHERENCIA Y CONSISTENCIA
COUP mantiene coherencia de cach y no cambia el modelo de
coherencia.
Coherencia: Un sistema de memoria es coherente si, para cada
posicin de memoria, es posible construir un orden serial
hipottico de todas las operaciones.
Consistencia: Es suficiente que el sistema de memoria considere las actualizaciones
conmutativas como equivalentes a los STORES.
COSTOS DE IMPLEMENTACIN Y VERIFICACIN
Al estudiar las implementaciones completas de MESI y MEUSI, mostramos que COUP requiere
un nmero mnimo de estados transitorios y agrega costos de verificacin modestos.

Aceleraciones por aplicacin de COUP y MESI en ncleos 1-128 (mayor es mejor).