Зв’язатися з нами

Вивчення / GLVM

GLVM

Глобальна логічна віртуальна машина

Єдиний логічний шар виконання, координований на багатьох машинах.

GLVM — орієнтована на розробника абстракція виконання, яку ALUX будує на основі свого конкурентного середовища. TVM слугує конкретним рушієм на кожній залученій машині; модель GLVM об’єднує стан виконання, процеси, відтворення, реплікацію та консенсус в одному логічному шарі.

Фізична модельОдна TVM на машину
Логічна модельОдна GLVM над ними
НапрямВід блокчейну до хмари й пристрою

Основне визначення

Одна TVM на машину, координація через єдину логічну модель виконання

TVM — рушій виконання байт-коду на одній машині. GLVM визначає системну абстракцію виконання для залучених TVM. Це не ще одна VM байт-коду: розробники працюють з єдиною логічною моделлю, а детерміноване відтворення, неперервність виконання, реплікація, фіналізація та консенсус координуються під рівнем абстракції.

TVM

Віртуальна машина простору кортежів

Конкретний рушій виконання ALUX. Він виконує байт-код Tolang, координує незалежні процеси через канали й події COMM та записує недетерміновані рішення, потрібні для детермінованого відтворення.

Конкретний рушій усередині однієї машини
GLVM

Глобальна логічна віртуальна машина

GLVM визначає логічну модель для розробників, що об’єднує залучені TVM. Вона задає єдину межу стану виконання й процесів, залишаючи відтворення, реплікацію, фіналізацію та консенсус під рівнем абстракції.

Одна логічна система над багатьма машинами
Абстракція VMРозширюється
Вертикальна атомарністьЯдро середовища виконання
Горизонтальна атомарністьПлани розвитку
Компонована безпекаЯдро середовища виконання

Трирівнева архітектура

Три рівні, одна модель виконання для розробника

Фізичні машини запускають TVM; в архітектурі GLVM ці рушії беруть участь у єдиній логічній моделі виконання. Майбутня World OS організує цей шар у сервіси, придатні до виявлення й оркестрації, з явно заданими повноваженнями.

Виберіть рівень, щоб побачити подробиці.

Виконання та атомарність

Транзакція може чекати кілька блоків, а потім завершитися як єдине ціле

Модель виконання розвивається від послідовної й паралельної роботи до конкурентних процесів, здатних спілкуватися, чекати й поновлюватися. Складене виконання розширює модель, дозволяючи кільком конкурентним транзакціям мати спільну межу фіксації вищого рівня; неперервність між блоками слугує вертикальною основою цього напряму.

Ядро середовища виконання

Конкурентне

Процеси обмінюються даними, чекають і поновлюються через канали.

Вертикальна атомарність · ядро середовища виконанняВиконання між блоками зберігає єдиний контекст транзакції.
  1. 01 · Почати Один запуск

    Запустіть одну транзакцію з одним набором обмежених повноважень.

  2. 02 · Призупинити Очікування без часткової фіксації

    Якщо немає відповіді або збігу в каналі, збережіть продовження замість передчасної фіналізації.

  3. 03 · Записати Зафіксувати вибір

    ReplayTrie записує недетермінований вибір або автентифіковану відповідь, потрібну для відтворення шляху.

  4. 04 · Поновити Продовжити ту саму транзакцію

    Відповідна подія COMM або записана відповідь пробуджує збережене продовження в одному з наступних блоків.

  5. 05 · Фіналізувати Зафіксувати або відкинути

    На межі фіналізації допустимий стан фіксується, а відхилений попередній стан відкидається.

Основний шлях виконання

Конкурентне виконання TVM · очікування й поновлення COMM · ReplayTrie · продовження між блоками та фіналізація

Модель атомарності

Попередній проміжний стан стає підтвердженим лише під час фіналізації; невдалий шлях відкидається, а не виправляється згодом компенсаційними транзакціями.

Вбудоване читання поза блокчейном

Автентифікований HTTPS GET може призупинити виконання, записати відповідь, відтворити її та поновити роботу. Істинність даних і надалі залежить від джерела, а незворотні зовнішні побічні ефекти не охоплюються відкотом.

Горизонтальна атомарність

Атомарне міжшардове виконання та композиція з незалежними зовнішніми системами визначають наступний етап розширення моделі.

Безпека на основі об’єктних повноважень

Дайте завданню один ключ, а не посвідчення користувача

У прикладі з генеральним директором і Бобом доступ на основі ідентичності може привнести в завдання неявні повноваження посвідчення директора. За об’єктних повноважень завдання отримує лише один ключ до запису Боба. TVM контролює межі досяжності під час виконання. Без посилання-повноваження на інший раніше створений об’єкт завдання не може назвати його або звернутися до нього.

Широкі повноваження на основі ідентичності

Посвідчення привносить у завдання сторонні права доступу

Навіть якщо завдання стосується лише Боба, повноваження, представлені посвідченням генерального директора, можуть і далі охоплювати фінанси та записи Аліси, Керол і Боба.

Явне об’єктне повноваження

Завдання отримує один ключ, що позначає запис Боба

Цей ключ представляє непідроблюване ім’я, що позначає запис Боба. Без посилання-повноваження на інший раніше створений об’єкт завдання не може назвати його або звернутися до нього. TVM перевіряє цю межу під час виконання.

Термінологія

Тут «ключ» візуально позначає непідроблюване ім’я OCAP — посилання-повноваження. Це не криптографічний ключ. Гарантія поширюється на власні взаємодії TVM, опосередковані повноваженнями; дозволи розміщеної EVM та зовнішніх сервісів потребують окремих засобів контролю.

