Concepts, Techniques, and Models of Computer Programming - Chapter 11 docx

... of resources, dependencies between processes) and the performance constraints (network bandwidth and latency, machine memory and speed). The large-scale structure of an application consists of ... be point-to-point (separately connecting pairs of processors). It can be custom or use standard LAN (local-area network) technology. All such machines are usual- ly called clusters or...

Ngày tải lên: 14/08/2014, 10:22

... instead of standard lists: • Flatten of nil is X#X (empty difference list). • Flatten of X|Xr where X is a nested list, is Y1#Y4 where flatten of X is Y1#Y2, flatten of Xr is Y3#Y4 ,and equate Y2 and ... removing more and more of the left-hand part of T2. Eventually, T2’s left subtree is removed completely and the right subtree takes its place. Continuing in this way, T2 shr...

Ngày tải lên: 14/08/2014, 10:22

... 712 11 Distributed Programming 713 11. 1 Taxonomy of distributed systems 716 11. 2Thedistributionmodel 718 11. 3Distributionofdeclarativedata 720 11. 3.1 Opendistributionandglobalnaming 720 11. 3.2 ... Concurrent ML [158] and Concurrent Haskell [149, 147]). Copyright c  200 1-3 by P. Van Roy and S. Haridi. All rights reserved. Concepts, Techniques, and Models of C...

Ngày tải lên: 14/08/2014, 10:22

... more pos- sible interleavings. Programming with concurrency and state together is largely a question of mastering the interleavings. In the history of computer technol- ogy, many famous and dangerous ... in Copyright c  200 1-3 by P. Van Roy and S. Haridi. All rights reserved. 1.6 Correctness 11 The technique of first writing the main function and filling in the blanks af...

Ngày tải lên: 14/08/2014, 10:22

... of many other techniques. This book focuses on three in particu- lar: object-oriented programming, graphical user interface (GUI) design, and component-based programming. In object-oriented programming, ... with single-shot channels. Chapters 4 and 5 show other types of channels (with sequences of messages) and do concurrent composition of processes. Copyright c  200 1-3 b...

Ngày tải lên: 14/08/2014, 10:22

... for concurrent object-oriented programming. Chapter 11 shows how to do distribut- ed programming, i.e., programming a set of computers that are connected by a network. All four chapters taken together ... roots of declarative concurrency. Concurrency is also a key part of three other chapters. Chapter 5 extends the eager model of the present chapter with a simple kind of...

Ngày tải lên: 14/08/2014, 10:22

... in the larger context of component-based programming. Because of message-passing concurrency we no longer have the limitations of the synchronous “lock-step” execution of Chapter 4. We first introduce ... tuples: area({square, Side}) -& gt; Side*Side; area({rectangle, X, Y}) -& gt; X*Y; area({circle, Radius}) -& gt; 3.14159*Radius*Radius; area({triangle, A, B, C}) -& gt;...

Ngày tải lên: 14/08/2014, 10:22

... Algol-60 and structured programming [46, 45, 130], which led to Simula-67 and object-oriented program- ming [137, 152]. 2 This book sticks to the traditional usage of declarative as stateless and ... the operations of the abstract data type. This idea is at the heart of object-oriented programming, a powerful programming style that is elaborated in Chapter 7. The present c...

Ngày tải lên: 14/08/2014, 10:22

... The first way, often-used in object-oriented programming, uses inheritance. The second way uses higher-order programming. We will see that the first way is just a syntactic variation of the second. ... as be- ing an object and to mix the notions of state and encapsulation. The advantages to be gained by considering other entities than objects and by using encapsula- tion without st...

Ngày tải lên: 14/08/2014, 10:22

... paradigms of message-passing and shared-state concurrency. At the time of writing, we know of no books that deal with the third concurrent paradigm of declarative concurrency. Concurrent Programming ... shared-state concurrency: Concurrent Programming in Java, Second Edition, by Doug Lea [111 ]. This book presents a rich set of practical programming techniques that are parti...

Ngày tải lên: 14/08/2014, 10:22