Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Concurrent Programming: Algorithms, Principles, and Foundations

Компьютерные >> Программирование





Разместил: Sniper-Forewer

17-03-2016, 12:07

Просмотров: 136





Concurrent Programming: Algorithms, Principles, and Foundations

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Мб
Качество: отличное
Язык: английский










Похожие публикации

Computer Security. Principles and Practice 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,

Digital Signal Processing: Principles, Algorithms and Applications, 4th Edition Digital Signal Processing: Principles, Algorithms and Applications, 4th Edition
[center]A significant revision of a best-selling text for the introductory digital signal processing course. This book presents the fundamentals of discrete-time signals, systems, and modern digital processing and applications for students in

Nonlinear Programming: Theory and Algorithms 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
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 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.

Engineering Principles of Combat Modeling and Distributed Simulation Engineering Principles of Combat Modeling and Distributed Simulation
Engineering Principles of Combat Modeling and Distributed Simulation is the first book of its kind to address the three perspectives that simulation engineers must master for successful military and defense related modeling: the operational view

Anthony Williams - C++ Concurrency in Action 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 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

C for Engineers and Scientists: An Introduction to Programming With ANSI C C for Engineers and Scientists: An Introduction to Programming With ANSI C
This text introduces the C programming language using a range of engineering and science applications in the examples and exercises. The book assumes no programming experience and is suitable for an introduction to programming course (using C

Hauck S.-Reconfigurable computing. The theory and practice of FPGA-based computation Hauck S.-Reconfigurable computing. The theory and practice of FPGA-based computation
Описание: The main characteristic of Reconfigurable Computing is the presence of hardware that can be reconfigured to implement specific functionality more suitable for specially tailored hardware than on a simple uniprocessor. Reconfigurable




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов