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

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

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

PDP-7 Unix

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

dc

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

печатна грешка

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

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

уравнение

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

структура

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

паскал

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

части

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

егреп

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

раци

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

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

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

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

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

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