URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Хоар Ч. Взаимодействующие последовательные процессы: Пер. с англ.
Id: 2409
 
1199 руб.

Взаимодействующие последовательные процессы: Пер. с англ.

1989. 264 с. Мягкая обложка. ISBN 5-03-001043-2. Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Аннотация

Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ. Автор рассматривает параллелизм в языках высокого уровня АДА, Симула 67, Паскаль.

Для специалистов в области системного программирования, теоретической информатики, математической логики, аспирантов и студентов вузов.


 Оглавление

От редактора перевода.................. 5

Предисловие....................... 7

От автора........................ 9

Краткое содержание................... 14

Глава 1. Процессы.................... 18

1.1. Введение..................... 18

1.2. Рисунки..................... 29

1.3. Законы...................... 31

1.4. Реализация процессов................ 33

1.5. Протоколы.................... 36

1.6. Операции над протоколами.............. 38

1.7. Реализация протоколов................ 42

1.8. Протоколы процесса................. 44

1.9. Дальнейшие операции над протоколами......... 50

1.10. Спефицикации...................54

Глава 2. Параллельные процессы............. 60

2.1. Введение...................... 60

2.2. Взаимодействие................... 60

2.3. Параллелизм.................... 63

2.4. Рисунки...................... 68

2.5. Пример: обедающие философы............. 69

2.6. Переименование................... 76

2.7. Спецификации................... 86

2.8. Математическая теория детерминированных процессов.... 87

Глава 3. Недетерминизм.................. 95

3.1. Введение...................... 95

3.2. Недетерминированный выбор.............. 96

3.3. Генеральный выбор................. 101

3.4. Отказы...................... 10З

3.5. Сокрытие..................... 105

3.6. Чередование.................... 114

3.7. Спецификации............ 117

3.8. Расходимость.................... 121

3.9. Математическая теория недетерминированных процессов...125

Глава 4. Взаимодействие................. 129

4.1. Введение...................... 129

4.2. Ввод и вывод.................... 130

4.3. Взаимодействия,..................138

4.4. Транспортеры,................... 147

4.5. Подчинение.....................158

Глава 5. Последовательные процессы.............168

5.1. Введение..................... 168

5.2. Законы...................... 172

5.3. Математическая трактовка.............. 174

5.4. Прерывания................... 177

5.5. Присваивание................... 184

Глава 6. Разделяемые ресурсы..............195

6.1. Введение......................195

6.2. Поочередное использование.............. 196

6.3. Общая память...................201

6.4. Кратные ресурсы..................204

6.5. Операционные системы................215

6.6. Планирование ресурсов..............221

Глава 7. Обсуждение................. 225

7.1. Введение...................... 225

7.2. Общая память...................225

7.3. Взаимодействие...................238

7.4. Математические модели................247

Избранная литература,.................254

Указатель символов...................255

Предметный указатель.................259

 
© URSS 2016.

Информация о Продавце