مورچا ۾ اڻ سڌيءَ جي قيمت

Abstraction جي قيمت: Rast ۾ Indirection کي سمجھڻ

زنگ هڪ طاقتور واعدي تي ٺهيل هڪ ٻولي آهي: صفر قيمت خلاصيون. اهو ڊولپرز کي اجازت ڏئي ٿو ته رن ٽائم تي ڪارڪردگي جي سزا ادا ڪرڻ کان سواءِ اعليٰ سطحي، محفوظ ۽ اظهاري ڪوڊ لکڻ جي. اهو فلسفو مرڪزي آهي ڇو ته زنگ سسٽم پروگرامنگ ۾، آپريٽنگ سسٽم کان وٺي گيم انجڻ تائين. بهرحال، "انڊائريڪشن" جو تصور مورچا جي ڊزائن ۾ هڪ دلچسپ موڙ تي ويٺو آهي. جڏهن ته اڪثر لچڪ ۽ حفاظت لاءِ ضروري هوندو آهي، اڻ سڌيءَ طرح هميشه صفر قيمت نه هوندي آهي، ۽ ان جو غلط استعمال خاموشيءَ سان ان ڪارڪردگيءَ کي ختم ڪري سگهي ٿو، جنهن لاءِ زنگ مشهور آهي. پليٽ فارمن لاءِ جيئن Mewayz، هڪ ماڊيولر ڪاروباري OS جتي ڪارڪردگي ۽ قابل اطمينان وسيلن جو استعمال اهم آهي، انهي قيمت کي سمجهڻ علمي نه آهي- اهو مضبوط، اسپيبلبل ڪاروباري منطق جي تعمير لاءِ ضروري آهي.

Indirection ڇا آهي ۽ اسان کي ان جي ڇو ضرورت آهي؟

Indirection هڪ پروگرامنگ ٽيڪنڪ آهي جتي توهان ڪنهن شيءِ جو حوالو سڌو نه، پر هڪ وچولي پرت ذريعي. زنگ ۾، سڀ کان وڌيڪ عام شڪلون آهن پوائنٽر، حوالا، خاص شيون، ۽ سمارٽ پوائنٽرز جهڙوڪ 'باڪس'، 'آر سي'، يا 'آرڪ'. اهي اوزار ناگزير آهن. اهي متحرڪ رويي، هيپ مختص، گڏيل ملڪيت، ۽ پوليمورفيزم کي فعال ڪن ٿا. مثال طور، هڪ `Vec>` توهان کي مختلف قسمن جو هڪ مجموعو ذخيرو ڪرڻ جي اجازت ڏئي ٿو جيڪي سڀئي `ڊرا` خاصيت کي لاڳو ڪن ٿا، UI سسٽم يا پلگ ان آرڪيٽيڪچرز ۾ هڪ عام نمونو. بغير هدايت جي، لچڪدار، ماڊلر ڪوڊ لکڻ ناقابل يقين حد تائين ڏکيو هوندو.

"Abstraction پيچيدگي کي لڪائڻ جو فن آهي، ۽ انڊائريڪشن ان جو بنيادي اوزار آهي. زنگ ۾، چئلينج اهو آهي ته هن اوزار کي استعمال ڪرڻ کان سواءِ خلاصي جي قيمت کي رن ٽائم ٽيڪس بڻجي وڃي."

The hidden Performance Tax

جڏهن ته تجريد گهڻو ڪري "صفر-قيمت" جي لحاظ سان آهي جيڪو توهان دستي طور تي لکي سگهو ٿا، انڊائريڪشن پاڻ کي واضح طور تي متعارف ڪرايو وڃي ٿو. اها قيمت ڪيترن ئي اهم علائقن ۾ ظاهر ٿئي ٿي:

