Vid överföringen av Firefox till zlib-rs stötte utvecklarna på ett fel i Intel-CPU:n.

Organisationen Trifecta Tech Foundation, som utvecklar projekt som ntpd-rs, sudo-rs, zlib-rs och bzip2-rs, har meddelat att Firefox har övergått till att använda biblioteket zlib-rs för komprimering och dekomprimering med gzip-metoden. Förutom att undvika problem orsakade av minnesfel har övergången från zlib till zlib-rs lett till en märkbar prestandaökning — i genomförda tester uppmättes en acceleration på mellan 3,3 och 32,5 gånger för enstaka avkodningsoperationer och mellan 2,7 och 10,86 gånger för avkodning av kontinuerlig ström.

Biblioteket zlib-rs användes i Firefox version 151, men efter integreringen stötte vissa användare på ett problem som ledde till krasch på grund av att tillåtna gränser överskreds. Det noterades att i Rust-koden orsakade problemet en krasch, medan en liknande situation i C skulle ha lett till osynlig datakorruption utan att programmet stoppades. Som en lösning återställdes användningen av det äldre zlib-biblioteket i version 151.0.1.

Det första märket av problemet upptäcktes under testningen av tidiga versioner för mer än ett år sedan, men det kunde inte reproducera på utvecklarens system. Efter ett års testning på användare av betaversioner beslutades det att aktivera zlib-rs i den officiella versionen av Firefox 151. Efter en ny serie problemrapporter och analys av mönster fann man att kraschen orsakades av en felaktighet i CPU-mikrokoden för Intel-baserade processorer av mikroarkitekturen Raptor Lake i generation 13 och 14, relaterad till användningen av fel register.

Problemet uppstod eftersom LLVM:s kodgenerator använde instruktionen "mov byte ptr [rsi + rdi + 1], ch" när den skrev resultaten av Huffman-kodningen till minnet. När denna instruktion utfördes på Raptor Lake CPU:n, istället för 8-15 bitar från registret RCX, som motsvarade registret CH i instruktionen, skrevs bitar 0-7, som motsvarade registret CL, till minnet. Vid förberedelserna för version 152 av Firefox åtgärdades felet med en workaround och patchen överfördes till huvudkompositionen av zlib-rs. Genereringen av den problematiska instruktionen har noterats i LLVM 22 (i den utvecklade versionen av LLVM 23 genereras den inte).

Källa: opennet.ru