Изучение / Лаборатория выполнения
Лаборатория выполнения
Параллельность / конкурентность / компонуемость
ALUX поддерживает воспроизводимые длинные транзакции: независимые задачи выполняются вместе, а транзакции координируются сообщениями. Сценарий бронирования иллюстрирует целевую модель совместной фиксации связанных межсистемных эффектов как единого атомарного результата.
Детальная техническая иллюстрация среды выполнения ALUX, соединяющей узлы, облачные сервисы, устройства, агентов, токены полномочий и линии фиксации.
Простое различие
Три слова — три совершенно разные задачи среды выполнения
Параллелизм выполняет независимые транзакции одновременно. Конкурентность позволяет транзакциям взаимодействовать через каналы: одна может ждать подходящего сообщения от другой, а затем продолжиться. Компонуемость связывает переходы состояния разных систем в единый проверяемый атомарный переход.
В текущей среде выполнения ALUX независимая работа может идти параллельно, транзакции координируются сообщениями, а выполнение возобновляется между блоками. Атомарная композиция независимых систем остаётся архитектурной целью.
Несколько изолированных линий выполнения продвигаются одновременно.
За то же время завершается больше независимой работы. Но один лишь параллелизм не позволяет задачам обмениваться сообщениями или длинной транзакции ожидать и продолжаться.
Параллелизм находит несколько ответов сразу. Он не заставляет эти задачи взаимодействовать.
Параллельность
Рейсы, отели, трансферы и страховки
ищутся одновременно
- Что это означает
- Параллельное выполнение означает одновременную работу независимых задач. Туристический агент может искать рейсы, номера, трансферы и страховки, не заставляя один поиск ждать другого.
- Как это делает ALUX
- Параллельное выполнение встроено в исчисление процессов ALUX: транзакции не используют общую память, а любое взаимодействие ограничено каналами пространства кортежей. Поэтому независимые транзакции продвигаются по отдельным линиям TVM, а Block Merge разрешает пересечения состояния при фиксации.
- Что это позволяет
- За то же время завершается больше независимой работы. Но один лишь параллелизм не позволяет задачам обмениваться сообщениями или длинной транзакции ожидать и продолжаться.
Параллелизм находит несколько ответов сразу. Он не заставляет эти задачи взаимодействовать.
Попробуйте всю среду выполнения
Смоделируйте атомарное бронирование
Исследуйте целевую модель композиции четырьмя действиями: запустите проверки резервирования и оплаты, задайте ожидание наличия номера, передайте подходящее сообщение отеля и смоделируйте совместное подтверждение.
Проверки резервирования и оплаты продвигаются независимо.
Резервирование оставляет условие наличия номера в канале.
Подходящее сообщение активирует продолжение бронирования.
Резерв номера и авторизация платежа фиксируются как единый результат.
Пройдите шаги по порядку
Начните с шага 1. Резервирование и платёж управляются отдельно в одной среде выполнения.
Независимая работа не ждёт в единой глобальной очереди.
Зависимость хранится в канале, не блокируя среду выполнения.
COMM создаёт продолжение; ReplayTrie записывает выбор, только если совпадение недетерминированно.
Цель — единый результат «всё или ничего» с воспроизводимыми данными о фиксации.
Путь выполнения
Что поддерживает жизнь сервиса
Долгоживущий сервис сохраняет согласованность, потому что каждый шаг может выполняться, взаимодействовать, нести явные полномочия, детерминированно воспроизводиться и завершаться по единому проверяемому атомарному пути.
Жизненный цикл процесса TVM
Процесс может разветвиться, ожидать в одном блоке и возобновиться в последующем, не перезапуская локальный контекст выполнения.
Пространство кортежей + COMM
Ожидающая операция consume встречает produce другой транзакции. Совпадение активирует продолжение, пока несвязанная работа продвигается дальше.
Границы OCAP
Неподделываемые ссылки на полномочия передаются явно, поэтому каждый шаг получает только необходимые права; идентичность не вносит автоматически посторонние полномочия в область доступа.
ReplayTrie
Записываются только значимые недетерминированные решения COMM, чтобы валидаторы могли воспроизвести то же выполнение.
BlockGit + Block Merge
Конкурентная работа попадает в проверенные фронтиры, где пересечения до достижения окончательности классифицируются как принятые, отклонённые или неопределённые.
Следующий слой
Единая логическая среда выполнения для множества окружений
Лаборатория выполнения показывает текущее параллельное выполнение и взаимодействие через сообщения, а затем иллюстрирует целевую модель атомарной композиции. GLVM описывает более широкую архитектуру расширения этой логической модели на узлы блокчейна, облачные сервисы и личные устройства.
Почему это важно
Не более быстрые блоки, а долгоживущие сервисы.
Параллелизм обеспечивает независимое выполнение. Конкурентность — взаимодействие через сообщения, ожидание и возобновление. ALUX уже реализует эти основы среды выполнения и движется к атомарной композиции через границы систем.
Выше пропускная способность, но нет зависимостей между транзакциями или сопоставления сообщений.
Транзакции могут взаимодействовать и ожидать, но межсистемные эффекты всё ещё могут фиксироваться отдельно.
Атомарная граница есть, но без взаимодействия и ожидания она не может поддерживать длительные зависимости.