| קִיסוֹס ספריית המהדר ו Runtime עבור דיאקטורה מורחבת של C המחאות סוג, זיכרון ובטיחות מקביל |
הורד עכשיו |
קִיסוֹס דירוג וסיכום
- אתר האינטרנט של המוציא לאור:
- http://ivy.cs.berkeley.edu/ivywiki/index.php/Main/HomePage
- תאריך הוצאה:
- 2021-06-18 08:33:53
קִיסוֹס תגים
קִיסוֹס תיאור
מהדר ו Runtime Library עבור דיאלקט מורחב של C זה בודק סוג, זיכרון בטיחות מקביל קיסוס מסתמך על מספר קטן של הערות קלות בקוד המקור כדי לשמור על תקורות זמן וחלל סביר. קיסוס מיושם כמלדר C- C באמצעות GCC כמו backend שלה, וזה עושה את הנהג קיסוס המהדר, IVYCC, החלפת ירידה ישירה עבור GCC. C נשאר שפת תכנות מערכות בשימוש נרחב מאוד; זה ידוע נרחב, נתמך על ידי כלים רבים, נותן גישה טובה חומרה ברמה נמוכה ... אבל לייצר בטוח ותוכניות C אמין הוא קשה שלא לצורך, בעיה משמעותית במיוחד עבור תוכניות מקבילות, ובמיוחד קוד מערכות. שפות מודרניות מתייחסות רבות מבין בעיות בטיחות ואמינות אלה, אך יציקת מערכות גדולות לשפה חדשה אינה מעשית לעתים קרובות. ניתוחים סטטיים של C למצוא כמה בעיות, אבל בדרך כלל לא מבטיחים safety.Ivy מייצג גישה חלופית: אייבי יהיה בטוח, שפה מקבילה, באופן לא חוקי עם c.ivy הוא למעשה שלושה כלים באחד (מן הבוגרים ביותר לניסוי יותר) : · סגן בדיקות סוג ובטיחות זיכרון (מערך גבולות, איגודים, שימוש בחלל *, וכו ') · צ'קים בודק זיכרון זיכרון · sharc בודק כי זיכרון משותף כראוי בתוכניות מקבילות
קִיסוֹס תוכנה קשורה