Benchmark hiệu năng Block-STM
Ngữ cảnh
Hình này xuất hiện trong phần Thiết kế Giao thức của whitepaper Aptos, cụ thể trong phần thảo luận về công cụ thực thi song song Block-STM. Nó theo sau mô tả kỹ thuật về cấu trúc dữ liệu đa phiên bản và thuật toán điều khiển đồng thời lạc quan của Block-STM, và được trình bày như xác nhận thực nghiệm cho các tuyên bố thiết kế đó. Benchmark được tiến hành như thí nghiệm chỉ thực thi, cô lập sử dụng các giao dịch Move ngang hàng không tầm thường với cơ sở dữ liệu trong bộ nhớ.
Nội dung hình này
Biểu đồ vẽ thông lượng giao dịch theo số lõi CPU vật lý dưới hai điều kiện tranh chấp: tranh chấp thấp (nhiều tài khoản, ít xung đột) và tranh chấp cao (ít tài khoản, xung đột thường xuyên). Dưới tranh chấp thấp, Block-STM đạt tăng tốc 16 lần so với thực thi tuần tự khi mở rộng lên 32 luồng, chứng minh khả năng mở rộng gần tuyến tính theo số lõi. Dưới tranh chấp cao, tăng tốc vẫn trên 8 lần ở 32 luồng, cho thấy công cụ suy giảm một cách khéo léo thay vì thảm họa khi giao dịch xung đột. Block-STM sử dụng cấu trúc dữ liệu đa phiên bản nơi tất cả ghi vào cùng vị trí bộ nhớ được lưu với ID giao dịch có phiên bản; người đọc nhận giá trị được ghi bởi giao dịch đứng trước có số cao nhất. Xác nhận sau thực thi không thành công kích hoạt tái thực thi các giao dịch bị ảnh hưởng, và công cụ sử dụng ghi delta để giảm thêm bề mặt xung đột trên bộ đếm và bộ tích lũy dùng chung.
Tầm quan trọng
Benchmark này là bằng chứng thực nghiệm chính cho tuyên bố của Aptos về thực thi hợp đồng thông minh thông lượng cao, phân biệt nó về mặt kiến trúc với các chuỗi EVM đơn luồng và từ các môi trường song song yêu cầu chú thích của lập trình viên. Nó chứng minh rằng phương pháp thích ứng, không cần gợi ý của Block-STM có thể nắm bắt tính đồng thời có ý nghĩa ngay cả dưới điều kiện tranh chấp bất lợi, vốn là môi trường vận hành thực tế cho chuỗi khối công cộng phổ biến.