컴맹의 CS study

[본문은 출처의 article을 요약한 것] 언어를 추상화 하기 위해서 Syntax와 Semantic으로 나누어 생각.Syntax는 심볼이 배치되는 구조, 틀, 형식Semantic은 Syntax에 따라 작성된 것을 이해하는 방법, 의미, 흐름 하나의 프로그램에서 Syntax는 결국 => 프로그래밍 언어이것보다 수학적인 추상화를 위한 방법이 있나? => Denotational Semantic 이 필요. Denotational semantic의 방식은 1) Compositional Semantic과 2) Fixpoint Semantic이 있음. 1) Compositional Semantic의 경우는 부분을 통하여 의미를 서술하는 방식[1+2]=[3] 에서 [1]+[2] = [3]이 되는 듯 이때 순서문, 조..

[1] 의 내용을 번역한 것. reference의 경우에는 ramfs, tmpfs, initramfs의 순서대로 설명되어 있지만 개인적으로는 거꾸로 읽는게 더 이해에 도움이 되었다. initramfs2.6 이상의 kernel은 rootfs로 extract되는 cpio format의 archive를 가짐그 archive 가 extract되서 rootfs가 나오면, 그 rootfs에 init 이라는 file이 있는지 찾는데, 찾으면 걔를 PID 1로 실행시킴찾으면: 그 init이 하는게, locating and mounting the real root device. 못찾으면, kernel은 old code를 보면서 root partition을 locate and mount하고, /sbin/init의 some..