SBCL: A Sanely-Bootstrapable Common Lisp (2008) [pdf]

SBCL جو تعارف ۽ ڊرائيو فار سافٽ ويئر پيورٽي

سافٽ ويئر ڊولپمينٽ جي پيچيدگي واري دنيا ۾، ڪجھ ڪم بنيادي طور تي آھن- يا ممڪن طور تي پيچيدگي سان ڀريل آھن- جيئن ھڪڙي گڏ ڪندڙ ٺاھيندڙ. اهو عمل، جيڪو بوٽ اسٽريپنگ جي نالي سان سڃاتو وڃي ٿو، شامل آهي هڪ موجوده ڪمپيلر استعمال ڪرڻ لاءِ پنهنجو پاڻ جو نئون ورزن ٺاهڻ. اهو هڪ ”ڪڪڙ ۽ انڊا“ جو مسئلو ٿي سگهي ٿو: توهان ڪيئن ٺهڪندڙ جي صحيحيت جي تصديق ڪندا آهيو جيڪو توهان جو ڪمپلر ٺاهيو آهي؟ 2008 ۾، ڪرسٽوفي روڊس جي پيپر، "SBCL: A Sanely-Bootstrapable Common Lisp" جي رليز سان عام لِسپ ڪميونٽي لاءِ ان ئي مسئلي کي حل ڪرڻ ۾ هڪ اهم سنگ ميل حاصل ڪيو ويو. هن ڪم Steel Bank Common Lisp (SBCL) کي اعليٰ ڪارڪردگيءَ تي عمل درآمد کان شفافيت ۽ ڀروسي جي پيراگون ۾ تبديل ڪيو، اهي اصول جيڪي اڄ جي سافٽ ويئر جي منظرنامي ۾ تمام گهڻي گونج ڪن ٿا ۽ Mewayz وانگر پليٽ فارمن جي بنيادي فلسفي سان هم آهنگ ٿين ٿا جيڪي قابل اعتماد، سمجھڻ لائق ڪاروباري نظام مهيا ڪرڻ چاهين ٿا.

"Sanely-Bootstrapable" جو مطلب ڇا آھي؟

SBCL جي تبديليءَ کان اڳ، ڪمن لِسپ ڪمپلر جي تعمير لاءِ اڪثر اڳي ئي موجود، اڪثر مالڪيءَ وارو، ڪمن لِسپ سسٽم گھربل هوندو هو ته جيئن تعميري عمل کي هلائڻ لاءِ. اهو هڪ "اعتماد اعتماد" جي زنجير تي هڪ انحصار پيدا ڪيو، هڪ تصور مشهور طور تي Ken Thompson پاران سندس 1984 ٽريننگ اوارڊ ليڪچر ۾ بيان ڪيو ويو آهي. تشويش اها آهي ته هڪ بدسلوڪي اداڪار هڪ ڪمپيلر ۾ لڪيل ڪمزوري کي متعارف ڪرائي سگهي ٿو، جيڪو پوءِ خاموشيءَ سان انهيءَ خطري جي پروپيگنڊا ڪندو هر ايندڙ پروگرام ۾، جنهن ۾ پاڻ جي مستقبل جا نسخا شامل آهن. ھڪڙو "sanely-bootstrapable" سسٽم ھن زنجير کي ٽوڙي ٿو. اهو گهٽ ۾ گهٽ، سادي شروعاتي نقطي کان هڪ صاف، آڊيٽ ڪرڻ وارو رستو مهيا ڪري ٿو- اڪثر ڪري ڪوڊ جو هڪ ننڍڙو مقدار هيٺين سطح جي ٻولي ۾ C- مڪمل، نفيس مرتب ڪندڙ تائين. هي ڊولپرز کي عمل جي هر مرحلي جي تصديق ڪرڻ جي اجازت ڏئي ٿو، انهي کي يقيني بڻائي ٿو ته نتيجو بائنري ڇنڊڇاڻ کان آزاد آهي ۽ ان جو رويو بلڪل ائين آهي جيئن ان جي سورس ڪوڊ جو مقصد آهي.

SBCL بوٽ اسٽريپ پروسيس: C کان عام ليسپ تائين

Christophe Rhodes جو پيپر تفصيل سان بيان ڪيو ويو آهي ته ڪيئن SBCL هن من موهيندڙ حيثيت حاصل ڪئي. بوٽ اسٽريپ جو عمل هڪ دلچسپ سفر آهي هڪ سسٽم جي تعمير جو پاڻ مرحلن ۾. اهو هڪ مڪمل عام Lisp ماحول سان نه، پر C ۾ لکيل هڪ گهٽ ۾ گهٽ Lisp مترجم سان شروع ٿئي ٿو. هي مترجم، جنهن کي اڪثر "ڪولڊ شروع" سسٽم سڏيو ويندو آهي، بنيادي SBCL سورس ڪوڊ کي هلائڻ لاءِ ڪافي طاقتور آهي. عمل ۾ ٻه اهم مرحلا شامل آهن:

• اسٽيج 1: C-based interpreter بنيادي SBCL ماخذ فائلن کي گڏ ڪري ٿو. اهو هڪ ابتدائي پر ڪم ڪندڙ SBCL ماحول پيدا ڪري ٿو جيڪو اڃا تائين مترجم جي چوٽي تي هلندڙ آهي.
• اسٽيج 2: هي نئون SBCL ماحول وري SBCL سورس ڪوڊ گڏ ڪرڻ لاءِ استعمال ڪيو ويندو آهي، پر هن ڀيري مڪمل طور تي پنهنجي اندر. نتيجو هڪ "گرم" SBCL قابل عمل آهي جيڪو اصل C مترجم کان آزاد آهي ۽ هوسٽ مشين تي مقامي طور تي هلائي سگهي ٿو.

هيءَ خود ميزباني جي صلاحيت آهي بنيادي طور تي-بوٽ اسٽريپ لائق هجڻ جو. ان جو مطلب اهو آهي ته ڪو به ماڻهو شايع ٿيل SBCL سورس ڪوڊ وٺي سگهي ٿو ۽، هڪ معياري C ڪمپيلر سان، هڪ تصديق ٿيل، قابل اعتماد SBCL ٺاهي سگھي ٿو جيڪو زمين کان وٺي قابل عمل آهي. هي امڪاني طور تي ٺاهه ٿيل اڳ-مرتب ٿيل بائنري تي انحصار کي ختم ڪري ٿو.

ڇو بوٽ اسٽريپبلٽي ماڊرن سافٽ ويئر لاءِ اهميت رکي ٿي

SBCL جي جوڙجڪ جا اصول تعليمي دلچسپي کان تمام گهڻو اڳتي وڌن ٿا. هڪ دور ۾ جتي سافٽ ويئر سپلائي زنجير حملا هڪ نازڪ خطرو آهن، اسان جي استعمال ڪيل اوزار جي آڊٽ ۽ تصديق ڪرڻ جي صلاحيت تمام اهم آهي. ڪاروبار لاءِ جيڪي پيچيده سافٽ ويئر اسٽيڪ تي ڀاڙين ٿا ، بنيادي سطحن ۾ غير يقيني صورتحال اهم حفاظتي ۽ عملياتي خطرن جو سبب بڻجي سگهي ٿي. SBCL پيپر اهو ظاهر ڪري ٿو ته اهو ممڪن آهي ته طاقتور، پيچيده سسٽم ٺاهڻ بغير تصديق جي قرباني جي. هڪ قابل اعتماد بنياد کان شفاف ۽ قابل اعتماد سسٽم جي تعمير جو هي اخلاقيات Mewayz وانگر پليٽ فارمن طرفان شيئر ڪيو ويو آهي. جيئن SBCL سافٽ ويئر ڊولپمينٽ لاءِ هڪ مضبوط، آڊيٽ لائق بنياد مهيا ڪري ٿي، تيئن Mewayz جو مقصد هڪ ماڊيولر ۽ شفاف ڪاروباري OS مهيا ڪرڻ آهي، ڪمپنين کي انهن جي آپريشنل ڪم فلوز ۽ ڊيٽا جي سالميت جي باري ۾ واضح بصيرت فراهم ڪرڻ، اهڙي طرح هڪ وڌيڪ قابل اعتماد ۽ قابل ڪنٽرول ڪاروباري ماحول پيدا ڪرڻ.

پيپر ان ڳالهه کي اجاگر ڪندي ختم ڪري ٿو ته SBCL جي بوٽ اسٽريپ جو عمل، پيچيده هجڻ دوران، هڪ "ننڍي، آڊيٽ ڪرڻ لائق ٻج کان هڪ مڪمل عام لِسپ سسٽم تائين رستو" مهيا ڪري ٿو، مؤثر طريقي سان "اعتماد اعتماد" جي مسئلي کي گھٽائي ٿو ۽ مرتب ڪندڙ سالميت لاءِ هڪ نئون معيار مقرر ڪري ٿو.

وراثت ۽ آخري اثر

