Tìm kiếm
14 kết quả cho “simulator”. Tìm không phân biệt dấu.
- Designing a SystemVerilog Language Server Bài tóm tắt · Hudson River Trading · 2026
…mVerilog. - Công cụ phần cứng phần lớn đắt và đóng: license simulator ít nên CI gần như bất khả; không có linter, formatter, language server miễn phí phổ biến; mỗi công cụ thương m…
- How We Verify Custom Hardware Bài tóm tắt · Hudson River Trading · 2021
…n khái niệm driver/monitor của UVM). - Chọn co-simulation : simulator chỉ mô phỏng Verilog, test viết bằng ngôn ngữ khác qua FFI của Verilog (VPI/DPI). - cocotb (Python, độc lập si…
- Cook: A Fair Preemptive Resource Scheduler for Compute Clusters Bài tóm tắt · Two Sigma · 2016
…(CPU, bộ nhớ). - Kiểm chứng trước khi lên production: viết simulator, chạy lại trace production 7 ngày, so có và không có preemption. Vì sao - Kết quả mô phỏng: 30% job nhanh lên…
- CI và build ở quy mô lớn Chủ đề Thành viên
Lúc nhỏ, CI là "mỗi commit chạy hết build và test". Khi codebase và số commit tăng, chạy hết trở thành bất khả (Stripe 2026: chạy tuần tự mất bốn tháng), và thời gian chờ của một thay đổi không còn chỉ là thời gian…
- Hệ thống độ trễ thấp (low latency) Chủ đề Thành viên
Ở sàn giao dịch và công ty market making, mỗi giao dịch làm thay đổi thị trường cho giao dịch sau, và ai phản ứng chậm hơn thì thua. Yêu cầu không chỉ là latency trung bình thấp mà latency ổn định ở đuôi, ở thang micro…
- Kiểm thử độ tin cậy (chaos, fault injection, mô phỏng tất định) Chủ đề Thành viên
Lỗi trong hệ phân tán là chắc chắn (máy chết, zone mất, dependency chậm, cấu hình sai), nhưng phần lớn lỗi nằm ở những tổ hợp hiếm mà test chức năng không chạm tới. Bài toán là chủ động gây lỗi để biết hệ thống phản ứng…
- Chọn database theo workload Chủ đề Thành viên
Không có database tốt nhất, chỉ có database hợp với mẫu đọc/ghi ở một quy mô cụ thể. Mẫu đó thay đổi khi sản phẩm lớn lên. Ngoài ra, chuyên môn vận hành của đội cũng là một phần của "workload".
- Protocol-Aware Deterministic Simulation Testing Bài tóm tắt · TigerBeetle · 2026
…te . Nhờ đó chạy được code đồng thuận và storage thật trong simulator VOPR: mạng, đĩa, thời gian đều giả lập; cả cụm chạy trong một process, thời gian tăng tốc nhiều bậc; sinh ngẫu…
- After four years of SMR storage, here's what we love and what comes next Bài tóm tắt · Dropbox · 2023
…ở quy mô 5.000+ ổ (lớn hơn quy mô tự test của họ). Thêm một simulator Magic Pocket nội bộ để có tín hiệu sớm. - Tương lai: - HAMR, hướng tới ổ 50 TB+; - trọng tâm chuyển sang chống…
- How we improved our iOS CI infrastructure with observability tools Bài tóm tắt · Grab · 2023
…ITest; thời gian CI giảm 20%, test ổn định hơn. - Khởi động simulator với quyền cấp sẵn thay vì xử lý hộp thoại xin quyền trong test: nhanh hơn 5%. - Theo dõi HTTP trong UITest: cô…
- Hudson River Trading Công ty Thành viên
Công ty giao dịch thuật toán (HRT), phần lớn hạ tầng on-premises, nhiều site trên thế giới. Năm 2021 họ scale Prometheus bằng shard chỉ ingest cộng query node đọc remote, vì federation mất khả năng tổng hợp ad-hoc trên…
- Helix: The internal tool powering our Shopify app's native migration Bài tóm tắt · Shopify · 2026
…rạng thái và hành động như app; test hành vi chạy không cần simulator nên lặp hàng chục lần rất nhanh. 2. UI: orchestrator (GPT) chụp màn hình bản mới và bản tham chiếu ở cùng trạn…
- TigerBeetle Công ty Thành viên
TigerBeetle là database chỉ cho OLTP kiểu debit/credit. Bài 2026 (bản viết của một talk) lập luận rằng scale là khả năng sống sót, rằng sharding thua scale dọc khi có tranh chấp, và đề xuất "diagonal scaling":…
- Rediscovering Transaction Processing From History and First Principles Bài tóm tắt · TigerBeetle · 2024
…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à cung cấp năn…