Rust 1.53 שוחרר. גוגל תממן הוספת תמיכת Rust לקרנל הלינוקס

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

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

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

• עבור מערכים, הוטמעה התכונה IntoIterator, המאפשרת לך לארגן את האיטרציה של רכיבי מערך לפי ערכים: עבור i ב-[1, 2, 3] { .. }

  אפשר גם להעביר מערכים לשיטות שמקבלות איטרטורים, למשל: let set = BTreeSet::from_iter([1, 2, 3]); עבור (א, ב) ב-some_iterator.chain([1]).zip([1, 2, 3]) { .. }

  בעבר, IntoIterator יושם רק עבור הפניות למערך, כלומר. כדי לחזור על ערכים היה צורך להשתמש בהפניות ("&[1, 2, 3]") או "[1, 2, 3].iter()". ההטמעה של IntoIterator עבור מערכים נבלמה על ידי בעיות תאימות שנגרמו על ידי המרה קודמת של מהדר מ-array.into_iter() ל-(&array).into_iter(). בעיות אלו נפתרו בעזרת פתרון עוקף - המהדר ימשיך להמיר array.into_iter() ל-(&array).into_iter() כאילו לא היה יישום של תכונת IntoIterator, אלא רק כאשר יקרא למתודה באמצעות ה-".into_iter() )" תחביר ומבלי לגעת בקריאות בצורה "ב-[1, 2, 3]", "iter.zip([1, 2, 3])", "IntoIterator::into_iter([1, 2, 3] )".

• אפשר לציין ביטויים "|" (פעולת OR לוגית) בכל חלק של התבנית, למשל, במקום "Some(1) | Some(2)" אתה יכול כעת לכתוב "Some(1 | 2)": match result { Ok(Some(1 | 2)) => { .. } Err(MyError { kind: FileNotFound | PermissionDenied, .. }) = > { .. } _ => { .. } }
• השימוש בתווים שאינם ASCII במזהים מותר, כולל כל התווים הלאומיים המוגדרים במפרט Unicode UAX 31, אך לא כולל תווי אמוג'י. אם אתה משתמש בתווים שונים אך דומים, המהדר ישלח אזהרה. const BLÅHAJ: &str = "🦈"; struct 人 { 名字: מחרוזת, } תן α = 1; let's = 2; אזהרה: צמד מזהים נחשב לבלבול בין 'ｓ' ל-'s'
• חלק חדש של ממשקי API הועבר לקטגוריית היציבות, כולל התייצבות הבאים:
  • array::from_ref
  • array::from_mut
  • AtomicBool::fetch_update
  • AtomicPtr::fetch_update
  • BTreeSet::retain
  • BTreeMap::retain
  • BufReader::seek_relative
  • cmp::min_by
  • cmp::min_by_key
  • cmp::max_by
  • cmp::max_by_key
  • DebugStruct::finish_non_exhaustive
  • משך זמן::ZERO
  • משך זמן::MAX
  • משך זמן::is_XNUMX
  • Duration::saturating_add
  • Duration::saturating_sub
  • Duration::saturating_mul
  • f32::is_subnormal
  • f64::is_subnormal
  • IntoIterator עבור מערכים
  • {integer}::BITS
  • io::שגיאה::לא נתמך
  • NonZero*::leading_zeros
  • NonZero*::trailing_zeros
  • אפשרות::הכנס
  • הזמנה::is_eq
  • הזמנה::is_ne
  • הזמנה::is_lt
  • הזמנה::is_gt
  • הזמנה::is_le
  • הזמנה::is_ge
  • OsStr::make_ascii_lowercase
  • OsStr::make_ascii_אותיות גדולות
  • OsStr::to_ascii_אותיות קטנות
  • OsStr::to_ascii_אותיות גדולות
  • OsStr::is_ascii
  • OsStr::eq_ignore_ascii_case
  • להצצה::peek_mut
  • Rc::increment_strong_count
  • Rc::decrement_strong_count
  • slice::IterMut::as_slice
  • AsRef<[T]> עבור slice::IterMut
  • impl SliceIndex עבור (Bound , כרוך )
  • Vec::extend_from_within
• הרמה השלישית של תמיכה בפלטפורמת wasm64-unknown-unknown הוטמעה. הרמה השלישית כוללת תמיכה בסיסית, אך ללא בדיקות אוטומטיות, פרסום בונים רשמיים או בדיקה אם ניתן לבנות את הקוד.
• מנהל החבילות של Cargo הועבר להשתמש בשם "ראשי" עבור הסניף הראשי של מאגר Git (HEAD) כברירת מחדל. תלויות המתארחות במאגרים המשתמשים בשם main במקום master כבר לא דורשות הגדרה של branch = "main".
• במהדר, הדרישות לגרסה המינימלית של LLVM מועלות ל-LLVM 10.

בנוסף, אנו יכולים לציין מתן מימון לפיתוח אינטגרציה בליבת לינוקס של כלים לפיתוח רכיבים בשפת Rust. העבודה תתבצע במסגרת פרויקט Prossimo בחסות ארגון ISRG (Internet Security Research Group), המייסד של פרויקט בואו להצפין ומקדם HTTPS ופיתוח טכנולוגיות להגברת האבטחה של מרשתת. הכספים יסופקו על ידי גוגל, שתשלם עבור עבודתו של מיגל אוג'דה, מחבר פרויקט Rust-for-Linux. בעבר, ISRG וגוגל כבר מימנו את היצירה של HTTP backend חלופי עבור כלי השירות curl ופיתוח של מודול TLS חדש עבור שרת ה-Apache http.

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

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

מקור: OpenNet.ru