នៅ Memoriam, Tony Hoare

នៅក្នុងអនុស្សាវរីយ៍៖ លោក Charles Antony Richard Hoare (Tony Hoare)

ពិភពកុំព្យូទ័របានបាត់បង់ស្ថាបត្យករម្នាក់ក្នុងចំណោមស្ថាបត្យករ។ Sir Charles Antony Richard Hoare ដែលគ្រប់គ្នាស្គាល់ថាជា Tony Hoare បានទទួលមរណភាពដោយបន្សល់ទុកនូវកេរដំណែលមួយដែលត្រូវបានត្បាញយ៉ាងពិតប្រាកដទៅក្នុងក្រណាត់នៃគ្រប់ផ្នែកនៃកម្មវិធីដែលយើងប្រើសព្វថ្ងៃនេះ។ សម្រាប់ពួកយើងនៅ Mewayz ការកសាងប្រព័ន្ធប្រតិបត្តិការអាជីវកម្មម៉ូឌុល ការងាររបស់គាត់មិនមែនគ្រាន់តែជាប្រវត្តិសិក្សាប៉ុណ្ណោះទេ។ វាគឺជាមូលដ្ឋានគ្រឹះនៃការរចនាប្រព័ន្ធដែលអាចទុកចិត្តបាន និងមានប្រសិទ្ធភាព។ ការឆ្លងកាត់របស់គាត់បានអញ្ជើញយើងឱ្យឆ្លុះបញ្ចាំងពីផលប៉ះពាល់យ៉ាងជ្រាលជ្រៅនៃការរួមចំណែករបស់គាត់ ពីតក្កវិជ្ជាដ៏ឆើតឆាយនៃក្បួនដោះស្រាយការតម្រៀបរហ័ស ដល់គោលការណ៍ជាមូលដ្ឋាននៃភាពត្រឹមត្រូវនៃកម្មវិធីដែលដឹកនាំការអភិវឌ្ឍន៍ទំនើប។

ស្ថាបត្យករនៃភាពឆើតឆាយ៖ Quicksort និង Null Reference

ឈ្មោះរបស់ Tony Hoare គឺមានន័យដូចនឹងការរួមចំណែកដ៏សំខាន់ពីរ ប៉ុន្តែផ្ទុយគ្នាគួរឱ្យចង់ដឹងចង់ឃើញ។ នៅឆ្នាំ 1960 គាត់បានបង្កើតក្បួនដោះស្រាយការតម្រៀបរហ័ស ដែលជាស្នាដៃនៃប្រសិទ្ធភាពដែលនៅតែជាវិធីសាស្រ្តតម្រៀបដែលបានសិក្សា និងប្រើច្រើនបំផុត។ ភាពឆើតឆាយរបស់វាស្ថិតនៅក្នុងវិធីសាស្រ្ត "បែងចែក និងយកឈ្នះ" របស់វា ដែលជាគោលគំនិតដែលឆ្លុះបញ្ចាំងយ៉ាងខ្លាំងជាមួយនឹងទស្សនវិជ្ជាម៉ូឌុលរបស់ Mewayz ។ យើងបង្កើតវេទិការបស់យើងដោយបំបែកដំណើរការអាជីវកម្មដ៏ស្មុគស្មាញទៅជាម៉ូឌុលដែលអាចគ្រប់គ្រងបាន និងអាចធ្វើអន្តរកម្មបាន ដូចជាការតម្រៀបរហ័សបំបែកបញ្ហាដើម្បីដោះស្រាយវាប្រកបដោយប្រសិទ្ធភាព។

