Bài viết có thẻ “Ada”
3 bài viết có thẻ “Ada”, từ mới đến cũ.
-
Lập trình generic trong Ada — Viết hợp đồng bằng kiểu, tái sử dụng với chi phí zero
Bài viết hệ thống hóa lập trình generic trong Ada, từ generic subprogram, generic package, formal subprogram, type category đến hướng dẫn thiết kế thực tiễn....
-
Lập trình hệ thống real-time bằng Ada — thực hành ưu tiên, chu kỳ và kiểm soát thời gian thực thi
Học Annex D (Real-Time Systems) của Ada qua 8 ví dụ mã thực hành. Bài viết sắp xếp từng bước từ ưu tiên task, Ceiling_Locking, thực thi theo chu kỳ bằng dela...
-
Xử lý đồng thời an toàn trong Ada — Hướng dẫn thực hành task và protected object
Bài nhập môn về xử lý đồng thời gắn sẵn trong ngôn ngữ Ada: task và protected object. Hệ thống hóa rendezvous (entry/accept), selective accept, mutual exclus...