Programação relativística - Relativistic programming

A programação relativística ( RP ) é um estilo de programação concorrente em que, em vez de tentar evitar conflitos entre leitores e escritores (ou escritores e escritores em alguns casos), o algoritmo é projetado para tolerá-los e obter um resultado correto independentemente da ordem dos eventos. Além disso, os algoritmos de programação relativística são projetados para funcionar sem a presença de uma ordem global de eventos. Ou seja, pode haver alguns casos em que um thread vê dois eventos em uma ordem diferente de outro thread (daí o termo relativístico porque na teoria da relatividade especial de Einstein a ordem dos eventos nem sempre é a mesma para diferentes observadores). Isso implica essencialmente trabalhar sob consistência causal em vez de um modelo mais forte.

A programação relativística oferece vantagens de desempenho em comparação com outros paradigmas de simultaneidade porque não exige que um thread espere por outro quase com a mesma frequência. Por causa disso, suas formas ( Read-Copy-Update, por exemplo) agora são amplamente utilizadas no kernel do Linux (mais de 18.000 vezes em abril de 2021 e cresceu do nada para 11,8% de todos os primitivos de bloqueio em pouco menos de duas décadas) .

Veja também

Referências

links externos