Memoriam တွင် Tony Hoare

Memoriam တွင်- Sir Charles Antony Richard Hoare (Tony Hoare)

ကွန်ပြူတာလောကသည် ၎င်း၏တည်ထောင်သူ ဗိသုကာပညာရှင်တစ်ဦးကို ဆုံးရှုံးခဲ့သည်။ Tony Hoare ဟု အားလုံးသိကြသော Sir Charles Antony Richard Hoare သည် ကွယ်လွန်သွားခဲ့ပြီး ယနေ့ကျွန်ုပ်တို့အသုံးပြုနေသော software အစိတ်အပိုင်းတိုင်း၏ အစိတ်အပိုင်းအားလုံး၏ အစိတ်အပိုင်းတစ်ခုအဖြစ် အမှန်တကယ် ချည်နှောင်ထားသော အမွေအနှစ်တစ်ခု ကျန်ရစ်ခဲ့သည်။ Mewayz မှ ကျွန်ုပ်တို့အတွက်၊ modular စီးပွားရေးလည်ပတ်မှုစနစ်တစ်ခုတည်ဆောက်ခြင်းအတွက်၊ သူ၏အလုပ်သည် ပညာရေးသမိုင်းသာမက၊ ၎င်းသည် ယုံကြည်စိတ်ချရပြီး ထိရောက်သော စနစ်ဒီဇိုင်း၏ အခြေခံအုတ်မြစ်ဖြစ်သည်။ သူ၏အောင်မြင်မှုသည် ခေတ်မီဖွံ့ဖြိုးတိုးတက်မှုကို လမ်းညွှန်ပေးသည့် ဆော့ဖ်ဝဲလ်မှန်ကန်မှု၏ အခြေခံမူများအထိ၊ အမြန်အမျိုးအစားခွဲသည့် အယ်လဂိုရီသမ်၏ ကြော့ရှင်းသောယုတ္တိမှသည် သူ၏ပံ့ပိုးကူညီမှုများ၏ လေးနက်သောအကျိုးသက်ရောက်မှုကို တွေးတောဆင်ခြင်ရန် ကျွန်ုပ်တို့ကို ဖိတ်ခေါ်ပါသည်။

Elegance of Architect: Quicksort နှင့် Null Reference

Tony Hoare ၏ အမည်သည် ထူးထူးခြားခြား ခြားနားသော်လည်း ထူးဆန်းသော ပံ့ပိုးကူညီမှုနှစ်ခုနှင့် အဓိပ္ပါယ်တူပါသည်။ 1960 ခုနှစ်တွင် သူသည် လေ့လာပြီး အသုံးအများဆုံး စီခြင်းနည်းလမ်းများထဲမှ တစ်ခုအဖြစ် ကျန်ရှိနေသော ထိရောက်မှု၏ လက်ရာဖြစ်သည့် အမြန်အမျိုးအစား အယ်လဂိုရီသမ်ကို တီထွင်ခဲ့သည်။ ၎င်း၏ ကျက်သရေရှိမှုသည် Mewayz ၏ မော်ဂျူလာဒဿနနှင့် နက်နက်ရှိုင်းရှိုင်း ပဲ့တင်ထပ်နေသည့် အယူအဆတစ်ခုဖြစ်သည့် ၎င်း၏ "ခွဲထွက်ပြီး အောင်နိုင်" ချဉ်းကပ်မှုတွင် တည်ရှိသည်။ Quicksort သည် ပြဿနာတစ်ခုကို ထိရောက်စွာဖြေရှင်းနိုင်စေရန် ခွဲခြမ်းလိုက်သကဲ့သို့ စီမံခန့်ခွဲနိုင်သော အပြန်အလှန်လုပ်ဆောင်နိုင်သော မော်ဂျူးများအဖြစ် ရှုပ်ထွေးသောစီးပွားရေးလုပ်ငန်းစဉ်များကို ဖြိုဖျက်ခြင်းဖြင့် ကျွန်ုပ်တို့၏ပလပ်ဖောင်းကို တည်ဆောက်ပါသည်။

အပြန်အလှန်အားဖြင့် Hoare သည် ၎င်း၏ "ဒေါ်လာဘီလီယံချီသောအမှား" ဟုခေါ်သည့် 1965 တွင် null ကိုးကားခြင်းသဘောတရားကိုလည်း ကျော်ကြားစွာမိတ်ဆက်ခဲ့သည်။ တန်ဖိုးမရှိခြင်းကို ကိုယ်စားပြုရန် ရည်ရွယ်သော ဤတီထွင်မှုသည် ဆယ်စုနှစ်များစွာကြာ runtime errors နှင့် bugs များ၏ အဓိကအရင်းအမြစ်ဖြစ်လာခဲ့သည်။ သို့သော်၊ ဤ "အမှား" သည်ပင်လျှင် နှိမ့်ချမှုနှင့် တိကျခိုင်မာသော ဒီဇိုင်းများ၏ အရေးပါမှုဆိုင်ရာ သင်ခန်းစာတစ်ခုဖြစ်သည်—ရှင်းလင်းသော ဒေတာဖွဲ့စည်းပုံများနှင့် အမှားအယွင်းများကို ကိုင်တွယ်ဖြေရှင်းခြင်းသည် အရေးကြီးဆုံးဖြစ်သည့် Mewayz တွင် ခံနိုင်ရည်ရှိသောစနစ်များကို ကျွန်ုပ်တို့ မည်သို့တည်ဆောက်ကြောင်း အသိပေးသည့် သင်ခန်းစာတစ်ခုဖြစ်သည်။

