Dependable Computing
Dependable Computing

Author: Ravishankar K. Iyer

Publisher: John Wiley & Sons

Published: 2024-04-18

Total Pages: 852

ISBN-13: 111974346X

DOWNLOAD EBOOK

Dependable Computing Covering dependability from software and hardware perspectives Dependable Computing: Design and Assessment looks at both the software and hardware aspects of dependability. This book: Provides an in-depth examination of dependability/fault tolerance topics Describes dependability taxonomy, and briefly contrasts classical techniques with their modern counterparts or extensions Walks up the system stack from the hardware logic via operating systems up to software applications with respect to how they are hardened for dependability Describes the use of measurement-based analysis of computing systems Illustrates technology through real-life applications Discusses security attacks and unique dependability requirements for emerging applications, e.g., smart electric power grids and cloud computing Finally, using critical societal applications such as autonomous vehicles, large-scale clouds, and engineering solutions for healthcare, the book illustrates the emerging challenges faced in making artificial intelligence (AI) and its applications dependable and trustworthy. This book is suitable for those studying in the fields of computer engineering and computer science. Professionals who are working within the new reality to ensure dependable computing will find helpful information to support their efforts. With the support of practical case studies and use cases from both academia and real-world deployments, the book provides a journey of developments that include the impact of artificial intelligence and machine learning on this ever-growing field. This book offers a single compendium that spans the myriad areas in which dependability has been applied, providing theoretical concepts and applied knowledge with content that will excite a beginner, and rigor that will satisfy an expert. Accompanying the book is an online repository of problem sets and solutions, as well as slides for instructors, that span the chapters of the book.

Fault-Tolerance Techniques for High-Performance Computing
Fault-Tolerance Techniques for High-Performance Computing

Author: Thomas Herault

Publisher: Springer

Published: 2015-07-01

Total Pages: 325

ISBN-13: 3319209434

DOWNLOAD EBOOK

This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as ABFT. Emphasis is placed on analytical performance models. This is then followed by a review of general-purpose techniques, including several checkpoint and rollback recovery protocols. Relevant execution scenarios are also evaluated and compared through quantitative models. Features: provides a survey of resilience methods and performance models; examines the various sources for errors and faults in large-scale systems; reviews the spectrum of techniques that can be applied to design a fault-tolerant MPI; investigates different approaches to replication; discusses the challenge of energy consumption of fault-tolerance methods in extreme-scale systems.

Proceedings, International Conference on Dependable Systems and Networks, DSN 2000
Proceedings, International Conference on Dependable Systems and Networks, DSN 2000

Author: IEEE Computer Society. Fault-Tolerant Computing Technical Committee

Publisher: Institute of Electrical & Electronics Engineers(IEEE)

Published: 2000

Total Pages: 696

ISBN-13:

DOWNLOAD EBOOK

Proceedings of the June 2000 conference that addressed society's unprecedented reliance on the dependability, integrity, security, and availability of a global network of computing systems. The 66 contributions cover embedded systems, measurement and assessment, mobile agents, analysis and evaluatio

Elixir in Action, Third Edition
Elixir in Action, Third Edition

Author: Saša Juric

Publisher: Simon and Schuster

Published: 2024-03-19

Total Pages: 414

ISBN-13: 1633438511

DOWNLOAD EBOOK

Fully updated to Elixir 1.15, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high availability. Thousands of developers have learned to build applications in Elixir by using Saša Juric’s Elixir in Action. You’ll skip the programming basics or 101 introductions; this book builds on your existing knowledge to get you quickly writing real Elixir code. Along the way, you'll develop an appreciation for, and considerable skill in, functional and concurrent programming. Inside Elixir in Action, Third Edition you’ll find: Updates for Elixir 1.15 Elixir modules, functions, and type system Functional and concurrent programming Introduction to distributed system design Creating deployable releases Fully updated to Elixir 1.15, this book contains new coverage of working with application configuration and the latest OTP releases. It teaches you the underlying principles and functional concepts of Elixir, and how each piece fits into the bigger picture of building production-ready systems with Elixir, Erlang, and the OTP framework. Foreword by Francesco Cesarini. Purchase of the print book includes a free eBook in PDF and ePub formats from Manning Publications. About the technology With best-in-class fault tolerance and concurrency, a pragmatic approach to functional programming, and the power to operate at scale, Elixir is the perfect choice for mission-critical software. Start reading Elixir in Action, and you’ll quickly understand why Elixir creator José Valim says it “...tops the list” of Elixir books. About the book Elixir in Action, Third Edition teaches you how to create distributed applications and server-side systems using Elixir and the Erlang VM. This Third Edition from Elixir expert Saša Juric is fully updated to include the latest features of Elixir 1.15. In it, you’ll master the foundations of the language, discover how the OTP framework minimizes tedious boilerplate code, and explore numerous examples that ensure you’re learning hands-on. What's inside Elixir modules, functions, and type system Functional and concurrent programming Introduction to distributed system design Creating deployable releases About the reader For programmers comfortable with client/server applications. No experience with Elixir, Erlang, or functional programming required. About the author Saša Juric uses Elixir and Erlang to build fault-tolerant, scalable, highly concurrent systems. Technical editor on this book was Marius Butuc. Table of Contents PART 1 Functional Elixir 1 First steps 2 Building blocks 3 Control flow 4 Data abstractions PART 2 CONCURRENT ELIXIR 5 Concurrency primitives 6 Generic server processes 7 Building a concurrent system 8 Fault tolerance basics 9 Isolating error effects 10 Beyond GenServer PART 3 PRODUCTION 11 Working with components 12 Building a distributed system 13 Running the system