ផ្ទុយទៅវិញ លោក Hoare ក៏បានណែនាំអំពីគោលគំនិតនៃសេចក្តីយោង null ក្នុងឆ្នាំ 1965 ដែលក្រោយមកគាត់បានហៅថា "កំហុសរាប់ពាន់លានដុល្លារ" របស់គាត់។ ការច្នៃប្រឌិតនេះ ដែលមានបំណងតំណាងឱ្យអវត្ដមាននៃតម្លៃ បានក្លាយជាប្រភពចម្បងនៃកំហុសពេលដំណើរការ និងកំហុសជាច្រើនទសវត្សរ៍មកហើយ។ ទោះបីជាយ៉ាងណាក៏ដោយ សូម្បីតែ "កំហុស" នេះក៏ជាមេរៀនមួយនៅក្នុងភាពរាបទាប និងសារៈសំខាន់នៃការរចនាយ៉ាងម៉ត់ចត់ ដែលជាមេរៀនដែលប្រាប់ពីរបៀបដែលយើងបង្កើតប្រព័ន្ធធន់នៅ Mewayz ដែលរចនាសម្ព័ន្ធទិន្នន័យច្បាស់លាស់ និងការដោះស្រាយកំហុសគឺសំខាន់បំផុត។

មូលដ្ឋានគ្រឹះនៃភាពត្រឹមត្រូវ៖ Hoare Logic

ប្រហែលជាការរួមចំណែកដ៏សំខាន់បំផុតរបស់ Hoare គឺការអភិវឌ្ឍន៍នៃ Hoare Logic ក្នុងឆ្នាំ 1969 ។ ប្រព័ន្ធផ្លូវការនេះផ្តល់នូវក្របខ័ណ្ឌគណិតវិទ្យាសម្រាប់បញ្ជាក់ភាពត្រឹមត្រូវនៃកម្មវិធីកុំព្យូទ័រ។ វាប្រើបីដងនៃទម្រង់ `{P} C {Q}` ដែល `P` ជាលក្ខខណ្ឌជាមុន `C` គឺជាពាក្យបញ្ជា ហើយ `Q` គឺជាលក្ខខណ្ឌក្រោយ។ នេះមានន័យថាប្រសិនបើលក្ខខណ្ឌជាមុន P គឺពិតមុនពេលពាក្យបញ្ជា C ដំណើរការ នោះលក្ខខណ្ឌក្រោយ Q ត្រូវបានធានាថាជាការពិតនៅពេលក្រោយ។

ខណៈពេលដែលការអនុវត្តការផ្ទៀងផ្ទាត់ជាផ្លូវការពេញលេញជាញឹកញាប់មិនអាចអនុវត្តបាននៅក្នុងបរិយាកាសអាជីវកម្មដែលមានល្បឿនលឿន គោលការណ៍នៃ Hoare Logic គឺមានតម្លៃមិនអាចកាត់ថ្លៃបាន។ ពួកគេបង្រៀនយើងឱ្យគិតឱ្យបានហ្មត់ចត់អំពីធាតុចូល លទ្ធផល និងផលប៉ះពាល់នៃសមាសធាតុកម្មវិធីនីមួយៗ។ នៅ Mewayz វាបកប្រែទៅជាការរចនាម៉ូឌុលរបស់យើងជាមួយនឹងកិច្ចសន្យាច្បាស់លាស់ និងអាកប្បកិរិយាដែលបានកំណត់យ៉ាងច្បាស់លាស់ ដោយធានាថានៅពេលអ្នកភ្ជាប់ផ្នែកផ្សេងៗនៃ OS អាជីវកម្មរបស់អ្នក ពួកវាធ្វើការជាមួយគ្នាដោយព្យាករណ៍ និងអាចទុកចិត្តបាន។

មេរៀនសម្រាប់កម្មវិធីទំនើប និងប្រព័ន្ធអាជីវកម្ម

អាជីពរបស់ Tony Hoare ផ្តល់នូវមេរៀនយូរអង្វែងសម្រាប់អ្នកបង្កើតកម្មវិធី និងអ្នកបង្កើតវេទិកា។ ការងាររបស់គាត់បានឈ្នះភាពច្បាស់លាស់ ភាពសាមញ្ញ និងការស្វែងរកគុណភាពដោយឥតឈប់ឈរ។ នៅក្នុងយុគសម័យនៃកម្មវិធីស្មុគ្រស្មាញកាន់តែខ្លាំងឡើង គោលការណ៍ទាំងនេះគឺសំខាន់ជាងពេលណាទាំងអស់។ ពួកគេរំលឹកយើងថានៅក្រោមចំណុចប្រទាក់អ្នកប្រើ និង APIs គុណភាពស្នូលនៃប្រព័ន្ធគឺអាស្រ័យលើភាពឡូជីខលរបស់វា។

