了解 / Runtime Lab
Runtime Lab
平行、併發、組合
ALUX 支援可重播的長交易：獨立任務可以同時推進，交易則透過訊息協作。預訂場景示範的是目標模型——讓相關的跨系統狀態變化作為一個原子結果結算。
ALUX 執行階段連接節點、雲端服務、個人設備、AI Agent、能力令牌和提交軌道的高級技術插畫。
先分清三件事
三個詞看似相近，卻代表三種截然不同的執行階段工作
平行讓互不依賴的交易同時執行。併發讓交易透過通道互動：一筆交易可以等待另一筆交易發來匹配訊息，再繼續執行。組合把不同執行系統中的狀態轉移放進同一個結算邊界，使它們作為一次可審計的原子狀態轉移完成結算。
在目前 ALUX 執行階段中，獨立任務可以平行推進，交易透過訊息協作，執行也能跨區塊恢復。獨立系統之間的原子組合仍屬於架構目標。
多條相互隔離的執行軌道同時向前推進。
同樣時間裡能完成更多獨立工作，但單靠平行，既不能讓這些工作交換訊息，也不能讓一筆長交易等待後繼續。
平行可以同時得到多項結果，但不會讓這些任務彼此互動。
平行
航班、酒店、接送和保險
同時查詢
- 它是什麼意思
- 平行指多項互不依賴的工作同時執行。旅行AI Agent可以同時查詢航班、房間、接送和保險，不必讓一項查詢排在另一項後面。
- ALUX 如何做到
- 平行執行是 ALUX 程序演算的原生能力：交易不共享記憶體，任何互動都只能透過元組空間通道發生。互不依賴的交易因此可以在不同 TVM 執行軌道上推進，提交時若出現狀態重疊，再由 Block Merge 裁決。
- 它能做什麼
- 同樣時間裡能完成更多獨立工作，但單靠平行，既不能讓這些工作交換訊息，也不能讓一筆長交易等待後繼續。
平行可以同時得到多項結果，但不會讓這些任務彼此互動。
體驗完整執行階段
模擬一次原子預訂
按四個步驟探索目標組合模型：啟動預訂與付款檢查，留下房態等待條件，傳入酒店的匹配訊息，最後模擬兩邊共同確認。
預訂和支付檢查各自推進。
預訂在通道中留下房態條件。
匹配訊息喚醒預訂的後續執行。
房間鎖定與付款授權作為一個結果提交。
按順序操作
從第 1 步開始：預訂和支付由同一個執行階段管理，但狀態彼此獨立。
獨立工作不必排在同一條全域佇列裡。
依賴關係留在通道中，不會阻塞整個執行階段。
COMM 產生後續執行；只有匹配存在非確定性時，ReplayTrie 才記錄這次選擇。
目標是得到全有或全無的結果，並保留可復現的結算證據。
執行路徑
是什麼讓服務持續執行
長時間執行的服務之所以保持一致，是因為每一步都能執行、互動、攜帶顯式權限、進行確定性重播，並沿一條可驗證的原子路徑完成結算。
TVM 處理程序生命週期
處理程序可以分叉，在一個區塊中等待，並在後續區塊恢復，而不必重新啟動本地執行上下文。
元組空間 + COMM
等待中的取用（Consume）與另一筆交易的寫入（Produce）相匹配；匹配會喚醒後續執行，而無關工作繼續推進。
OCAP 權限邊界
不可偽造的能力引用被顯式傳遞，讓每一步只獲得所需權限；身份不會自動把無關權限帶入目前環境。
ReplayTrie
只記錄真正影響結果的非確定性 COMM 選擇，使驗證者能夠復現同一段執行。
BlockGit + Block Merge
併發工作進入經過驗證的 Fringe；相互重疊的結果會在最終確認前被判定為接受、拒絕或待定。
下一層
同一個邏輯執行階段，連接不同執行環境
Runtime Lab 展示目前的平行執行與訊息驅動併發，並說明目標中的原子組合模型。GLVM 則描述更廣泛的架構：如何將這套邏輯模型擴充到區塊鏈節點、雲端服務和個人設備。
為什麼重要
不是更快的區塊，而是持續執行的服務
平行負責推進彼此獨立的任務，併發負責訊息驅動的互動以及等待與恢復。ALUX 目前已實作這些執行階段基礎，並正在面向跨系統原子組合繼續建設。
吞吐更高，但沒有交易依賴與訊息匹配。
交易可以互動和等待，但跨系統結果仍可能分別結算。
存在原子邊界，但沒有互動與等待，就承載不了持續執行的依賴關係。