Liên hệ

Tìm hiểu / GLVM

GLVM

Máy ảo logic toàn cục

Một lớp thực thi logic được phối hợp trên nhiều máy.

GLVM là lớp trừu tượng thực thi hướng tới nhà phát triển mà ALUX đang xây dựng dựa trên runtime đồng thời. Mỗi TVM cung cấp engine cụ thể trên một máy tham gia; mô hình GLVM đưa trạng thái thực thi, tiến trình, phát lại, sao chép và đồng thuận vào cùng một lớp logic.

Mô hình vật lýMỗi máy có một TVM
Mô hình logicMột GLVM bao trùm các TVM
Định hướngTừ blockchain đến cloud rồi đến thiết bị

Định nghĩa cốt lõi

Mỗi máy chạy một TVM, được phối hợp qua một mô hình thực thi logic

TVM là engine thực thi bytecode trên một máy. GLVM xác định lớp trừu tượng thực thi cấp hệ thống trên các TVM tham gia. Đây không phải một VM bytecode khác; nhà phát triển nhắm đến một mô hình logic duy nhất, còn phát lại có tính xác định, tính liên tục thực thi, sao chép, hoàn tất và đồng thuận được phối hợp bên dưới lớp trừu tượng.

TVM

Máy ảo không gian bộ (Tuple-space Virtual Machine)

Engine thực thi ALUX cụ thể. Engine chạy bytecode Tolang, phối hợp các tiến trình độc lập qua channel và sự kiện COMM, đồng thời ghi lại những lựa chọn không xác định cần thiết cho việc phát lại có tính xác định.

Một engine cụ thể bên trong một máy
GLVM

Máy ảo logic toàn cục

GLVM xác định mô hình logic hướng tới nhà phát triển trên các TVM tham gia. Mô hình này cung cấp một ranh giới chung cho trạng thái thực thi và tiến trình, trong khi việc phát lại, sao chép, hoàn tất và đồng thuận vẫn được xử lý bên dưới lớp trừu tượng.

Một hệ thống logic bao trùm nhiều máy
Lớp trừu tượng VMĐang mở rộng
Tính nguyên tử theo chiều dọcRuntime cốt lõi
Tính nguyên tử theo chiều ngangLộ trình
Bảo mật có thể kết hợpRuntime cốt lõi

Kiến trúc ba lớp

Ba lớp, một mô hình thực thi hướng tới nhà phát triển

Các máy vật lý chạy TVM; trong kiến trúc GLVM, những engine này cùng tham gia một mô hình thực thi logic dùng chung. World OS trong tương lai sẽ tổ chức lớp đó thành các dịch vụ có thể khám phá và điều phối, được quản lý bằng capability tường minh.

Chọn một lớp bất kỳ để cập nhật bảng chi tiết.

Thực thi và tính nguyên tử

Giao dịch có thể chờ qua nhiều block rồi được quyết toán như một thể thống nhất

Việc thực thi phát triển từ xử lý tuần tự và song song sang các tiến trình đồng thời có thể giao tiếp, chờ và tiếp tục. Thực thi tổng hợp mở rộng mô hình để nhiều giao dịch đồng thời cùng chia sẻ một ranh giới quyết toán cấp cao hơn; tính liên tục xuyên block là nền tảng theo chiều dọc cho hướng phát triển đó.

Runtime cốt lõi

Đồng thời

Các tiến trình giao tiếp, chờ và tiếp tục thông qua các channel.

Tính nguyên tử theo chiều dọc · runtime cốt lõiThực thi xuyên block giữ nguyên một ngữ cảnh giao dịch.
  1. 01 · Bắt đầu Chỉ bắt đầu một lần

    Khởi chạy một giao dịch với một tập capability có phạm vi xác định.

  2. 02 · Tạm dừng Chờ mà không quyết toán từng phần

    Nếu chưa có câu trả lời hoặc chưa khớp channel, hãy giữ lại phần tiếp diễn thay vì hoàn tất quá sớm.

  3. 03 · Ghi lại Ghi nhận lựa chọn

    ReplayTrie ghi lại lựa chọn không xác định hoặc phản hồi đã xác thực cần thiết để tái tạo luồng thực thi.

  4. 04 · Tiếp tục Tiếp tục cùng một giao dịch

    Sự kiện COMM khớp hoặc phản hồi đã ghi sẽ đánh thức phần tiếp diễn được giữ lại trong một block sau.

  5. 05 · Hoàn tất Commit hoặc loại bỏ

    Tại ranh giới hoàn tất, trạng thái đủ điều kiện được commit; trạng thái tạm thời bị từ chối sẽ bị loại bỏ.

Luồng thực thi cốt lõi

Thực thi TVM đồng thời · chờ và tiếp tục qua COMM · ReplayTrie · tiếp nối và hoàn tất xuyên block

