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

د SBCL پیژندنه او د سافټویر پاکوالي لپاره ډرایو

د سافټویر د پراختیا په پیچلې نړۍ کې، لږ کارونه بنسټیز دي - یا د احتمالي پیچلتیا څخه ډک دي - لکه څنګه چې د کمپیلر جوړول. پروسه چې د بوټسټریپینګ په نوم پیژندل کیږي ، د خپل ځان نوې نسخه رامینځته کولو لپاره د موجوده کمپیلر کارول شامل دي. دا کولی شي د "چرګ او هګۍ" ستونزې لامل شي: تاسو څنګه د کمپیلر درستیت تصدیق کوئ چې ستاسو کمپیلر یې جوړ کړی؟ په 2008 کې، د کریسټوف روډس د کاغذ په خپرولو سره د عام لیسپ ټولنې لپاره د دې مسلې په حل کې یو مهم ګام ترلاسه شو، "SBCL: A Sanely-Botstrapable Common Lisp." دې کار د سټیل بانک کامن لیسپ (SBCL) د لوړ فعالیت پلي کولو څخه د روڼتیا او باور په پیرګون بدل کړ، هغه اصول چې د نن ورځې سافټویر منظره کې ژور سره غږیږي او د Mewayz په څیر د پلیټ فارمونو اصلي فلسفې سره سمون لري چې د باور وړ او د پوهیدو وړ سوداګرۍ سیسټمونه چمتو کوي.

د "Sanely-Botstrapable" معنی څه ده؟

د SBCL د بدلون څخه دمخه، د یو مشترک Lisp کمپیلر جوړول اکثرا د جوړونې پروسې پرمخ وړلو لپاره د پخوا څخه موجود، اکثرا ملکیت، مشترک Lisp سیسټم ته اړتیا درلوده. دې د "باور اعتماد" سلسله باندې تکیه رامینځته کړه ، یو مفهوم چې د کین تامپسن لخوا د هغه د 1984 ټورینګ جایزې لیکچر کې مشهور شوی. اندیښنه دا ده چې یو ناوړه لوبغاړی کولی شي په کمپیلر کې پټ زیان منونکي معرفي کړي، چې بیا به په خاموشۍ سره دا زیانمنتیا په هر راتلونکي پروګرام کې چې دا یې تالیف کوي، د ځان راتلونکي نسخې په شمول تبلیغوي. یو "په سمه توګه د بوټسټراپ وړ" سیسټم دا سلسله ماتوي. دا د لږترلږه، ساده پیل ټکي څخه روښانه، د پلټنې وړ لاره چمتو کوي - ډیری وختونه د ټیټې کچې ژبې لکه C - بشپړ، پیچلي کمپیلر ته لږ مقدار کوډ. دا پرمخ وړونکو ته اجازه ورکوي چې د پروسې هر پړاو تصدیق کړي، دا یقیني کوي چې پایله لرونکی بائنری د لاسوهنې څخه پاک دی او چلند یې په سمه توګه د دې سرچینې کوډ لخوا ټاکل شوی دی.

د SBCL بوټسټریپ پروسه: له C څخه عام لیسپ ته

د کریسټوف روډز مقاله په تفصیل سره بیانوي چې SBCL څنګه دا مطلوب دریځ ترلاسه کړ. د بوټسټریپ پروسه پخپله په مرحلو کې د سیسټم رامینځته کولو یو زړه راښکونکی سفر دی. دا د بشپړ عام Lisp چاپیریال سره نه پیل کیږي، مګر د لږترلږه Lisp ژباړونکي سره چې په C کې لیکل شوي. دا ترجمان چې ډیری وختونه د "کولډ سټارټ" سیسټم په نوم یادیږي، یوازې دومره پیاوړی دی چې د اصلي SBCL سرچینې کوډ اجرا کړي. پروسه دوه مهمې مرحلې لري:

• لومړی مرحله: د C-based ژباړونکي د SBCL بنسټیز سرچینې فایلونه تالیف کوي. دا یو ابتدايي مګر فعال SBCL چاپیریال رامینځته کوي چې لاهم د ژباړونکي په سر کې روان دی.
• دوهمه مرحله: د SBCL دا نوی چاپیریال بیا د SBCL سرچینې کوډ بیا راټولولو لپاره کارول کیږي، مګر دا ځل په بشپړ ډول په خپل ځان کې. پایله د "ګرم" SBCL اجرا وړ ده چې د اصلي C ژباړونکي څخه خپلواکه ده او کولی شي په اصلي ډول په کوربه ماشین کې پرمخ بوځي.

دا د ځان کوربه توب وړتیا په سمه توګه د بوټسټراپ وړ کیدو اساس دی. دا پدې مانا ده چې هرڅوک کولی شي د SBCL خپاره شوي سرچینې کوډ واخلي او د معیاري C کمپیلر سره، یو تایید شوی، باوري SBCL جوړ کړي چې له ځمکې څخه د اجرا وړ وي. دا په بالقوه ډول جوړ شوي مخکې جوړ شوي بائنریز باندې تکیه له منځه وړي.

