Kangaroo: Armazenamento em cache eficiente de bilhões de objetos minúsculos em flash

2025-05-22
Kangaroo: Armazenamento em cache eficiente de bilhões de objetos minúsculos em flash

O Facebook e a Universidade Carnegie Mellon colaboraram no Kangaroo, um novo cache de flash projetado para o armazenamento em cache eficiente de objetos minúsculos (cerca de 100 bytes ou menos). Resolvendo as limitações dos designs de cache de flash existentes, o Kangaroo minimiza o uso de DRAM e a amplificação de escrita. Implementado no CacheLib de código aberto do Facebook, ele é facilmente integrado. Testes usando dados de produção do Facebook e do Twitter mostram que o Kangaroo reduz as perdas de cache em 29%, reduzindo significativamente a carga de armazenamento de back-end e mostrando-se altamente eficaz para aplicativos que lidam com quantidades massivas de objetos pequenos, como mídias sociais.

Leia mais

Meta lança Pyrefly: verificador de tipos Python em Rust

2025-05-17
Meta lança Pyrefly: verificador de tipos Python em Rust

O Meta lançou uma versão alfa do Pyrefly, um verificador de tipos Python de código aberto e extensão IDE construída em Rust. O Pyrefly visa melhorar a consistência de tipos no código Python, ajudando a detectar erros antes da execução. Ele suporta integração IDE e uso de linha de comando, priorizando desempenho e inferência de tipos, funcionando efetivamente mesmo em código não anotado. Evoluindo do Pyre do Meta, o Pyrefly busca ser um verificador de tipos mais poderoso e extensível, colaborando com a comunidade Python para melhorar o sistema de tipos Python.

Leia mais
Desenvolvimento

WhatsApp lança o Processamento Privado: IA com privacidade de ponta a ponta

2025-05-02
WhatsApp lança o Processamento Privado: IA com privacidade de ponta a ponta

O WhatsApp apresenta o Processamento Privado, um recurso opcional que permite o processamento de mensagens por IA em um ambiente seguro e confidencial. Usando Ambientes de Execução Confiáveis (TEEs), essa tecnologia permite que os usuários solicitem recursos com IA, como resumo de mensagens, sem que o Meta ou o WhatsApp acessem seus dados. Construído com base nos princípios de opcionalidade, transparência e controle do usuário, o Processamento Privado emprega medidas de segurança robustas, incluindo processamento confidencial, transparência verificável e não-alvo. O WhatsApp está publicando componentes do Processamento Privado e expandindo seu programa de recompensas por bugs para promover pesquisas de segurança independentes, garantindo que a privacidade do usuário permaneça primordial.

Leia mais
Desenvolvimento

Strobelight do Meta: Um orquestrador de perfil que economiza 15.000 servidores

2025-03-07
Strobelight do Meta: Um orquestrador de perfil que economiza 15.000 servidores

O Meta revelou o Strobelight, um poderoso orquestrador de perfil que combina várias tecnologias (muitas de código aberto) para aumentar a eficiência em sua vasta frota de servidores. O Strobelight não é um único perfilador, mas um orquestrador de vários perfiladores que coletam dados detalhados sobre uso de CPU, alocação de memória e outras métricas de desempenho. Visualizado por meio de ferramentas como Scuba e Tracery, o Strobelight já gerou economias significativas, equivalentes a 15.000 servidores anualmente. Uma simples alteração de um caractere em uma linha de código (&) resultou nesse ganho maciço. O Strobelight utiliza tecnologia eBPF eficiente, perfiladores personalizados flexíveis, coleta automática de dados e amostragem dinâmica para desempenho ideal.

Leia mais

Glean do Meta: Indexação de código em larga escala

2025-01-01
Glean do Meta: Indexação de código em larga escala

O Meta lançou o Glean, um sistema de indexação de código open source projetado para eficiência e escalabilidade. O Glean coleta e processa informações de código-fonte, fornecendo-as a ferramentas de desenvolvedor por meio de uma linguagem de consulta flexível chamada Angle. Sua indexação incremental inovadora aborda os desafios de bases de código massivas, permitindo recursos como navegação de código, pesquisa e geração de documentação. A versatilidade do Glean suporta diversas linguagens e esquemas de dados personalizados, tornando-o um recurso valioso para desenvolvedores.

Leia mais
Desenvolvimento indexação de código

Meta Combate Spam em Escala com Haskell

2024-12-22
Meta Combate Spam em Escala com Haskell

O sistema Sigma do Meta, uma arma crucial na luta contra spam e malware, passou por uma revisão de dois anos. O sistema foi reescrito em Haskell, uma escolha menos comum para sistemas de produção em larga escala, atingindo mais de um milhão de solicitações por segundo. A mudança para Haskell aproveitou sua natureza puramente funcional e fortemente tipada, e a estrutura Haxl permitiu o agrupamento automático e a recuperação de dados concorrente. Foram observadas melhorias de desempenho de 20% a 30% em relação ao sistema anterior baseado em FXL. O projeto também envolveu contribuições significativas para o compilador GHC, resolvendo vários bugs.

Leia mais
Desenvolvimento Filtragem de Spam

Tradução em Massa de Java para Kotlin no Meta: Superando Milhões de Linhas de Código

2024-12-22
Tradução em Massa de Java para Kotlin no Meta: Superando Milhões de Linhas de Código

O Meta empreendeu um esforço de vários anos para traduzir sua enorme base de código Android de Java para Kotlin. Esta postagem detalha como o Meta construiu o Kotlinator, uma ferramenta de automação, para superar desafios como velocidades de compilação lentas e linters insuficientes, convertendo com sucesso mais da metade de seu código. O Kotlinator compreende várias fases: pré-processamento, conversão J2K sem cabeça, pós-processamento e correção de erros. O Meta também colaborou com a JetBrains para melhorar o J2K e tornou de código aberto partes do processo para promover a colaboração da comunidade. O artigo destaca o tratamento de segurança nula e várias questões de código encontradas e resolvidas durante a conversão.

Leia mais
Desenvolvimento migração de código