په میموریم کې، ټوني هور

<مقاله>

په یادګار کې: سر چارلس انتوني ریچارډ هور (ټوني هوار)

د کمپیوټري نړۍ خپل یو بنسټ ایښودونکی معمار له لاسه ورکړ. سر چارلس انتوني ریچارډ هور، چې ټولو ته د ټوني هویر په نوم پیژندل کیږي، مړ شو، او یو میراث یې پریښود چې د سافټویر هرې برخې ته چې موږ یې نن ورځ کاروو په لفظي ډول اوبدل شوی. زموږ لپاره په میویز کې د ماډلر سوداګرۍ عملیاتي سیسټم رامینځته کول، د هغه کار یوازې اکادمیک تاریخ نه دی؛ دا د باور وړ او اغیزمن سیسټم ډیزاین خورا بنسټ دی. د هغه تیریدل موږ ته بلنه راکوي چې د هغه د ونډې ژورې اغیزې منعکس کړو، د Quicksort الګوریتم له ښکلي منطق څخه د سافټویر درستۍ بنسټیزو اصولو ته چې د عصري پرمختګ لارښوونه کوي.

د ښکلا معمار: Quicksort and the Null Reference

د ټوني هور نوم د دوو یادگارونو سره مترادف دی، مګر په زړه پورې متضاد، ونډې. په 1960 کې، هغه د Quicksort algorithm اختراع کړ، چې د موثریت یوه غوره نمونه ده چې یو له خورا مطالعې او کارول شوي ترتیب کولو میتودونو څخه پاتې دی. د دې ښکلا د دې "تقسیم او فتح" چلند کې پروت دی، یو مفهوم چې د میویز ماډلر فلسفې سره ژور تړاو لري. موږ خپل پلیټ فارم د مدیریت وړ، د مداخلې وړ ماډلونو ته د پیچلو سوداګریزو پروسو په ماتولو سره جوړوو، لکه څنګه چې Quicksort یوه ستونزه په اغیزمنه توګه حل کړي.

په مقابل کې، هوار په ۱۹۶۵ کال کې د null Reference مفهوم هم په مشهوره توګه معرفي کړ، چې وروسته یې د "میلیارد ډالرو تېروتنې" په نوم یاد کړ. دا اختراع، چې موخه یې د ارزښت د نشتوالي استازیتوب کول دي، په ناڅاپي توګه د لسیزو لپاره د چلولو وخت تېروتنو او کیګونو لومړنۍ سرچینه شوه. بیا هم، حتی دا "غلطي" په عاجزۍ او د سخت ډیزاین اهمیت کې یو درس و - یو درس چې موږ په میویز کې د انعطاف وړ سیسټمونه څنګه جوړوو، چیرته چې د معلوماتو روښانه جوړښتونه او د خطا اداره کول خورا مهم دي.

د سموالي بنسټ: هوار منطق

شاید د هوار تر ټولو مهمه ونډه په ۱۹۶۹ کال کې د هوار منطق پراختیا وه. دا رسمي سیستم د کمپیوټري پروګرامونو د سموالي د ثابتولو لپاره ریاضيکي چوکاټ برابروي. دا د `{P} C {Q}` شکل درې ځله کاروي، چیرته چې `P` یو مخکینی شرط دی، `C` کمانډ دی، او `Q` یو پوسټ شرط دی. دا پدې مانا ده چې که د C کمانډ چلولو دمخه مخکینۍ شرط P ریښتیا وي، نو وروسته حالت Q تضمین کیږي چې وروسته ریښتیا وي.

په داسې حال کې چې د بشپړ رسمي تصدیق پلي کول اکثرا په ګړندۍ سوداګرۍ چاپیریال کې غیر عملي وي، د هوار منطق اصول ارزښتناک دي. دوی موږ ته درس راکوي چې د سافټویر د هرې برخې د آخذو، پایلو، او اړخیزو اغیزو په اړه په کلکه فکر وکړو. په Mewayz کې، دا د واضح قراردادونو او ښه تعریف شوي چلندونو سره زموږ د ماډلونو ډیزاین کولو کې ژباړه کوي، ډاډ ترلاسه کوي چې کله تاسو د خپل سوداګرۍ OS مختلف برخې سره وصل کړئ، دوی د اټکل او باور سره یوځای کار کوي.

د عصري سافټویر او سوداګرۍ سیسټمونو لپاره درسونه

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

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

د ټوني هور کلیدي ونډې عبارت دي له:

• Hoare Logic (1969): د کمپیوټر پروګرامونو د سموالي په اړه د استدلال لپاره رسمي سیسټم.
• د مخابراتو ترتیبي پروسې (CSP): د همغږي پروګرامونو لپاره یو بنسټیز ماډل، د ګو په څیر ژبو اغیزه کوي.
• The Null Reference (1965): یو نفوذ لرونکی، که څه هم وروسته پښیمانه شو، اختراع چې د لسیزو پروګرامینګ ژبې ډیزاین ته بڼه ورکړه.

