מחבר המאמר, דאגלס מקילרוי, הוא מתמטיקאי, מהנדס ומתכנת אמריקאי. הוא ידוע בעיקר בזכות פיתוח הצינור במערכת ההפעלה Unix, עקרונות התכנות מונחה רכיבים, וכמה כלי עזר מקוריים: איות, הבדל, מיון, הצטרף, מדבר, tr.

לפעמים אתה נתקל בתוכניות נפלאות באמת. לאחר חיטטתי בזכרוני, אספתי רשימה של פניני יוניקס אמיתיות לאורך השנים. בעיקרון, אלו תוכניות נדירות למדי ולא כל כך נחוצות. אבל מה שגורם להם להתבלט הוא המקוריות שלהם. אני אפילו לא יכול לדמיין שאני עצמי הגיתי את הרעיון של אף אחד מהם.

שתף אילו תוכניות אתה גם כל כך מתרשם?

PDP-7 Unix

בתור התחלה, מערכת PDP-7 Unix עצמה. הפשטות והעוצמה שלו גרמו לי לעבור ממיינפריים חזק למכונה זעירה. זוהי מערכת הקבצים ההיררכית המובהקת, מעטפת נפרדת ובקרת תהליכים ברמת המשתמש ש-Multics במיינפריים לא הצליח להשיג לאחר מאות שנות-אדם של פיתוח. החסרונות של יוניקס (כגון מבנה הרשומות של מערכת הקבצים) היו מלמדים ומשחררים בדיוק כמו החידושים שלה (כגון הפניה מחדש של מעטפת I/O).

dc

ספריית המתמטיקה של מחשבון שולחן העבודה Variable Precision של רוברט מוריס השתמשה בניתוח שגיאות הפוך כדי לקבוע את הדיוק הנדרש בכל שלב כדי להשיג דיוק תוצאה שצוין על ידי המשתמש. בוועידת נאט"ו להנדסת תוכנה ב-1968, בדו"ח שלי על רכיבי תוכנה, הצעתי נהלי התייחסות שיכולים לייצר כל דיוק רצוי, אבל לא ידעתי איך ליישם אותם. dc היא עדיין התוכנה היחידה שאני מכיר שיכולה לעשות זאת.

טעות דפוס

שגיאת הקלדה מסדרת מילים בטקסט לפי הדמיון שלהן לשאר הטקסט. שגיאות כתיב כמו 'hte' נוטות להיות בסוף הרשימה. רוברט מוריס אמר בגאווה שהתוכנית תעבוד באותה מידה עבור כל שפה. למרות ששגיאות הקלדה לא עוזרות לך למצוא שגיאות פונטיות, זה היה ברכה אמיתית לכל קובעי הקלידים, וזה עשה הרבה טוב לפני שבודק האיות של המילון הרבה פחות מעניין אך מדויק יותר.

שגיאת הקלדה היא בלתי צפויה מבפנים בדיוק כמו מבחוץ. אלגוריתם מדידת הדמיון מבוסס על תדירות התרחשותם של טריגרמות, הנספרות במערך 26×26×26. לזיכרון הזעיר בקושי היה מספיק מקום למונים של בייט אחד, אז יושמה תוכנית לדחיסת מספרים גדולים למונים קטנים. כדי למנוע הצפת יתר, המונים עודכנו על בסיס הסתברותי, תוך שמירה על אומדן של הלוגריתם של ערך המונה.

eqn

עם כניסת הפוטוטיפ, זה הפך לאפשרי, אך מייגע להחריד, להדפיס תווים מתמטיים קלאסיים. לורינדה צ'רי החליטה לפתח שפת תיאור ברמה גבוהה יותר, ועד מהרה הצטרף אליה בריאן קרניגן. המהלך המבריק שלהם היה להעלות את המסורת שבעל פה על הכתב, כך ש-eqn היה קל להפליא ללמידה. הקדם-מעבד הראשון של שפת ביטוי מתמטי מסוגו, eqn לא שופר הרבה מאז.

מבנה

ברנדה בייקר התחילה לפתח את הממיר Fortan-to-Ratfor שלה בניגוד לעצת הבוס שלה, אני. חשבתי שזה עשוי להוביל לסדר מחדש מיוחד של הטקסט המקורי. זה יהיה נקי ממספרי הצהרות, אבל חוץ מזה לא יהיה קריא יותר מקוד Fortran בעל מבנה טוב. ברנדה הוכיחה שאני טועה. היא גילתה שלכל תוכנית Fortran יש צורה בעלת מבנה קנוני. המתכנתים העדיפו את הצורה הקנונית, ולא את מה שהם עצמם כתבו במקור.

פסקל

אבחון התחביר במהדר שנוצר על ידי הקבוצה של סו גרהם בברקלי היה המועיל ביותר שראיתי אי פעם - וזה נעשה באופן אוטומטי. בשגיאת תחביר, המהדר מבקש ממך להכניס אסימון כדי להמשיך בניתוח. אין ניסיון להסביר מה לא בסדר. עם המהדר הזה, למדתי את פסקל בערב אחד בלי שום מדריך בהישג יד.

חלקים

מוסתר בתוך מודול ה-WWB (שולחן העבודה של הסופר). parts לורינדה צ'רי קובעת חלקי דיבור למילים בטקסט באנגלית על סמך מילון קטן בלבד, כללי איות ודקדוק. בהתבסס על ביאור זה, תוכנית WWB מציגה אינדיקטורים סטיילומטריים של הטקסט, כגון שכיחות שמות תואר, פסקאות כפופות ומשפטים מורכבים. כאשר לורינדה התראיינה ב-NBC של Today ודיברה על בדיקת הדקדוק החדשנית בטקסטים של WWB, זה היה האזכור הראשון של יוניקס בטלוויזיה.

egrep

אל אהו ציפה שפותח הביטויים הרגולריים הדטרמיניסטיים שלו יעקוף את הפותח הלא-דטרמיניסטי הקלאסי של קן. לרוע המזל, האחרון כבר השלים מעבר בביטויים רגולריים מורכבים, בעוד egrep בנה אוטומציה דטרמיניסטית משלו. כדי בכל זאת לנצח במירוץ הזה, אל אהו עקף את קללת הצמיחה האקספוננציאלית של טבלת המצבים של האוטומט על ידי המצאת דרך לבנות תוך כדי תנועה רק את הערכים בטבלה שמבקרים בפועל במהלך ההכרה.

סרטנים

תוכנית המטא המקסימה של לוקה קרדלי למערכת החלונות Blit שחררה סרטנים וירטואליים ששוטטו בחלל המסך הריק, ונשכו את הקצוות של חלונות פעילים יותר ויותר.

כמה מחשבות כלליות

למרות שזה לא נראה מבחוץ, התיאוריה והאלגוריתמים מילאו תפקיד מכריע ביצירת רוב התוכניות הללו: שגיאת הקלדה, dc, struct, pascal, egrep. למעשה, היישום החריג של התיאוריה הוא המפתיע ביותר.

כמעט מחצית מהרשימה - פסקל, struct, parts, eqn - נכתבו במקור על ידי נשים, מספר גדול בהרבה על הדמוגרפיה של נשים במדעי המחשב.

דאגלס מקלרוי
מרץ, 2020

מקור: www.habr.com