{"id":99293,"date":"2021-02-28T10:22:45","date_gmt":"2021-02-28T08:22:45","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/v-yadro-linux-5-12-prinyata-podsistema-kfence-dlya-vyyavleniya-oshibok-pri-rabote-s-pamyatyu"},"modified":"2021-02-28T10:22:45","modified_gmt":"2021-02-28T08:22:45","slug":"v-yadro-linux-5-12-prinyata-podsistema-kfence-dlya-vyyavleniya-oshibok-pri-rabote-s-pamyatyu","status":"publish","type":"post","link":"https:\/\/prohoster.info\/es\/blog\/news\/v-yadro-linux-5-12-prinyata-podsistema-kfence-dlya-vyyavleniya-oshibok-pri-rabote-s-pamyatyu","title":{"rendered":"En el n\u00facleo de Linux 5.12 se ha incorporado el subsistema KFence para detectar errores en la gesti\u00f3n de la memoria","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
El n\u00facleo de Linux 5.12, que se encuentra en desarrollo, incluye la implementaci\u00f3n del mecanismo KFence (Kernel Electric Fence), que verifica la gesti\u00f3n de la memoria, detectando salidas fuera de l\u00edmites de los b\u00faferes, accesos a la memoria despu\u00e9s de su liberaci\u00f3n y otros errores similares. <\/p>\n
Una funcionalidad similar ya estaba presente en el n\u00facleo en forma de la opci\u00f3n de compilaci\u00f3n KASAN (kernel address sanitizer, que utiliza Address Sanitizer en los gcc y clang modernos) \u2014 sin embargo, se posicionaba principalmente para fines de depuraci\u00f3n. La subsistema KFence se distingue de KASAN por su alta velocidad de funcionamiento, lo que permite utilizar esta capacidad incluso en n\u00facleos de sistemas en producci\u00f3n. <\/p>\n
El uso en sistemas operativos permitir\u00e1 detectar errores de gesti\u00f3n de memoria que no se manifiestan en pruebas y solo aparecen bajo cargas de trabajo o con el funcionamiento prolongado (con un alto tiempo de actividad). Adem\u00e1s, la implementaci\u00f3n de KFence en sistemas operativos permitir\u00e1 aumentar significativamente el n\u00famero de m\u00e1quinas involucradas en la verificaci\u00f3n del comportamiento del n\u00facleo con la memoria. <\/p>\n
Los m\u00ednimos costos operativos, independientes de la carga, se logran en KFence gracias a la inserci\u00f3n de p\u00e1ginas de protecci\u00f3n (guard pages) en la memoria a intervalos fijos. Al expirar el tiempo del intervalo de protecci\u00f3n, KFence agrega una nueva p\u00e1gina de protecci\u00f3n de un grupo de objetos de KFence mediante el sistema de asignaci\u00f3n de memoria est\u00e1ndar (SLAB o SLUB allocator) y comienza un nuevo conteo de tiempo. Cada objeto KFence se coloca en una p\u00e1gina de memoria separada, y las p\u00e1ginas de memoria en los l\u00edmites izquierdo y derecho forman las p\u00e1ginas de protecci\u00f3n, cuyo tama\u00f1o se elige al azar. <\/p>\n
As\u00ed, las p\u00e1ginas con objetos se separan entre s\u00ed con p\u00e1ginas de protecci\u00f3n, que se configuran para generar 'page fault' en cualquier acceso. Para detectar operaciones de escritura fuera del l\u00edmite del b\u00fafer dentro de las p\u00e1ginas con objetos, se utilizan adem\u00e1s 'zonas rojas' basadas en patrones, que ocupan memoria no utilizada por los objetos, la cual queda al alinear el tama\u00f1o de las p\u00e1ginas de memoria. \u2014+\u2014\u2014+\u2014\u2014+\u2014\u2014+\u2014\u2014+\u2014\u2014+ | xxxxxxxxx | O : | xxxxxxxxx | : O | xxxxxxxxx | | xxxxxxxxx | B : | xxxxxxxxx | : B | xxxxxxxxx | | x GUARD x | J : RED- | x GUARD x | RED- : J | x GUARD x | | xxxxxxxxx | E : ZONE | xxxxxxxxx | ZONE : E | xxxxxxxxx | | xxxxxxxxx | C : | xxxxxxxxx | : C | xxxxxxxxx | | xxxxxxxxx | T : | xxxxxxxxx | : T | xxxxxxxxx | \u2014+\u2014\u2014+\u2014\u2014+\u2014\u2014+\u2014\u2014+\u2014\u2014+ <\/p>\n
En caso de intentar acceder a un \u00e1rea fuera de los l\u00edmites del b\u00fafer, la operaci\u00f3n afecta la p\u00e1gina de protecci\u00f3n, lo que provoca la generaci\u00f3n de 'page fault', que es interceptada por KFence y registra en el log los datos sobre el problema detectado. Por defecto, KFence no bloquea el error y solo emite una advertencia en el log, pero hay una configuraci\u00f3n 'panic_on_warn' que permite que, en caso de detectar un error, el n\u00facleo se ponga en estado de ca\u00edda (panic). \n Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"