본문으로 건너뛰기
J
피드

파서의 무한 루프 문제를 assert로 해결하는 새로운 기법

backend 약 2분
tags
#parser#compiler#rust#error-handling
vote
0
댓글
북마크

matklad가 resilient LL 파싱에서 발생하는 무한 루프/재귀 문제의 새로운 해결책을 제시함. 파서가 토큰을 소비했는지 assert로 검증하면 즉시 에러 감지가 되고, 암묵적 계약이 코드에 명시적으로 드러남.

  • 1

    Resilient parsing에서 토큰 미소비 시 무한 루프에 빠지는 문제

  • 2

    기존 해법: Fuel 패턴(Cell<u32>)과 머릿속 함수 추적

  • 3

    새 해법: advance assert로 즉시 에러 감지 + 계약의 코드 명시화

  • 4

    파서 API 설계 예시와 실제 버그 수정 과정 포함

  • matklad(rust-analyzer 개발자)가 크리스마스 연휴에 또 토이 파서를 만들다가 발견한 꿀팁. Resilient LL Parsing 방식에서 골치 아픈 무한 루프/재귀 문제를 깔끔하게 해결하는 방법임
  • 문제의 핵심: 에러 복구(resilient parsing)를 위해 토큰을 소비하지 않고 넘어가는 경우가 있는데, 이게 루프나 Pratt 재귀 호출 안에서 발생하면 무한 루프에 빠짐. 디버거 없이는 원인 찾기도 힘든 짜증나는 버그
  • 기존 해결책 두 가지: (1) Fuel 패턴 — Cell<u32> 필드를 lookahead마다 감소시키고 토큰 소비 시 충전하는 방식. 크래시는 나지만 문제 지점에서 스택 프레임 몇 개 떨어진 곳에서 터짐 (2) 어떤 함수가 토큰을 반드시 소비하는지 머릿속으로 추적하기. 사람이 하는 거라 실수가 잦음
  • 새로운 해법: 파서가 실제로 전진(advance)했는지 assert로 검증하는 것. 전진하지 않았으면 즉시 에러가 나고, 더 중요한 건 "이 함수는 토큰을 소비해야 한다"는 암묵적 계약이 코드에 명시적으로 드러난다는 점
  • 돌이켜보면 당연한 아이디어인데 파서를 여러 개 만들고 나서야 떠올랐다고. API 설계 예시와 실제 버그 수정 과정까지 글에 포함되어 있음

단순한 assert 하나가 디버깅 난이도를 극적으로 낮추는 좋은 사례. '당연한 아이디어'가 오래 걸린 이유는 암묵지를 형식지로 바꾸는 발상 전환이 필요했기 때문.

prev

이전 기사 (P)

next

다음 기사 (N)

댓글

댓글

댓글을 불러오는 중...

관련 기사

backend

클릭하우스가 PgBouncer 처리량을 4배로 끌어올린 방법

ClickHouse Managed Postgres 팀은 단일 스레드인 PgBouncer를 여러 프로세스로 띄우고 `so_reuseport`와 피어링(peering)을 조합해 16 vCPU 머신을 제대로 쓰게 만들었다. 동일한 AWS 환경에서 단일 프로세스는 약 8.7만 TPS 근처에서 막혔지만, 16개 프로세스 구성은 약 33.6만 TPS까지 올라갔다.

backend

SQLite 쓸 거면 STRICT 테이블을 기본값으로 보자는 주장

SQLite의 STRICT 테이블은 INTEGER 컬럼에 문자열이 들어가는 식의 타입 실수를 막아주는 기능이다. 글쓴이는 SQLite 특유의 유연한 타입 시스템보다, 실수는 빨리 터뜨리는 쪽이 실무에서 낫다고 주장한다. 다만 기존 테이블을 바로 STRICT로 바꾸기 어렵고, SQLite 3.37.0 이상에서만 쓸 수 있다는 제약도 있다.

backend

왜 아직도 Lisp를 배워볼 만한가

Lisp는 괄호가 많은 이상한 언어처럼 보이지만, 핵심은 문법이 아니라 언어 자체를 확장할 수 있다는 점에 있음. 매크로, 코드-데이터 동일성, REPL 중심 개발이 합쳐지면 프로그램을 '작성'한다기보다 살아 있는 시스템을 계속 진화시키는 방식으로 개발하게 됨.

backend

EDB 포스트그레스 AI, 포레스터 멀티모델 데이터 플랫폼 리더 선정

EDB의 AI 데이터 플랫폼 EDB 포스트그레스 AI가 2026년 2분기 포레스터 웨이브 멀티모델 데이터 플랫폼 보고서에서 리더로 선정됐음. 트랜잭션, 분석, AI 워크로드를 하나의 플랫폼에서 다루는 흐름이 강해지는 가운데, EDB는 전략과 현재 제공 기능 모두에서 높은 평가를 받았다고 밝힘.

backend

Bun, Zig에서 Rust로 갈아탔다: 11일짜리 초대형 런타임 포팅 실험

Bun 팀이 53만 줄이 넘는 Zig 코드베이스를 Rust로 기계적으로 포팅했고, Bun v1.4.0부터 Rust 기반으로 전환될 예정임. 핵심 이유는 성능보다 안정성이었고, use-after-free, double-free, 메모리 누수 같은 문제를 컴파일러와 타입 시스템으로 더 빨리 잡기 위해서였음. Claude Code 워크플로 64개를 병렬로 돌려 11일 만에 전 플랫폼 테스트 통과까지 밀어붙인 사례라, LLM 기반 대규모 코드 마이그레이션의 꽤 강한 신호탄임.