이 기사의 저자 Douglas McIlroy는 미국의 수학자, 엔지니어 및 프로그래머입니다. 그는 Unix 운영 체제의 파이프라인, 구성 요소 지향 프로그래밍의 원칙 및 몇 가지 독창적인 유틸리티(spell, diff, sort, join, speak, tr)를 개발한 것으로 가장 잘 알려져 있습니다.

때때로 정말 멋진 프로그램을 접하게 됩니다. 내 기억을 뒤적거린 후, 나는 수년 동안 실제 Unix 보석 목록을 작성했습니다. 기본적으로 이들은 매우 드물고 꼭 필요한 프로그램은 아닙니다. 그러나 그것들을 돋보이게 만드는 것은 그들의 독창성입니다. 나는 그들 중 어떤 아이디어를 생각해 냈다고 상상조차 할 수 없습니다.

당신도 어떤 프로그램에 깊은 인상을 받았나요?

PDP-7 유닉스

우선 PDP-7 Unix 시스템 자체입니다. 그것의 단순함과 강력함은 나를 강력한 메인프레임에서 작은 기계로 옮겼습니다. 메인프레임의 Multics가 수백 년의 개발 끝에 달성할 수 없었던 전형적인 계층적 파일 시스템, 별도의 셸 및 사용자 수준 프로세스 제어입니다. 유닉스의 단점(예: 파일 시스템의 레코드 구조)은 유닉스의 혁신(예: 셸 I/O 리디렉션)만큼 유익하고 해방적이었습니다.

dc

Robert Morris의 가변 정밀도 데스크톱 계산기 수학 라이브러리는 사용자 지정 결과 정밀도를 달성하기 위해 각 단계에서 필요한 정밀도를 결정하기 위해 역 오차 분석을 사용했습니다. 1968년 NATO 소프트웨어 엔지니어링 회의에서 소프트웨어 구성 요소에 대한 보고서에서 원하는 정확도를 생성할 수 있는 참조 절차를 제안했지만 실제로 적용하는 방법을 몰랐습니다. dc는 여전히 이 작업을 수행할 수 있는 유일한 프로그램입니다.

오식

Typo는 나머지 텍스트와의 유사성에 따라 텍스트의 단어를 정렬합니다. 'hte'와 같은 맞춤법 오류는 목록 끝에 있는 경향이 있습니다. 로버트 모리스는 이 프로그램이 모든 언어에서 똑같이 잘 작동할 것이라고 자랑스럽게 말했습니다. 오타가 발음 오류를 찾는 데 도움이 되지는 않지만 모든 식자공에게 큰 도움이 되었으며 훨씬 덜 흥미롭지만 더 정확한 사전 맞춤법 검사기가 등장하기 전에는 많은 도움이 되었습니다.

Typo는 외부와 마찬가지로 내부에서도 예상치 못한 것입니다. 유사도 측정 알고리즘은 26×26×26 배열로 카운트되는 트라이그램의 발생 빈도를 기반으로 합니다. 작은 메모리에는 XNUMX바이트 카운터를 위한 공간이 거의 없었기 때문에 큰 숫자를 작은 카운터로 압축하는 체계가 구현되었습니다. 오버플로를 방지하기 위해 카운터 값의 로그 추정치를 유지하면서 카운터를 확률적으로 업데이트했습니다.

eqn

사진 식자의 출현으로 고전적인 수학 표기법을 인쇄하는 것이 가능해졌지만 매우 지루했습니다. Lorinda Cherry는 더 높은 수준의 설명 언어를 개발하기로 결정했고 곧 Brian Kernigan이 합류했습니다. 그들의 눈부신 움직임은 구전 전통을 글로 옮기는 것이었기 때문에 eqn은 놀라울 정도로 배우기 쉬웠습니다. 동종 최초의 수학적 표현 언어 전처리기인 eqn은 그 이후로 많이 개선되지 않았습니다.

구조체

Brenda Baker는 상사인 저의 조언에 반하여 Fortan-to-Ratfor 변환기를 개발하기 시작했습니다. 이것이 원본 텍스트의 특별한 재정렬로 이어질 수 있다고 생각했습니다. 명령문 번호는 없지만 잘 구성된 Fortran 코드보다 더 읽기 쉽습니다. 브렌다는 내가 틀렸다는 것을 증명했습니다. 그녀는 모든 Fortran 프로그램이 정규적으로 구조화된 형식을 가지고 있음을 발견했습니다. 프로그래머들은 자신이 원래 작성한 것보다 정식 형식을 선호했습니다.

파스칼

버클리에 있는 Sue Graham의 그룹이 만든 컴파일러의 구문 진단은 내가 본 것 중 가장 도움이 되었으며 자동으로 수행되었습니다. 구문 오류가 발생하면 컴파일러는 구문 분석을 계속하려면 토큰을 삽입하라는 메시지를 표시합니다. 무엇이 잘못되었는지 설명하려는 시도가 없습니다. 이 컴파일러를 사용하여 설명서 없이 하루 저녁에 파스칼을 배웠습니다.

부품

WWB(Writer's Workbench) 모듈 내부에 숨겨져 있음 parts Lorinda Cherry는 작은 사전, 철자 및 문법 규칙만을 기반으로 영어 텍스트의 단어에 대한 품사를 결정합니다. 이 주석을 기반으로 WWB 프로그램은 형용사, 종속절 및 복잡한 문장의 유행과 같은 텍스트의 문체 지표를 표시합니다. Lorinda가 NBC의 Today에서 인터뷰를 하고 WWB 텍스트의 혁신적인 문법 검사에 대해 이야기했을 때 TV에서 Unix가 처음으로 언급되었습니다.

이그렙

Al Aho는 그의 결정론적 정규식 리졸버가 Ken의 고전적인 비결정론적 리졸버를 추월할 것으로 예상했습니다. 불행하게도 후자는 이미 복잡한 정규 표현식을 통과하고 있었지만 egrep 자신의 결정적 자동화를 구축했습니다. 이 경주에서 여전히 이기기 위해 Al Aho는 인식 중에 실제로 방문한 테이블의 항목만 즉석에서 구축하는 방법을 발명하여 자동 장치의 상태 테이블이 기하급수적으로 증가하는 저주를 피했습니다.

게

Blit 윈도우 시스템을 위한 Luca Cardelli의 매력적인 메타 프로그램은 빈 화면 공간을 돌아다니며 활성 창의 가장자리를 점점 더 물어뜯는 가상 게를 출시했습니다.

몇 가지 일반적인 생각

외부에서 보이지는 않지만 이론과 알고리즘은 대부분의 프로그램(typo, dc, struct, pascal, egrep) 생성에 결정적인 역할을 했습니다. 사실 가장 놀라운 것은 이론의 특이한 적용이다.

목록의 거의 절반(pascal, struct, parts, eqn)은 원래 여성이 작성했으며 컴퓨터 공학 분야의 여성 인구보다 훨씬 많습니다.

더글라스 매킬로이
3 월, 2020

출처 : habr.com