Mô hình tính nguyên tử

Trạng thái trung gian tạm thời chưa trở thành trạng thái đã xác nhận cho đến khi hoàn tất; nếu một luồng thất bại, luồng đó bị loại bỏ thay vì được sửa sau bằng các giao dịch bù trừ.

Đọc dữ liệu ngoài chuỗi được hỗ trợ sẵn

Một yêu cầu HTTPS GET đã xác thực có thể tạm dừng, ghi lại phản hồi, phát lại rồi tiếp tục. Nguồn dữ liệu vẫn quyết định sự thật; các tác động ngoài chuỗi không thể đảo ngược vẫn nằm ngoài phạm vi rollback.

Tính nguyên tử theo chiều ngang

Thực thi nguyên tử xuyên shard và kết hợp với các hệ thống bên ngoài độc lập là hướng mở rộng tiếp theo của mô hình.

Bảo mật bằng object capability

Cấp cho tác vụ một khóa, không phải thẻ danh tính của người dùng

Trong ví dụ CEO và Bob, quyền truy cập dựa trên danh tính có thể đưa quyền hạn mặc định mà thẻ CEO biểu thị vào tác vụ. Với object capability, tác vụ chỉ nhận một khóa xác định hồ sơ của Bob. TVM thực thi ranh giới có thể truy cập trong runtime. Nếu không có tham chiếu capability tới một đối tượng đã tồn tại khác, tác vụ không thể gọi tên hoặc truy cập đối tượng đó.

Quyền hạn gắn với danh tính rộng

Thẻ mang quyền truy cập không liên quan vào tác vụ

Ngay cả khi tác vụ chỉ liên quan đến Bob, quyền hạn danh tính được biểu thị bằng thẻ của CEO vẫn có thể bao gồm hồ sơ tài chính cùng hồ sơ của Alice, Carol và Bob.

Object capability tường minh

Tác vụ chỉ nhận một khóa xác định hồ sơ của Bob

Khóa này biểu thị một tên không thể giả mạo để xác định hồ sơ của Bob. Nếu không có tham chiếu capability tới một đối tượng đã tồn tại khác, tác vụ không thể gọi tên hoặc truy cập đối tượng đó. TVM kiểm tra ranh giới này trong runtime.

Thuật ngữ

Ở đây, “khóa” trong hình biểu thị một tên OCAP không thể giả mạo — tức tham chiếu capability. Đây không phải khóa mật mã. Bảo đảm này áp dụng cho tương tác gốc TVM được trung gian qua capability; quyền của EVM chạy trên host và dịch vụ bên ngoài cần có biện pháp kiểm soát riêng.

Khám phá quy trình

Chọn bề mặt thực thi theo độ tin cậy, thời gian phản hồi và vị trí dữ liệu

Hãy hình dung một ca sửa chữa thiết bị giữa nhiều công ty: khoản ký quỹ cần được xác minh độc lập, việc chẩn đoán cần tài nguyên tính toán co giãn, còn chủ sở hữu thiết bị cần phê duyệt truy cập cục bộ. Trong mô hình GLVM, mỗi tác vụ được đưa tới bề mặt thực thi phù hợp với yêu cầu về độ tin cậy, độ trễ và ranh giới dữ liệu, trong khi quyền hạn luôn được nêu rõ.

Chọn yêu cầu
Runtime cốt lõi

TVM trên blockchain công khai + máy chủ EVM

Giữ khoản ký quỹ bảo hành trong escrow và ghi lại luồng phê duyệt để các validator độc lập có thể xác minh chuyển trạng thái.

Theo dõi luồng mục tiêu0 / 6

Sẵn sàng. Bắt đầu mô phỏng để xem luồng logic mục tiêu.

01

Capability có phạm vi

Agent sửa chữa chỉ nhận các quyền cần thiết cho công việc này.

02

Lập kế hoạch điều phối

Quy trình ánh xạ các tác vụ phụ có giới hạn tới TVM trên blockchain, TVM riêng tư hoặc cloud, và TVM trên thiết bị người dùng.

03

Chờ / tạm dừng

Trong runtime blockchain, nếu chưa có phản hồi, phần tiếp diễn được giữ lại thay vì hoàn tất giao dịch quá sớm.

04

Khớp COMM

Kết quả được tạo sẽ gặp phần tiếp diễn đang chờ trên một channel; quy trình tiếp tục.

05

Bằng chứng phát lại

ReplayTrie ghi lại các lựa chọn cần thiết để validator khác tái tạo lần chạy.

06

Ranh giới hoàn tất

BlockGit và Block Merge giúp các kết quả có thể xác minh phía blockchain hội tụ. Mở rộng một lần commit nguyên tử trên mọi bề mặt thực thi là mục tiêu dài hạn của GLVM.

