Добро пожаловать на сайт электронной библиотеки! Здесь можно найти произведения русских и зарубежных авторов. Скачать множество книг и журналов различных жанров и направлений. Большой выбор художественной, бизнес, учебной и технической литературы. Все представленные здесь книги и журналы имеют подробное описание и обложку. Наша библиотека регулярно пополняется только новыми и интересными материалами!
The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local computations in order to realize a common task. This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book.
In this book the author explains synchronization and the implementation of concurrent objects, presenting in a uniform and comprehensive way the major theoretical and practical results of the past 30 years. Among the key features of the book are a new look at lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); an introduction to the atomicity consistency criterion and its properties and a specific chapter on transactional memory; an introduction to mutex-freedom and associated progress conditions such as obstruction-freedom and wait-freedom; a presentation of Lamport's hierarchy of safe, regular and atomic registers and associated wait-free constructions; a description of numerous wait-free constructions of concurrent objects (queues, stacks, weak counters, snapshot objects, renaming objects, etc.); a presentation of the computability power of concurrent objects including the notions of universal construction, consensus number and the associated Herlihy's hierarchy; and a survey of failure detector-based constructions of consensus objects. The book is suitable for advanced undergraduate students and graduate students in computer science or computer engineering, graduate students in mathematics interested in the foundations of process synchronization, and practitioners and engineers who need to produce correct concurrent software. The reader should have a basic knowledge of algorithms and operating systems.
Название: Concurrent Programming: Algorithms, Principles, and Foundations Автор: Michel Raynal Издательство: Springer ISBN: 978-3-642-32027-9 Год выпуска: 2013 Жанр:программирование Страниц: 516 Формат: pdf Размер: 14.6Мб Качество: отличное Язык: английский
Скачать с Depositfiles.com Скачать с Turbobit.net Скачать с Hitfile.net
Computer Security. Principles and Practice
In recent years, the need for education in computer security and related topics has grown dramatically - and is essential for anyone studying Computer Science or Computer Engineering. This is the only text available to provide integrated,
Nonlinear Programming: Theory and Algorithms
COMPREHENSIVE COVERAGE OF NONLINEAR PROGRAMMING THEORY AND ALGORITHMS, THOROUGHLY REVISED AND EXPANDED Nonlinear Programming: Theory and Algorithms —now in an extensively updated Third Edition—addresses the problem of optimizing an objective
Fundamentals of Java: AP Computer Science Essentials
Fundamentals of Java™: AP* Computer Science Essentials, Fourth Edition covers all of the AP requirements for Computer Science Exam A. This text is intended for a complete course in programming and problem solving. It covers the material of typical
Principles of Computer Hardware
Completely updated and revised throughout, the fourth edition of Principles of Computer Hardware explores the fundamentals of computer structure, architecture, and programming.
Anthony Williams - C++ Concurrency in Action
C++ Concurrency in Action is a reference and guide to the new C++ 11 Standard for experienced C++ programmers as well as those who have never written multithreaded code. This book will show you how to write robust multithreaded applications in C++
Professional C# 4.0 and .NET 4
This book starts by reviewing the overall architecture of .NET in order to give you the background you need to be able to write managed code. After that, the book is divided into a number of sections that cover both the C# language and its