512바이트 안에 C 컴파일러를? 불가능을 현실로!

SectorC는 512바이트 부트 섹터(Boot Sector)에 맞게 설계되어, 토큰화(Tokenizing) 과정에서 공백 기반 토큰 분리(Space-Delimited Tokenization) 방식을 채택했다. 이로 인해 'Barely C'라는 독특한 형태의 C 언어를 구현하게 되었으며, 해시 함수(Hash Function)를 활용하여 식별자(Identifier)를 처리하고, 64K 세그먼트(Segment)를 심볼 테이블(Symbol Table)처럼 사용한다. 이러한 방식은 코드 크기를 최소화하는 데 기여했지만, 언어의 표현력에는 제약이 따른다.

SectorC의 핵심은 atoi() 함수를 토큰의 해시 값으로 활용하는 것이다. atoi()는 문자열을 정수로 변환하는 함수로, SectorC에서는 이를 통해 키워드(Keyword)와 식별자(Identifier)를 구분하고, 64K 크기의 배열을 심볼 테이블처럼 사용한다. 해시 충돌(Hash Collision)의 위험이 있지만, 코드 크기를 줄이는 데 효과적이다. 댓글에서는 이러한 해시 기반 접근 방식이 매우 우아한 아이디어(Elegant Idea)라는 평가를 받았다.

저자는 Forth 언어에서 영감을 받아 바이트 스레드 코드(Byte-Threaded Code) 방식을 시도했다. 이 방식은 각 명령어를 2바이트 경계에 정렬하여 1바이트로 주소를 지정하는 방식으로, 코드 밀도를 높이려는 시도였다. 하지만, 2바이트 정렬, 추가적인 ret 명령어, 함수 호출 등의 오버헤드로 인해 기존 방식보다 성능 향상을 얻지 못했다. 결과적으로, 이 아이디어는 구현되지 않았지만, 코드 최적화에 대한 흥미로운 접근 방식을 제시했다.

SectorC는 코드 크기를 줄이기 위해 다양한 최적화 기법을 사용했다. jmp/call 대신 fall-through 사용, tail-call 최적화, call-fusion, stosw/lodsw 활용, cmp ax, imm 사용 등이 대표적이다. 이러한 기법들을 통해 468바이트에서 303바이트로 코드 크기를 줄였으며, 200바이트의 여유 공간을 확보하여 다양한 기능을 추가할 수 있었다. 이러한 최적화 노력은 제한된 환경에서 효율적인 코드를 작성하는 방법을 보여준다.

SectorC는 오류 처리(Error Handling)를 거의 구현하지 않았다. 저자는 오류 검사에 대한 비용을 낭비라고 간주하며, 프로그래머의 완벽함을 신뢰하는 입장을 보였다. 댓글에서는 이러한 접근 방식에 대해 다양한 의견이 제시되었으며, 일부는 K&R 스타일(K&R Style)의 간결함을 칭찬하는 반면, 다른 이들은 오류 처리 부재에 대한 우려를 표명했다. 이는 제한된 환경에서의 개발과 실용성 사이의 균형에 대한 논쟁을 불러일으킨다.