terça-feira, 18 de março de 2014

Generais bizantinos co-boffin Lamport sacos 'prêmio Nobel' da CompSci


Avaliando o custo de um ataque DDoS


Distribuído pesquisador sistemas Leslie Lamport foi agraciado com o prêmio AM Turing, da ciência da computação equivalente ao Prêmio Nobel.


O prêmio de 2013 foi dado a Lamport "para impor coerência clara e bem definida sobre o comportamento aparentemente caótico de sistemas de computação distribuída."







Outra maneira de colocar é: não Lamport, sem Google, porque a sua investigação tem sido vital para o desenvolvimento de sistemas distribuídos que são resistentes o suficiente para ser executada em uma escala global.


"Com a crescente mudança para sistemas cada vez maiores de escala distribuídos e computação em nuvem, o trabalho de Lamport assumiu um aumento significativo impacto", disse veep do Google de pesquisa Alfred Spector em uma citação enlatada. "Seus resultados têm beneficiado muitas comunidades de pesquisa, incluindo aqueles em sistemas paralelos e de alto desempenho de computação, algoritmos simultâneos e confiabilidade do software. Além disso, seu trabalho tem tido implicações não apenas na comunidade teórica, mas também com os engenheiros e programadores que projetar e implementar muitos tipos de sistemas. "


Nenhuma menção foi feita pelos juízes de Turing de igualmente de Lamport importante trabalho sobre a cor do cabelo, na França, nem a sua dedicação a um ser humano normal ("Ele colocou o problema para mim durante o jantar, mas nós tínhamos ambos tinham muito vinho para pensar nisso logo em seguida "- comentários pessoais Lamport feitas sobre a gênese de suas Snapshots Distribuídos: Determinar global Unidos de um papel Sistema Distribuído), nem a sua dedicação para se divertir (" Eu escrevi este artigo como uma desculpa para assistir a uma conferência em Paris "- observações sobre a gênese do formais Exatidão Provas para Multiprocesso Algoritmos).


Lamport

Leslie Lamport



Mas bureau nuvem de El Reg está indo só para ir em frente e dizer que o prêmio foi para tudo isso, mas a Association for Computing Machinery (ACM) preferiu não mencioná-lo.


Lamport é principalmente conhecido por seu trabalho na coordenação de sistemas distribuídos: ele co-escreveu necessário material de leitura CompSci O bizantino generais problema [ PDF ] e trabalhada o algoritmo de consenso Paxos [ PDF ] para bancos de dados podem trabalhar de forma maciçamente distribuída.


Junto com isso, Lamport também ajudou a desenvolver LaTeX, o software de composição e linguagem de marcação amplamente usado nas ciências, e TLA + (Temporal Logic Language) para ajudar boffins escrever especificações precisas (possivelmente depois de ter tido muito vinho, perguntamo-nos).


Lamport, 73, nasceu em Nova York e estudou no MIT para seu curso de graduação, e, em seguida, Brandeis University para seus mestres e doutores. Ele tem trabalhado para Mitre Corporation, Massachusetts Computer Associates, SRI International, Digital Equipment Corporation e, até hoje, a Microsoft Research. ®







via Alimentação (Feed)

Nenhum comentário:

Postar um comentário