C: 다른 모든 것이 실행되는 언어

핵심 내용

1. 모델은 정직합니다. malloc/free를 통한 수동 메모리, 포인터에 대한 산술, 정의되지 않은 동작은 버그 범주가 아닌 사양 수준의 진실입니다. C를 빠르게 만드는 규율은 부주의한 C를 비싸게 만드는 규율과 같습니다.
2. 정의되지 않은 동작은 회전하는 위험입니다. 범위를 벗어난 인덱싱, 부호 있는 오버플로, 메모리 안전성 CVE 제품군에 직접 대응하는 사용 후 해제 클래스(수십 년간의 CVE 데이터에서 거의 하나씩 연결됨). fuzzer(AFL-libFuzzer 클래스 도구) 및 sanitizer는 추측을 재현 조건으로 전환합니다.
3. 디버그 도구는 세계 최고 수준이며 알아둘 가치가 있습니다. gdb, valgrind/memcheck, AddressSanitizer 및 그 동족(UBSan, TSan)은 테스트 시간에 프로덕션 스택 추적에서만 암시하는 버그 클래스를 포착합니다. 이러한 조합이 'CI에서 살균제로 구축'하는 것이 C를 많이 사용하는 모든 팀의 기본 규칙인 이유입니다.
4. C를 읽는 것은 운영 기술입니다. CVE 발표는 함수 및 유형을 참조하고, 서비스 세그폴트는 gdb 어휘에서 역추적을 생성하고, 포트 트리 클래스 소스의 패키지 빌드는 품질을 정크와 구분하는 컴파일러 경고를 표시합니다. 독자의 이점은 수년 동안 조용히 결합됩니다.
5. ABI는 결합 조직입니다. 모든 '외부 함수 인터페이스'(Python의 ctypes, Rust의 FFI, Go의 cgo)는 C가 라이브러리 경계의 공용어가 되었기 때문에 C 모양입니다. 그 역할은 개발자 패션에 관계없이 C의 관련성을 유지합니다.
6. C가 여전히 작성하기에 적합한 도구인 경우: 커널, 드라이버, 임베디드 펌웨어 및 캐시 동작이 지배적인 가장 안쪽 루프; 다른 곳에서는 언어 비교(안전하지 않은 C 구성 요소를 안전하게 다시 작성하기 위한 Rust, 운영 도구용 Go)에서 정직하고 현대적인 선택을 다룹니다.

현장 노트

우리가 새니타이저를 제도화하게 만든 C 버그는 스택 추적 민속 자료를 통해 찾는 데 3주가 ​​걸렸고 AddressSanitizer에서는 3분이 걸렸습니다. 컴파일러 생태계는 이미 인간이 오전 2시에 검색해서는 안 되는 것들을 알고 있습니다.

자주 묻는 질문