Artikli autor Douglas MacIlroy on Ameerika matemaatik, insener ja programmeerija. Ta on kõige tuntum Unix-i operatsioonisüsteemi torujuhtme, komponente orienteeritud programmeerimise printsiipide ja mitme originaalutiliidi nagu spell, diff, sort, join, speak, tr väljatöötamise poolest.

Mõnikord kohtate tõeliselt hämmastavaid programme. Otsides mälu sügavustest, koostasin nimekirja tõelistest Unix-i pärlitest läbi aastate. Peamiselt on tegu üsna haruldaste ja mitte nii hädavajalike programmidega. Aga mis neid eristab, on nende originaalsus. Ei suuda isegi ette kujutada, et mul endal oleks tulnud mõte mõnest neist.

Jagage, millised programmid on teid samuti nii väga üllatanud?

PDP-7 Unix

Kuna alguseks, ise PDP-7 Unix süsteem. Selle lihtsus ja jõud sundisid mind liikuma võimsalt peamiselt peenardest väiksemale masinale. Siin on jõhkralt hierarhilise failisüsteemi kvintessents, eraldi shell ja kasutaja tasemel protsessihaldus, mida Multics peamine süsteem ei suutnud sajandite jooksul arenduste jooksul realiseerida. Unix-i puudused (nt kirje struktuur failisüsteemis) olid sama õpetlikud ja vabastavad kui selle uuendused (nt sisendi-väljundi suunamine shellis).

dc

Robert Morrise matemaatiline raamatukogu lauaarvutite kalkulaatorile, mille täpsus oli muutuja, kasutas tagasipööratud eksiarvamuste analüüsi, et määrata vajaliku täpsuse iga sammu jaoks, et saavutada kasutaja määratud tulemus täpsuses. NATO 1968. aasta tarkvarainsenerite konverentsil oma ettekandes tarkvarakomponentide kohta, soovitasin ma standardprotseduure, mis võiksid anda soovitud täpsuse, kuid ma ei teadnud, kuidas neid praktikas rakendada. dc jääb siiani ainukeseks tuntud programmiks, mis suudab seda teha.

typo

Typo järjestab sõnad tekstis vastavalt nende sarnasusele ülejäänud tekstiga. Kirjavead nagu 'hte' kipuvad olema nimekirja lõpus. Robert Morris rääkis uhkusega, et programm töötab sama hästi mis tahes keeles. Kuigi typo ei aita leida foneetilisi vigu, on see olnud tõeline leid kõigile, kes teksti kirjutavad ja on andnud palju kasu enne, kui ilmus palju vähem huvitav, kuid täpsem õigekirjakontroll sõnaraamatute põhjal.

Typo on niivõrd üllatav, kui see on seest kui väljast. Sarnaste elementide mõõtmise algoritm põhineb trigrammide esinemissagedusel, mida arvestatakse 26×26×26 massiivi. Väikeses mälus ei olnud ruumi üheinimesekaid loendureid, seega rakendati suurtelt numbritelt väikestele loenduritele tihendamise skeem. Üleujutuste vältimiseks uuendati loendureid tõenäosuslikult, säilitades loenduri väärtuse logaritmi hinnangu.

eqn

Fotokogumite ilmumisega muutus klassikalise matemaatilise märkuse väljatöötamine võimalikuks, kuid kohutavalt tüütuks. Lorinda Cherry otsustas välja töötada kõrgema taseme kirjelduskeele ja peagi liitus temaga Brian Kernighan. Nende geniaalne samm oli väljendada suulist traditsiooni kirjalikult, mistõttu osutus eqn üllatavalt lihtsaks õppida. Esimene omalaadne matemaatiliste väljendite kirjelduskeele eelprotsessor, eqn pole sellest ajast peaaegu üldse paranenud.

struct

Brenda Baker alustas oma Fortran-to-Ratfor konverteri väljatöötamist oma ülemuse — minu — soovitust hoolimata. Ma arvasin, et see võib viia algse koodi erilise uuendamiseni. See oleks vaba operaatorite numbritest, kuid muidu mitte rohkem loetav kui õigesti struktureeritud Fortrani kood. Brenda tõestas, et ma eksisin. Ta avastas, et igal Fortrani programmil on kanoniliselt struktureeritud kuju. Programmeerijad eelistasid kanonilist vormi selle asemel, mida nad algselt kirjutasid.

pascal

Süntaksidiagnoos Berkeleys Sue Grahami rühma loodud kompilaatoris oli kõige kasulikum, mida ma kunagi näinud olen — ja see toimus automaatselt. Süntaktilise vea korral pakub kompilaator lisada lexemi, et jätkata süntaksianalüüsi. Ühtegi katset seletada, mis on vale. Selle kompilaatoriga õppisin Pascalit ühe õhtu jooksul, ilma et mul oleks olnud juhendit.

parts

WWB (Writer’s Workbench) paketi sees peidetud moodul parts Lorinda Cherry määrab sõnastiku alusel sõnade kõneosad ingliskeelses tekstis, tuginedes vaid väikesele sõnaraamatule, õpiksite ja grammatikareeglitele. Selle annotatsiooni alusel toodab programm WWB stilomeetrilisi näitajaid, nagu omadussõnade, alamsõnade ja keeruliste lausete ülekaal. Kui Lorinda andis intervjuu NBC saates Today ja rääkis WWB tekstides innovatiivsest grammatikakontrollist, oli see esimene kord, kui Unixist televisioonis räägiti.

egrep

Al Aho lootis, et tema määratletud regulaarsete väljendite tuvastaja teeb kiiremini läbi klassikalisest mitte-määratletud tuvastajast Kenist. Kahjuks lõpetas viimane juba keeruliste regulaarsete väljendite läbimise, samal ajal kui egrep ta ehitas oma määratletud automaatika. Et siiski võidutseda selles võistluses, leidis Al Aho viisi, kuidas kõrvaldada masina olekute tabeli eksponentsiaalne kasvu needus, leiutades meetodi tabeli ainult nende kirjeid loomise jaoks, mis tõeliselt külastatakse tuvastamise ajal.

krabisid

Luca Cardelli võluv meta-programm Bliti aknasüsteemile genereeris virtuaalseid rakke, mis rändasid ekraani tühjas ruumis, aina rohkem näksides aktiivsete akende servasid.

Mõned üldised mõtted

Kuigi see ei ole väljastpoolt nähtav, on teoriad ja algoritmid mänginud otsustavat rolli enamikus neist programmidest: typo, dc, struct, pascal, egrep. Tegelikult üllatab enim just ebatavaline teooriate rakendamine.

Originaalautoriteks oli peaaegu poolest nimekirjast - pascal, struct, parts, eqn - naised, mis ületab oluliselt naiste demograafilist osa arvutiteaduses.

Douglas McIlroy
Märts, 2020

Allikas: habr.com