SBCL تي 2008 جي پيپر ان جي شهرت کي نه رڳو تيز ترين عام لِسپ عملن مان هڪ، پر هڪ تمام مضبوط ۽ قابل اعتماد پڻ قرار ڏنو. اهو پوري سافٽ ويئر انڊسٽري لاءِ هڪ طاقتور ڪيس اسٽڊي جي طور تي ڪم ڪري ٿو، اهو ثابت ڪري ٿو ته ڪارڪردگي ۽ سيڪيورٽي جي ضرورت نه آهي هڪ ٻئي سان خاص. هڪ سمجھدار بوٽ اسٽريپ جي عمل کي ترجيح ڏيڻ سان، SBCL ڪميونٽي وڌيڪ اعتماد کي فروغ ڏنو ۽ ڊولپرز کي بااختيار بڻايو ته هو پنهنجي ٽول چين جي مڪمل ملڪيت حاصل ڪن. سسٽم ٺاهڻ جو اهو عزم جيڪو طاقتور ۽ سمجھ ۾ اچي ٿو، هڪ رهنمائي واري روشني رهي ٿي، سافٽ ويئر انجنيئرنگ لاءِ هڪ وڌيڪ دانستہ ۽ محفوظ طريقي کي متاثر ڪري ٿو، جيڪا تخليق جي پوري زنجير کي اهميت ڏئي ٿي، ڪوڊ جي پهرين قطار کان وٺي حتمي قابل عمل تائين.

اڪثر پڇيا ويندڙ سوال

SBCL جو تعارف ۽ ڊرائيو فار سافٽ ويئر پيورٽي

سافٽ ويئر ڊولپمينٽ جي پيچيدگي واري دنيا ۾، ڪجھ ڪم بنيادي طور تي آھن- يا ممڪن طور تي پيچيدگي سان ڀريل آھن- جيئن ھڪڙي گڏ ڪندڙ ٺاھيندڙ. اهو عمل، جيڪو بوٽ اسٽريپنگ جي نالي سان سڃاتو وڃي ٿو، شامل آهي هڪ موجوده ڪمپيلر استعمال ڪرڻ لاءِ پنهنجو پاڻ جو نئون ورزن ٺاهڻ. اهو هڪ ”ڪڪڙ ۽ انڊا“ جو مسئلو ٿي سگهي ٿو: توهان ڪيئن ٺهڪندڙ جي صحيحيت جي تصديق ڪندا آهيو جيڪو توهان جو ڪمپلر ٺاهيو آهي؟ 2008 ۾، ڪرسٽوفي روڊس جي پيپر، "SBCL: A Sanely-Bootstrapable Common Lisp" جي رليز سان عام لِسپ ڪميونٽي لاءِ ان ئي مسئلي کي حل ڪرڻ ۾ هڪ اهم سنگ ميل حاصل ڪيو ويو. هن ڪم Steel Bank Common Lisp (SBCL) کي اعليٰ ڪارڪردگيءَ تي عمل درآمد کان شفافيت ۽ ڀروسي جي پيراگون ۾ تبديل ڪيو، اهي اصول جيڪي اڄ جي سافٽ ويئر جي منظرنامي ۾ تمام گهڻي گونج ڪن ٿا ۽ Mewayz وانگر پليٽ فارمن جي بنيادي فلسفي سان هم آهنگ ٿين ٿا جيڪي قابل اعتماد، سمجھڻ لائق ڪاروباري نظام مهيا ڪرڻ چاهين ٿا.

"Sanely-Bootstrapable" جو مطلب ڇا آھي؟

SBCL جي تبديليءَ کان اڳ، ڪمن لِسپ ڪمپلر جي تعمير لاءِ اڪثر اڳي ئي موجود، اڪثر مالڪيءَ وارو، ڪمن لِسپ سسٽم گھربل هوندو هو ته جيئن تعميري عمل کي هلائڻ لاءِ. اهو هڪ "اعتماد اعتماد" جي زنجير تي هڪ انحصار پيدا ڪيو، هڪ تصور مشهور طور تي Ken Thompson پاران سندس 1984 ٽريننگ اوارڊ ليڪچر ۾ بيان ڪيو ويو آهي. تشويش اها آهي ته هڪ بدسلوڪي اداڪار هڪ ڪمپيلر ۾ لڪيل ڪمزوري کي متعارف ڪرائي سگهي ٿو، جيڪو پوءِ خاموشيءَ سان انهيءَ خطري جي پروپيگنڊا ڪندو هر ايندڙ پروگرام ۾، جنهن ۾ پاڻ جي مستقبل جا نسخا شامل آهن. ھڪڙو "sanely-bootstrapable" سسٽم ھن زنجير کي ٽوڙي ٿو. اهو گهٽ ۾ گهٽ، سادي شروعاتي نقطي کان هڪ صاف، آڊيٽ ڪرڻ وارو رستو مهيا ڪري ٿو- اڪثر ڪري ڪوڊ جو هڪ ننڍڙو مقدار هيٺين سطح جي ٻولي ۾ C- مڪمل، نفيس مرتب ڪندڙ تائين. هي ڊولپرز کي عمل جي هر مرحلي جي تصديق ڪرڻ جي اجازت ڏئي ٿو، انهي کي يقيني بڻائي ٿو ته نتيجو بائنري ڇنڊڇاڻ کان آزاد آهي ۽ ان جو رويو بلڪل ائين آهي جيئن ان جي سورس ڪوڊ جو مقصد آهي.

