Самостабилизация
Самостабилизация Концепция самостабилизации в распределенных системах Самостабилизирующийся алгоритм гарантирует переход в допустимое состояние после сбоев. Алгоритм не требует инициализации и […]
Вики
Edsger W. Dijkstra
Вики
Проблема спящего парикмахера
Проблема со спящим парикмахером Проблема спящего парикмахера Классическая проблема синхронизации в информатике Предложена Эдсгером Дейкстрой в 1965 году Иллюстрирует сложности
Вики
Проблема обедающих философов
Проблема обедающих философов Проблема обедающих философов Проблема описывает ситуацию с философами, которые не могут одновременно использовать две вилки. Философы могут
Вики
Считается вредным
Считается вредным История и использование фразы «Считается вредным» Фраза «Считается вредным» использовалась в заголовках до статьи Дейкстры. Эдсгер Дейкстра популяризировал
Вики
Семафор (программирование)
Семафор (программирование) Основы семафоров Семафоры — это примитивы синхронизации, которые управляют доступом к ресурсам. Семафоры могут быть двоичными или счетными,
Вики
Семантика преобразователя предикатов
Семантика трансформатора предиката Основы логики Хоара Логика Хоара — это формальная система, разработанная для описания программ с точки зрения их
Вики
Задача о кратчайшем пути
Задача о кратчайшем пути Алгоритмы кратчайшего пути используются для поиска оптимальной последовательности действий в графах. Дорожные сети могут быть рассмотрены
Вики
Эдсгер В. Дейкстра
Эдсгер В. Дейкстра Эдсгер Дейкстра — голландский ученый-компьютерщик, известный своими работами в области программирования и алгоритмов. Дейкстра внес значительный вклад