במהלך העברת Firefox ל-zlib-rs, מפתחים נתקלו בבאג במעבדי אינטל.

קרן טריפקטה טק, המפתחת של פרויקטים כמו ntpd-rs, sudo-rs, zlib-rs ו-bzip2-rs, הכריזה על המעבר של פיירפוקס לשימוש בספריית zlib-rs לדחיסה ופריקה של gzip. בנוסף להגנה מפני שגיאות זיכרון, המעבר מ-zlib ל-zlib-rs הביא לשיפור משמעותי בביצועים - בבדיקות, העלייה במהירות נעה בין פי 3.3 ל-32.5 עבור פעולות פענוח בודדות ובין פי 2.7 ל-10.86 עבור פענוח זרם רציף.

ספריית zlib-rs נכללה בגרסה 151 של Firefox, אך לאחר שילובה, חלק מהמשתמשים נתקלו בבעיה שגרמה לקריסה עקב ביצוע מחוץ לתחום. צוין כי בקוד Rust, הבעיה גרמה לקריסה, בעוד שבקוד C, מצב דומה היה גורם להשחתת נתונים שקטה מבלי לעצור את התוכנית. כפתרון, ספריית zlib הישנה יותר הוחזרה לשימוש בגרסה 151.0.1.

הביטוי הראשון של הבעיה נצפתה במהלך בדיקות של גרסאות מוקדמות לפני יותר משנה, אך לא ניתן היה לשחזר אותה במערכות מפתחים. בסופו של דבר, לאחר שנה של בדיקות עם משתמשי בטא, הוחלט להפעיל את zlib-rs ב-Firefox 151. לאחר סדרה חדשה של דיווחי בעיה וחקירת הדפוס, התגלה כי הקריסה נגרמה עקב שגיאת מיקרו-קוד במעבדי אינטל המבוססים על המיקרו-ארכיטקטורה של Raptor Lake מדור 13 ו-14, הקשורה לשימוש ברישום שגוי.

הבעיה התרחשה מכיוון שמחולל קוד ה-LLVM השתמש בהוראת "mov byte ptr [rsi + rdi + 1], ch" בעת כתיבת תוצאות קידוד Huffman לזיכרון. בעת ביצוע הוראה זו על מעבד Raptor Lake, במקום לכתוב 8-15 סיביות מאוגר ה-RCX, התואמות לאוגר CH שצוין בהוראה, סיביות 0-7, התואמות לאוגר CL, נכתבו לזיכרון. פתרון עוקף יושם כהכנה ל-Firefox 152, והתיקון הועבר לגרסה הראשית של zlib-rs. יצירת ההוראה הבעייתית נצפתה ב-LLVM 22 (היא לא נוצרת בענף הפיתוח של LLVM 23).

מקור: OpenNet.ru