Programming's Greatest Mistakes • Mark Rendle • GOTO 2023

GOTO Conferences·GOTO Conference 2023·2023년

AI 요약

Mark Rendle(GOTO 2023)의 강연으로, 프로그래밍 역사상 가장 값비싸고 황당했던 실수들을 사례로 엮어 "무엇이 진짜 실수였는가"를 짚는다. 인명 사고는 제외하고, 기술 부채 방치·타입 시스템·언어 설계·단위 혼동·복붙 같은 반복되는 패턴을 통해 엔지니어가 새겨야 할 교훈을 유머로 전한다.

핵심 포인트

날짜 버그(Y2K·2038·로마 숫자 38)의 본질은 제약이 사라진 뒤에도 기술 부채를 수십 년 방치한 것
Pentium FDIV(4.75억 달러)·null("10억 달러짜리 실수")·Knight Capital(45억 달러 폭주)처럼 작은 코드/플래그 하나가 막대한 비용으로 이어진다
Mariner 1(누락된 하이픈)·Mars Climate Orbiter(인치 vs cm)·Ariane 5(20년 된 코드 복붙)는 검증·단위·재사용의 교훈, JavaScript는 10일 설계가 남긴 유산

왜 읽나검증·타입 안전·기술 부채·코드 재사용의 중요성을 실제 참사 사례로 체감하고 싶은 모든 개발자에게 재미와 교훈을 함께 준다.

챕터별 상세

010:00 – 9:05

사소한 실수와 날짜 버그 — Med file 'un□', Y2K, Roman 38

Mark Rendle은 사람이 다치거나 죽은 사례는 다루지 않겠다는 "콘텐츠 안심 문구"와 함께 프로그래밍의 큰 실수들을 풀어낸다. 먼저 자기 실수부터다. 회원 관리 소프트웨어의 새 버전이 기존 쿼리 파일(.med)을 손상시키자, 신경쇠약 직전이던 그가 복구 유틸리티를 만들며 다이얼로그에 "Med file un□" 같은 노골적인 이름을 임시로 붙였는데, 동료가 그대로 고객(소프트웨어에 150만 파운드를 낸)들에게 배포해 버린 일화다. 큰돈도 고객도 잃지 않았지만 "앞으로 이름은 못 짓게 하자"로 정리됐다.

반면 진짜 가격표가 붙는 실수도 있다. Y2K 는 펀치 카드·코어 메모리 시절 1바이트가 1달러였던 제약 아래 연도를 두 자리로 저장한 코발 코드에서 비롯됐다. Bob Bemmer가 1959년부터 경고했으나 사람들은 1990년대 후반에야 움직였고, 전 세계가 약 반조 달러를 들여 고쳤다 — 실수의 본질은 "45년이나 기술 부채를 방치한 것"이었다. 2022년 Microsoft Exchange가 날짜를 64비트 정수에 넣다 터진 일, 곧 닥칠 2038년 유닉스 32비트 시간 오버플로(64비트로 패치됨), 그리고 영국 Kennel Club이 강아지 이름 일련번호를 로마 숫자 로 저장해 38(XXXVIII)에서 필드를 넘긴(해법은 글자 두 칸 추가) 사례를 곁들인다.

이어 산업 전반의 잘못으로 Enterprise 를 든다. "제때·예산 내 납품되면 Enterprise가 아니다"라는 농담과 함께, Gartner·ThoughtWorks 레이더를 보고 새 트렌드를 도입하지만 결국 망가뜨린다고 꼬집는다. SAFe(Scaled Agile Framework), Auto Scrum 1.1, Accenture·Deloitte의 런던 지하철 노선도 같은 거대한 프로세스 도표에서 정작 프로그래머는 맨 아래 작은 점에 불과하다며, Enterprise가 수조 달러를 쓰고도 제대로 된 결과물을 거의 못 냈다고 비판한다.

하드웨어도 결국 사람이 짠 코드가 실리콘으로 컴파일된 것이다. Intel Pentium의 부동소수점 유닛(FDIV) 은 특정 나눗셈에서 미세하게 틀린 값을 내놨는데, 전체 수학을 테스트하지 않아 생긴 엣지 케이스였다. Intel은 처음엔 "영향받는 걸 증명하면 교환"이라다 곧 전량 교환으로 돌아서 4억 7,500만 달러(1990년대 기준 거액)를 썼다. 마지막으로 null 이다. Tony Hoare가 알골 W에서 레코드 참조의 빈 값을 표현하려 발명했고, 본인이 이를 "10억 달러짜리 실수"라 불렀다. 오늘날 C#의 nullable 검사(`?`)나 차별 유니언(option 타입)으로 이를 메우려 한다고 짚는다.

