Tìm hiểu / Runtime Lab
Runtime Lab
Song song / Đồng thời / Có thể kết hợp
ALUX hỗ trợ giao dịch dài có thể phát lại: các tác vụ độc lập chạy cùng nhau và các giao dịch phối hợp qua thông điệp. Tình huống đặt phòng minh họa mô hình mục tiêu để quyết toán các hiệu ứng liên quan giữa nhiều hệ thống thành một kết quả nguyên tử.
Minh họa kỹ thuật cao cấp về runtime ALUX kết nối node, dịch vụ cloud, thiết bị, agent, token capability và các luồng commit.
Khác biệt đơn giản
Ba từ, ba nhiệm vụ runtime rất khác nhau
Xử lý song song cho phép các giao dịch độc lập chạy cùng lúc. Tính đồng thời cho phép giao dịch tương tác qua channel: một giao dịch có thể chờ thông điệp khớp từ giao dịch khác rồi tiếp tục. Khả năng kết hợp gắn các chuyển trạng thái từ nhiều hệ thống vào một chuyển trạng thái nguyên tử có thể kiểm toán.
Trong runtime ALUX hiện tại, công việc độc lập có thể chạy song song, giao dịch phối hợp qua thông điệp và việc thực thi có thể tiếp tục qua nhiều block. Kết hợp nguyên tử giữa các hệ thống độc lập vẫn là mục tiêu kiến trúc.
Nhiều luồng thực thi cô lập cùng tiến về phía trước.
Hoàn tất được nhiều công việc độc lập hơn trong cùng khoảng thời gian. Tuy nhiên, chỉ xử lý song song thì không thể giúp các công việc trao đổi thông điệp hoặc để giao dịch dài chờ rồi tiếp tục.
Xử lý song song tìm được nhiều kết quả cùng lúc. Nhưng nó không khiến các công việc đó tương tác với nhau.
Song song
Tìm chuyến bay, khách sạn, xe đưa đón và bảo hiểm
cùng lúc
- Ý nghĩa
- Thực thi song song nghĩa là các công việc độc lập chạy cùng lúc. Agent du lịch có thể tìm chuyến bay, phòng, xe đưa đón và bảo hiểm mà không cần đợi một lượt tìm kiếm hoàn tất rồi mới bắt đầu lượt khác.
- ALUX thực hiện ra sao
- Thực thi song song vốn có trong phép tính tiến trình của ALUX: các giao dịch không dùng chung bộ nhớ, mọi tương tác chỉ diễn ra qua channel tuple-space. Vì vậy, các giao dịch độc lập tiến triển trên những luồng TVM riêng, còn Block Merge xử lý phần trạng thái giao nhau tại thời điểm commit.
- Khả năng được mở ra
- Hoàn tất được nhiều công việc độc lập hơn trong cùng khoảng thời gian. Tuy nhiên, chỉ xử lý song song thì không thể giúp các công việc trao đổi thông điệp hoặc để giao dịch dài chờ rồi tiếp tục.
Xử lý song song tìm được nhiều kết quả cùng lúc. Nhưng nó không khiến các công việc đó tương tác với nhau.
Thử toàn bộ runtime
Mô phỏng một lượt đặt phòng nguyên tử
Dùng bốn thao tác để khám phá mô hình kết hợp mục tiêu: bắt đầu kiểm tra đặt chỗ và thanh toán, chờ phòng trống, gửi thông điệp khớp từ khách sạn rồi mô phỏng xác nhận chung.
Các bước kiểm tra đặt chỗ và thanh toán tiến triển độc lập.
Việc đặt chỗ để lại điều kiện phòng còn trống trong channel.
Thông điệp khớp kích hoạt phần tiếp diễn đặt phòng.
Việc giữ phòng và ủy quyền thanh toán được commit thành một kết quả.
Phát theo thứ tự
Bắt đầu từ bước 1. Việc đặt chỗ và thanh toán được quản lý riêng trong cùng runtime.
Công việc độc lập không phải chờ phía sau một hàng đợi toàn cục.
Phụ thuộc được lưu trong channel thay vì chặn runtime.
COMM tạo phần tiếp diễn; ReplayTrie chỉ ghi lại lựa chọn khi việc khớp không xác định.
Mục tiêu là một kết quả tất cả-hoặc-không-gì-cả cùng bằng chứng quyết toán có thể tái tạo.
Luồng runtime
Điều gì giúp dịch vụ duy trì hoạt động
Dịch vụ chạy dài duy trì tính nhất quán vì mọi bước đều có thể chạy, tương tác, mang quyền hạn tường minh, được phát lại một cách xác định và quyết toán theo cùng một luồng nguyên tử có thể xác minh.
Vòng đời tiến trình TVM
Một tiến trình có thể tạo nhánh, chờ trong một block rồi tiếp tục ở block sau mà không khởi động lại ngữ cảnh thực thi cục bộ.
Tuple space + COMM
Một lệnh consume đang chờ khớp với lệnh produce của giao dịch khác. Sự khớp này kích hoạt phần tiếp diễn trong khi công việc không liên quan vẫn tiếp tục.
Ranh giới OCAP
Tham chiếu capability không thể giả mạo được truyền tường minh, vì vậy mỗi bước chỉ nhận quyền hạn cần thiết; danh tính không tự động đưa quyền hạn không liên quan vào phạm vi.
ReplayTrie
Chỉ những lựa chọn COMM không xác định có ảnh hưởng mới được ghi lại, nhờ vậy validator có thể tái tạo cùng một quá trình thực thi.
BlockGit + Block Merge
Công việc đồng thời đi vào các fringe đã xác minh; trước khi xác lập tính chung cuộc, phần giao nhau được phân loại là được chấp nhận, bị từ chối hoặc chưa phân định.
Lớp tiếp theo
Một runtime logic trên nhiều môi trường
Runtime Lab trình bày việc thực thi song song và dựa trên thông điệp hiện có, sau đó minh họa mô hình mục tiêu cho kết hợp nguyên tử. GLVM mô tả kiến trúc rộng hơn để mở rộng mô hình logic đó qua node blockchain, dịch vụ cloud và thiết bị cá nhân.
Vì sao điều đó quan trọng
Không phải block nhanh hơn. Mà là dịch vụ chạy dài.
Xử lý song song đảm nhiệm việc thực thi độc lập. Tính đồng thời xử lý tương tác dựa trên thông điệp và cơ chế chờ/tiếp tục. Hiện nay, ALUX triển khai các nền tảng runtime đó và đang hướng tới kết hợp nguyên tử xuyên ranh giới hệ thống.
Tăng thông lượng nhưng không có phụ thuộc giao dịch hay khớp thông điệp.
Các giao dịch có thể tương tác và chờ nhau, nhưng hiệu ứng xuyên hệ thống vẫn có thể được quyết toán riêng rẽ.
Có ranh giới nguyên tử, nhưng nếu không thể tương tác và chờ thì không thể duy trì các phụ thuộc chạy dài.