SBCL بوٽ اسٽريپ پروسيس: C کان عام ليسپ تائين

Christophe Rhodes جو پيپر تفصيل سان بيان ڪيو ويو آهي ته ڪيئن SBCL هن من موهيندڙ حيثيت حاصل ڪئي. بوٽ اسٽريپ جو عمل هڪ دلچسپ سفر آهي هڪ سسٽم جي تعمير جو پاڻ مرحلن ۾. اهو هڪ مڪمل عام Lisp ماحول سان نه، پر C ۾ لکيل هڪ گهٽ ۾ گهٽ Lisp مترجم سان شروع ٿئي ٿو. هي مترجم، جنهن کي اڪثر "ڪولڊ شروع" سسٽم سڏيو ويندو آهي، بنيادي SBCL سورس ڪوڊ کي هلائڻ لاءِ ڪافي طاقتور آهي. عمل ۾ ٻه اهم مرحلا شامل آهن:

ڇو بوٽ اسٽريپبلٽي ماڊرن سافٽ ويئر لاءِ اهميت رکي ٿي

SBCL جي جوڙجڪ جا اصول تعليمي دلچسپي کان تمام گهڻو اڳتي وڌن ٿا. هڪ دور ۾ جتي سافٽ ويئر سپلائي زنجير حملا هڪ نازڪ خطرو آهن، اسان جي استعمال ڪيل اوزار جي آڊٽ ۽ تصديق ڪرڻ جي صلاحيت تمام اهم آهي. ڪاروبار لاءِ جيڪي پيچيده سافٽ ويئر اسٽيڪ تي ڀاڙين ٿا ، بنيادي سطحن ۾ غير يقيني صورتحال اهم حفاظتي ۽ عملياتي خطرن جو سبب بڻجي سگهي ٿي. SBCL پيپر اهو ظاهر ڪري ٿو ته اهو ممڪن آهي ته طاقتور، پيچيده سسٽم ٺاهڻ بغير تصديق جي قرباني جي. هڪ قابل اعتماد بنياد کان شفاف ۽ قابل اعتماد سسٽم جي تعمير جو هي اخلاقيات Mewayz وانگر پليٽ فارمن طرفان شيئر ڪيو ويو آهي. جيئن SBCL سافٽ ويئر ڊولپمينٽ لاءِ هڪ مضبوط، آڊيٽ لائق بنياد مهيا ڪري ٿي، تيئن Mewayz جو مقصد هڪ ماڊيولر ۽ شفاف ڪاروباري OS مهيا ڪرڻ آهي، ڪمپنين کي انهن جي آپريشنل ڪم فلوز ۽ ڊيٽا جي سالميت جي باري ۾ واضح بصيرت فراهم ڪرڻ، اهڙي طرح هڪ وڌيڪ قابل اعتماد ۽ قابل ڪنٽرول ڪاروباري ماحول پيدا ڪرڻ.

وراثت ۽ آخري اثر

SBCL تي 2008 جي پيپر ان جي شهرت کي نه رڳو تيز ترين عام لِسپ عملن مان هڪ، پر هڪ تمام مضبوط ۽ قابل اعتماد پڻ قرار ڏنو. اهو پوري سافٽ ويئر انڊسٽري لاءِ هڪ طاقتور ڪيس اسٽڊي جي طور تي ڪم ڪري ٿو، اهو ثابت ڪري ٿو ته ڪارڪردگي ۽ سيڪيورٽي جي ضرورت نه آهي هڪ ٻئي سان خاص. هڪ سمجھدار بوٽ اسٽريپ جي عمل کي ترجيح ڏيڻ سان، SBCL ڪميونٽي وڌيڪ اعتماد کي فروغ ڏنو ۽ ڊولپرز کي بااختيار بڻايو ته هو پنهنجي ٽول چين جي مڪمل ملڪيت حاصل ڪن. سسٽم ٺاهڻ جو اهو عزم جيڪو طاقتور ۽ سمجھ ۾ اچي ٿو، هڪ رهنمائي واري روشني رهي ٿي، سافٽ ويئر انجنيئرنگ لاءِ هڪ وڌيڪ دانستہ ۽ محفوظ طريقي کي متاثر ڪري ٿو، جيڪا تخليق جي پوري زنجير کي اهميت ڏئي ٿي، ڪوڊ جي پهرين قطار کان وٺي حتمي قابل عمل تائين.