현재 값과 저장한 값의 출처를 읽기

업데이트: 2026-10-05 KST.

Gooo는 기록을 저장한 시점과 이후 바뀐 필드를 구분합니다. 작업 중인 문서 옆에 이전 사진을 놓고 비교하는 상황과 비슷합니다. 다음 본문에서 saved 와 previousState는 저장한 시점의 값을 가지고, current는 대입 이후의 값을 갖습니다.

let current = input0
let saved = current
let previousState = current.state
current.state = "ready"
current.reason = saved.title + ":" + previousState + ":" + current.state
return current

컴파일러가 이러한 관계를 작은 그래프로 내보내고, 작은 모델에 전달할 고정 배열도 준비합니다. 개발 PR1235와 main PR1236에 구현을 담았습니다. Go SDK의 새 입력 계약은 v0.2.24입니다. 배포·설치 상태는 현재 상태를 확인합니다.

바로 관측하기

컴파일러 저장소의 순차 대입 예제로 다음 명령을 실행합니다.

gooo body-context --value-flow --activity Select \
  examples/body-codegen/record-field-updates.gooo.fixture
gooo body-context --value-flow --activity Select \
  --feature-version triple_record_field_flow_v2_shared_v1 \
  examples/body-codegen/record-field-updates.gooo.fixture

첫 명령은 정의·복사·읽기·대입·조건과 양쪽 후보식의 관계를 보여줍니다. 조건 이후 두 경로의 값이 만나는 지점과 조기 반환 뒤에 남은 실행 경로도 기록합니다. 노드의 위치는 본문 또는 후보식 안의 바이트 위치이며, 필드는 선언한 안정된 ID를 유지합니다. 지역 변수 이름을 바꾸어도 관계가 유지됩니다.

두 번째 명령은 각 후보식의 출처를 16개 숫자 칸에 요약합니다. 입력·복사· 필드 대입·앞선 선택·조건 합류·읽기 등의 수를 세고, 표현식과 한영 의도를 합쳐 세 필드용 768칸을 만듭니다. 모델이 실행 결과를 보기 전에 읽을 수 있는 소스 관측입니다. 이 명령의 모델 호출과 예시 실행은 모두 0회입니다.

확인한 변화와 비용

네 가지 작성 소스에서 두 입력 계약을 각각 내보냈습니다. 여섯 관측 검사가 통과했습니다. 현재 기록과 저장 기록을 읽는 표현은 새 배열에서 구분되고, 지역 이름 변경과 유한 예시의 입력값 변경은 같은 배열을 유지했습니다. 이 네 형태·여덟 내보내기는 하나의 표현 실험입니다.

별도 순차 예제에서 소스 관계와 입력을 준비하는 과정은 5회 반복의 중앙값 59.9µs·임시 할당 86,892 B였습니다. 타입 정보를 별도로 보관하도록 바꾼 뒤 임시 할당은 43.1%, 이 준비 단계의 시간은 8.8% 줄었습니다. 전체 생성·빌드· 실행과 프로세스 최대 메모리는 다른 관측 항목으로 다룹니다.

원본·모든 반복·재현 명령 · 언어 소스 가이드.

작은 모델과 어떻게 이어지나

공개된 공유 필드 v1 모델은 기존 입력 계약과 가중치를 계속 사용합니다. 새 출처 계약의 호출 경로는 컴파일러·상주 작업자·저장 선택 재실행까지 연결했습니다. 새 가중치 학습은 다음 단계이며, 타입이 맞는 회귀용 합성 가중치로 호출·재실행을 확인했습니다.

먼저 여덟 요구 조합, 유지·부정 요구와 새 한영 표현을 균형 있게 준비하고, 같은 작은 모델 크기와 학습 예산에서 비교할 계획입니다. 실제로 생성한 프로그램의 필드와 출력 충족 수를 함께 읽습니다. 출처의 수만 요약하면 서로 다른 그래프가 같은 배열을 가질 수 있으므로 그 실패도 기록합니다.

현재 그래프는 순수한 기록 본문의 지원 범위를 따릅니다. 한도는 512노드, 동시에 유지하는 지역값 64개, 조건 깊이 16, 기록 필드 16개와 선택 6개입니다. 해석이 어려운 관계나 한도를 만나면 UNRESOLVED와 이유를 남깁니다. 모델 입력을 준비하지 못한 경우에는 결정론적 후보 순서로 진행합니다.

필드 순차 조립 · 공유 판단기 · 완전성 지표 · 최근 연구와 다음 기능.