La hipótesis del punto de inflexión

El objetivo final del diagnóstico de fallos es localizar la causa raíz. Casi todos los enfoques previos para la localización de la causa raíz dependen de análisis estadísticos. Este artículo propone un enfoque diferente basado en la observación de que si modelamos una ejecución como una secuencia de instrucciones totalmente ordenada, entonces la causa raíz puede identificarse por la primera instrucción donde la ejecución fallida se desvía de la ejecución sin fallos que tiene el prefijo de secuencia de instrucciones más largo en común con la ejecución fallida. Así, el análisis de la causa raíz se transforma en un problema de búsqueda fundamentado para identificar la ejecución sin fallos con el prefijo común más largo. Presentamos Kairux, una herramienta que hace precisamente eso. En la mayoría de los casos, es capaz de identificar la causa raíz de un fallo en un sistema distribuido, de manera completamente automatizada. Kairux utiliza pruebas de la rica suite de pruebas unitarias del sistema como bloques de construcción para construir la ejecución sin fallos que tiene el prefijo común más largo con la ejecución fallida con el fin de localizar la causa raíz. Al evaluar Kairux en algunos de los fallos más complejos y reales de HBase, HDFS y ZooKeeper, mostramos que Kairux puede identificar con precisión la respectiva causa raíz de cada fallo.