데니스 리치(Dennis Ritchie)께서는 X3J11 type qualifiers가 싫다고 하셨어.


Motivation

기억 안남

Article

  [1]은 데니스 리치가 X3J11 위원회가 제안한 C89 표준 내용 중 type qualifier에 이의를 제기하려고 보낸 메일 내용이다. 내가 이 고대문서에 흥미를 가지게 된 이유는, LLVM(Low Level Virtual Machine)에서 떡하니 자리를 차지하고 있는 'noalias' keyword가 데니스 리치에 의해서 과거 C표준으로 부터 제거되었다는 사실 때문이다. 그런데 이 메일에서 지적하고 있는 C 표준문서 버전 ANSI X3J11/88-001은 인터넷을 아무리 뒤져봐도 찾을 수가 없었다. [3]에 따르면, 그나마 구할수 있는 가장 가까운 버전인 ANSI X3J11/88-090 에서는 'noalias' keyword에 관한 내용이 이미 수정된 것 같다.

- X3J11?
  X3J11은 ANSI의 C표준 위원회(1983-1989)이다. X3는 컴퓨팅(computing)과 관련되었다는 뜻이고, J는 X3안에서의 카테고리를 나타내며, 11은 그냥 위원회에게 주어지는 숫자이다. (X3J3 Fortran 위원회와 X3J16 C++ 위원회도 있음)

이 메일에서 리치는 ANSI X3J11/88-001의 문제점 두 가지에 대해서 이야기하고 있다.

1. 'const' type qualifier의 정의의 문제점.
2. 'noalias' type qualifier의 삭제.

1번은 그렇다 치고, 내가 관심있는 2번 내용이 C89/C90에서 삭제된 이후 C99에서 다시 'restrict' keyword로 부활했다는 점에대해서 조사해보고 싶은데, ANSI와 ISO 둘 다 C89/C90 시대의 draft들을 성실히 보관하지 않아서 진상을 확인할 수 없다. 혹시 X3J11/88-001 문서를 가지고 있거나, Archive URL을 알고계신 분이 있다면 도와주시면 감사하겠습니다.

Reference

[1] https://www.lysator.liu.se/c/dmr-on-noalias.html
[2] http://collaboration.cmc.ec.gc.ca/science/rpn/biblio/ddj/Website/articles/DDJ/1991/9108/9108a/9108a.htm
[3] http://www.netlib.org/na-digest-html/88/v88n33.html#6

댓글

이 블로그의 인기 게시물

Proof of well-known 'Intersection Of Three Planes' formula.

Linux에서 특정한 디렉토리가 차지하는 용량을 효율적이고, 빠르게 계산하는 법(Fast, efficient way to calculate directory size recursively on linux)

영화 'Call me by your name'의 OST 중 'Visions of Gideons' 번역 및 해석