Lista de publicações importantes em computação concorrente, paralela e distribuída - List of important publications in concurrent, parallel, and distributed computing

Mais informações: Prêmio Edsger W. Dijkstra de Computação Distribuída

Esta é uma lista de publicações importantes em computação concorrente , paralela e distribuída , organizada por campo.

Alguns motivos pelos quais uma determinada publicação pode ser considerada importante:

  • Criador do tópico - uma publicação que criou um novo tópico
  • Breakthrough - Uma publicação que mudou o conhecimento científico significativamente
  • Influência - Uma publicação que influenciou significativamente o mundo ou teve um grande impacto no ensino de computação concorrente, paralela ou distribuída.

Consenso, sincronização e exclusão mútua

Sincronizando processos simultâneos. Atingir o consenso em um sistema distribuído na presença de nós defeituosos ou sem espera. Exclusão mútua em sistemas concorrentes.

Dijkstra: “Solução de um problema no controle de programação simultânea”

Dijkstra, EW (1965). "Solução de um problema no controle de programação concorrente". Comunicações da ACM . 8 (9): 569. doi : 10.1145 / 365559.365617 .
Este artigo apresentou a primeira solução para o problema da exclusão mútua. Leslie Lamport escreve que este trabalho “iniciou o campo dos algoritmos concorrentes e distribuídos”.

Pease, Shostak, Lamport: “Chegando a um acordo na presença de falhas”
Lamport, Shostak, Pease: “O problema dos generais bizantinos”

Pease, Marshall ; Shostak, Robert ; Lamport, Leslie (1980), "Reaching agreement in the presence of faults", Journal of the ACM , 27 (1): 228-234, CiteSeerX   10.1.1.68.4044 , doi : 10.1145 / 322186.322188 .
Lamport, Leslie ; Shostak, Robert ; Pease, Marshall (1982), "The Byzantine generals problem", ACM Transactions on Programming Languages ​​and Systems , 4 (3): 382–401, CiteSeerX   10.1.1.64.2312 , doi : 10.1145 / 357172.357176 .
Esses dois artigos introduziram e estudaram o problema que hoje é conhecido como tolerância a falhas bizantina . O artigo de 1980 apresentou o limite inferior clássico de que a concordância é impossível se pelo menos 1/3 dos nós apresentarem falhas; recebeu o Prêmio Edsger W. Dijkstra de Computação Distribuída em 2005. O artigo de 1982, altamente citado, deu ao problema seu nome atual e também apresentou algoritmos para resolvê-lo.

Herlihy, Shavit: “The topological structure of asynchronous computation”
Saks, Zaharoglou: “Wait-free k -set agreement is impossível ...”

Herlihy, Maurice ; Shavit, Nir (1999), "The topological structure of asynchronous computation" (PDF) , Journal of the ACM , 46 (6): 858–923, CiteSeerX   10.1.1.78.1455 , doi : 10.1145 / 331524.331529 . Palestra do prêmio Gödel .
Saks, Michael ; Zaharoglou, Fotios (2000), "Wait-free k -set agreement is possible: The topology of public knowledge", SIAM Journal on Computing , 29 (5): 1449–1483, doi : 10.1137 / S0097539796307698 .
Esses dois artigos estudam algoritmos sem espera para generalizações do problema de consenso e mostraram que esses problemas podem ser analisados ​​usando propriedades e argumentos topológicos . Ambos os jornais receberam o Prêmio Gödel em 2004.

Fundamentos de sistemas distribuídos

Conceitos fundamentais como tempo e conhecimento em sistemas distribuídos.

Halpern, Moses: “Conhecimento e conhecimento comum em um ambiente distribuído”

Halpern, Joseph ; Moses, Yoram (1990), "Conhecimento e conhecimento comum em um ambiente distribuído", Journal of the ACM , 37 (3): 549-587, arXiv : cs / 0006009 , doi : 10.1145 / 79147.79161 .
Este artigo formalizou a noção de “conhecimento” em sistemas distribuídos, demonstrou a importância do conceito de “ conhecimento comum ” em sistemas distribuídos e também provou que o conhecimento comum não pode ser alcançado se a comunicação não for garantida. O artigo recebeu o Prêmio Gödel em 1997 e o Prêmio Edsger W. Dijkstra de Computação Distribuída em 2009.

Notas

links externos