본문 바로가기

AI Compiler framework

결정성과 정적 그래프의 혼동 내용 정리 - 결정성을 정적 그래프가 아닌 캡처 가능성으로 재정의하자

Execution System이 요구하는 결정성은
정적 그래프의 결정성이 아니다.

동일한 의미가 항상 동일한 실행 그래프로
캡처될 수 있다는 보장이다.

반대로, 그래프가 어떤 형태로 표현되는지는
의미론적 탐색의 대상이며,
이 수준의 비결정성은 의도적으로 허용된다.