Hoàn hảo - 'Flawless', động cơ thực thi bền bỉ cho Rust

• 'Flawless' là một động cơ thực thi cho tính toán bền bỉ, chạy mã cho đến khi hoàn tất ngay cả khi xảy ra lỗi phần cứng hoặc phần mềm.
• Động cơ này hướng tới việc cải thiện trải nghiệm người dùng bằng cách cho phép các UI phức tạp duy trì trạng thái phức tạp, qua đó giải quyết thách thức mô hình hóa toàn bộ trạng thái trong cơ sở dữ liệu.
• Flawless cho phép mô hình hóa trạng thái bền vững chỉ bằng mã và biến cục bộ, từ đó đơn giản hóa việc biểu diễn các hành vi phức tạp trong ứng dụng.
• Quy trình làm việc của Flawless được viết bằng Rust, biên dịch sang WebAssembly và chạy trong một môi trường hoàn toàn tất định.
• Tính không tất định duy nhất được đưa vào khi tương tác với "thế giới thực", chẳng hạn như thực hiện yêu cầu HTTP hoặc tạo số ngẫu nhiên.
• Flawless duy trì điều này bằng cách dùng nhật ký của các tác dụng phụ không tất định, để quy trình làm việc bị gián đoạn có thể chạy lại và đạt đến cùng một trạng thái mà không cần thực hiện lại các tác dụng phụ.
• Cách tiếp cận này giảm thiểu lượng dữ liệu cần thiết khi xảy ra lỗi, còn phần còn lại sẽ được tính toán lại khi cần.
• Môi trường thực thi tất định của Flawless giúp hệ thống có thể quan sát được và loại bỏ các lỗi không thể tái hiện.
• Flawless giảm gánh nặng duy trì trạng thái, cho phép các nhà phát triển tập trung viết logic nghiệp vụ với sự tin tưởng rằng mọi hành động sẽ được chạy cho đến khi hoàn tất.
• Động cơ Flawless có thể được khởi động lại để bảo trì mà không làm gián đoạn việc thực thi quy trình làm việc.
• Flawless hiện đang ở giai đoạn alpha riêng tư và đang mời các nhà phát triển tham gia danh sách chờ để được truy cập sớm.