파서의 무한 루프 문제를 assert로 해결하는 새로운 기법
matklad가 resilient LL 파싱에서 발생하는 무한 루프/재귀 문제의 새로운 해결책을 제시함. 파서가 토큰을 소비했는지 assert로 검증하면 즉시 에러 감지가 되고, 암묵적 계약이 코드에 명시적으로 드러남.
- 1
Resilient parsing에서 토큰 미소비 시 무한 루프에 빠지는 문제
- 2
기존 해법: Fuel 패턴(Cell<u32>)과 머릿속 함수 추적
- 3
새 해법: advance assert로 즉시 에러 감지 + 계약의 코드 명시화
- 4
파서 API 설계 예시와 실제 버그 수정 과정 포함
단순한 assert 하나가 디버깅 난이도를 극적으로 낮추는 좋은 사례. '당연한 아이디어'가 오래 걸린 이유는 암묵지를 형식지로 바꾸는 발상 전환이 필요했기 때문.
관련 기사
Go에서 Rust로 옮길 때 진짜로 바뀌는 것들
이 글은 Go 백엔드 서비스를 Rust로 옮길 때 속도보다 컴파일 타임 보장, 런타임 트레이드오프, 개발자 경험이 더 중요하다고 설명한다. nil 패닉, 데이터 레이스, 에러 처리, 제네릭, 비동기 모델, 마이그레이션 전략까지 실무 관점에서 Go와 Rust를 길게 비교한다.
Python 3.15에서 헤드라인은 못 탔지만 꽤 쓸만한 기능들
Python 3.15에는 lazy imports나 Tachyon profiler 같은 큰 기능 말고도 실무에서 바로 체감될 만한 작은 개선들이 들어가. TaskGroup 취소, 컨텍스트 매니저 데코레이터 개선, 스레드 안전 이터레이터처럼 평소 애매하게 불편했던 지점들이 꽤 깔끔해졌어.
심평원, DUR부터 의료영상 심사까지 클라우드로 갈아엎는다
심평원이 정보시스템 클라우드 전환과 함께 병·의원 업무에 직접 닿는 DUR, 의료영상 AI 심사, 요양급여내역 조회 시스템을 고도화한다. 핵심은 설치형 프로그램 중심이던 연계를 웹과 API 기반으로 넓히고, 진료·청구 과정에서 실시간 확인과 자동 판독을 강화하는 쪽이다.
윈도우 에러 코드 7번 ‘ERROR_ARENA_TRASHED’는 어디서 왔을까
ERROR_ARENA_TRASHED는 Win32에서 실제로 쓰이는 현대적 에러라기보다 MS-DOS 시절 메모리 관리 구조에서 넘어온 잔재야. MS-DOS가 메모리 블록 앞의 arena 시그니처를 훑다가 예상한 값이 아니면 ‘arena가 망가졌다’고 보고 이 에러를 냈다는 이야기야.
C/C++ 컴파일러의 느슨한 메모리 동시성 버그를 자동으로 잡는 박사논문
C와 C++ 컴파일러에서 relaxed memory 동시성 버그를 찾는 자동 테스트 프레임워크를 다룬 박사논문이 공개됐어. Téléchat, Atomic-mixer 같은 도구로 소스 수준 동작과 컴파일된 프로그램 동작을 비교하고, LLVM과 GCC 툴체인에서 실제 버그를 찾아낸 내용이 핵심이야.
댓글
댓글
댓글을 불러오는 중...