Introduction to Concurrency in Programming Languages (Hardcover)
暫譯: 程式語言中的併發性導論 (精裝版)

Matthew Sottile, Timothy G. Mattson, Craig E. Rasmussen

  • 出版商: CRC
  • 出版日期: 2009-09-01
  • 售價: $2,880
  • 貴賓價: 9.5$2,736
  • 語言: 英文
  • 頁數: 344
  • 裝訂: Hardcover
  • ISBN: 1420072137
  • ISBN-13: 9781420072136
  • 相關分類: 程式語言
  • 立即出貨 (庫存=1)

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

商品描述

Exploring how concurrent programming can be assisted by language-level techniques, Introduction to Concurrency in Programming Languages presents high-level language techniques for dealing with concurrency in a general context. It provides an understanding of programming languages that offer concurrency features as part of the language definition.

The book supplies a conceptual framework for different aspects of parallel algorithm design and implementation. It first addresses the limitations of traditional programming techniques and models when dealing with concurrency. The book then explores the current state of the art in concurrent programming and describes high-level language constructs for concurrency. It also discusses the historical evolution of hardware, corresponding high-level techniques that were developed, and the connection to modern systems, such as multicore and manycore processors. The remainder of the text focuses on common high-level programming techniques and their application to a range of algorithms. The authors offer case studies on genetic algorithms, fractal generation, cellular automata, game logic for solving Sudoku puzzles, pipelined algorithms, and more.

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance.

商品描述(中文翻譯)

探索如何透過語言層級的技術來輔助並行程式設計,《程式語言中的並行性導論》提供了在一般情境下處理並行性的高階語言技術。它幫助讀者理解那些將並行性特徵納入語言定義的程式語言。

本書提供了一個概念框架,涵蓋平行演算法設計與實作的不同面向。首先,它探討了傳統程式技術和模型在處理並行性時的限制。接著,本書探索了當前並行程式設計的最新技術,並描述了用於並行性的高階語言結構。它還討論了硬體的歷史演變、相應的高階技術發展,以及與現代系統(如多核心和多核處理器)的關聯。文本的其餘部分專注於常見的高階程式設計技術及其在各種演算法中的應用。作者提供了關於遺傳演算法、分形生成、細胞自動機、解決數獨謎題的遊戲邏輯、管線化演算法等的案例研究。

本書透過熟悉的語言展示並行性對程式的影響,重點在於真正將並行性引入語言的新穎語言抽象,並幫助分析和編譯工具生成高效且正確的程式。它還解釋了在程式正確性和性能方面,利用並行性所涉及的複雜性。