Введение в надежное и безопасное распределенное программирование

Содержание книги "Введение в надежное и безопасное распределенное программирование "

Предисловие
Глава 1. Введение
1.1. Обоснование
1.2. Абстракции распределенного программирования
1.3. Сквозной аргумент
1.4. Программные компоненты
1.5. Классы алгоритмов
1.6. Практикум
1.7. Примечания к главе
Глава 2. Базовые абстракции
2.1. Распределенные вычисления
2.2. Абстракции процессов
2.3. Криптографические абстракции
2.4. Абстракции связи
2.5. Предположения о синхронности
2.6. Абстракция времени
2.7. Модели распределенных систем
2.8. Упражнения
2.9. Решения
2.10. Практикум
2.11. Примечания к главе
Глава 3. Надежная рассылка
3.1. Обоснование
3.2. Негарантированная рассылка
3.3. Обычная надежная рассылка
3.4. Унифицированная надежная рассылка
3.5. Рассылка с повторами
3.6. Негарантированная рассылка с журналированием
3.7. Унифицированная надежная рассылка с журналированием
3.8. Вероятностная рассылка
3.9. Рассылка в порядке FIFO и причинная рассылка
3.10. Византийская согласованная рассылка
3.11. Византийская надежная рассылка
3.12. Византийские широковещательные каналы
3.13. Упражнения
3.14. Решения
3.15. Практикум
3.16. Примечания к главе
Глава 4. Разделяемая память
4.1. Введение
4.2. Обычный регистр (1, N)
4.3. Атомарный регистр (1, N)
4.4. Атомарный регистр (N, N)
4.5. Обычный регистр (1, N) с журналированием
4.6. Византийский безопасный регистр (1, N)
4.7. Византийский обычный регистр (1, N)
4.8. Византийский атомарный регистр (1, N)
4.9. Упражнения
4.10. Решения
4.11. Практикум
4.12. Примечания к главе
Глава 5. Консенсусы
5.1. Обычный консенсус
5.2. Унифицированный консенсус
5.3. Унифицированный консенсус для модели с уведомлением об отказах
5.4. Консенсус с журналированием
5.5. Рандомизированный консенсус
5.6. Византийский консенсус
5.7. Византийский рандомизированный консенсус
5.8. Упражнения
5.9. Решения
5.10. Практикум
5.11. Примечания к главе
Глава 6. Варианты консенсуса
6.1. Рассылка в едином порядке
6.2. Византийская рассылка в едином порядке
6.3. Обрывающаяся надежная рассылка
6.4. Быстрый консенсус
6.5. Быстрый Византийский консенсус
6.6. Неблокирующее атомарное подтверждение
6.7. Членство в группах
6.8. Синхронизация взаимодействий с представлением
6.9. Упражнения
6.10. Решения
6.11. Практикум
6.12. Примечания к главе
Глава 7. Заключительные замечания
7.1. Реализация в Appia
7.2. Дополнительные реализации
7.3. Для дальнейшего чтения
Использованная литература
Список модулей
Список алгоритмов
Предметный указатель