នៅ Mewayz យើងខិតខំបញ្ចូលមេរៀនទាំងនេះដោយបង្កើតប្រព័ន្ធប្រតិបត្តិការអាជីវកម្មដែលមានថាមពលខ្លាំង និងអាចទុកចិត្តបាន។ យើងផ្តោតលើការកសាងគ្រឹះដ៏រឹងមាំមួយ ដើម្បីឱ្យអ្នកប្រើប្រាស់របស់យើងអាចធ្វើស្វ័យប្រវត្តិកម្មប្រកបដោយទំនុកចិត្ត និងរួមបញ្ចូលលំហូរការងាររបស់ពួកគេដោយមិនមានការព្រួយបារម្ភអំពីអស្ថិរភាពមូលដ្ឋាន។ ចក្ខុវិស័យរបស់ Hoare នៃកម្មវិធីដែលត្រឹមត្រូវ ជំរុញយើងឱ្យកំណត់អាទិភាពលើភាពរឹងមាំនៅក្នុងគ្រប់ម៉ូឌុលដែលយើងចេញផ្សាយ។

ការរួមចំណែកសំខាន់ៗរបស់ Tony Hoare រួមមានៈ

• Quicksort Algorithm (1960)៖ ក្បួនដោះស្រាយតម្រៀបដែលមានប្រសិទ្ធភាពខ្ពស់ ផ្អែកលើគំរូបែងចែក និងយកឈ្នះ។
• Hoare Logic (1969)៖ ប្រព័ន្ធផ្លូវការសម្រាប់ការវែកញែកអំពីភាពត្រឹមត្រូវនៃកម្មវិធីកុំព្យូទ័រ។
• ដំណើរការទំនាក់ទំនងតាមលំដាប់លំដោយ (CSP)៖ គំរូមូលដ្ឋានសម្រាប់ការសរសេរកម្មវិធីស្របគ្នា ដែលមានឥទ្ធិពលលើភាសាដូចជា Go ។
• The Null Reference (1965)៖ ការច្នៃប្រឌិតដ៏មានឥទ្ធិពលមួយ ទោះបីមានការសោកស្តាយនៅពេលក្រោយក៏ដោយ ដែលបង្កើតបានជាការរចនាភាសាសរសេរកម្មវិធីជាច្រើនទសវត្សរ៍។

"មានវិធីពីរយ៉ាងក្នុងការបង្កើតការរចនាកម្មវិធី៖ មធ្យោបាយមួយគឺធ្វើឱ្យវាសាមញ្ញ ជាក់ស្តែងគ្មានចំណុចខ្វះខាត ហើយវិធីផ្សេងទៀតគឺធ្វើឱ្យស្មុគស្មាញខ្លាំង ដែលមិនមានការខ្វះខាតជាក់ស្តែង។ វិធីសាស្ត្រទីមួយគឺពិបាកជាង"។

កេរដំណែលយូរអង្វែង

