שחרור שפת תכנות Rust 1.64

פרסום שפת התכנות למטרות כלליות Rust 1.64, שנוסדה על ידי פרויקט מוזילה, אך פותחה כעת בחסות העמותה העצמאית Rust Foundation. השפה מתמקדת בבטיחות זיכרון ומספקת את האמצעים להשגת מקביליות עבודה גבוהה תוך הימנעות משימוש באספן אשפה וזמן ריצה (זמן הריצה מצטמצם לאתחול ותחזוקה בסיסיים של הספרייה הסטנדרטית).

שיטות הטיפול בזיכרון של Rust חוסכות מהמפתח שגיאות בעת מניפולציה של מצביעים ומגינות מפני בעיות המתעוררות עקב טיפול בזיכרון ברמה נמוכה, כגון גישה לאזור זיכרון לאחר שחרורו, זיהוי מצביעי null, חריגות מאגר וכו'. כדי להפיץ ספריות, לספק בנייה ולנהל תלות, הפרויקט מפתח את מנהל החבילות Cargo. מאגר crates.io נתמך לאירוח ספריות.

בטיחות זיכרון מסופקת ב-Rust בזמן הקומפילציה באמצעות בדיקת הפניות, מעקב אחר בעלות על אובייקט, מעקב אחר משך חיים של אובייקט (סקופים), והערכת נכונות הגישה לזיכרון במהלך ביצוע קוד. Rust מספקת גם הגנה מפני הצפת מספרים שלמים, דורשת אתחול חובה של ערכי משתנים לפני השימוש, מטפלת בשגיאות טוב יותר בספרייה הסטנדרטית, מיישמת את הרעיון של הפניות ומשתנים בלתי ניתנים לשינוי כברירת מחדל, מציעה הקלדה סטטית חזקה כדי למזער שגיאות לוגיות.

חידושים עיקריים:

• הדרישות לסביבת לינוקס בקומפיילר, מנהל החבילות Cargo וספריית התקן libstd הוגדלו - הדרישות המינימליות ל-Glibc הועלו מגרסה 2.11 ל-2.17, וקרנל לינוקס מגרסה 2.6.32 ל-3.2. ההגבלות חלות גם על קובצי הפעלה של יישומי Rust שנבנו עם libstd. ערכות ההפצה RHEL 7, SLES 12-SP5, Debian 8 ואובונטו 14.04 עומדות בדרישות החדשות. תופסק התמיכה עבור RHEL 6, SLES 11-SP4, Debian 7 ו-Ubuntu 12.04. משתמשים שמשתמשים בקובצי הפעלה שנבנו Rust בסביבות עם ליבת לינוקס ישנה יותר, מומלץ לשדרג את המערכות שלהם, להישאר במהדורות ישנות יותר של המהדר, או לשמור על libstd fork משלהם עם שכבות כדי לשמור על תאימות.

  בין הסיבות להפסקת התמיכה במערכות לינוקס ישנות יותר ניתן למצוא משאבים מוגבלים להמשך שמירה על תאימות עם סביבות ישנות יותר. תמיכה ב-Glibc מדור קודם מצריכה שימוש בכלים מדור קודם בעת ביצוע צ'ק-אין במערכת אינטגרציה רציפה, לנוכח דרישות הגרסה הגדלות ב-LLVM ובשירותי הידור צולבים. העלייה בדרישות גרסת הקרנל נובעת מהיכולת להשתמש בקריאות מערכת חדשות ב-libstd ללא צורך בתחזוקה של שכבות כדי להבטיח תאימות עם ליבות ישנות יותר.

