데니스 리치(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

댓글

댓글 쓰기

이 블로그의 인기 게시물

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

-
이미지
[주의] 아직 업데이트 중인 글입니다. Standard unix command 중에서 '특정 directory와 하위 파일들이 파일시스템에서 차지하는 용량의 총합'을 알아낼 수 있는 가장 대표적인 방법으로 'du -s' ~ 'du --max-depth=0'가 있다. du command는 glibc의 fts를 이용하여 file system hierarchy를 (default)preorder로 recursive하게 traversing하여 모든 파일/디렉토리에 대하여 stat system call을 호출한다. 더 자세한 구현 내용은 Unix 'coreutils' repository의 'du.c'를 읽어보면 되겠다. (사실상 위의 두줄이 전부다.) glibc의 fts module implementation을 읽어보지 않아서, 실제로 directory tree traversing이 recursive하게 이루어지는지를 알 수는 없다. (설마?) 만약, 그렇다면 pre-order traversing 을iterative하게 바꾸면 속도가 좀 빨라지긴 할 것이다 .일단 이건 논외로 하고(...) 다른 대책으로는 다음과 같은 해결방법들이 있을 수 있다. 해결방법(?) (1) 모든 subdirectory들을 recursive하게 방문하면서 계산한다. (2) file과 관련된 system call이 일어날 때마다 어딘가에 subdirectory summarized size를 caching 한다. (장난하냐?) File system '전체'의 free space에 대한 정보는 file system header에 operation이 일어날 때마다 항상 업데이트되기 때문에 df command로 (2)가 가능하지만, single directory에서는 이게 안된다(꼼수가 있긴 한데, 나중에 실험해보고 업데이트 해야겠다.) 젠장! 그런데 내가(혹은 독자가) 이 문제를 왜 고민하고 있는가? 바
자세한 내용 보기

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

-
Introduction & Motivation Recently, I found out well-known formula 'Intersection between Three Planes'  (Equation (22.31) of [1]) has no proof on literaly anywhere. Even (almost) the book where it is propsed[2]. So, I decided to figure out how this formula is derived.. (of course, experimentally it is wokrs very well.) Notation Let there be three planes on euclidean space $P_1, P_2, P_3$ which intersect in a point. If we let there normals as $n_1=(a_1, b_1, c_1), n_2=(a_2, b_2, c_2), n_3=(a_3, b_3, c_3)$, they must be linearly independent. Also, let the planes $P_1, P_2, P_3$ as the system of equation like below :  $$\begin{cases} a_1x+b_1y+c_1z+d_1=0 \\ a_2x+b_2y+c_2z+d_2=0 \\ a_3x+b_3y+c_3z +d_3=0 \end{cases}$$ Proof A. Solve problem with Linear Algebra. To find a intersection point by linear algebra, write system of equations as matrix form : $$\begin{bmatrix}a_1 & b_1 & c_1 \\ a_2 & b_2 & c_2 \\ a_3 & b_3 & c_3 \\ \end{bmatrix}\begin{bmatrix} x
자세한 내용 보기

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

-
이미지
[주의] 영화의 마지막 장면을 가지고 쓴 글입니다. 영화를 안 보신 분 중 스포일러를 당하기 싫으시다면 '뒤로가기'를 눌러주세요. 얼마전 분수에 넘치게 'Call me by your name' 이란 영화를 정식 개봉전(!!)에 볼수있는 기회를 얻었다. 원작소설과는 다르게 현재진행형으로, 그리고 오직 영상미만 가지고 이야기를 풀어나가서 더 좋았다. 아, 그렇다고 원작소설에서 'Elio'가 1인칭 주인공시점으로 말하는게 재미없었다는건 아니다.  Call me by your name (2017), Luca Guadagnino 필자가 영화를 정정당당하게 봤음을 보여주는 사진 다른 영화같았으면 OST 가사가지고 포스팅 '씩이나' 쓰는 정성을 들이진 않았겠지만, 영화의 마지막 장면이 나에게 굉장한 임팩트로 다가왔기 때문에 몇글자 적어본다. Call me by your name (2017), Last scene Elio가 Oliver의 결혼 소식을 듣고 벽난로 앞에 앉아서 타오르는 불을 바라보며 기기묘묘한 표정을 짓는데, 이게 Sufjan Stevens(수프얀 스티븐스)의 'Visions of Gideons'와 맞물려서  감동의 쓰나미로 내 마음을 강타해 버렸다. 참고로, 'Visions of Gideons'는 있던 노래를 영화에 붙인게 아니라, Sufjan Stevens가 영화를 위해서 쓴 곡이다[4]. Lyrics of 'Visions of Gideons' I have loved you for the last time Is it a video? Is it a video? I have touched you for the last time Is it a video? Is it a video? For the love, for laughter, I flew up to your arms Is it a video
자세한 내용 보기