Hệ điều hành trong Ada

Question

Tôi tự hỏi nếu có ai biết bất kỳ thiết kế đơn giản nào, nhưng một hệ điều hành rất đơn giản được viết bằng Ada Hoặc nếu có thể, hãy đưa ra một ví dụ, cảm ơn bạn.

Answer 1

Ngoài ra còn có TAMP: https://github.com/Lucretia/tamp

Nhưng nó không phải là trong một tình trạng mà bạn có thể gọi nó là hệ điều hành.

Answer 2

Mặc dù đã có một số khởi đầu đầy hy vọng, nhưng hệ điều hành duy nhất được viết bằng Ada tôi nhận thấy rằng đã đạt được một số tính hoàn chỉnh là MaRTE OS, được thiết kế như một "Hệ điều hành thời gian thực cứng các ứng dụng".

Answer 3

Vâng, tôi thực sự biết một số tùy chỉnh được thực hiện cho các hệ thống nhúng nhỏ, nhưng không có sẵn để xem công khai. Đáng buồn thay, rất nhiều công việc Ada tốt đã được giấu kín khỏi công chúng do sự thích hợp quân sự/điện tử đã được thực hiện.

RTEMS đã có sẵn ở cả hai dạng nguồn Ada và C since the mid-1990s.

Answer 4

Hệ điều hành an toàn quân đội (ASOS) được viết gần như hoàn toàn ở Ada. Nó được thiết kế để đáp ứng các yêu cầu bảo vệ của Orange Book A1, hỗ trợ các ứng dụng Ada trực tiếp hơn và chạy trên một mặt hàng Sun3. Tổng số phần mềm là 55.000 dòng mã. Nó thậm chí có kiểm tra/khôi phục và sau đó là một RDBMS an toàn.

http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF