Como Múltiplas Threads Podem Modificar os Mesmos Dados Sem Usar Locks? A Ciência da Programação Lock-Free e o Problema ABA
Categorias
12 páginas
Ciência Da Computação
Por que os computadores modernos resolvem em segundos problemas NP-completos que deveriam explodir exponencialmente: Solucionadores SAT, CDCL e transições de fase
Por que podemos provar matematicamente que um programa é 100% livre de bugs sem executá-lo nem uma única vez? A ciência da verificação formal
Por que textos minúsculos permanecem nítidos e legíveis: A matemática da renderização de fontes, curvas de Bézier, VM de hinting e antialiasing subpixel
Por que 'rápido' não é suficiente: Sistemas Operacionais de Tempo Real (RTOS), WCET, escalonamento RMS vs. EDF e a inversão de prioridade da Mars Pathfinder
Por que consoles antigos podem ser recriados via software: Arquitetura de emuladores — Interpretadores, JIT Dynarec, Fastmem e precisão de ciclo
Por que tudo para quando todos esperam: Teoria do Deadlock, grafos de alocação de recursos, algoritmo do banqueiro e Livelock
É possível recuperar o código-fonte de um executável?: ciência, algoritmos e limites da descompilação
Por que seus dados sobrevivem a uma queda de energia ao salvar: a engenharia da consistência contra falhas
Como programas escritos separadamente se tornam um só: Os segredos de Linkers e Loaders
Do apertar do botão de ligar até a tela inicial: O processo completo de inicialização do computador
Por que os computadores não somam 0.1 + 0.2 corretamente? A ciência do ponto flutuante e erros de arredondamento
