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

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

Споделете, кои програми и вас са ви поразили толкова много?

PDP-7 Unix

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

dc

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

typo

Typo подрежда думите в текста според тяхната сходство с останалия текст. Грешки като 'hte' обикновено се намират в края на списъка. Роберт Морис с гордост заявявал, че програмата ще работи еднакво добре за всеки език. Макар че typo не помага за откриването на фонетични грешки, тя стана наистина находка за всички, които въвеждат текст, и донесе много ползи преди появата на много по-малко интересна, но по-точна проверка на правописа по речник.

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

eqn

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

структура

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

паскал

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

части

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

egrep

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

крабове

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

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

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

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

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

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