GCC는 어떻게 불필요한 정수 나눗셈을 제거하는가 — 매직 넘버와 역수 곱셈의 원리
GCC가 상수 제수로 나누는 코드를 만나면 div 명령 대신 '매직 넘버' 곱셈과 비교 연산으로 치환하는 최적화를 다룬 글입니다. 저자는 Number Field Sieve 구현 과정에서 이 현상을 관찰하고, Granlund-Montgomery 계열의 round-up·round-down 알고리즘으로 매직 넘버를 직접 도출하는 C 코드를 제시합니다.
GCC가 상수 제수로 나누는 코드를 만나면 div 명령 대신 '매직 넘버' 곱셈과 비교 연산으로 치환하는 최적화를 다룬 글입니다. 저자는 Number Field Sieve 구현 과정에서 이 현상을 관찰하고, Granlund-Montgomery 계열의 round-up·round-down 알고리즘으로 매직 넘버를 직접 도출하는 C 코드를 제시합니다.
Forth 구현 경험이 없던 개발자가 Lua의 C API 위에서 C로 작성한 Forth 구현체 MoonForth의 개발 과정을 회고한 글입니다. JonesForth의 소스를 참조하되 어셈블리 대신 Lua 스택을 직접 조작하는 C 함수로 코어 워드를 구성했고, 함수 포인터 테이블로 컴파일을 구현해 일주일 만에 조건문과 루프까지 갖춘 실사용 가능한 Forth를 완성했습니다.
Cloudflare의 Rust 기반 DNS 리졸버 Big Pineapple이 캐시 엔트리의 메모리 레이아웃을 최적화해 엔트리당 메모리를 56% 줄이고, 전체 플릿에서 약 100TB의 메모리를 절감한 사례를 분석한 글입니다. Vec·String을 Box 슬라이스로 교체하고, enum의 대형 variant를 박싱하며, 레코드를 raw bytes로 저장하는 하이브리드 방식이 핵심입니다.
OpenJDK가 Java 27의 레퍼런스 구현인 JDK 27을 GA(Generally Available)로 발표했습니다. G1 가비지 컬렉터의 전 환경 기본화, Compact Object Headers 기본 활성화, TLS 1.3용 포스트퀀텀 하이브리드 키 교환 등 9개의 JEP가 포함된 릴리스입니다.
동일한 시스템을 TypeScript와 GDScript로 각각 구현한 개발자가 GDScript를 심층 분석한 글입니다. 게임 로직 전용 언어로서의 강점(네이티브 벡터 타입, 시그널, GC 없는 메모리 관리)을 높이 평가하면서도, 미완성에 가까운 정적 타이핑 시스템과 함수형 프로그래밍 지원 부재를 약점으로 지적합니다.
atomic exchange 루프로 만든 순진한 스핀락을 acquire/release 메모리 순서, test-and-test-and-set, 지수 백오프 순으로 개선해 4스레드 기준 246ns에서 43.0ns로 5.7배 빠르게 하고 에너지 소비도 64.92J에서 11.92J로 5.4배 줄이는 단계별 최적화 과정을 다룹니다. 캐시 라인 소유권 경쟁과 분기 예측 실패가 성능 저하의 원인임을 perf 수치로 보여주며, 저자는 std::mutex가 여전히 올바른 기본값이라고 강조합니다.
Rust로 작성한 단순한 내적(dot product) 루프가 자동 벡터화되지 않는 이유는 IEEE 754 부동소수점 덧셈이 결합법칙을 만족하지 않아 컴파일러가 연산 순서를 바꿀 수 없기 때문입니다. 저자는 수동 청킹과 Rust 1.98에서 안정화된 algebraic 연산자로 벡터화를 유도하는 과정을 어셈블리와 함께 보여주며, 컴파일러가 생성한 코드가 naive한 intrinsics 구현보다 빠르다는 결과를 확인합니다.
Ubuntu 26.10 'Stonking Stingray'가 ls, cat, chmod, du 등 GNU coreutils를 Rust로 재작성한 uutils로 전면 교체하며 Rust 전환을 완료합니다. 보안 문제로 보류됐던 cp, mv, rm의 TOCTOU 취약점이 업스트림에서 수정되면서 마지막 퍼즐이 맞춰졌지만, 커뮤니티에서는 rm의 세그멘테이션 폴트 재현 사례를 들어 성급한 전환이라는 비판도 나옵니다.
dial9을 만드는 Russell이 RustConf Unconf의 비동기 디버깅·벤치마킹 논의를 바탕으로 정리한 Tokio 성능 원칙 모음입니다. '지연시간에는 양보(yield), 처리량에는 배칭'이라는 축을 중심으로, schedule latency 히스토그램으로 문제를 진단하고 공정성·전역 리소스·뮤텍스·워커 격리를 다루는 실전 지침을 담고 있습니다.
Evan Hahn이 코드 리뷰 경험을 바탕으로 관찰한 흥미로운 사회적 현상을 소개합니다. map과 filter는 별다른 반발 없이 받아들여지지만 reduce를 쓰면 "읽기 어렵다"는 피드백이 따라오는 경우가 많았다는 것입니다. 저자는 가독성, 친숙도, 성능, 언어별 표현력 등 여러 가설을 제시하며, 이 같은 경향이 함수형 프로그래밍 관용구의 실제 수용 방식을 보여준다고 이야기합니다.