Artikli autor on Douglas McIlroy — Ameerika matemaatik, insener ja programmeerija. Tuntud peamiselt Unix-operatsioonisüsteemis tööprotsessi arendamise, komponentidest koosneva programmeerimise põhimõtete ja mitme originaalse utiliidi, nagu spell, diff, sort, join, speak, tr, väljatöötamise poolest.

Mõnikord leiad tõeliselt hämmastavaid programme. Mälu kaevates koostasin nimekirja tõelistest Unix-i pärlitest läbi aastate. Enamasti on need üsna haruldased ja mitte nii hädavajalikud programmid. Kuid nende eripära on originaalsus. Ma ei suuda isegi ette kujutada, et ma ise oleksin mõelnud mõnele neist ideedest.

Jagage, millised programmid on teid samuti nii hämmastanud?

PDP-7 Unix

Esimesele kohaile, PDP-7 Unix süsteemile. Selle lihtsus ja jõud sundisid mind vahetama võimsa peamise raamatu väikese masina vastu. Siin on hierarhilise failisüsteemi kvintessents, eraldi kest ja protsesside juhtimine kasutaja tasemel, mida Multics peamistest raamist ei suutnud saavutada pärast sadu inimtunde arendust. Unix'i puudused (näiteks kirje struktuur failisüsteemis) olid sama õpetlikud ja vabastavad kui selle uuendused (näiteks sisendi ja väljundi suunamine kestades).

dc

Robert Morrise muutuva täpsusega lauaarvutuskalkulaatori matemaatika teek kasutab vigade taganalyüsi, et määrata vajalik täpsus igal sammul, et saavutada kasutaja määratud tulemuse täpsus. 1968. aasta NATO tarkvarainseneride konverentsil esitasin oma ettekandes tarkvarakomponentide kohta standardprotseduurid, mis võiksid anda tulemuse mis tahes soovitud täpsusega, kuid ma ei teadnud, kuidas neid praktikas rakendada. dc on siiani ainus teadaolev programm, mis suudab seda teha.

typo

Typo järjestab teksti sõnu sarnasusest lähtudes ülejäänud tekstiga. Kirjavigade nagu 'hte' tõenäosus asuda on enamasti loendi lõpus. Robert Morris rääkis uhkusega, et programm töötab sama hästi iga keele jaoks. Kuigi typo ei aita leida foneetilisi vigu, on see leid väga kasulik kõigile, kes kirjutavad teksti, ning sellega on olnud palju kasu enne, kui ilmus palju vähem huvitav, kuid täpsem õigekirjakontroll sõnastiku järgi.

Typo on seestpoolt sama üllatav kui väljaspool. Sarnasuse mõõtmise algoritm põhineb trigrammide esinemissagedusel, mis arvutatakse 26×26×26 massiivis. Väikeses mälus oli raske leida ruumi ühebaidistele loenduritele, seega rakendati suurte arvude kompressiooniskeemi väikesteks loenduriüksusteks. Ülevoolu vältimiseks värskendati loendureid tõenäosuslikult, säilitades loenduri väärtuse logaritmi hinnangu.

eqn

Fototöötluse võimaldamisega muutus klassikalise matemaatika sümbolite väljakirjutamine võimalikuks, kuid äärmiselt väsitavaks. Lorinda Cherry otsustas luua kõrgema taseme kirjelduse keele, ja varsti liitus temaga Brian Kernighan. Nende geniaalne lähenemine seisnes suulise traditsiooni kirjalikus väljenduses, mistõttu osutus eqn äärmiselt lihtsaks õppimiseks. Esimene omataoline matemaatiliste avalduste kirjeldusprotsessor, eqn pole sellest ajast peaaegu üldse arenenud.

struktuur

Brenda Baker asus arendama oma Fortan-to-Ratfor konverterit vastupidiselt oma ülemuse soovitusele — mulle. Ma arvasin, et see võib viia algteksti spetsiaalse ümberkorraldamiseni. See oleks vabastatud operaatorite numbritest, kuid muidu ei olnud see loetavam kui korrektselt strukureeritud Fortrani kood. Brenda tõestas, et ma eksin. Ta avastas, et igal Fortrani programmil on kanoniliselt struktureeritud vorm. Programmi arendajad eelistasid kanonilist vormi ning mitte seda, mida nad algselt kirjutasid.

pascal

Süviveeb, mille lõi Sue Grahami grupp Berkeley ülikoolis, pakkus parimat süntaksi analüüsi, mida ma kunagi näinud olen — ja see toimus automaatselt. Süntaksi veaga annab kompilaator soovituse lisada lexeme, et jätkata analüüsi. Ükski katse ei selgita, mis on valesti. Selle kompilaatoriga õppisin ma Pascalit ühe õhtu jooksul ilma juhendita.

osad

WWB (Writer’s Workbench) paketi sees peidetud moodul osad Lorinda Cherry määratleb ingliskeelsete tekstide sõnade osad vaid väikese sõnastiku, õigekirja ja grammatika reeglite alusel. Selle annotatsiooni põhjal genereerib WWB tekstist stilomeetrilised näitajad, nagu omadussõnade, aluslausete ja keerukate lausete osakaal. Kui Lorinda andis NBC Today saates intervjuu ning rääkis WWB innovaatilisest grammatika kontrollist tekstides, oli see esimene Unix'i mainimine televisioonis.

egrep

Al Aho arvas, et tema deterministlik regulaaravaldiste tuvastaja ületab Keni klassikalist nondeterministlikku tuvastajat. Kahjuks lõpetas viimane juba keeruliste regulaaravaldiste töötlemise, samal ajal kui egrep ta ehitas oma deterministlikku automaatikat. Selle võiduks sellel võistlusel leidis Al Aho viisi, kuidas üle minna automaadi olekuteabe eksponentsiaalse kasvu needusest, leiutades meetodi, mis lubas reaalajas koostada ainult neid tabeli kirjendeid, mida tõeliselt külastatakse tuvastamise ajal.

krabid

Luca Cardelli võluv meta-programm Bliti aknasüsteemile tootis virtuaalseid krabisid, mis rändasid ekraani tühjas ruumis, järjest rohkem hammustades aktiivsete akende servi.

Mõned üldised mõtted

Kuigi seda ei pruugi väljastpoolt näha, mängisid teooria ja algoritmid määravat rolli enamikus neist programmidest: typo, dc, struct, pascal, egrep. Tõeliselt üllatav on just teooria ebatavaline kasutamine.

Peaaegu poole loendi originaalautoriteks olid naised — pascal, struct, parts, eqn — mis ealiselt ületab naiste demograafilist osakaalu arvutiteaduses.

Douglas McIlroy
Märts, 2020

Allikas: habr.com