លោក Tony Hoare ជាជាងអ្នកវិទ្យាសាស្ត្រកុំព្យូទ័រ។ គាត់គឺជាអ្នកដែលមានចក្ខុវិស័យដែលផ្តល់ឧបករណ៍ និងផ្នត់គំនិតក្នុងការកសាងពិភពឌីជីថល។ គំនិតរបស់គាត់អំពីភាពសាមញ្ញ ភាពត្រឹមត្រូវ និងស្របគ្នានៅតែបន្តជំរុញទឹកចិត្តវិស្វករជំនាន់ក្រោយ។ នៅពេលដែលយើងបន្តអភិវឌ្ឍវេទិកា Mewayz យើងធ្វើដូច្នេះឈរនៅលើស្មារបស់យក្សនេះ ដោយព្យាយាមគោរពកេរ្តិ៍ដំណែលរបស់គាត់ ដោយបង្កើតកម្មវិធីអាជីវកម្មដែលមិនត្រឹមតែមានមុខងារប៉ុណ្ណោះទេ ប៉ុន្តែមានមូលដ្ឋានផងដែរ។ គាត់នឹងខកខានយ៉ាងខ្លាំង ប៉ុន្តែគោលការណ៍របស់គាត់នឹងបន្តណែនាំអនាគតនៃការគណនា។

សំណួរដែលគេសួរញឹកញាប់

នៅក្នុងអនុស្សាវរីយ៍៖ លោក Charles Antony Richard Hoare (Tony Hoare)

ពិភពកុំព្យូទ័របានបាត់បង់ស្ថាបត្យករម្នាក់ក្នុងចំណោមស្ថាបត្យករ។ Sir Charles Antony Richard Hoare ដែលគ្រប់គ្នាស្គាល់ថាជា Tony Hoare បានទទួលមរណភាពដោយបន្សល់ទុកនូវកេរដំណែលមួយដែលត្រូវបានត្បាញយ៉ាងពិតប្រាកដទៅក្នុងក្រណាត់នៃគ្រប់ផ្នែកនៃកម្មវិធីដែលយើងប្រើសព្វថ្ងៃនេះ។ សម្រាប់ពួកយើងនៅ Mewayz ការកសាងប្រព័ន្ធប្រតិបត្តិការអាជីវកម្មម៉ូឌុល ការងាររបស់គាត់មិនមែនគ្រាន់តែជាប្រវត្តិសិក្សាប៉ុណ្ណោះទេ។ វាគឺជាមូលដ្ឋានគ្រឹះនៃការរចនាប្រព័ន្ធដែលអាចទុកចិត្តបាន និងមានប្រសិទ្ធភាព។ ការឆ្លងកាត់របស់គាត់បានអញ្ជើញយើងឱ្យឆ្លុះបញ្ចាំងពីផលប៉ះពាល់យ៉ាងជ្រាលជ្រៅនៃការរួមចំណែករបស់គាត់ ពីតក្កវិជ្ជាដ៏ឆើតឆាយនៃក្បួនដោះស្រាយការតម្រៀបរហ័ស ដល់គោលការណ៍ជាមូលដ្ឋាននៃភាពត្រឹមត្រូវនៃកម្មវិធីដែលដឹកនាំការអភិវឌ្ឍន៍ទំនើប។

ស្ថាបត្យករនៃភាពឆើតឆាយ៖ Quicksort និង Null Reference

ឈ្មោះរបស់ Tony Hoare គឺមានន័យដូចនឹងការរួមចំណែកដ៏សំខាន់ពីរ ប៉ុន្តែផ្ទុយគ្នាគួរឱ្យចង់ដឹងចង់ឃើញ។ នៅឆ្នាំ 1960 គាត់បានបង្កើតក្បួនដោះស្រាយការតម្រៀបរហ័ស ដែលជាស្នាដៃនៃប្រសិទ្ធភាពដែលនៅតែជាវិធីសាស្រ្តតម្រៀបដែលបានសិក្សា និងប្រើច្រើនបំផុត។ ភាពឆើតឆាយរបស់វាស្ថិតនៅក្នុងវិធីសាស្រ្ត "បែងចែក និងយកឈ្នះ" របស់វា ដែលជាគោលគំនិតដែលឆ្លុះបញ្ចាំងយ៉ាងខ្លាំងជាមួយនឹងទស្សនវិជ្ជាម៉ូឌុលរបស់ Mewayz ។ យើងបង្កើតវេទិការបស់យើងដោយបំបែកដំណើរការអាជីវកម្មដ៏ស្មុគស្មាញទៅជាម៉ូឌុលដែលអាចគ្រប់គ្រងបាន និងអាចធ្វើអន្តរកម្មបាន ដូចជាការតម្រៀបរហ័សបំបែកបញ្ហាដើម្បីដោះស្រាយវាប្រកបដោយប្រសិទ្ធភាព។

