Frank He
@AtticbeeЗасновник / архітектор конкурентних систем
Френк — архітектор конкурентних систем. До ALUX він майже 20 років працював у Lehman Brothers, Barclays Capital і Bloomberg старшим фахівцем із кількісних моделей та інженером деривативів, створюючи ризик-системи рівня Волл-стріт, які мали зберігати коректність за конкурентної роботи — між часовими поясами, організаціями й мілісекундами.
Цей досвід привів його до переконання: синхронна модель виконання вичерпала себе. ALUX — його відповідь. Він керував проєктуванням основного стека:
TVM — віртуальна машина простору кортежів
Процеси взаємодіють конкурентно через канали; зіставлення зі зразком виконує роль планування; посилання-повноваження слугують авторизацією.
Tolang — мова конкурентного програмування
Tolang кодує дескриптори каналів і поведінкові типи, дозволяючи виявляти частину помилок використання заздалегідь, а середовище виконання забезпечує обмеження життєвого циклу.
OCAP — модель безпеки на основі об’єктних повноважень
Посилання на канал непідроблюване й передаване; правила області дії та життєвого циклу обмежують повноваження, не покладаючись лише на адресний доступ.
BlockGit — протокол консенсусу DAG
Валідатори конкурентно створюють блоки DAG. Для остаточності BlockGit використовує змінного лідера, а Block Merge узгоджує результати роботи, що перетинаються.
Децентралізований транзакційний шар ACID
Сегменти, відкіт, правила ізоляції й точки фіксації зберігають семантику ACID для тривалої та міжблочної роботи.
Віртуальна машина, мова й консенсус утворюють єдину систему, у якій конкурентне виконання та компонованість нарешті працюють разом: протокольний шар для відкритої, компонованої економіки ШІ-агентів.