Vulnerabilidad en kernel de Linux (CVE-2023-52759)

En el kernel de Linux, se ha resuelto la siguiente vulnerabilidad: gfs2: ignora los cambios de cuota negados. Cuando se realizan muchos cambios de cuota, puede haber casos en los que la información de cuota de un inodo aumenta y luego disminuye, como cuando se agregan bloques a un archivo, luego eliminado de él. Si es el momento adecuado, la función do_qc puede agregar cambios de cuota pendientes a una transacción, luego, otra llamada a do_qc puede negar esos cambios, lo que resulta en una ganancia neta de 0. La información de cuota_cambio se registra en el búfer qc (y en el elemento qd). del inodo también). El búfer se agrega a la transacción mediante la primera llamada a do_qc, pero una llamada posterior cambia el valor de distinto de cero a cero. En ese momento ya es demasiado tarde para eliminar buffer_head de la transacción. Más tarde, cuando se llama al código de sincronización de cuota, el elemento qd de cambio cero se descubre y se marca como una advertencia de afirmación. Si fs se monta con errores = pánico, el kernel entrará en pánico. Esto generalmente se ve cuando los archivos se truncan y los cambios de cuota se niegan mediante punch_hole/truncate, que usa gfs2_quota_hold y gfs2_quota_unhold en lugar de bloquear asignaciones que usan gfs2_quota_lock y gfs2_quota_unlock, que sincronizan automáticamente la cuota. Este parche resuelve el problema agregando una verificación a qd_check_sync de modo que los cambios de cuota neta cero ya agregados a la transacción ya no se consideren necesarios para sincronizarse y omitirse. En este caso, se toman referencias para el qd y el slot de do_qc, por lo que es necesario ponerlas. La secuencia normal de eventos para un cambio de cuota normal distinto de cero es la siguiente: gfs2_quota_change do_qc qd_hold slot_hold Más tarde, cuando se van a sincronizar los cambios: gfs2_quota_sync qd_fish qd_check_sync obtiene qd ref mediante lockref_get_not_dead do_sync do_qc(QC_SYNC) qd_put lockref_put_or_lock qd_unlock qd_put lockref_put_or_lock En el caso de cambio neto cero, agregamos una verificación a qd_check_sync para que coloque las referencias de qd y slot adquiridas en gfs2_quota_change y omita la sincronización innecesaria.