받았다는 답이 없으면 다시 보냅니다.

01

보낸 쪽은 사라진 것을 곧바로 알 수 없습니다.

조각이 사라지는 단계에서 화면은 그 사실을 보여주지만, 보낸 쪽의 상태는 아무것도 바뀌지 않습니다. 회선 어딘가에서 조용히 버려진 것이라 누구도 알려주지 않기 때문입니다. 그래서 보낸 쪽이 쓸 수 있는 단서는 답장이 오지 않는다는 사실 하나뿐이고, 이 데모가 타이머를 화면에 계속 띄워 두는 이유가 여기 있습니다.

02

복구를 시작하는 것은 시간입니다.

잃어버린 조각을 다시 보내게 만드는 신호는 상대의 요청이 아니라 타이머 만료입니다. 정해 둔 시간 안에 답이 오지 않으면 사라진 것으로 보고 같은 조각을 한 번 더 보냅니다. 이 방식은 단순하지만 대가가 있는데, 실제로는 사라지지 않고 늦게 도착하는 중이었을 수도 있어서 그런 경우 같은 조각이 두 번 도착합니다.

03

번호가 중복을 걸러 냅니다.

답장이 사라진 시나리오에서는 서버가 이미 받아 둔 조각을 한 번 더 받습니다. 그런데 조각에 붙은 번호가 같기 때문에 서버는 그것이 새 데이터가 아니라 이미 처리한 것임을 알아보고 버립니다. 번호가 없었다면 같은 데이터가 두 번 쌓였을 것이고, 재전송이라는 방식 자체가 성립하지 않았을 것입니다.

04

두 가지 유실이 겉으로는 같아 보입니다.

보낸 쪽에서 보면 조각이 사라진 경우와 답장이 사라진 경우가 구분되지 않습니다. 둘 다 답이 오지 않는 것으로 관찰되기 때문입니다. 그래서 대응도 똑같이 다시 보내는 것 하나뿐이고, 어느 쪽이었는지는 받는 쪽에서 중복을 걸러 내며 자연스럽게 해결됩니다. 구분할 수 없는 상황을 구분하지 않고도 옳게 동작하도록 만든 설계입니다.

05

번호는 읽기 쉽게 단순화했습니다.

화면의 조각 번호는 1 과 2 처럼 순서대로 붙였지만, 실제로는 조각 단위가 아니라 바이트 단위로 번호를 셉니다. 조각 크기가 매번 다를 수 있어서 몇 번째 조각인지보다 몇 번째 바이트까지 받았는지가 더 정확한 표현이기 때문입니다. 여기서는 재전송과 중복 제거라는 구조만 보이면 되므로 번호를 단순하게 바꿨습니다.

06

세 시나리오를 같은 형식으로 만들었습니다.

세 경우 모두 같은 자료 구조로 되어 있어서, 각 단계가 어느 쪽이 움직이는 차례인지 · 지금 어떤 조각이 어디 있는지 · 타이머가 어떤 상태인지를 똑같이 담고 있습니다. 형식이 같으면 시나리오를 바꿔도 화면 구성이 그대로라 비교가 쉬워지고, 단계 수가 늘어난 부분만 눈에 들어옵니다.

07

양쪽이 아는 것을 따로 표시합니다.

화면에는 보낸 쪽이 확인받은 조각 목록과 받은 쪽이 실제로 가진 조각 목록이 따로 있습니다. 이 둘이 어긋나는 구간이 생기는 것이 손실 상황의 본질인데, 답장이 사라진 경우에는 받는 쪽은 다 받았는데 보내는 쪽만 모르는 상태가 됩니다. 목록 하나로 합쳐 두었다면 이 어긋남이 화면에서 사라졌을 것이고, 왜 불필요한 재전송이 일어나는지도 설명되지 않았을 것입니다.

08

복구 비용이 단계 수로 드러납니다.

손실이 없으면 여덟 단계로 끝나는 일이, 조각 하나가 사라지면 열한 단계, 답장이 사라지면 열두 단계가 됩니다. 늘어난 단계 대부분은 데이터를 나르는 것이 아니라 기다리고 다시 보내는 데 쓰입니다. 손실률이 조금만 올라가도 체감 속도가 크게 나빠지는 이유가 여기 있고, 회선 품질이 대역폭보다 중요할 때가 있다는 말이 이 구조에서 나옵니다.