Tìm kiếm

4 kết quả cho “Deterministic simulation”. Tìm không phân biệt dấu.

• Protocol-Aware Deterministic Simulation Testing
  Bài tóm tắt · TigerBeetle · 2026

  TigerBeetle dùng Viewstamped Replication (VSR): liveness là còn phản hồi khi đa số replica sống; safety là các replica thống nhất thứ tự (dẫn tới strict serializability).

• Getting from tested to battle-tested
  Bài tóm tắt · Jane Street · 2025

  Aria là message bus nội bộ độ trễ thấp, có thứ tự chặt và bảo đảm tin cậy, làm nền cho các team khác dựng hệ chịu lỗi (xem index của Aria ở ). Càng nhiều team dùng, mỗi tuần không sự cố càng thành nghĩa vụ, trong khi hệ…

• Rediscovering Transaction Processing From History and First Principles
  Bài tóm tắt · TigerBeetle · 2024

  …NASA (cấp phát bộ nhớ tĩnh, hơn 6000 assertion), chạy trong deterministic simulator với model checking trên chính code. - Từ 2020 đến production mất 4 năm; khách đầu tiên là một nh…

• Deno KV internals: building a database for the modern web
  Bài tóm tắt · Deno · 2023

  …DB (dùng cho iCloud và Snowflake), vì nó đã kiểm chứng bằng deterministic simulation và cung cấp KV có giao dịch. FoundationDB lo phần khó: sharding, replication đồng bộ trong cụm,…