Software que se conserta sozinho

Enquanto você lê esta linha, o seu coração ajustou o ritmo ao fato de você estar sentado, as pupilas se ajustaram à lâmpada, e os rins filtraram mais uma porção de sangue, e nenhuma dessas decisões incomodou a sua consciência. O sistema nervoso autônomo trabalha a vida inteira sem folga e só incomoda o dono quando não dá conta sozinho: aí ele sente dor, sede ou medo e começa a fazer alguma coisa.

Em 2001 o diretor de pesquisa da IBM, Paul Horn, propôs construir sistemas de computador do mesmo jeito e tomou emprestada dos fisiologistas a própria palavra: autonomic computing, computação autônoma. Os sistemas deveriam configurar-se, proteger-se e curar-se sozinhos. Nos vinte anos seguintes os computadores de fato aprenderam muita coisa, inclusive a reiniciar depois de uma queda, e quase nada além disso. Para encontrar no código o erro que derrubou o servidor e corrigi-lo, era preciso entender o código, e só pessoas o entendiam, e para isso eram acordadas no meio da noite.

---

Se lembrarmos do método de Reznik do primeiro capítulo, dá para ver o que faltava aqui. Seleção os servidores tinham havia muito tempo: o monitoramento via que algo tinha quebrado, e os testes podiam dizer se tinha sido consertado. Faltava um gerador capaz de propor qualquer variante de correção para um erro que ninguém tinha descrito de antemão.

O primeiro foi feito no Facebook. Em 2018 funcionava lá um sistema chamado Sapienz, que cutucava incansavelmente os aplicativos móveis da empresa procurando as ações que os faziam travar. A ele acoplaram um segundo, o SapFix: ao receber o aviso de uma falha, ele mesmo compunha um remendo, ele mesmo verificava que a falha tinha sumido e que nada mais tinha quebrado, e deixava a correção pronta na mesa de um engenheiro. Ele ainda compunha de um jeito simples, com modelos e pequenas edições do código alheio, mas num período de teste de noventa dias propôs 165 remendos para 57 falhas, e da detecção da falha até a correção pronta passavam em média 69 minutos. Foi o primeiro turno da noite do macaco de Reznik: ele datilografava as variantes, e os testes decidiam qual delas soltar no mundo.