쇼핑몰 목록 화면은 할인가를 9,900원으로 보여 주는데 장바구니에 담으면 10,000원이 된다. 목록은 상품표에 구워 둔 값을 읽고, 장바구니는 쿠폰 규칙을 다시 계산하기 때문이다. 지도 앱의 바둑판 조각 경계에서 도로가 한 칸 어긋나고, 대시보드의 일별 합계와 월 합계가 몇 원씩 안 맞는 것도 같은 모양이다. 에이전트에게 이런 버그를 맡기면 대개 어긋난 쪽 하나를 다른 쪽에 맞춰 고치고 끝낸다. 다음 경계에서 또 어긋난다.
왜 경계에서만 답이 갈리나
같은 자리의 값을 두 곳에서 구하는데 두 곳이 서로 다른 '자기 사정'을 인자로 쓰면, 그 사정이 바뀌는 경계에서 반드시 답이 갈린다. 여기서 사정이란 묻는 쪽에 매인 것들이다.
- 가장 가까운 무엇 — 가장 가까운 길·매장·기준점. 가까운 것이 바뀌는 순간 그것에서 파생한 값(어느 쪽인가, 어느 구간인가, 무슨 등급인가)이 한꺼번에 뒤집힌다
- 자기가 가진 부분 데이터 — 조각(타일·페이지·샤드)이 자기 몫의 데이터만 보고 계산하면, 옆 조각은 같은 좌표에서 다른 데이터를 본다
- 자기 해상도·자기 자 — 촘촘한 층과 성긴 층이 같은 기울기·합계를 서로 다른 간격으로 재면 경계에서 값이 튄다
- 자기만의 사본 — 그리는 쪽은 곡선을, 계산하는 쪽은 옛 꺾은선을 본다
한가운데서는 두 답이 거의 같아서 눈에 안 띈다. 차이는 사정이 갈아타는 경계에만 모이고, 그래서 버그가 "가끔, 어떤 자리에서만" 난다.
어떻게 고치나 — 값을 좌표 하나의 함수로
해법은 값을 맞추는 것이 아니라 인자를 줄이는 것이다. 그 값이 세계의 성질이라면 세계의 좌표(시각·상품 번호·위치)만 받는 함수 하나로 만들고, 그리는 쪽·계산하는 쪽·이 조각·옆 조각이 모두 그 함수를 부르게 한다. 그러면 이음매는 "두 쪽이 같은 규칙을 지키기로 약속해서"가 아니라 같은 함수를 불렀으니까 맞는다. 약속은 언젠가 한쪽이 잊고, 구조는 잊을 것이 없다.
순서는 이렇다.
- 어긋난 값 하나를 고르고, 그 값을 구하는 경로를 전부 찾는다. 화면·계산·검사·캐시·내보내기. 대개 둘이 아니라 셋 이상이다
- 각 경로가 받는 인자를 적는다. 좌표 말고 다른 것(가장 가까운 무엇, 자기 조각의 데이터, 자기 해상도)이 끼어 있으면 그게 범인이다
- 그 값이 세계의 성질인지 묻는 쪽의 성질인지 가른다. 뭍인가 바다인가, 이 상품의 할인가는 얼마인가는 세계의 성질이다 — 누가 묻든 같아야 한다
- 세계의 성질은 좌표만 받는 함수 하나로 옮긴다. 필요한 데이터는 전체를 한 번 색인해 두고 함수가 그것을 읽게 한다(조각마다 제 몫만 들고 있지 않게)
- 모든 경로가 그 함수를 부르게 바꾸고, 옛 사본을 지운다. 그리는 함수만 바꾸고 거리·최근접 계산은 옛 데이터를 보게 두면 새 어긋남이 생긴다
- 경계 자리를 골라 시험한다. 조각 경계, 기준점이 갈아타는 자리에서 두 경로의 답이 같은지 숫자로 잰다
"가장 가까운 것"에서 나오는 값 중에도 써도 되는 것이 있다. 거리는 가장 가까운 것이 바뀌어도 이어진다. 반면 어느 쪽인가·어느 구간인가·무슨 등급인가는 바뀌는 순간 튄다. 이어지는 값만 쓴다.
에이전트 지침에 넣을 문장
같은 값이 두 곳 이상에서 구해지고 경계에서 어긋나면, 한쪽을 다른 쪽에 맞추지 마라.
1) 그 값을 구하는 모든 경로와 각 경로의 인자를 표로 적는다.
2) 좌표(위치·시각·식별자) 말고 다른 인자 — 가장 가까운 대상, 자기 조각의 부분 데이터,
자기 해상도 — 가 있으면 그것을 원인 후보로 적는다.
3) 값을 좌표만 받는 함수 하나로 옮기고 모든 경로가 그것을 부르게 한 뒤 옛 사본을 지운다.
4) 경계 자리에서 두 경로의 답이 같은지 숫자로 시험한다.
"이 경로에만 인자를 하나 더 주면 된다"는 결함을 다시 부르는 문장이다.
묶음의 상수도 같은 병이다
하나의 기준값(화면 거리, 기본 요금, 한 달 일수)에 매인 상수 묶음이 있을 때, 일부는 기준값의 비율로, 일부는 절대값으로 적어 두면 기준값을 옮기는 순간 절대값 쪽만 남아 조용히 어긋난다. 이것도 "같은 것을 두 방식으로 구한다"의 한 얼굴이다. 묶음의 모든 상수를 기준값에서 유도하거나, 유도 안 된 것을 시험이 잡게 한다.
우리가 겪은 일
모두 실시간 3D 지형 장면 한 프로젝트에서, 다른 세션·다른 날에 났다.
- 조각 경계의 단차 — 지형 조각이 높이를 "제 몫의 길 데이터"로 구해 이웃과 답이 달랐다. 창을 넓혀도 안 막혔고, 길 전체를 색인해 누구든 같은 답을 받게 하자 사라졌다
- 헤어핀의 구멍 — 지형을 "길에서의 위치·옆 거리"로 덮으니 급히 꺾이는 바깥쪽이 어느 위치에도 대응하지 않았다. 좌표 격자로 옮겨 없앴다
- 355m 절벽 — 뭍·바다를 "가장 가까운 길 점의 어느 쪽인가"로 정해, 두 구간이 가까운 자리에서 벽이 섰다. 좌표만의 해안 거리장으로 바꿨다
- 곡선과 꺾은선 — 그리는 함수만 곡선으로 바꾸자 거리 계산이 옛 꺾은선을 봐서 길이 땅 밖으로 삐져나갔다. 모서리 깎기는 총 길이를 5~8% 줄여 상수까지 틀어 원본 점을 지나는 보간을 골랐다
- 해상도가 다른 고리의 선 — 높이는 맞았는데 고리마다 기울기 재는 간격이 달라 법선이 경계에서 수십 도 튀어, 없는 사각형 능선이 그어졌다
- 절반만 옮겨진 상수 — 기준 거리를 두 배로 옮기자 절대값으로 적힌 제동 구간·안개만 남아 착지 직전 급정거가 났다