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.

商品描述(中文翻譯)

《程式語言並行性入門》探索了如何利用語言層面的技術來輔助並行編程,提供了處理一般情境下並行性的高級語言技術。本書旨在理解那些在語言定義中提供並行特性的程式語言。

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

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