မှန်ကန်မှု၏အခြေခံအုတ်မြစ်- Hoare Logic

Hoare ၏ အထင်ရှားဆုံးသော ပံ့ပိုးကူညီမှုသည် Hoare Logic 1969 တွင် ဖွံ့ဖြိုးတိုးတက်မှု ဖြစ်ကောင်းဖြစ်နိုင်သည်။ ဤတရားဝင်စနစ်သည် ကွန်ပျူတာပရိုဂရမ်များ၏ မှန်ကန်မှုကို သက်သေပြရန်အတွက် သင်္ချာဘောင်တစ်ခုကို ပံ့ပိုးပေးပါသည်။ `{P} C {Q}` တွင် `P` သည် ကြိုတင်သတ်မှတ်ချက်တစ်ခုဖြစ်ပြီး `C` သည် အမိန့်တစ်ခုဖြစ်ပြီး `Q` သည် post condition တစ်ခုဖြစ်သည်။ ဆိုလိုသည်မှာ command C မဖွင့်မီ ကြိုတင်သတ်မှတ်ချက် P သည် မှန်ပါက၊ ထို့နောက် postcondition Q သည် အမှန်ဖြစ်ကြောင်း အာမခံပါသည်။

တရားဝင်အတည်ပြုခြင်းကို အပြည့်အဝကျင့်သုံးခြင်းသည် လျင်မြန်သောစီးပွားရေးပတ်ဝန်းကျင်တွင် မကြာခဏ လက်တွေ့မကျသော်လည်း Hoare Logic ၏အခြေခံမူများသည် တန်ဖိုးမဖြတ်နိုင်ပါ။ ၎င်းတို့သည် ဆော့ဖ်ဝဲလ်အစိတ်အပိုင်းတိုင်း၏ သွင်းအားစုများ၊ အထွက်များနှင့် ဘေးထွက်ဆိုးကျိုးများအကြောင်း ပြင်းပြင်းထန်ထန်တွေးတတ်ရန် သင်ပေးပါသည်။ Mewayz တွင်၊ ၎င်းသည် ကျွန်ုပ်တို့၏ module များကို ရှင်းလင်းသော စာချုပ်များနှင့် ကောင်းစွာသတ်မှတ်ထားသော အမူအကျင့်များဖြင့် ဒီဇိုင်းထုတ်ကာ သင့်လုပ်ငန်း OS ၏ မတူညီသောအစိတ်အပိုင်းများကို ချိတ်ဆက်သည့်အခါ ၎င်းတို့သည် ကြိုတင်မှန်းဆပြီး ယုံကြည်စိတ်ချစွာ အတူတကွလုပ်ဆောင်နိုင်ကြောင်း သေချာစေပါသည်။

ခေတ်မီဆော့ဖ်ဝဲနှင့် စီးပွားရေးစနစ်များအတွက် သင်ခန်းစာများ

Tony Hoare ၏အသက်မွေးဝမ်းကြောင်းအလုပ်သည် ယနေ့ခေတ်ဆော့ဖ်ဝဲလ်တီထွင်သူများနှင့် ပလက်ဖောင်းတည်ဆောက်သူများအတွက် တာရှည်ခံသင်ခန်းစာများပေးသည်။ သူ၏အလုပ်သည် ရှင်းလင်းပြတ်သားမှု၊ ရိုးရှင်းမှုနှင့် အရည်အသွေးကို မဆုတ်မနစ်လိုက်စားမှုတို့ကို လွှမ်းမိုးထားသည်။ ပိုရှုပ်ထွေးတဲ့ software stacks တွေခေတ်မှာ၊ ဒီမူတွေက အရင်ကထက် ပိုအရေးကြီးတယ်။ အသုံးပြုသူ အင်တာဖေ့စ်များနှင့် API များအောက်တွင်၊ စနစ်တစ်ခု၏ ပင်မအရည်အသွေးသည် ၎င်း၏ယုတ္တိခိုင်လုံမှုအပေါ် မူတည်ကြောင်း ၎င်းတို့က ကျွန်ုပ်တို့အား သတိပေးပါသည်။