Дослідження робочого процесу

Вибирайте середовище виконання за довірою, часом відгуку й локальністю даних

Розгляньмо ремонт пристрою за участі кількох компаній: ескроу потребує незалежної перевірки, діагностиці потрібні еластичні обчислювальні ресурси, а локальний доступ має схвалити власник пристрою. У моделі GLVM кожне завдання спрямовується до середовища виконання, що відповідає його вимогам до довіри, затримки й меж даних, зі збереженням явних повноважень.

Виберіть вимогу
Ядро середовища виконання

TVM публічного блокчейну + хост EVM

Утримуйте гарантійні кошти в ескроу й записуйте шлях погодження там, де незалежні валідатори можуть перевірити перехід.

Простежити цільовий потік0 / 6

Готово. Запустіть симуляцію, щоб побачити цільовий логічний потік.

01

Обмежені повноваження

Агент із ремонту отримує лише права, потрібні для цього завдання.

02

Спланувати розподіл

Робочий процес розподіляє обмежені підзавдання між TVM блокчейну, приватного або хмарного середовища та клієнтських пристроїв.

03

Очікування / призупинення

У середовищі виконання блокчейну відсутність відповіді зберігає продовження, а не призводить до передчасної фіналізації транзакції.

04

Збіг COMM

Отриманий результат зустрічає продовження, що очікує, у каналі; робочий процес поновлюється.

05

Доказ відтворення

ReplayTrie записує рішення, що дозволяють іншому валідатору відтворити виконання.

06

Межа фіналізації

BlockGit і Block Merge узгоджують перевірювані результати на боці блокчейну. Поширення єдиної атомарної фіксації на всі середовища виконання — перспектива GLVM.

Будова середовища виконання

Дев’ять областей можливостей за абстракцією GLVM

GLVM — не друга VM байт-коду. Ці дев’ять архітектурних подань — від виконання TVM, об’єктних повноважень і відтворення до BlockGit, гостьових VM та інструментів розробника — розкривають систему можливостей, що стоїть за її логічною моделлю виконання.

  1. 01
    VM байт-кодуЯдро середовища виконання

    TVM · простір кортежів · COMM

    Конкретний конкурентний рушій виконує байт-код і дозволяє незалежним процесам обмінюватися даними та продовженнями через канали.

  2. 02
    БезпекаЯдро середовища виконання

    Вбудовані об’єктні повноваження

    Непідроблювані посилання роблять досяжні повноваження явними й дозволяють середовищу виконання забезпечувати межі мінімальних прав.

  3. 03
    АтомарністьЯдро середовища виконання

    Атомарне виконання між блоками

    Контексти виконання можуть залишатися призупиненими між блоками, поновлюватися зі збережених продовжень і досягати відкладеної межі фіналізації.

  4. 04
    ОстаточністьЯдро середовища виконання

    BlockGit · фронтир · злиття

    DAG блоків, детермінована ротація лідера й правила злиття узгоджують конкурентну роботу в блокчейні без постійного лідера.

  5. 05
    ВідтворенняЯдро середовища виконання

    ReplayTrie · траса

    Записані недетерміновані рішення й траси виконання дозволяють валідаторам відтворити прийнятий шлях.

  6. 06
    МережаЯдро середовища виконання

    Мережа вузлів і валідаторів

    Вузловий шар передає пропозиції, блоки, докази стану й координує валідаторів під рівнем абстракції виконання.

  7. 07
    МоваЯдро середовища виконання

    Tolang → tolangc → .tox

    Tolang описує конкурентні процеси; компілятор перетворює вихідний код на байт-код для виконання TVM.

  8. 08
    Гостьові VMEVM у ядрі · WASM у планах

    Хост EVM · WASM у планах

    EVM працює як гостьова VM зі станом через координацію в стилі TSAC. WASM розширює напрям різнорідних VM.

  9. 09
    ІнструментиЗасоби розробника

    Компілятор · LSP · інтерактивний майданчик

    Компілятор, LSP, інтерактивний майданчик, набір тестів і діагностика включають модель виконання в робочі процеси розробників.

Горизонт розробки

Ядро середовища виконання формується в міру розширення GLVM на нові середовища

GLVM розвивається на основі конкурентного середовища виконання блокчейну ALUX. Приватна хмара — наступний напрям інтеграції; виконання на клієнтських пристроях і між шардами залишається в планах. Карта нижче розділяє ядро середовища виконання, середовища, що зараз розширюються, і наступну архітектурну мету.

Ядро середовища виконання

  • Конкурентна TVM і COMM
  • ReplayTrie та траси виконання
  • Шляхи призупинення / поновлення між блоками
  • Вбудовані основи OCAP
  • Шлях хоста EVM
  • DAG, фронтир і злиття BlockGit

Розширення системи

  • Розгортання рушія в приватному або хмарному середовищі
  • Абстракція GLVM для різних середовищ розгортання
  • Підвищення надійності для промислового масштабу
  • Розширені політики й контроль захищених каналів
  • Спостережуваність середовища виконання та інструменти операторів

Плани розвитку

  • Міжшардова горизонтальна атомарність
  • Гостьова VM WASM
  • Розгортання TVM на клієнтських пристроях
  • Абстракція облікових записів і реєстр повноважень
  • Повторна синхронізація вузлів після збою та динамічна зміна набору валідаторів
  • Програмований шар World OS

Продовжити вивчення

Дослідіть середовище виконання, навантаження агентів і порівняння систем

Лабораторія виконання пояснює модель виконання. Розділ «Для ШІ-агентів» показує характер навантажень. «ALUX та інші системи» порівнює архітектуру й можливості систем.