Вивчення / Лабораторія виконання
Лабораторія виконання
Паралельність / конкурентність / компонованість
ALUX підтримує відтворювані довгі транзакції: незалежні завдання виконуються разом, а транзакції координуються повідомленнями. Сценарій бронювання ілюструє цільову модель спільної фіксації пов’язаних міжсистемних ефектів як єдиного атомарного результату.
Детальна технічна ілюстрація середовища виконання ALUX, що поєднує вузли, хмарні сервіси, пристрої, агентів, токени повноважень і лінії фіксації.
Проста відмінність
Три слова — три зовсім різні завдання середовища виконання
Паралелізм виконує незалежні транзакції одночасно. Конкурентність дозволяє транзакціям взаємодіяти через канали: одна може чекати на відповідне повідомлення від іншої, а потім продовжитися. Компонованість пов’язує переходи стану різних систем у єдиний перевірюваний атомарний перехід.
У поточному середовищі виконання ALUX незалежна робота може йти паралельно, транзакції координуються повідомленнями, а виконання поновлюється між блоками. Атомарна композиція незалежних систем залишається архітектурною метою.
Кілька ізольованих ліній виконання просуваються одночасно.
За той самий час завершується більше незалежної роботи. Але сам лише паралелізм не дозволяє завданням обмінюватися повідомленнями або довгій транзакції чекати й продовжуватися.
Паралелізм знаходить кілька відповідей одразу. Він не змушує ці завдання взаємодіяти.
Паралельність
Рейси, готелі, трансфери й страхування
шукаються одночасно
- Що це означає
- Паралельне виконання означає одночасну роботу незалежних завдань. Туристичний агент може шукати рейси, номери, трансфери й страхування, не змушуючи один пошук чекати на інший.
- Як це робить ALUX
- Паралельне виконання вбудоване в числення процесів ALUX: транзакції не мають спільної пам’яті, а будь-яка взаємодія обмежена каналами простору кортежів. Тому незалежні транзакції просуваються окремими лініями TVM, а Block Merge розв’язує перетини стану під час фіксації.
- Що це дозволяє
- За той самий час завершується більше незалежної роботи. Але сам лише паралелізм не дозволяє завданням обмінюватися повідомленнями або довгій транзакції чекати й продовжуватися.
Паралелізм знаходить кілька відповідей одразу. Він не змушує ці завдання взаємодіяти.
Спробуйте все середовище виконання
Змоделюйте атомарне бронювання
Дослідіть цільову модель композиції чотирма діями: запустіть перевірки резервування й оплати, задайте очікування наявності номера, передайте відповідне повідомлення готелю та змоделюйте спільне підтвердження.
Перевірки резервування й оплати просуваються незалежно.
Резервування залишає умову наявності номера в каналі.
Відповідне повідомлення активує продовження бронювання.
Резерв номера й авторизація платежу фіксуються як єдиний результат.
Пройдіть кроки за порядком
Почніть із кроку 1. Резервування й платіж керуються окремо в одному середовищі виконання.
Незалежна робота не чекає в єдиній глобальній черзі.
Залежність зберігається в каналі, не блокуючи середовище виконання.
COMM створює продовження; ReplayTrie записує вибір, лише якщо збіг недетермінований.
Мета — єдиний результат «усе або нічого» з відтворюваними даними про фіксацію.
Шлях виконання
Що підтримує життя сервісу
Довгоживучий сервіс зберігає узгодженість, оскільки кожен крок може виконуватися, взаємодіяти, нести явні повноваження, детерміновано відтворюватися й завершуватися єдиним перевірюваним атомарним шляхом.
Життєвий цикл процесу TVM
Процес може розгалузитися, чекати в одному блоці й поновитися в одному з наступних, не перезапускаючи локальний контекст виконання.
Простір кортежів + COMM
Операція consume, що очікує, зустрічає produce іншої транзакції. Збіг активує продовження, поки непов’язана робота просувається далі.
Межі OCAP
Непідроблювані посилання-повноваження передаються явно, тому кожен крок отримує лише потрібні права; ідентичність не вносить автоматично сторонніх повноважень до області доступу.
ReplayTrie
Записуються лише значущі недетерміновані рішення COMM, щоб валідатори могли відтворити те саме виконання.
BlockGit + Block Merge
Конкурентна робота потрапляє до перевірених фронтирів, де перетини до досягнення остаточності класифікуються як прийняті, відхилені або невизначені.
Наступний шар
Єдине логічне середовище виконання для багатьох оточень
Лабораторія виконання показує поточне паралельне виконання та взаємодію через повідомлення, а потім ілюструє цільову модель атомарної композиції. GLVM описує ширшу архітектуру розширення цієї логічної моделі на вузли блокчейну, хмарні сервіси й особисті пристрої.
Чому це важливо
Не швидші блоки, а довгоживучі сервіси.
Паралелізм забезпечує незалежне виконання. Конкурентність — взаємодію через повідомлення, очікування й поновлення. ALUX уже реалізує ці основи середовища виконання та рухається до атомарної композиції через межі систем.
Більша пропускна здатність, але немає залежностей між транзакціями чи зіставлення повідомлень.
Транзакції можуть взаємодіяти й чекати, але міжсистемні ефекти все ще можуть фіксуватися окремо.
Атомарна межа є, але без взаємодії й очікування вона не може підтримувати тривалі залежності.