Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 8 votes.
Titre original :
Concurrency: The Works of Leslie Lamport
Contenu du livre :
Ce livre est une célébration des travaux de Leslie Lamport sur la concurrence, qui s'inscrivent dans quatre décennies et demie d'une industrie en pleine évolution : de l'introduction du premier ordinateur personnel à une ère où les multiprocesseurs parallèles et distribués sont légion.
Ses travaux posent les fondements formels des calculs concurrents exécutés par des ordinateurs interconnectés. Certains des algorithmes sont devenus des pratiques d'ingénierie standard pour l'informatique distribuée tolérante aux pannes, c'est-à-dire des systèmes distribués qui continuent à fonctionner correctement malgré les défaillances de leurs composants individuels. Il a également développé un important corpus de travaux sur la spécification formelle et la vérification des systèmes concurrents, et a contribué au développement d'outils automatisés appliquant ces méthodes.
La première partie se compose des chapitres techniques du livre et d'une biographie. Les chapitres techniques de ce livre présentent une rétrospective des idées originales de Lamport par des experts du domaine. Ils décrivent ainsi leur impact à long terme. Les chapitres couvrent les notions intemporelles introduites par Lamport : l'algorithme Bakery, les registres partagés atomiques et la cohérence séquentielle ; la causalité et le temps logique ; l'accord byzantin ; la réplication des machines à états et Paxos ; la logique temporelle des actions (TLA). La biographie professionnelle retrace la carrière de Lamport, en fournissant le contexte dans lequel ses travaux sont apparus et ont ouvert de nouvelles voies, et aborde LaTeX - peut-être la contribution la plus influente de Lamport en dehors du domaine de la concurrence. Ce chapitre donne la parole aux personnes à l'origine des réalisations, notamment Lamport lui-même, ainsi qu'aux collègues qui l'entouraient, qui l'ont inspiré, ont collaboré et l'ont aidé à avoir un impact mondial. La partie II est constituée d'une sélection des articles les plus influents de Leslie Lamport.
Cet ouvrage retrace l'ensemble des contributions de Leslie Lamport au domaine de la concurrence et l'influence considérable qu'il a exercée sur les personnes travaillant dans ce domaine. Il sera utile aux historiens des sciences, ainsi qu'aux chercheurs et aux étudiants qui travaillent dans le domaine de la concurrence et qui sont intéressés par les travaux de l'un des chercheurs les plus influents dans ce domaine.
Autres informations sur le livre :
| ISBN : | 9781450372718 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2019 |
| Nombre de pages : | 365 |
Achat:
Actuellement disponible, en stock.
