CrocSwap/integer-mult-bounds रिपॉज़िटरी में पुल रिक्वेस्ट #4441 #4440 में प्रस्तुत क्वेरी-थिन्ड जटिल कंट्रोलर की सभी 19 पूर्ण नेटिव कॉल्स पर सत्यापित नया हेल्पर रीटाइमिंग लागू करता है। लेखक के अनुसार सभी 16 भुगतान वाली क्वेरी शियर्स, पूरी निष्क्रिय कॉल्स, मुख्य ऑपरेटर और मज़बूत BIT सप्लायर सुरक्षित रखे गए हैं।
लेखक द्वारा जाँची गई परिणामी सशर्त सीमा T(n) = O(n (log n)^(1 - 0.00300105)) है। यह #4440 के 0.00296 से κ को 0.00004105 (+1.3868%) बढ़ाती है, #4416 के 0.00268647 से 11.7098% और चयनित 0.0023 से 30.4804% अधिक है। भुगतान वाली कॉल्स 72,902 से घटकर 69,273 हो जाती हैं, यानी 3,629 की बचत, और उत्पादक तथा भुगतान रैंक द्रव्यमान क्रमशः 260,798 और 259,998 हो जाते हैं, जिससे 800 का अधिशेष बना रहता है।
लेखक का कहना है कि सटीक अंतराल सीमाएँ स्थिर प्रोफ़ाइल के मूल को 0.0030010541830 और 0.0030010541834 के बीच रखती हैं, और एक अंतराल प्रमाण हर वास्तविक 0<C<1 को कवर करता है। नए मोमेंट के लिए भुगतान वाली पूँछ की सुधारी गई सीमा gamma < 97/100 चाहिए, क्योंकि #4440 का 31/32 इस प्रोफ़ाइल पर विफल रहता है। मज़बूत BIT निर्माण अपरिवर्तित है, और सभी नौ बाहरी पंक्तियाँ, 54 वर्तमान विधेय और चार कार्यात्मक गार्ड पास होने की सूचना है।
यह कार्य लेखक द्वारा जाँचा गया सशर्त निर्माण है जो समीक्षा की प्रतीक्षा में है। इसकी पूर्वधारणाएँ स्वतंत्र पक्षों द्वारा सत्यापित नहीं हैं, और लेखक कोई बिना-शर्त प्रमेय, व्यावहारिक रनटाइम परिणाम, वैश्विक इष्टतम या औपचारिक स्वीकृति का दावा नहीं करता। तीन संग्रहीत स्रोत-पिन जाँचों पर समग्र CI अब भी लाल है।
स्रोत: Hacker News · HeadlinesBriefing द्वारा सारांशित