Concurrency pdf epub mobi txt 电子书 下载 2024


Concurrency

简体网页||繁体网页
Dahlia Malkhi
ACM Books
2019-9-16
366
USD 79.95
Paperback
9781450372701

图书标签: concurrency  计算机科学  lamport  Programming  计算机  分布式系统  软件开发进阶  分布式算法   


喜欢 Concurrency 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-06-14

Concurrency epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Concurrency epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Concurrency pdf epub mobi txt 电子书 下载 2024



图书描述

This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.

His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.

Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.

This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.

Concurrency 下载 mobi epub pdf txt 电子书

著者简介

Dahlia Malkhi, Ph.D.

Applied and foundational researcher in broad aspects of reliability and security in distributed systems.

I joined Calibra in June 2019.

2014-2019, founding member and principal researcher at VMware Research.

2004-2014, principal researcher at Microsoft Research, Silicon Valley.

1999-2007, associate professor at the Hebrew University of Jerusalem.

PhD, an M.Sc. and a B.Sc. in computer science from the Hebrew University of Jerusalem.

Recent projects:

1. Libra

2. The VMware blockchain research project

3. CorfuDB, a database-less database driving VMware’s NSX-T distributed control plane [Corfu github repo]


图书目录


Concurrency pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

评分

评分

评分

评分

读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Concurrency pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有