• ميموري رسائي (ڪيش مسز): پوائنٽر جي پٺيان وڃڻ لاءِ مختلف ميموري ايڊريس ڏانھن وڃڻ جي ضرورت آھي. هي سي پي يو ڪيش جي اڳڀرائي کي شڪست ڏئي سگهي ٿو، جنهن جي نتيجي ۾ ملندڙ، ان لائن ڊيٽا جي مقابلي ۾ انتهائي سست پڙهيا ويندا آهن.
• Dynamic Dispatch: Trait Objects (`dyn Trait`) ورچوئل ٽيبل (vtables) استعمال ڪن ٿا رن ٽائم تي ميٿڊ ڪالز کي حل ڪرڻ لاءِ. هي پوائنٽر ڏسڻ لاءِ هڪ ننڍڙو اوور هيڊ شامل ڪري ٿو ۽ ڪمپائلر ان لائننگ کي روڪي ٿو، جيڪو گرم لوپس لاءِ هڪ وڏو اصلاحي قاتل ٿي سگهي ٿو.
• Heap Allocation: Types like `Box` هڪ هيپ مختص ڪرڻ جو مطلب آهي، جيڪو اسٽيڪ مختص ڪرڻ کان سست رفتار جو حڪم آهي ۽ مختص ڪندڙ تي دٻاء وڌائي ٿو.
• Indirection Chains: Indirection جا ڪيترائي پرت (مثال طور، هڪ `Box` هڪ `Rc` تي مشتمل هڪ struct ڏانهن `Vec` جي خاصيت واري شين سان گڏ) انهن قيمتن کي گڏ ڪن ٿا، ڊيٽا جي رسائي جا رستا سست ۽ غير متوقع بڻائي ٿي.

هڪ ڪاروباري OS جهڙوڪ Mewayz ۾، جتي ماڊلز کي ڊيٽا اسٽريمز کي پروسيس ڪرڻ، ڪم جي فلوز کي منظم ڪرڻ، ۽ واقعن کي گهٽ دير سان جواب ڏيڻ جي ضرورت هوندي آهي، اهي مائڪرو خرچن کي مجموعي طور تي ميڪرو-سطح جي وقفي ۾ شامل ڪري سگھن ٿا، رپورٽ جي پيداوار کان حقيقي وقت ڊيش بورڊ اپڊيٽ تائين هر شيء کي متاثر ڪري ٿو.

توهان جي ڪوڊ بيس ۾ گھٽتائي لاءِ حڪمت عمليون

مقصد انڊائريشن کي ختم ڪرڻ نه آهي- اهو نه ته ممڪن آهي ۽ نه ئي گهربل آهي- پر ان کي انصاف سان لاڳو ڪرڻ آهي. هتي اهم حڪمت عمليون آهن:

پهرين، جتي ممڪن هجي ته خاص شين جي ڀيٽ ۾ عام شين کي ترجيح ڏيو. Generics monomorphization استعمال ڪن ٿا، ترتيب ڏيڻ وقت هر ڪنڪريٽ قسم لاءِ الڳ، اصلاحي ڪوڊ ٺاهي رهيا آهن. هي جامد ترسيل برقرار رکي ٿو ۽ ان لائننگ کي فعال ڪري ٿو. ٻيو، ڊيٽا تي مبني ڊيزائن کي ڳنڍيو. ڊيٽا کي ذخيرو، ڪيش-دوستانه صفن ۾ (`Vec`) بجاء باڪس جي ڳنڍيل مجموعن ۾. ڊيٽا کي بيچ ۾ پروسيس ڪريو، ورچوئل ڪالن جي زنجيرن ذريعي نه. ٽيون، پروفائل بيحد. اوزار استعمال ڪريو جيئن `ڪارگو فليگراف` سڃاڻڻ لاءِ ته ڇا اڻ سڌيءَ طرح اصل رڪاوٽ آهي. گهڻو ڪري، قيمت نه هجڻ جي برابر آهي جيستائين اهو نازڪ رستي ۾ نه هجي.