មូលដ្ឋានគ្រឹះនៃភាពត្រឹមត្រូវ៖ Hoare Logic

ប្រហែលជាការរួមចំណែកដ៏សំខាន់បំផុតរបស់ Hoare គឺការអភិវឌ្ឍន៍នៃ Hoare Logic ក្នុងឆ្នាំ 1969 ។ ប្រព័ន្ធផ្លូវការនេះផ្តល់នូវក្របខ័ណ្ឌគណិតវិទ្យាសម្រាប់បញ្ជាក់ភាពត្រឹមត្រូវនៃកម្មវិធីកុំព្យូទ័រ។ វាប្រើបីដងនៃទម្រង់ `{P} C {Q}` ដែល `P` ជាលក្ខខណ្ឌជាមុន `C` គឺជាពាក្យបញ្ជា ហើយ `Q` គឺជាលក្ខខណ្ឌក្រោយ។ នេះមានន័យថាប្រសិនបើលក្ខខណ្ឌជាមុន P គឺពិតមុនពេលពាក្យបញ្ជា C ដំណើរការ នោះលក្ខខណ្ឌក្រោយ Q ត្រូវបានធានាថាជាការពិតនៅពេលក្រោយ។

មេរៀនសម្រាប់កម្មវិធីទំនើប និងប្រព័ន្ធអាជីវកម្ម

អាជីពរបស់ Tony Hoare ផ្តល់នូវមេរៀនយូរអង្វែងសម្រាប់អ្នកបង្កើតកម្មវិធី និងអ្នកបង្កើតវេទិកា។ ការងាររបស់គាត់បានឈ្នះភាពច្បាស់លាស់ ភាពសាមញ្ញ និងការស្វែងរកគុណភាពដោយឥតឈប់ឈរ។ នៅក្នុងយុគសម័យនៃកម្មវិធីស្មុគ្រស្មាញកាន់តែខ្លាំងឡើង គោលការណ៍ទាំងនេះគឺសំខាន់ជាងពេលណាទាំងអស់។ ពួកគេរំលឹកយើងថានៅក្រោមចំណុចប្រទាក់អ្នកប្រើ និង APIs គុណភាពស្នូលនៃប្រព័ន្ធគឺអាស្រ័យលើភាពឡូជីខលរបស់វា។

កេរដំណែលយូរអង្វែង

លោក Tony Hoare ជាជាងអ្នកវិទ្យាសាស្ត្រកុំព្យូទ័រ។ គាត់គឺជាអ្នកដែលមានចក្ខុវិស័យដែលផ្តល់ឧបករណ៍ និងផ្នត់គំនិតក្នុងការកសាងពិភពឌីជីថល។ គំនិតរបស់គាត់អំពីភាពសាមញ្ញ ភាពត្រឹមត្រូវ និងស្របគ្នានៅតែបន្តជំរុញទឹកចិត្តវិស្វករជំនាន់ក្រោយ។ នៅពេលដែលយើងបន្តអភិវឌ្ឍវេទិកា Mewayz យើងធ្វើដូច្នេះឈរនៅលើស្មារបស់យក្សនេះ ដោយព្យាយាមគោរពកេរ្តិ៍ដំណែលរបស់គាត់ ដោយបង្កើតកម្មវិធីអាជីវកម្មដែលមិនត្រឹមតែមានមុខងារប៉ុណ្ណោះទេ ប៉ុន្តែមានមូលដ្ឋានផងដែរ។ គាត់នឹងខកខានយ៉ាងខ្លាំង ប៉ុន្តែគោលការណ៍របស់គាត់នឹងបន្តណែនាំអនាគតនៃការគណនា។