Artikel dengan tag “Keandalan tinggi”
3 artikel dengan tag “Keandalan tinggi”, dari yang terbaru ke yang terlama.
-
Pemrograman generik di Ada ── menulis kontrak dengan tipe, dan mewujudkan reuse tanpa biaya runtime
Penjelasan sistematis pemrograman generik di Ada: subprogram generik, paket generik, subprogram formal, kategori tipe, hingga pedoman desain praktis. Menyusu...
-
Pemrograman sistem real-time dengan Ada — praktik pengendalian prioritas, periode, dan waktu eksekusi
Artikel ini membahas Annex D (sistem real-time) pada Ada melalui delapan contoh kode praktis. Prioritas task, Ceiling_Locking, eksekusi periodik dengan delay...
-
Pemrosesan konkuren yang aman di Ada ── panduan praktis task dan protected object
Artikel pengantar tentang pemrosesan konkuren yang tertanam di bahasa Ada: task dan protected object. Rendezvous (entry/accept), accept selektif, mutual excl...