알아보기 / 런타임 랩
Runtime Lab
병렬성 / 동시성 / 조합 가능성
ALUX는 재실행 가능한 장기 트랜잭션을 지원합니다. 독립 작업은 함께 실행되고 트랜잭션은 메시지로 조율됩니다. 예약 시나리오는 서로 연관된 시스템 간 결과를 하나의 원자적 결과로 정산하는 목표 모델을 보여 줍니다.
ALUX 런타임이 노드, 클라우드 서비스, 개인 기기, 에이전트, 권한 토큰, 커밋 레일을 연결하는 고급 기술 일러스트.
세 가지를 먼저 구분하기
비슷해 보이지만 해결하는 문제가 다릅니다
병렬성은 서로 독립적인 트랜잭션을 동시에 실행합니다. 동시성은 트랜잭션이 채널을 통해 상호작용하게 합니다. 한 트랜잭션은 다른 트랜잭션의 일치하는 메시지를 기다렸다가 실행을 이어갈 수 있습니다. 조합은 서로 다른 실행 시스템의 상태 전환을 하나의 감사 가능한 원자적 상태 전환으로 묶습니다.
현재 ALUX 런타임에서는 독립 작업을 병렬로 실행하고, 트랜잭션을 메시지로 조율하며, 블록을 넘어 실행을 재개할 수 있습니다. 서로 독립된 시스템을 아우르는 원자적 조합은 아직 아키텍처 목표입니다.
서로 격리된 여러 실행 레일이 동시에 앞으로 이동하는 장면.
같은 시간 안에 더 많은 독립 작업을 끝낼 수 있습니다. 하지만 병렬 실행만으로는 작업끼리 메시지를 주고받거나, 장기 트랜잭션이 기다렸다가 계속 실행되게 할 수 없습니다.
병렬은 여러 답을 동시에 찾게 하지만, 그 작업들을 서로 상호작용하게 만들지는 않습니다.
병렬
항공편, 호텔, 이동 수단, 보험을
동시에 조회합니다
- 무엇을 뜻하나
- 병렬 실행은 서로 의존하지 않는 작업을 동시에 처리하는 것입니다. 여행 에이전트는 한 조회가 끝나기를 기다리지 않고 항공편, 객실, 이동 수단, 보험을 함께 찾을 수 있습니다.
- ALUX는 어떻게 하나
- 병렬 실행은 ALUX 프로세스 대수의 기본 특성입니다. 트랜잭션은 메모리를 공유하지 않고 모든 상호작용은 튜플 공간 채널로 제한됩니다. 따라서 독립 트랜잭션은 서로 다른 TVM 실행 레인에서 진행되며, 커밋 시 상태가 겹치면 Block Merge가 판정합니다.
- 무엇을 가능하게 하나
- 같은 시간 안에 더 많은 독립 작업을 끝낼 수 있습니다. 하지만 병렬 실행만으로는 작업끼리 메시지를 주고받거나, 장기 트랜잭션이 기다렸다가 계속 실행되게 할 수 없습니다.
병렬은 여러 답을 동시에 찾게 하지만, 그 작업들을 서로 상호작용하게 만들지는 않습니다.
전체 런타임 체험
하나의 원자적 예약 모델링하기
네 단계로 목표 조합 모델을 살펴보세요. 예약과 결제 확인을 함께 시작하고, 객실 상태 대기를 남긴 뒤, 호텔의 일치하는 메시지를 전달하고, 마지막으로 공동 확정을 모델링합니다.
예약과 결제 확인이 각각 진행됩니다.
예약이 채널에 객실 상태 조건을 남깁니다.
일치하는 메시지가 예약의 후속 실행을 깨웁니다.
객실 확보와 결제 승인이 하나의 결과로 커밋됩니다.
순서대로 실행
1단계부터 시작합니다. 예약과 결제는 같은 런타임에서 관리되지만 상태는 서로 독립적입니다.
독립 작업이 하나의 전역 대기열 뒤에 줄 서지 않습니다.
의존 관계는 채널에 남고 런타임 전체를 막지 않습니다.
COMM이 후속 실행을 만들며, 일치가 비결정적일 때만 ReplayTrie가 선택을 기록합니다.
목표는 재현 가능한 정산 증거와 함께 전부 성공하거나 전부 취소되는 하나의 결과를 만드는 것입니다.
런타임 경로
서비스를 계속 살아 있게 하는 것
장기 실행 서비스가 일관성을 유지하는 이유는 각 단계가 실행되고, 상호작용하고, 명시적 권한을 전달하고, 결정적으로 재생되며, 검증 가능한 하나의 원자적 경로를 따라 정산될 수 있기 때문입니다.
TVM 프로세스 수명 주기
프로세스는 분기하고 한 블록에서 기다린 뒤 다음 블록에서 이어지며, 로컬 실행 컨텍스트를 다시 시작하지 않습니다.
튜플 공간 + COMM
대기 중인 consume이 다른 트랜잭션의 produce와 만나면 후속 실행이 깨어나고, 무관한 작업은 계속 진행됩니다.
OCAP 권한 경계
위조할 수 없는 권한 참조를 명시적으로 전달해 각 단계에는 필요한 권한만 줍니다. 신원은 무관한 권한을 자동으로 범위 안에 끌어오지 않습니다.
ReplayTrie
결과에 영향을 주는 비결정적 COMM 선택만 기록해 검증자가 동일한 실행을 재현할 수 있게 합니다.
BlockGit + Block Merge
동시 작업은 검증된 프린지로 들어가며, 중복 결과는 최종성 전에 승인, 거부, 미결정으로 분류됩니다.
다음 계층
여러 실행 환경을 잇는 하나의 논리 런타임
Runtime Lab은 현재의 병렬 실행과 메시지 기반 실행을 보여 준 뒤, 목표로 하는 원자적 조합 모델을 설명합니다. GLVM은 이 논리 모델을 블록체인 노드, 클라우드 서비스, 개인 기기로 확장하는 더 넓은 아키텍처를 다룹니다.
왜 중요한가
더 빠른 블록이 아니라 지속 실행되는 서비스
병렬성은 독립 실행을, 동시성은 메시지 기반 상호작용과 대기·재개를 담당합니다. ALUX는 현재 이 런타임 기반을 구현했으며, 시스템 경계를 넘는 원자적 조합을 향해 개발 중입니다.
처리량은 늘지만 트랜잭션 의존성과 메시지 일치는 없습니다.
트랜잭션은 상호작용하고 기다릴 수 있지만 시스템 간 결과는 따로 정산될 수 있습니다.
원자적 경계는 있지만 상호작용과 대기가 없으면 장기 의존성을 담을 수 없습니다.