the leap second
folclorecultura de operaçõesprogramação
O segundo extra inserido ocasionalmente para manter o tempo atômico alinhado à rotação da Terra, e as quedas que ele causou.
Como o giro do planeta deriva em relação aos relógios atômicos, os guardiões do tempo adicionam, irregularmente desde 1972, um 61º segundo a um minuto escolhido; softwares que supunham minutos de 60 segundos discordaram. A inserção de 30 de junho de 2012 derrubou, notoriamente, o Reddit, serviços da Mozilla e sistemas de check-in de companhias aéreas, e eventos posteriores empurraram os operadores para o 'leap smearing', espalhando o segundo invisivelmente ao longo de horas. Em 2022, o órgão mundial de metrologia votou por abolir os segundos intercalares até 2035, um caso raro de a realidade receber patch para se adequar ao software.
Um segundo bissexto é um segundo extra inserido no UTC para manter o tempo atômico alinhado à rotação levemente irregular da Terra. É anunciado com meses de antecedência, acontece no máximo duas vezes por ano, e repetidamente quebrou sistemas em produção de grandes empresas.
A razão de quebrar coisas é que muito software supõe que todo minuto tem sessenta segundos e que o tempo avança de forma monotônica. Um segundo repetido ou esticado viola as duas coisas, e código que calcula um intervalo subtraindo carimbos de tempo pode produzir zero ou um número negativo, que então se propaga por laços, tempos limite e agendadores que nunca foram escritos para considerar isso. Várias quedas notáveis foram exatamente isso.
A resposta pragmática que emergiu é o alisamento: em vez de inserir uma descontinuidade, espalhar o ajuste por muitas horas, de modo que os relógios sigam monotônicos e nenhum segundo seja repetido. Isso faz os sistemas divergirem levemente do UTC durante o alisamento, com o que quase nada se importa, em troca de nunca apresentar um carimbo impossível. Os organismos internacionais desde então acordaram parar de inserir segundos bissextos até a década de 2030, o que resolve o problema removendo-o.