Содержание
9 отношения: Причинная консистентность, Последовательная консистентность, Распределённая система, Разделяемая память, Репликация (вычислительная техника), Строгая консистентность, Слабая консистентность, Согласованность в конечном счёте, Линеаризуемость.
- Обработка транзакций
Причинная консистентность
Причинная консистентность (causal consistency) — модель консистентности, которая не требует, чтобы все процессы видели одну и ту же последовательность записей в памяти, проводя различие между потенциально-зависимыми (запись одной может зависеть от результата чтения другой ячейки) и потенциально-независимыми (параллельными) операциями записи.
Посмотреть Модель консистентности и Причинная консистентность
Последовательная консистентность
Последовательная консистентность (вариант: последовательная согласованность) — модель консистентности, в которой результат любого выполнения такой же, как в случае если бы операции всех процессоров были выполнены в некотором последовательном порядке, и операции каждого отдельного процессора появлялись в этой последовательности в порядке определенном его программой.
Посмотреть Модель консистентности и Последовательная консистентность
Распределённая система
Распределённая система — система, для которой отношения местоположений элементов (или групп элементов) играют существенную роль с точки зрения функционирования системы, а, следовательно, и с точки зрения анализа и синтеза системы.
Посмотреть Модель консистентности и Распределённая система
Разделяемая память
Наглядное представление разделяемой памяти Разделяемая память (Shared memory) является самым быстрым средством обмена данными между процессами.
Посмотреть Модель консистентности и Разделяемая память
Репликация (вычислительная техника)
Репликация (replication) — механизм синхронизации содержимого нескольких копий объекта (например, содержимого базы данных).
Посмотреть Модель консистентности и Репликация (вычислительная техника)
Строгая консистентность
Модель консистентности, в которой операция «чтение ячейки памяти с адресом х» должна возвращать значение, записанное самой последней операцией «запись» с адресом х.
Посмотреть Модель консистентности и Строгая консистентность
Слабая консистентность
Модель консистентности, определяемая тремя правилами.
Посмотреть Модель консистентности и Слабая консистентность
Согласованность в конечном счёте
Согласованность в конечном счёте (eventual consistency) — одна из моделей согласованности, используемая в распределённых системах для достижения высокой доступности, в рамках которой гарантируется, что в отсутствии изменений данных, через какой-то промежуток времени после последнего обновления («в конечном счёте») все запросы будут возвращать последнее обновлённое значение.
Посмотреть Модель консистентности и Согласованность в конечном счёте
Линеаризуемость
Линеаризу́емость (linearizability) в многопоточном программировании — это свойство программы, при котором результат любого параллельного выполнения процедур (операций) эквивалентен некоторому последовательному выполнению.
Посмотреть Модель консистентности и Линеаризуемость
См. также
Обработка транзакций
- ACID
- Cambridge Analytica
- FoundationDB
- Java Transaction API
- MVCC
- OLTP
- Rollback
- Savepoint (SQL)
- Tandem Computers
- XA
- Блокировка записи
- Большие данные
- Восстановление данных
- Двухфазная блокировка
- Журнализация транзакций
- Координатор распределённых транзакций
- Линеаризуемость
- Обработка транзакций
- Программная транзакционная память
- Расписание (СУБД)
- Сквозная обработка
- Транзакционная NTFS
- Транзакция (информатика)
- Уровень изолированности транзакций
- Хронологическая база данных
- Целостность информации