#real-time-systems

Mars Pathfinder: What Really Happened?

Năm 1997, sứ mệnh Mars Pathfinder gặp sự cố reset hệ thống do priority inversion: tác vụ thời tiết ưu tiên thấp giữ mutex cần thiết cho tác vụ phân phối dữ liệu ưu tiên cao, nhưng không thể hoàn thành do các tác vụ bảo trì bus ưu tiên trung gian liên tục chiếm ưu tiên. Các kỹ sư đã phát hiện lỗi này trong quá trình thử nghiệm nhưng đã bỏ qua. Hậu quả là hệ thống bị reset liên ảnh hưởng đến nhiệm vụ. Giải pháp là kích hoạt priority inheritance trong VxWorks cho mutex, cho phép tác vụ ưu tiên thấp tạm thời kế thừa mức ưu tiên cao hơn để mở khóa nhanh hơn.

Bài viết này giúp lập trình viên hiểu về hiện tượng priority inversion và cách khắc phục nó trong hệ thống thực tế với VxWorks.

Designing Ephemeral Video Chat Sessions with WebRTC and JavaScript

Bài viết mô tả cách xây dựng phiên trò chuyện video tạm thời trên trình duyệt bằng WebRTC, WebSockets và Node.js, với mục tiêu giảm thiểu dữ liệu lưu trữ sau khi cuộc gọi kết thúc. Nó giải thích việc tách luồng média ra khỏi kênh tín hiệu, yêu cầu quyền truy cập camera/mic chỉ khi người dùng thực hiện hành động, và sử dụng máy chủ để ghép phiên dựa trên thông báo qua WebSocket. Khi thiết lập kết nối peer‑to‑peer, bài viết chi tiết quá trình trao đổi SDP offer/answer và ứng viên ICE, lý do STUN thường không đủ và cần TURN làm phương án dự phòng để vượt qua NAT/firewall. Các phiên được mô hình như máy trạng thái rõ ràng, đảm bảo việc ngắt kết nối đúng cách bao gồm đóng RTCPeerConnection, dừng các MediaTrack và xóa trạng thái phiên ở phía server để tránh rò rỉ tài nguyên. Ngoài ra, bài viết đề xuất thêm các hook kiểm duyệt, giám sát trạng thái kết nối và deliberately test các đường dẫn lỗi (mất ICE, thất bại TURN) để nâng cao độ ổn định và bảo mật của hệ thống chat video tạm thời.

Bài viết này giúp bạn nắm vững cách xây dựng hệ thống video chat an toàn, hiệu quả bằng cách giải quyết các vấn đề kỹ thuật phức tạp trong giao tiếp WebRTC.

Small Talk With Emiliano Bonilla, CEO and Co-Founder of Synnax

What does it take to build rocket engine testing software? Synnax’s Emiliano Bonilla on launches gone wrong and building a programming language from scratch.

Build a real-time hotel booking voice agent

...explained with code.

Exploring Audio, Music, and Erlang

The Erlang, Elixir and Gleam conference in Europe - 2 days of talks,discussions and networking for the BEAM community.

Engineering Embedded Systems for Aerospace and Defense

Designing embedded systems for aerospace and defense requires a holistic approach to design, balancing ruggedness, cybersecurity, resilience, and real-time performance.