Mewayz တွင်၊ ကျွန်ုပ်တို့သည် အစွမ်းထက်ပြီး အားကိုးနိုင်သော စီးပွားရေး OS တစ်ခုကို ဖန်တီးခြင်းဖြင့် ဤသင်ခန်းစာများကို ပေါင်းစပ်ရန် ကြိုးပမ်းပါသည်။ ကျွန်ုပ်တို့၏အသုံးပြုသူများသည် အရင်းခံမတည်မငြိမ်ဖြစ်မည်ကို စိုးရိမ်စရာမလိုဘဲ ၎င်းတို့၏လုပ်ငန်းအသွားအလာများကို ယုံကြည်မှုရှိရှိ အလိုအလျောက်လုပ်ဆောင်နိုင်ပြီး ပေါင်းစပ်နိုင်စေရန် ခိုင်မာသောအခြေခံအုတ်မြစ်ကို တည်ဆောက်ရန် ကျွန်ုပ်တို့အာရုံစိုက်ပါသည်။ Hoare ၏ မှန်ကန်သော ဆော့ဖ်ဝဲလ်၏ အမြင်သည် ကျွန်ုပ်တို့ ထုတ်လွှတ်သည့် module တိုင်းတွင် ကြံ့ခိုင်မှုကို ဦးစားပေးရန် ကျွန်ုပ်တို့အား လှုံ့ဆော်ပေးပါသည်။

Tony Hoare ၏ အဓိက ပံ့ပိုးကူညီမှုများ ပါဝင်သည်-

• Quicksort Algorithm (1960): ပိုင်းခြားပြီး အောင်နိုင်မှုဆိုင်ရာ ပါရာဒိုင်းကို အခြေခံ၍ အလွန်ထိရောက်သော စီခြင်းဆိုင်ရာ အယ်လဂိုရီသမ်။
• Hoare Logic (1969): ကွန်ပျူတာပရိုဂရမ်များ၏ မှန်ကန်မှုနှင့် ပတ်သက်၍ ကျိုးကြောင်းဆင်ခြင်ခြင်းအတွက် တရားဝင်စနစ်တစ်ခု။
• Communication Sequential Processes (CSP)- Go ကဲ့သို့ ဘာသာစကားများကို လွှမ်းမိုးသည့် တစ်ပြိုင်တည်း ပရိုဂရမ်ရေးဆွဲခြင်းအတွက် အခြေခံစံနမူနာတစ်ခု။
• The Null Reference (1965)- ဆယ်စုနှစ်များစွာ ပရိုဂရမ်းမင်းဘာသာစကား ဒီဇိုင်းကို ပုံဖော်သည့် တီထွင်မှုတစ်ခုသည် နောက်ပိုင်းတွင် နောင်တရခဲ့သော်လည်း နောင်တရသော်လည်း သြဇာညောင်းသည်။

"ဆော့ဖ်ဝဲလ်ဒီဇိုင်းတစ်ခုတည်ဆောက်ရာတွင် နည်းလမ်းနှစ်သွယ်ရှိသည်- တစ်နည်းမှာ ချို့ယွင်းချက်မရှိအောင် ရိုးရှင်းအောင်ပြုလုပ်ရန်ဖြစ်ပြီး နောက်တစ်နည်းမှာ ချို့ယွင်းချက်မရှိအောင် ရှုပ်ထွေးအောင်ပြုလုပ်ရန်ဖြစ်သည်။ ပထမနည်းလမ်းမှာ ပိုမိုခက်ခဲပါသည်။"

တည်မြဲသော အမွေအနှစ်

Sir Tony Hoare သည် ကွန်ပျူတာပညာရှင်ထက် ပိုပါသည်။ ဒစ်ဂျစ်တယ်ကမ္ဘာကိုတည်ဆောက်ရန် ကိရိယာများနှင့် အတွေးအခေါ်များကို ပံ့ပိုးပေးသော အမြော်အမြင်ရှိသူဖြစ်သည်။ ရိုးရှင်းမှု၊ မှန်ကန်မှုနှင့် ဆက်စပ်မှုဆိုင်ရာ သူ၏ စိတ်ကူးများသည် အင်ဂျင်နီယာများ၏ မျိုးဆက်များကို လှုံ့ဆော်ပေးသည်။ ကျွန်ုပ်တို့သည် Mewayz ပလပ်ဖောင်းကို ဆက်လက်ဖွံ့ဖြိုးတိုးတက်လာသည်နှင့်အမျှ ကျွန်ုပ်တို့သည် လုပ်ဆောင်နိုင်ရုံသာမက အခြေခံကျကျ ကောင်းမွန်သော စီးပွားရေးဆော့ဖ်ဝဲကို ဖန်တီးခြင်းဖြင့် ၎င်း၏အမွေအနှစ်ကို ဂုဏ်ပြုရန် ကြိုးပမ်းလျက်ရှိရာ ဤကုမ္ပဏီကြီး၏ ပခုံးပေါ်၌ ရပ်တည်နေပါသည်။ သူသည် အလွန်လွမ်းဆွတ်နေလိမ့်မည်၊ သို့သော် သူ၏မူများသည် တွက်ချက်မှု၏အနာဂတ်ကို ဆက်လက်လမ်းညွှန်နေလိမ့်မည်။