ولې د عصري سافټویر لپاره د بوټسټراپ وړتیا مهم دی

د SBCL د ډیزاین تر شا اصول د اکادمیک ګټو څخه ډیر پراخ دي. په هغه دوره کې چې د سافټویر اکمالاتو سلسلې بریدونه یو مهم ګواښ دی، د هغه وسیلو د پلټنې او تصدیق کولو وړتیا چې موږ یې کاروو خورا مهم دی. د سوداګرۍ لپاره چې د پیچلي سافټویر سټیکونو پورې اړه لري ، په بنسټیزو پرتونو کې ناڅرګندتیا کولی شي د پام وړ امنیت او عملیاتي خطرونو لامل شي. د SBCL پاڼه ښیي چې دا ممکنه ده چې پیاوړې، پیچلي سیسټمونه جوړ کړي پرته له دې چې د تایید وړتیا قرباني کړي. د باوري بنسټ څخه د شفاف او باوري سیسټمونو رامینځته کولو دا اخلاق د میویز په څیر پلیټ فارمونو لخوا شریک شوي. لکه څنګه چې SBCL د سافټویر پراختیا لپاره یو قوي، د پلټنې وړ اساس چمتو کوي، Mewayz موخه دا ده چې یو ماډلر او شفاف سوداګریز OS چمتو کړي، شرکتونو ته د دوی عملیاتي کاري جریان او د معلوماتو بشپړتیا په اړه روښانه بصیرت ورکوي، په دې توګه د باور وړ او کنټرول وړ سوداګرۍ چاپیریال رامینځته کوي.

پاڼه د دې په ګوته کولو سره پای ته رسیږي چې د SBCL بوټسټریپ پروسه پیچلې ده، په داسې حال کې چې د "کوچني، د پلټنې وړ تخم څخه بشپړ عام لیسپ سیسټم ته لاره برابروي،" په مؤثره توګه د "باور اعتماد" ستونزه کموي او د کمپیلر بشپړتیا لپاره یو نوی معیار ترتیبوي.

میراث او دوامدار اغیز

د SBCL په اړه د 2008 کال کاغذ خپل شهرت نه یوازې د یو ترټولو ګړندۍ عام Lisp پلي کولو په توګه وټاکه، بلکې یو له خورا پیاوړې او د باور وړ هم دی. دا د ټول سافټویر صنعت لپاره د یوې پیاوړې قضیې مطالعې په توګه کار کوي، دا ثابتوي چې فعالیت او امنیت باید په دوه اړخیزه توګه ځانګړي نه وي. د سالم بوټسټریپ پروسې ته لومړیتوب ورکولو سره، د SBCL ټولنې ډیر باور رامینځته کړ او پراختیا کونکو ته یې ځواک ورکړ چې د دوی د وسیلې چین بشپړ ملکیت واخلي. د سیسټمونو رامینځته کولو لپاره دا ژمنتیا چې دواړه ځواکمن او د پوهیدو وړ دي یو لارښود ر lightا پاتې کیږي ، د سافټویر انجینرۍ ته یو ډیر عمدي او خوندي چلند هڅوي چې د رامینځته کولو ټولې سلسلې ته ارزښت ورکوي ، د کوډ له لومړۍ کرښې څخه تر وروستي اجرا وړ پورې.

په مکرر ډول پوښتل شوي پوښتنې

د SBCL پیژندنه او د سافټویر د پاکوالي لپاره ډرایو

د سافټویر د پراختیا په پیچلې نړۍ کې، لږ کارونه بنسټیز دي - یا د احتمالي پیچلتیا څخه ډک دي - لکه څنګه چې د کمپیلر جوړول. پروسه چې د بوټسټریپینګ په نوم پیژندل کیږي ، د خپل ځان نوې نسخه رامینځته کولو لپاره د موجوده کمپیلر کارول شامل دي. دا کولی شي د "چرګ او هګۍ" ستونزې لامل شي: تاسو څنګه د کمپیلر درستیت تصدیق کوئ چې ستاسو کمپیلر یې جوړ کړی؟ په 2008 کې، د کریسټوف روډس د کاغذ په خپرولو سره د عام لیسپ ټولنې لپاره د دې مسلې په حل کې یو مهم ګام ترلاسه شو، "SBCL: A Sanely-Botstrapable Common Lisp." دې کار د سټیل بانک کامن لیسپ (SBCL) د لوړ فعالیت پلي کولو څخه د روڼتیا او باور په پیرګون بدل کړ، هغه اصول چې د نن ورځې سافټویر منظره کې ژور سره غږیږي او د Mewayz په څیر د پلیټ فارمونو اصلي فلسفې سره سمون لري چې د باور وړ او د پوهیدو وړ سوداګرۍ سیسټمونه چمتو کوي.

"Sanely-Botstrapable" څه معنی لري؟

