"Dynamic update" é um mecanismo que permite a aplicação de
atualizações de software sem perda de serviço. Para sistemas
operacionais, isto sigifnica aplicar "patches" sem ter que "rebutar"
a máquina. Sistemas operacionais impõem restrições únicas às
implementações deste tipo de serviço.  Nós implementamos um
mecanismo de "dynamic update" no sistema operacional de pesquisa
K42, e testamos o mecanismo aplicando modificações feitas pelos
desenvolvedores no passado. Nosso sistema permite atualização de
estruturas de dados e código do kernel. Esta apresentação discute
também a aplicabilidade das idéias em outros sistemas operacionais.