Автор на статията е Дъглас Макилрой — американски математик, инженер и програмист. Най-известен е с разработката на конвейера в операционната система Unix, принципите на компонентно-ориентираното програмиране и няколко оригинални утилити: spell, diff, sort, join, speak, tr.

Понякога се натъквате на наистина забележителни програми. Преровявайки спомените си, съставих списък с истински перли на Unix за всички години. Най-вече, това са доста редки и не чак толкова необходими програми. Но това, което ги отличава, е оригиналността. Дори не мога да си представя, че сам бих могъл да измисля една от тях.

Споделете кои програми са ви впечатлили по същия начин?

PDP-7 Unix

За начало, самата система PDP-7 Unix. Нейната простота и мощ ме накараха да премина от мощен мейнфрейм към миниатюрна машина. Тук е същността на йерархичната файлова система, отделен шел и управление на процесите на ниво потребител, нещо, което Multics на мейнфреймите не успя да реализира след стотици човеко-години разработка. Недостатъците на Unix (например, структурата на записите във файловата система) бяха толкова поучителни и освобождаващи, колкото и нововъведенията ѝ (например, пренасочването на входно-изходните операции в шел).

dc

Математическата библиотека за настолен калкулатор с променлива точност на Робърт Морис използва обратен анализ на грешките, за да определя точността, необходима на всяка стъпка, за да постигне зададената от потребителя точност на резултата. На конференцията на НАТО по софтуерно инженерство през 1968 г. в доклада ми за софтуерни компоненти предложих еталонни процедури, които могат да дадат резултат с всякаква желана точност, но не знаех как да ги реализирам на практика. dc все още остава единствената известна ми програма, способна на това.

typo

Типо подрежда думите в текста в зависимост от тяхната прилика с останалия текст. Грешки като ‘hte’ имат тенденция да се появяват в края на списъка. Робърт Морис с гордост каза, че програмата ще работи отлично за всеки език. Въпреки че типо не помага за откриване на фонетични грешки, той се оказа истинско находище за всички, които въвеждат текст, и беше от голяма полза преди появата на значително по-малко интересната, но по-точна проверка на правописа по речника.

Типо е толкова неочаквано устроен отвътре, колкото и отвън. Алгоритъмът за измерване на прилика се основава на честотата на появата на триграми, които се считат в масив от 26×26×26. В малката памет едва имаше място за единични броячи, затова беше реализирана схема за компресия на големи числа в малки броячи. За да се избегне преливане, броячите се актуализираха на вероятностна основа, поддържайки оценка на логарита на стойността на брояча.

eqn

С появата на фотонабор стана възможно, но ужасно уморително да се изписва класическата математическа нотация. Лоринда Черри реши да разработи език за описание на по-високо ниво и скоро се присъедини към нея Брайан Керниган. Неговият блестящ ход беше да изрази устната традиция в писмена форма, затова eqn се оказа удивително прост за учене. Първият по рода си предварителен процесор на език за описание на математически изрази, eqn оттогава почти не е подобряван.

struct

Бренда Бейкър започна разработката на своя конвертор Fortan-to-Ratfor в противоречие с съвета на своя шеф — мен. Помислих, че това може да доведе до специално пренареждане на изходния текст. Той ще бъде свободен от номера на операторите, но в останалото отношение не по-четим от грамотно структуриран код на Fortran. Бренда ми показа, че съм сгрешил. Тя откри, че всяка програма на Fortran има канонична структурирана форма. Програмистите предпочитаха каноничната форма, а не това, което самите те първоначално написали.

pascal

Диагностиката на синтаксиса в компилатор, създаден от групата на Сю Грейъм в Бъркли, беше най-полезната, която някога съм виждал — и тя беше извършена автоматично. При синтактична грешка компилаторът предлага да вмъкне лексема, за да продължи синтактичния анализ. Никакви опити да се обясни какво не е наред. С този компилатор научих Паскал за един вечер, без да разполагам с никакво ръководство.

части

Скритият в пакета WWB (Writer’s Workbench) модул части Лоринда Черри определя частите на речта за думите в текста на английския език, базирайки се само на малък речник, правила за правопис и граматика. На базата на тази анотация програмата WWB извежда стилометрични показатели на текста, като преобладаване на прилагателни, подчинени изречения и сложни изречения. Когато Лоринда даде интервю в телепередача Today по NBC и разказа за иновационната проверка на граматиката в текстове, генерирани от WWB, това беше първото споменаване на Unix по телевизията.

egrep

Ал Ахо се надяваше, че неговият детерминиран разпознавател на регулярни изрази ще изпревари класическия недетерминиран разпознавател на Кен. За съжаление, последният вече завършваше прохода по сложни регулярни изрази, докато egrep строеше своята детерминирана автоматика. За да спечели състезанието, Ал Ахо заобиколи проклятието на експоненциалния растеж на таблицата със състояния на автомата, изобретявайки начин за изграждане в движение само на тези записи на таблицата, които наистина се посещават по време на разпознаването.

раци

Очарователната мета-програма на Луки Кардели за системата за прозорци Blit произвеждаше виртуални раци, които се разхождаха из празното пространство на екрана, отхапвайки все повече и повече от краищата на активните прозорци.

Някои общи мисли

Въпреки че не е видно от външната страна, теорията и алгоритмите играят решаваща роля в създаването на повечето от тези програми: typo, dc, struct, pascal, egrep. Всъщност, най-смайващо е именно необичайното приложение на теорията.

Оригиналните автори на почти половината от списъка — pascal, struct, parts, eqn — бяха жени, което значително надвишава демографската част на жените в областта на компютърните науки.

Дъглас Макилрой
Март, 2020

Източник: habr.com