Programming Distributed Computing Systems: A Foundational Approach (Hardcover)

Carlos A. Varela

  • 出版商: MIT
  • 出版日期: 2013-05-17
  • 定價: $1,980
  • 售價: 6.0$1,188
  • 語言: 英文
  • 頁數: 296
  • 裝訂: Hardcover
  • ISBN: 0262018985
  • ISBN-13: 9780262018982
  • 相關分類: 程式語言
  • 立即出貨(限量) (庫存=1)

買這商品的人也買了...

商品描述

Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation -- including the p-calculus, the actor model, the join calculus, and mobile ambients -- are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.

商品描述(中文翻譯)

本書的出發點是認為理解並行程式設計的基礎對於開發分散式計算系統至關重要,因此首先介紹了並行計算的基本理論,然後介紹了幫助以高度抽象層次開發分散式計算系統的程式語言。本書詳細解釋了並行計算的主要理論,包括p-計算、演員模型、聯合計算和移動環境,並著重介紹它們如何幫助設計和推理分散式和移動計算系統。接著,本書介紹了遵循已描述的理論模型的程式語言,包括Pict、SALSA和JoCaml。第一部分(理論)和第二部分(實踐)的章節平行結構使讀者不僅能夠比較不同的理論,還能清楚地看到程式語言如何支持理論模型。本書在理論和實踐之間搭起了橋樑,獨特之處在於它不僅可以作為計算機科學研究生和高年級本科生的教科書,還可以作為分散式計算程式技術研究人員的參考資料。通過先介紹理論,本書使讀者能夠專注於並行、分散和移動的基本組件,而不會陷入特定程式語言的語法細節中。一旦理論被理解,使用實際程式語言實現系統的實踐部分將變得更加容易。