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