د SBCL د بدلون څخه دمخه، د یو مشترک Lisp کمپیلر جوړول اکثرا د جوړونې پروسې پرمخ وړلو لپاره د پخوا څخه موجود، اکثرا ملکیت، مشترک Lisp سیسټم ته اړتیا درلوده. دې د "باور اعتماد" سلسله باندې تکیه رامینځته کړه ، یو مفهوم چې د کین تامپسن لخوا د هغه د 1984 ټورینګ جایزې لیکچر کې مشهور شوی. اندیښنه دا ده چې یو ناوړه لوبغاړی کولی شي په کمپیلر کې پټ زیان منونکي معرفي کړي، چې بیا به په خاموشۍ سره دا زیانمنتیا په هر راتلونکي پروګرام کې چې دا یې تالیف کوي، د ځان راتلونکي نسخې په شمول تبلیغوي. یو "په سمه توګه د بوټسټراپ وړ" سیسټم دا سلسله ماتوي. دا د لږترلږه، ساده پیل ټکي څخه روښانه، د پلټنې وړ لاره چمتو کوي - ډیری وختونه د ټیټې کچې ژبې لکه C - بشپړ، پیچلي کمپیلر ته لږ مقدار کوډ. دا پرمخ وړونکو ته اجازه ورکوي چې د پروسې هر پړاو تصدیق کړي، دا یقیني کوي چې پایله لرونکی بائنری د لاسوهنې څخه پاک دی او چلند یې په سمه توګه د دې سرچینې کوډ لخوا ټاکل شوی دی.

د SBCL بوټسټریپ پروسه: له C څخه عام لیسپ ته

د کریسټوف روډز مقاله په تفصیل سره بیانوي چې SBCL څنګه دا مطلوب دریځ ترلاسه کړ. د بوټسټریپ پروسه پخپله په مرحلو کې د سیسټم رامینځته کولو یو زړه راښکونکی سفر دی. دا د بشپړ عام Lisp چاپیریال سره نه پیل کیږي، مګر د لږترلږه Lisp ژباړونکي سره چې په C کې لیکل شوي. دا ترجمان چې ډیری وختونه د "کولډ سټارټ" سیسټم په نوم یادیږي، یوازې دومره پیاوړی دی چې د اصلي SBCL سرچینې کوډ اجرا کړي. پروسه دوه مهمې مرحلې لري:

ولې د عصري سافټویر لپاره د بوټسټراپ وړتیا مهم دی

د SBCL د ډیزاین تر شا اصول د اکادمیک ګټو څخه ډیر پراخ دي. په هغه دوره کې چې د سافټویر اکمالاتو سلسلې بریدونه یو مهم ګواښ دی، د هغه وسیلو د پلټنې او تصدیق کولو وړتیا چې موږ یې کاروو خورا مهم دی. د سوداګرۍ لپاره چې د پیچلي سافټویر سټیکونو پورې اړه لري ، په بنسټیزو پرتونو کې ناڅرګندتیا کولی شي د پام وړ امنیت او عملیاتي خطرونو لامل شي. د SBCL پاڼه ښیي چې دا ممکنه ده چې پیاوړې، پیچلي سیسټمونه جوړ کړي پرته له دې چې د تایید وړتیا قرباني کړي. د باوري بنسټ څخه د شفاف او باوري سیسټمونو رامینځته کولو دا اخلاق د میویز په څیر پلیټ فارمونو لخوا شریک شوي. لکه څنګه چې SBCL د سافټویر پراختیا لپاره یو قوي، د پلټنې وړ اساس چمتو کوي، Mewayz موخه دا ده چې یو ماډلر او شفاف سوداګریز OS چمتو کړي، شرکتونو ته د دوی عملیاتي کاري جریان او د معلوماتو بشپړتیا په اړه روښانه بصیرت ورکوي، په دې توګه د باور وړ او کنټرول وړ سوداګرۍ چاپیریال رامینځته کوي.

میراث او دوامدار اغیز

د SBCL په اړه د 2008 کال کاغذ خپل شهرت نه یوازې د یو ترټولو ګړندۍ عام Lisp پلي کولو په توګه وټاکه، بلکې یو له خورا پیاوړې او د باور وړ هم دی. دا د ټول سافټویر صنعت لپاره د یوې پیاوړې قضیې مطالعې په توګه کار کوي، دا ثابتوي چې فعالیت او امنیت باید په دوه اړخیزه توګه ځانګړي نه وي. د سالم بوټسټریپ پروسې ته لومړیتوب ورکولو سره، د SBCL ټولنې ډیر باور رامینځته کړ او پراختیا کونکو ته یې ځواک ورکړ چې د دوی د وسیلې چین بشپړ ملکیت واخلي. د سیسټمونو رامینځته کولو لپاره دا ژمنتیا چې دواړه ځواکمن او د پوهیدو وړ دي یو لارښود ر lightا پاتې کیږي ، د سافټویر انجینرۍ ته یو ډیر عمدي او خوندي چلند هڅوي چې د رامینځته کولو ټولې سلسلې ته ارزښت ورکوي ، د کوډ له لومړۍ کرښې څخه تر وروستي اجرا وړ پورې.