מאמרים עם התגית “Ada”

Generic programming ב-Ada — חוזה בטיפוסים ו-reuse ב-zero cost

17 Jun 2026 00:00

סקירה שיטתית של generic programming ב-Ada: generic subprograms, generic packages, formal subprograms, קטגוריות טיפוס, ועקרונות עיצוב מעשיים. type-safe reuse ...

תכנות מערכות real-time ב-Ada — עדיפויות, מחזוריות ובקרת execution time

14 Jun 2026 03:00

לומדים את Annex D של Ada (מערכות real-time) דרך שמונה דוגמאות קוד מעשיות. המאמר עובר בהדרגה על עדיפות של tasks, Ceiling_Locking, הרצה מחזורית עם delay until,...

Concurrency בטוח ב-Ada — מדריך מעשי ל-task ול-protected object

14 Jun 2026 00:00

מאמר מבוא ל-concurrency שמובנה בשפת Ada עצמה: task ו-protected object. נעבור על rendezvous (entry/accept), selective accept, mutual exclusion דרך protected o...