บทความที่มีแท็ก “ความน่าเชื่อถือสูง”
บทความ 3 รายการที่มีแท็ก “ความน่าเชื่อถือสูง” เรียงจากใหม่ไปเก่า
-
Generic programming ใน Ada — เขียนสัญญาด้วยชนิดข้อมูล เพื่อนำกลับมาใช้ใหม่แบบ zero-cost
อธิบาย generic programming ของ Ada อย่างเป็นระบบ ตั้งแต่ generic subprogram, generic package, formal subprogram, type category ไปจนถึงแนวทางออกแบบในงานจริง จ...
-
โปรแกรมมิงระบบเรียลไทม์ด้วย Ada — ลำดับความสำคัญ คาบ และการควบคุมเวลาประมวลผลในทางปฏิบัติ
เรียนรู้ Annex D (ระบบเรียลไทม์) ของ Ada ผ่านตัวอย่างโค้ดเชิงปฏิบัติ 8 ชุด จัดเรียงทีละขั้นตั้งแต่ลำดับความสำคัญของ task, Ceiling_Locking, การทำงานแบบคาบด้วย...
-
การทำงานแบบ concurrent ที่ปลอดภัยใน Ada ── คู่มือปฏิบัติเรื่อง task และ protected object
บทความแนะนำ concurrency ที่ฝังในภาษา Ada เอง ได้แก่ task และ protected object จัดระเบียบตั้งแต่ rendezvous (entry/accept), selective accept, mutual exclusion...