프로그램은 정확히 시킨 대로 하고, 그 출력이 다시 사람을 움직인다. 옛 CAD/구조 해석 소프트웨어 에서, 한 엔지니어가 쌓인 눈이 녹으며 미끄러질 때의 측면 전단력을 모델에 넣지 않은 채 출력대로 건물을 지었다가 지붕이 붕괴해 9,000만 달러가 들었다 — 전형적인 garbage in, garbage out이다(다행히 인명 피해는 없었다).

발표자가 가장 좋아하는 사례는 헤지펀드 Knight Capital 이다. 초저지연 트레이딩을 위해 거래소 옆에 서버를 두고 고도로 최적화된 코드(비트 마스크 재사용)를 운용하던 이들은, 뉴욕 증권거래소의 새 다크풀에 맞춰 6주 만에 소프트웨어를 급조했다. 옛 시스템에서 테스트 모드의 거래 횟수 제한 플래그로 쓰이던 비트를 새 코드가 전혀 다른 의미로 재사용했고, 8대 중 7대에만 신버전이 배포되며(정작 8번째 한 대만 올바른 코드였다) 가동 30분 만에 8억 달러어치, 종일 45억 달러어치의 통제 불능 거래가 쏟아졌다. Knight Capital은 결국 Goldman Sachs에 인수돼 6개월 뒤 사라졌다.

"우주에서는 누구도 브레이크포인트를 찍을 수 없다." Mariner 1 은 포트란 코드 자체가 아니라 수학자가 수식에서 "시간 평균(스무딩)"을 뜻하는 위쪽 하이픈을 빠뜨려, 매끄러운 곡선 대신 들쭉날쭉한 값이 임계를 넘는 것으로 읽혀 발사 4분 반 만에 멀쩡한 로켓이 폭파됐다(1960년대 1,800만 달러).

Mars Climate Orbiter 는 유비쿼터스 언어의 교훈이다. NASA는 외부 파트너 때문에 미터법을 쓰는데 Lockheed Martin은 인치 단위로 값을 넘겼고, NASA가 이를 센티미터로 입력해 계획상 226km여야 할 궤도가 실제 57km로 들어가 화성 대기권에서 추락, 3억 2,700만 달러를 화성 표면에 흩뿌렸다. Ariane 5 는 첫 비행에서 20년 전 Ariane 4 코드를 복붙해, 64비트 부동소수점 값을 16비트 주소에 저장하다 오버플로로 폭발했다 — 게다가 그 코드는 Ariane 5에 필요하지도 않았다. "복붙할 코드는 정말 필요한지, 테스트는 했는지 확인하라"는 교훈을 남긴다.

발표자는 같은 회사에서 Windows Forms로 재작성하던 프로젝트를 중간에 새로 나온 WPF로 통째로 포팅하려다 신경쇠약과 6주 입원, 10만 파운드 손실로 끝낸 자기 실수를 고백한다 — "시작한 기술로 끝내라"는 교훈이다.

그리고 JavaScript 다. 1995년 Brendan Eich가 Netscape Navigator 2.0에 넣을 스크립트 언어를 단 10일 만에 만들었고, 자바처럼 보이게 하라는 요구와 관대한 동작(타입 강제·암묵 변환)이 합쳐져 `[]+[]`, `b+a++a` 가 "banana"가 되거나 `document.all` 이 undefined이면서 null과도 같아지는 기묘함을 낳았다. "과거로 돌아갈 수 있다면 1994년의 Brendan에게 '내년에 만들 그 언어가 2023년엔 전 세계 코드의 절반이 된다, 그러니 지금부터 1년을 들여 제대로 만들라'고 말하겠다"는 농담으로 핵심을 찌른다. 끝으로 Heartbleed·log4j·ECDSA 같은 명예의 전당을 짧게 언급한 뒤, 1983년 소련 조기경보 시스템이 햇빛이 구름에 반사된 것을 ICBM 5발로 오인했을 때 "컴퓨터는 멍청하고 그걸 짠 사람은 무능하다"는 걸 알았던 스타니슬라프 페트로프 중령 이 반격을 거부해 사실상 모든 생명을 구한 이야기로 마무리한다.