Gooo로 Gooo 소스 바꾸기

이번에는 소스를 조금 고치는 도구를 Gooo로 만들었습니다. 원문이 맞는지 확인하고, 지정한 조각을 교체하고, 바뀐 길이를 적는 세 단계입니다. 앞에서 내린 결정이 다음 단계의 동작에 영향을 줍니다.

예를 들어 짧은 함수의 input + 1을 input * 2로 바꿉니다. 텍스트를 반환하는 데서 끝내지 않고, 반환된 Gooo 소스를 컴파일해 -5·0·9를 넣었습니다. 결과는 -10·0·18이었고 고정 순서와 모델 경로에서 각각 3/3을 확인했습니다.

모델은 어디에 쓰였나

소스에 있는 세 자리에는 각각 두 개의 후보식이 있습니다. 최대 여덟 조합입니다. 기존 자체 소형 모델이 시도할 순서를 제안하고, 컴파일러가 선언된 여덟 예제로 조합을 검사합니다. 모델을 빼면 정해진 순서로 진행합니다.

이번 모델은 파일명 처리·나눗셈·재시도 프로그램으로 학습한 가중치를 그대로 썼습니다. 소스 수정 프로그램을 새로 학습시키지 않았습니다.

관측	고정 순서	기존 그래프 모델
첫 후보의 조립 사례	2/8	2/8
조립 완료까지 시도	8회	4회
완성된 코드의 별도 입력	542/542	542/542
저장한 코드의 재실행	542/542	542/542
조립 한 번의 모델 호출	0회	1회
실행·저장 재실행의 모델 호출	0회	0회

한글, 이모지, 줄바꿈, 반복 문자열, 오래된 원문, 그대로 둬야 하는 경우, 길이 제한을 넣었습니다. 별도 입력 542개는 조립 예제 8개와 겹치지 않습니다. 새 프로그램 하나를 여러 입력에서 확인한 결과입니다.

덜 완성된 상태에서도 볼 수 있는 것

모델이 처음 고른 조합은 수정 여부를 false로 두었습니다. 교체식과 최종 길이식을 잘 골라도 실제 교체 분기에 들어가지 못했습니다. 두 번만 시도하면 모델이 맞힌 조립 필드는 9/24였고 고정 순서는 15/24였습니다. 네 번까지 허용하면 모델이 24/24, 고정 순서가 21/24가 됐습니다.

완성 전후를 함께 남기니, 어느 단계가 다른 단계의 효과를 막는지 볼 수 있었습니다. 다음 연구에서는 앞선 선택을 뒤의 판단에 전달하거나 조합 전체를 평가하는 방식을 비교할 수 있습니다. 이번 프로그램은 이미 결과를 관측했으므로, 다음 학습의 평가에는 새 프로그램과 입력을 따로 고정해야 합니다.

542개 중 321개는 원래 내용을 그대로 두는 게 정답입니다. 아무것도 고치지 않는 프로그램도 321/542를 얻습니다. 그래서 전체 사례 수와 함께 실제 교체 사례, 필드별 충족 수, 시도 횟수를 함께 기록했습니다.

지금 쓸 수 있는 범위

workbench splice 명령으로 최대 1,024 UTF-8 바이트의 텍스트를 수정합니다. 파일 연결은 Go가 맡고 수정 판단은 Gooo 소스에 있습니다. 결과는 새 폴더에 저장합니다. 실제 요청은 기대 정답 없이 실행할 수 있고, 같은 조립 기록으로 새 입력을 모델 호출 없이 처리할 수 있습니다.

연결 중에 컴파일러의 불일치도 찾았습니다. 본문 생성에서 되는 len이 패키지 실행에서는 선언하지 않은 함수로 처리됐습니다. 컴파일러 수정 PR 1378과 도구·실험 PR 27을 공개했습니다. 원래 0.6.9-dev 배포 파일은 이 패키지 수정이 필요합니다. 현재 설치 파일과 새 배포의 완료 여부는 현재 상태에서 따로 안내합니다.

모델 판단 구간은 네 관측에서 6297µs, 준비는 0.210.54ms였습니다. 텐서는 2,096바이트이고 메타데이터 등 추가 메모리가 있습니다. 이번에는 호스트 CPU 증가량과 전체 프로세스 메모리를 측정하지 않았습니다. 후보를 덜 시도한 결과와 전체 실행 속도는 구분해 봅니다.

공개 실행 안내 · 계획·부분 결과·원본 실행 기록.