› › Programming Distributed Computing Systems

Programming Distributed Computing Systems

Author : Carlos A. Varela

Publisher : MIT Press

Page : 291 pages

File Size : 31,33 MB

Release : 2013-05-31

Category : Computers

ISBN : 0262313367

Get eBook

Book Description

An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems. 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 π-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.



Programming Distributed Computing Systems

Author : Carlos A. Varela

Publisher : Mit Press

Page : 271 pages

File Size : 35,28 MB

Release : 2013

Category : Computers

ISBN : 9780262018982

Get eBook

Book Description

An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems. 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 π-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.





Introduction to Reliable and Secure Distributed Programming

Author : Christian Cachin

Publisher : Springer Science & Business Media

Page : 381 pages

File Size : 31,37 MB

Release : 2011-02-11

Category : Computers

ISBN : 3642152600

Get eBook

Book Description

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes. Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance".



Concurrent and Distributed Computing in Java

Author : Vijay K. Garg

Publisher : John Wiley & Sons

Page : 331 pages

File Size : 17,77 MB

Release : 2005-01-28

Category : Computers

ISBN : 0471721263

Get eBook

Book Description

Concurrent and Distributed Computing in Java addresses fundamental concepts in concurrent computing with Java examples. The book consists of two parts. The first part deals with techniques for programming in shared-memory based systems. The book covers concepts in Java such as threads, synchronized methods, waits, and notify to expose students to basic concepts for multi-threaded programming. It also includes algorithms for mutual exclusion, consensus, atomic objects, and wait-free data structures. The second part of the book deals with programming in a message-passing system. This part covers resource allocation problems, logical clocks, global property detection, leader election, message ordering, agreement algorithms, checkpointing, and message logging. Primarily a textbook for upper-level undergraduates and graduate students, this thorough treatment will also be of interest to professional programmers.



Distributed Algorithms

Author : Wan Fokkink

Publisher : MIT Press

Page : 242 pages

File Size : 21,61 MB

Release : 2013-12-06

Category : Computers

ISBN : 0262026775

Get eBook

Book Description

A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.



Systems Programming

Author : Richard Anthony

Publisher : Morgan Kaufmann

Page : 549 pages

File Size : 47,30 MB

Release : 2015-02-25

Category : Computers

ISBN : 0128008172

Get eBook

Book Description

Systems Programming: Designing and Developing Distributed Applications explains how the development of distributed applications depends on a foundational understanding of the relationship among operating systems, networking, distributed systems, and programming. Uniquely organized around four viewpoints (process, communication, resource, and architecture), the fundamental and essential characteristics of distributed systems are explored in ways which cut across the various traditional subject area boundaries. The structures, configurations and behaviours of distributed systems are all examined, allowing readers to explore concepts from different perspectives, and to understand systems in depth, both from the component level and holistically. - Explains key ideas from the ground up, in a self-contained style, with material carefully sequenced to make it easy to absorb and follow. - Features a detailed case study that is designed to serve as a common point of reference and to provide continuity across the different technical chapters. - Includes a 'putting it all together' chapter that looks at interesting distributed systems applications across their entire life-cycle from requirements analysis and design specifications to fully working applications with full source code. - Ancillary materials include problems and solutions, programming exercises, simulation experiments, and a wide range of fully working sample applications with complete source code developed in C++, C# and Java. - Special editions of the author's established 'workbenches' teaching and learning tools suite are included. These tools have been specifically designed to facilitate practical experimentation and simulation of complex and dynamic aspects of systems.



Java Distributed Computing

Author : Jim Farley

Publisher : "O'Reilly Media, Inc."

Page : 398 pages

File Size : 50,17 MB

Release : 1998

Category : Computers

ISBN : 9781565922068

Get eBook

Book Description

This book shows how to build software in which two or more computers cooperate to produce results. It covers Java's RMI (Remote Method Invocation) facility, in addition to CORBA and strategies for developing a distributed framework. It pays attention to often-neglected issues such as protocol design, security, and bandwidth requirements.



Elements of Distributed Computing

Author : Vijay K. Garg

Publisher : John Wiley & Sons

Page : 448 pages

File Size : 48,85 MB

Release : 2002-05-23

Category : Computers

ISBN : 9780471036005

Get eBook

Book Description

Mit der Verfügbarkeit verteilter Systeme wächst der Bedarf an einer fundamentalen Diskussion dieses Gebiets. Hier ist sie! Abgedeckt werden die grundlegenden Konzepte wie Zeit, Zustand, Gleichzeitigkeit, Reihenfolge, Kenntnis, Fehler und Übereinstimmung. Die Betonung liegt auf der Entwicklung allgemeiner Mechanismen, die auf eine Vielzahl von Problemen angewendet werden können. Sorgfältig ausgewählte Beispiele (Taktgeber, Sperren, Kameras, Sensoren, Controller, Slicer und Syncronizer) dienen gleichzeitig der Vertiefung theoretischer Aspekte und deren Umsetzung in die Praxis. Alle vorgestellten Algorithmen werden mit durchschaubaren, induktionsbasierten Verfahren bewiesen.



Java Network Programming and Distributed Computing

Author : David Reilly

Publisher : Addison-Wesley Professional

Page : 500 pages

File Size : 47,22 MB

Release : 2002

Category : Computers

ISBN : 9780201710373

Get eBook

Book Description

Java's rich, comprehensive networking interfaces make it an ideal platform for building today's networked, Internet-centered applications, components, and Web services. Now, two Java networking experts demystify Java's complex networking API, giving developers practical insight into the key techniques of network development, and providing extensive code examples that show exactly how it's done. David and Michael Reilly begin by reviewing fundamental Internet architecture and TCP/IP protocol concepts all network programmers need to understand, as well as general Java features and techniques that are especially important in network programming, such as exception handling and input/output. Using practical examples, they show how to write clients and servers using UDP and TCP; how to build multithreaded network applications; and how to utilize HTTP and access the Web using Java. The book includes detailed coverage of server-side application development; distributed computing development with RMI and CORBA; and email-enabling applications with the powerful JavaMail API. For all beginning to intermediate Java programmers, network programmers who need to learn to work with Java.