최적화는 보통 개발 주기 마지막 10%를 차지하지만, 디버깅 노력의 90%를 소모합니다.

앱을 빠르게 구축할 때—특히 Rork와 같은 AI 앱 빌더를 활용하거나 복잡한 크로스 플랫폼 설정을 빠르게 반복할 때—코드 품질은 표면 아래에서 깨끗하게 저하됩니다. 메모리 누수(memory leaks), 레이아웃 스래싱(layout thrashing), 최적화되지 않은 에셋 스케일링, 그리고 중복된 상태 재계산 등이 발생합니다.

우리는 이 정확한 병목 현상을 해결하기 위해 Rork AI App Optimizer를 개발했습니다. 메모리 힙을 수동으로 프로파일링하고 스레드 차단 작업을 추적하는 대신, 리소스 집약적인 코드 경로를 리팩토링하도록 깊은 구조의 정적 분석(static analysis)과 런타임 휴리스틱스(runtime heuristics)를 자동화하는 오픈 소스 도구를 만들었습니다.

우리가 해결하고자 했던 핵심 문제들과 AI 최적화 엔진이 내부적으로 어떻게 작동하는지에 대한 심층 분석을 소개합니다.

현대 앱 라이프사이클의 핵심 문제들
대부분의 성능 저하가 거대한 아키텍처 실패에서 오는 것이 아니라, 미세한 비효율성들을 통해 조용히 확대됩니다:

• 상태 과다 렌더링 및 재할당 (State Over-Rendering & Re-allocation): 하이브리드 및 크로스 플랫폼 런타임(예: React Native/Expo)에서 인라인 객체 정의와 메모이제이션되지 않은 셀렉터 함수는 강도 높은 상태 업데이트 동안 UI 스레드가 프레임을 놓치게 만듭니다.
• 메인 스레드 차단 (Main-Thread Blocking): 오래 실행되는 동기 함수나 과도한 JSON 브릿지 트래픽이 메인 스레드를 막아 느린 인터페이스 전환을 초래합니다.
• 암묵적 메모리 누수 (Implicit Memory Leaks): 정리되지 않은 이벤트 리스너, 활성 클로저 내의 순환 참조(circular references), 그리고 할당된 메모리를 조용히 계속 축적시키는 바인딩되지 않은 런타임 후크(libsystem bindings 또는 저수준 Swift/Obj-C delegates) 등이 있습니다.

우리는 단순히 이러한 문제들을 강조하는 것을 넘어, 이를 안전하게 수정하기 위해 AST(Abstract Syntax Tree)를 업데이트하는 도구를 원했습니다.

AI 최적화 알고리즘의 작동 원리

이 저장소는 AI를 일반적인 텍스트 생성기로 취급하지 않습니다. 이 최적화 엔진은 구조화된 세 단계 파이프라인을 통해 작동합니다: AST 토큰화 및 그래프 매핑, 휴리스틱 병목 현상 태깅, 그리고 결정론적 다중 에이전트 리팩토링.

[소스 코드] ──> [파서 / AST 생성] ──> [의존성 및 제어 흐름 그래프]
│
[최적화된 코드] <── [결정론적 검증] <── [컨텍스트 인식 LLM 리팩토링]

1단계: AST 파싱 및 제어 흐름 그래프(CFG) 격리

LLM이 소스 코드를 보기 전에, 해당 코드는 국소화된 파서(예: JS/TS 환경을 위한 Babel/TypeScript 컴파일러 API 또는 원시 런타임을 위한 국소화된 Mach-O 세그먼트 맵)를 통과합니다.

엔진은 포괄적인 제어 흐름 그래프(CFG)를 구축합니다.

변수들을 초기화 지점부터 할당 생명주기까지 추적합니다.

이를 통해 불필요한 컨텍스트(boilerplate context)가 걸러져, 핵심 컨텍스트 창이 운영 로직에만 완전히 국한되도록 보장합니다.

2단계: 휴리스틱 병목 현상 태깅

LLM에게

시스템 프롬프트는 AI가 AST 변환기(AST transformer) 역할을 하도록 엄격하게 제한합니다. 이는 대상 함수를 격리하고, 구조적 변경(예: 익명 클로저를 호이스팅 구조로 추출하거나, 국소화된 메모이제이션 풀을 통해 계산을 캐싱하거나, 네이티브 스레드를 비동기 경계로 리팩토링하는 것)을 매핑한 다음, 정확한 델타(delta)를 출력하도록 합니다.

4단계: 결정론적 구문 검증 (Deterministic Syntactic Verification)
환각(hallucinations)이나 빌드 오류가 발생하지 않도록 보장하기 위해, 최적화된 출력은 자동화된 유효성 검사 단계를 거칩니다:

엔진은 새로운 코드 조각을 AST로 다시 컴파일하려고 시도합니다. 구문 오류가 발생하면, 해당 출력은 폐기되고 자동으로 재시도됩니다.

외부 모듈에 깨지는 변경 사항이 도입되지 않았는지 확인하기 위해, 내보내진 인터페이스와 서명 레이아웃(signature layouts)을 원래의 CFG(Control Flow Graph)와 비교하여 검증합니다.