• התכונה IntoFuture התייצבה, הדומה ל-IntoIterator, אך שונה מהאחרון על ידי שימוש בלולאות ".await" במקום "for ... in ...". בשילוב עם IntoFuture, מילת המפתח ".await" יכולה לצפות לא רק לתכונה עתידית, אלא גם לכל סוג אחר שניתן להמיר לעתיד.
• כלי העזר לנתח חלודה כלול באוסף כלי העזר שסופקו עם מהדורות חלודה. השירות זמין גם להתקנה באמצעות Rustup (רכיב החלודה הוסף מנתח חלודה).
• מנהל החבילות Cargo כולל הורשת סביבת עבודה כדי למנוע כפילות של ערכי שדות נפוצים בין חבילות, כגון גרסאות Rust וכתובות URL של מאגר. נוספה גם תמיכה בבנייה עבור מספר פלטפורמות יעד בו זמנית (כעת ניתן לציין יותר מפרמטר אחד באפשרות "--target").
• חלק חדש של ה-API הועבר לקטגוריה של יציב, כולל השיטות והיישום של תכונות התייצבו:
  • future::IntoFuture
  • num::NonZero*::checked_mul
  • num::NonZero*::checked_pow
  • num::NonZero*::saturating_mul
  • num::NonZero*::saturating_pow
  • num::NonZeroI*::abs
  • num::NonZeroI*::checked_abs
  • num::NonZeroI*::overflowing_abs
  • num::NonZeroI*::saturating_abs
  • num::NonZeroI*::unsigned_abs
  • num::NonZeroI*::wrapping_abs
  • num::NonZeroU*::checked_add
  • num::NonZeroU*::checked_next_power_of_two
  • num::NonZeroU*::saturating_add
  • os::unix::process::CommandExt::process_group
  • os::windows::fs::FileTypeExt::is_symlink_dir
  • os::windows::fs::FileTypeExt::is_symlink_file
• סוגים תואמי C, שיוצבו בעבר במודול std::ffi, נוספו לליבה ולספריית alloc:
  • core::ffi::CSr
  • core::ffi::FromBytesWithNulError
  • alloc::ffi::CSstring
  • alloc::ffi::FromVecWithNulError
  • alloc::ffi::IntoStringError
  • alloc::ffi::NulError
• סוגי C שיוצבו בעבר במודול std::os::raw נוספו למודול הליבה::ffi ו-std::ffi (לדוגמה, סוגי c_uint ו-c_ulong הוצעו עבור סוגי uint ו-ulong C):
  • ffi::c_char
  • ffi::c_double
  • ffi::c_float
  • ffi::c_int
  • ffi::c_long
  • ffi::c_longlong
  • ffi::c_schar
  • ffi::c_short
  • ffi::c_uchar
  • ffi::c_uint
  • ffi::c_ulong
  • ffi::c_ulonglong
  • ffi::c_short
• מטפלים ברמה נמוכה התייצבו לשימוש עם מנגנון ה- Poll (בעתיד מתוכנן לספק API פשוט שאינו מצריך שימוש במבנים ברמה נמוכה כגון Pull and Pin):
  • future::poll_fn
  • משימה::מוכנה!
• התכונה "const", הקובעת את האפשרות להשתמש בה בכל הקשר במקום בקבועים, משמשת בפונקציה slice::from_raw_parts.
• על מנת לאחסן נתונים בצורה קומפקטית יותר, פריסת הזיכרון של המבנים Ipv4Addr, Ipv6Addr, SocketAddrV4 ו-SocketAddrV6 שונתה. ייתכן שיש בעיית תאימות עם חבילות ארגז בודד המשתמשות ב-std::mem::transmute עבור מניפולציה ברמה נמוכה של מבנים.
• בניית מהדר החלודה לפלטפורמת Windows משתמשת באופטימיזציות של PGO (אופטימיזציה מונחית פרופיל), שאיפשרה להגדיל את ביצועי הידור הקוד ב-10-20%.
• המהדר יישם אזהרה חדשה לגבי שדות שאינם בשימוש במבנים מסוימים.

בנוסף, תוכל לציין את דוח המצב על פיתוח יישום חלופי של מהדר שפת Rust, שהוכן על ידי פרויקט gccrs (GCC Rust) ואושר להכללה ב-GCC. לאחר שילוב ה-frontend, ניתן להשתמש בכלי GCC הסטנדרטיים כדי להדר תוכניות בשפת Rust ללא צורך בהתקנת מהדר rustc, שנבנה באמצעות פיתוחי LLVM. כל עוד הפיתוח בדרך, וללא בעיות בלתי צפויות, החזית של Rust ישולב במהדורת GCC 13 המתוכננת למאי בשנה הבאה. היישום GCC 13 של Rust יהיה בסטטוס בטא, עדיין לא מופעל כברירת מחדל.

מקור: OpenNet.ru