"د سافټویر ډیزاین جوړولو لپاره دوه لارې شتون لري: یوه لاره دا ده چې دا دومره ساده کړئ چې په ښکاره ډول نیمګړتیاوې شتون نلري او بله لاره دا ده چې دا دومره پیچلې کړي چې هیڅ ښکاره نیمګړتیاوې پکې شتون نلري. لومړۍ طریقه خورا ستونزمنه ده."

یو تلپاتې میراث

سر ټوني هوار د کمپیوټر ساینس پوه نه و. هغه یو لیدونکی و چې د ډیجیټل نړۍ جوړولو لپاره یې وسایل او ذهنیت چمتو کړ. د سادګۍ، سموالي او همغږي په اړه د هغه نظرونه د انجنیرانو نسلونو ته هڅوي. لکه څنګه چې موږ د میویز پلیټ فارم ته وده ورکولو ته دوام ورکوو، موږ د دې لوی په اوږو ولاړ یو، د سوداګرۍ سافټویر په جوړولو سره د هغه د میراث د درناوي لپاره هڅه کوو چې نه یوازې فعال بلکې په بنسټیز ډول ښه وي. هغه به په ژوره توګه یاد شي، مګر د هغه اصول به د کمپیوټر راتلونکي لارښود ته دوام ورکړي.

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

په یادګار کې: سر چارلس انتوني ریچارډ هور (ټوني هوار)

د کمپیوټري نړۍ خپل یو بنسټ ایښودونکی معمار له لاسه ورکړ. سر چارلس انتوني ریچارډ هور، چې ټولو ته د ټوني هویر په نوم پیژندل کیږي، مړ شو، او یو میراث یې پریښود چې د سافټویر هرې برخې ته چې موږ یې نن ورځ کاروو په لفظي ډول اوبدل شوی. زموږ لپاره په میویز کې د ماډلر سوداګرۍ عملیاتي سیسټم رامینځته کول، د هغه کار یوازې اکادمیک تاریخ نه دی؛ دا د باور وړ او اغیزمن سیسټم ډیزاین خورا بنسټ دی. د هغه تیریدل موږ ته بلنه راکوي چې د هغه د ونډې ژورې اغیزې منعکس کړو، د Quicksort الګوریتم له ښکلي منطق څخه د سافټویر درستۍ بنسټیزو اصولو ته چې د عصري پرمختګ لارښوونه کوي.

د ښکلا معمار: Quicksort and the Null Reference

د ټوني هور نوم د دوو یادگارونو سره مترادف دی، مګر په زړه پورې متضاد، ونډې. په 1960 کې، هغه د Quicksort algorithm اختراع کړ، چې د موثریت یوه غوره نمونه ده چې یو له خورا مطالعې او کارول شوي ترتیب کولو میتودونو څخه پاتې دی. د دې ښکلا د دې "تقسیم او فتح" چلند کې پروت دی، یو مفهوم چې د میویز ماډلر فلسفې سره ژور تړاو لري. موږ خپل پلیټ فارم د مدیریت وړ، د مداخلې وړ ماډلونو ته د پیچلو سوداګریزو پروسو په ماتولو سره جوړوو، لکه څنګه چې Quicksort یوه ستونزه په اغیزمنه توګه حل کړي.

د سموالي بنسټ: هوار منطق

شاید د هوار تر ټولو مهمه ونډه په ۱۹۶۹ کال کې د هوار منطق پراختیا وه. دا رسمي سیستم د کمپیوټري پروګرامونو د سموالي د ثابتولو لپاره ریاضيکي چوکاټ برابروي. دا د `{P} C {Q}` شکل درې ځله کاروي، چیرته چې `P` یو مخکینی شرط دی، `C` کمانډ دی، او `Q` یو پوسټ شرط دی. دا پدې مانا ده چې که د C کمانډ چلولو دمخه مخکینۍ شرط P ریښتیا وي، نو وروسته حالت Q تضمین کیږي چې وروسته ریښتیا وي.

د عصري سافټویر او سوداګرۍ سیسټمونو لپاره درسونه

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

یو تلپاتې میراث

سر ټوني هوار د کمپیوټر ساینس پوه نه و. هغه یو لیدونکی و چې د ډیجیټل نړۍ جوړولو لپاره یې وسایل او ذهنیت چمتو کړ. د سادګۍ، سموالي او همغږي په اړه د هغه نظرونه د انجنیرانو نسلونو ته هڅوي. لکه څنګه چې موږ د میویز پلیټ فارم ته وده ورکولو ته دوام ورکوو، موږ د دې لوی په اوږو ولاړ یو، د سوداګرۍ سافټویر په جوړولو سره د هغه د میراث د درناوي لپاره هڅه کوو چې نه یوازې فعال بلکې په بنسټیز ډول ښه وي. هغه به په ژوره توګه یاد شي، مګر د هغه اصول به د کمپیوټر راتلونکي لارښود ته دوام ورکړي.