RE# 정규식 엔진, Rust로 재구현하여 성능과 유연성 모두 잡다!

Rust 버전은 lookahead 연산에 대한 제약 조건을 완화하여, 복잡한 정규식 패턴을 지원한다. 특히, (?=.*a)(?=.*b)(?=.*c)def와 같은 중첩된 lookahead를 단일 패스로 처리할 수 있다. 기술적으로 보면, lookahead(body, tail) 형태로 묶어 body와 tail을 함께 미분함으로써 매칭 과정의 효율성을 높인다. 이러한 접근 방식은 정규식 표현의 유연성을 향상시킨다.

벤치마크 결과에 따르면, Rust 버전은 리터럴 패턴(Literal Patterns)에서 기존 엔진에 비해 성능이 낮지만, 케이스 인센서티브(Case-insensitive) 매칭에서는 16,833배의 성능 향상을 보였다. 이는 Rust 버전이 SIMD 최적화를 아직 구현하지 않았기 때문이다. 하지만, 심볼릭 미분 방식과 UTF-8 지원을 통해 다양한 정규식 패턴에 대한 성능 개선 가능성을 보여준다. 향후 SIMD 최적화가 이루어지면 성능 격차를 줄일 수 있을 것으로 예상된다.