Eka Xitsundzuxo, Tony Hoare

Eka Xitsundzuxo: Nkulukumba Charles Antony Richard Hoare (Tony Hoare)

Misava ya tikhompyuta yi lahlekeriwe hi un'wana wa vampfampfarhuti va yona lava sunguleke. Sir Charles Antony Richard Hoare, loyi hinkwavo va tiviwaka tanihi Tony Hoare, u hundzile emisaveni, a siya ndzhaka leyi hi ku kongoma yi lukiweke eka lapi ra xiphemu xin’wana ni xin’wana xa software leyi hi yi tirhisaka namuntlha. Eka hina va le Mewayz, hi aka sisiteme yo tirha ya bindzu ya modular, ntirho wa yena a hi matimu ya dyondzo ntsena; i ribye ra xisekelo ra pulani ya sisiteme leyi tshembekaka na ku tirha kahle. Ku hundza ka yena ku hi rhamba ku anakanyisisa hi nkucetelo lowukulu wa tinyiko ta yena, ku suka eka logic yo saseka ya algorithm ya quicksort ku ya eka milawu ya xisekelo ya ku lulama ka software leyi kongomisaka nhluvukiso wa manguva lawa.

Muaki wa Vuxongi: Quicksort na Nkomiso wa Null

Vito ra Tony Hoare ri fambelana na minyikelo yimbirhi ya xitsundzuxo, kambe leyi hambaneke hi ndlela yo hlamarisa. Hi 1960, u tumbuluxe algorithm ya quicksort, ku nga ntirho wa vutshila wa vutshila lowu tshamaka wu ri wun’wana wa tindlela to hlawula leti dyondziweke ni ku tirhisiwa swinene. Vuxongi bya yona byi le ka endlelo ra yona ra "divide and conquer", ku nga mhaka leyi twala swinene na filosofi ya Mewayz ya modular. Hi aka pulatifomo ya hina hi ku hahlula maendlelo ya bindzu lama rharhanganeke eka mimojula leyi lawulaka, leyi tirhisanaka, ku fana na quicksort yi hahlula xiphiqo ku xi tlhantlha hi ndlela leyinene.

Hi ndlela yo hambana, Hoare u tlhele a dume hi ku nghenisa mhaka ya null reference hi 1965, leyi endzhaku a yi vitaneke "xihoxo xa yena xa tibiliyoni ta tirhandi." Vumaki lebyi, lebyi a byi kunguhateriwe ku yimela ku pfumaleka ka nkoka, handle ko swi xiya byi ve xihlovo lexikulu xa swihoxo swa nkarhi wo famba ni swihoxo ku ringana makume ya malembe. Hambi swi ri tano, hambi ku ri "xihoxo" lexi a ku ri dyondzo ya ku titsongahata na nkoka wa dizayini yo tika—dyondzo leyi tivisa ndlela leyi hi akaka tisisiteme leti tiyeke ha yona eMewayz, laha swivumbeko swa datha leswi nga erivaleni na ku khoma swihoxo swi nga swa nkoka swinene.

Xisekelo xa Vululami: Hoare Logic

Kumbexana ku hoxa xandla lokukulu swinene ka Hoare a ku ri ku tumbuluxiwa ka Hoare Logic hi 1969. Endlelo leri ra ximfumo ri nyika rimba ra tinhlayo ro kombisa ku lulama ka minongonoko ya khompyuta. Yi tirhisa swiphemu swinharhu swa xivumbeko xa `{P} C {Q}`, laha `P` ku nga xiyimo xa le mahlweni, `C` ku nga xileriso, naswona `Q` ku nga xiyimo xa le ndzhaku. Leswi swi vula leswaku loko xiyimo xa le mahlweni xa P xi ri ntiyiso xileriso xa C xi nga si tirha, kutani xiyimo xa le ndzhaku xa Q xi tiyisisiwa ku va ntiyiso endzhaku ka sweswo.

Hambileswi ku tirhisa ku tiyisisiwa ka ximfumo loku heleleke hakanyingi swi nga tirhiki eka tindhawu ta mabindzu leti fambaka hi rivilo, misinya ya milawu ya Hoare Logic i ya nkoka swinene. Va hi dyondzisa ku ehleketa hi vukheta hi swilo leswi nghenisiwaka, leswi humesiwaka ni switandzhaku swa xiphemu xin’wana ni xin’wana xa software. Eka Mewayz, leswi swi hundzuluxela eka ku dizayina mimojula ya hina hi tikontiraka leti nga erivaleni na mahanyelo lama hlamuseriweke kahle, ku tiyisisa leswaku loko u hlanganisa swiphemu swo hambana swa OS ya bindzu ra wena, swi tirha swin’we hi ndlela leyi nga languteriwaka na ku tshembheka.

Tidyondzo ta Software ya Ximanguva lawa na Tisisiteme ta Mabindzu

Ntirho wa Tony Hoare wu nyika tidyondzo leti nga heriki eka vaendli va tisoftware va namuntlha na vaaki va tipulatifomo. Ntirho wa yena a wu lwela ku va erivaleni, ku olova ni ku hlongorisa mfanelo leyi nga heriki. Eka nguva ya switachi swa tisoftware leswi yaka swi rharhangana, misinya leyi ya milawu i ya nkoka swinene ku tlula rini na rini. Va hi tsundzuxa leswaku ehansi ka swihlanganisi swa vatirhisi na ti-API, khwalithi ya nkoka ya sisiteme yi titshege hi ku twala ka yona loku twisisekaka.

Eka Mewayz, hi lwela ku hlanganisa tidyondzo leti hi ku tumbuluxa OS ya bindzu leyi nga na matimba na ku tshembheka. Hi kongomisa eka ku aka masungulo lama tiyeke leswaku vatirhisi va hina va ta kota ku titshemba hi ku tirhisa michini na ku hlanganisa maendlelo ya vona ya ntirho handle ko vilela hi ku nga tshamiseki loku nga xisekelo. Xivono xa Hoare xa software leyi nga tiyisisiwa leswaku yi lulamile xi hi hlohlotela ku rhangisa ku tiya eka modyuli yin’wana na yin’wana leyi hi yi humesaka.

Minyikelo ya nkoka ya Tony Hoare yi katsa:

• Algorithm ya Quicksort (1960): Algorithm yo hlawula leyi tirhaka kahle swinene leyi simekiweke eka paradigm ya ku avanyisa na ku hlula.
• Hoare Logic (1969): Endlelo ra ximfumo ro anakanyisisa hi ku lulama ka minongonoko ya khompyuta.
• Ku Vulavula hi Maendlelo ya Ntlhandlamano (CSP): Modele wa masungulo wa minongonoko ya nkarhi wun’we, ku kucetela tindzimi to fana na Go.
• The Null Reference (1965): Vutumbuluxi lebyi nga na nkucetelo, hambi leswi endzhaku byi tisoleke, lebyi vumbeke makume ya malembe ya dizayini ya ririmi ra minongonoko.