Cấu trúc runtime

Chín lĩnh vực capability phía sau lớp trừu tượng GLVM

GLVM không phải VM bytecode thứ hai. Chín góc nhìn kiến trúc này — từ thực thi TVM, object capability và phát lại đến BlockGit, VM khách và công cụ phát triển — cho thấy hệ thống capability đứng sau mô hình thực thi logic.

  1. 01
    VM bytecodeRuntime cốt lõi

    TVM · tuple space · COMM

    Engine đồng thời cụ thể chạy bytecode và cho phép các tiến trình độc lập trao đổi dữ liệu cũng như phần tiếp diễn qua channel.

  2. 02
    Bảo mậtRuntime cốt lõi

    Object capability gốc

    Tham chiếu không thể giả mạo làm rõ quyền hạn nào có thể tiếp cận và cho phép runtime thực thi ranh giới quyền tối thiểu.

  3. 03
    Tính nguyên tửRuntime cốt lõi

    Thực thi nguyên tử xuyên block

    Ngữ cảnh thực thi có thể tạm dừng qua nhiều block, tiếp tục từ phần tiếp diễn được giữ lại và đi tới ranh giới hoàn tất trì hoãn.

  4. 04
    Tính chung cuộcRuntime cốt lõi

    BlockGit · fringe · hợp nhất

    DAG block, luân phiên leader xác định và quy tắc hợp nhất giúp công việc đồng thời phía blockchain hội tụ mà không cần leader cố định.

  5. 05
    Phát lạiRuntime cốt lõi

    ReplayTrie · dấu vết

    Các lựa chọn không xác định và dấu vết thực thi đã ghi cho phép validator tái tạo luồng được chấp nhận.

  6. 06
    MạngRuntime cốt lõi

    Mạng ngang hàng và validator

    Lớp node truyền tải đề xuất, block, bằng chứng trạng thái và việc phối hợp validator bên dưới lớp trừu tượng thực thi.

  7. 07
    Ngôn ngữRuntime cốt lõi

    Tolang → tolangc → .tox

    Tolang mô tả các tiến trình đồng thời; trình biên dịch chuyển mã nguồn thành bytecode có thể chạy trên TVM.

  8. 08
    VM kháchEVM cốt lõi · WASM trong lộ trình

    EVM host · WASM trong lộ trình

    EVM chạy như một guest có trạng thái thông qua cơ chế phối hợp kiểu TSAC. WASM mở rộng định hướng VM không đồng nhất.

  9. 09
    Công cụBề mặt dành cho nhà phát triển

    Trình biên dịch · LSP · Môi trường thử nghiệm

    Trình biên dịch, LSP, môi trường thử nghiệm, bộ kiểm thử và công cụ chẩn đoán đưa mô hình thực thi vào quy trình làm việc của nhà phát triển.

Lộ trình phát triển

Runtime cốt lõi đang dần hoàn thiện khi GLVM mở rộng sang nhiều môi trường

GLVM mở rộng từ runtime blockchain đồng thời của ALUX ra các môi trường khác. Cloud riêng tư là bề mặt tích hợp tiếp theo; thực thi trên thiết bị người dùng và xuyên shard vẫn nằm trong lộ trình. Sơ đồ dưới đây tách riêng runtime cốt lõi, các bề mặt đang được mở rộng và hướng kiến trúc tiếp theo.

Runtime cốt lõi

  • TVM đồng thời và COMM
  • ReplayTrie và dấu vết thực thi
  • Luồng tạm dừng / tiếp tục xuyên block
  • Nền tảng OCAP gốc
  • Khả năng tương thích EVM host
  • DAG BlockGit, fringe và hợp nhất

Mở rộng hệ thống

  • Triển khai engine riêng tư hoặc trên cloud
  • Lớp trừu tượng GLVM trên nhiều bề mặt triển khai
  • Gia cố để vận hành ở quy mô sản xuất
  • Kiểm soát chính sách và channel có bảo vệ phong phú hơn
  • Khả năng quan sát runtime và công cụ vận hành

Lộ trình

  • Tính nguyên tử theo chiều ngang xuyên shard
  • VM khách WASM
  • Triển khai TVM trên thiết bị người dùng
  • Trừu tượng hóa tài khoản và registry capability
  • Đồng bộ lại peer sau sự cố và thay đổi động tập validator
  • Lớp World OS có thể lập trình

Tìm hiểu tiếp

Khám phá runtime, khối lượng công việc của agent và các hệ thống

Runtime Lab giải thích mô hình thực thi. Mục Dành cho AI Agent trình bày kiểu khối lượng công việc. Mục ALUX và các nền tảng khác so sánh kiến trúc và khả năng giữa các hệ thống.