Unix 시간과 ISO 8601 표기
SI 밖의 단위 · 양: 1970년부터의 정수 초로 나타낸 시각
2038년 1월 19일, 세계시로 세 시 십사 분 칠 초에 서른두 비트 너비의 초 셈틀이 2 147 483 647에 이른다 — 그것이 담을 수 있는 가장 큰 수이다. 다음 똑딱이 맨 윗 비트를 들어 올리고, 같은 두값 낱말이 이제부터 음수로 읽힌다: 바로 이 셈으로 시간을 간직하는 시계들은 2038년이 아니라 1901년 십이월에 놓이게 된다. 먼 앞날의 진기한 이야기가 아니다 — 산업용 제어기나 수도 계량기는 남은 열두 해보다 오래 일한다.
이 셈은 더없이 단순하게 짜여 있다: 초는 1970년 1월 1일 자정부터 잇달아 흐르고, 그 안에서 하루는 언제나 정확히 86 400초를 담는다. 바로 그 단순함이 두 가지 특성의 샘이다. 한편으로 수에서 곧바로 책력의 날짜가 나오고 그 반대도 그러하니, 온갖 사건 기록도, 온갖 자료 기지도, 온갖 파일 체계도 시간을 그것으로 간직한다. 다른 한편 윤초는 이런 셈으로 도무지 나타낼 수 없으니, 곧 이름과 달리 그것은 초가 아니라 소수를 지닌 날을 번호 매기는 것이며, 실은 UTC 표기의 일차 함수일 뿐 흘러간 시간의 셈틀이 아니다.
01 · 정의
Unix 시간이란 협정세계시로 1970년 1월 1일 자정부터 흘러간 초의 수이다. 다만 하루하루가 정확히 86 400초를 담는다는 전제 아래에서. ISO 8601 표기는 같은 것을 달리 말한다: 책력의 날짜와 그날의 시각, 그리고 본초자오선으로부터의 시차를 밝혀서. 칸들은 엄격히 굵은 데서 잔 데로 늘어선다.
86 400초라는 단서는 사소한 것이 아니라 뜻매김에서 가장 요긴한 대목이다. 지구 자전을 맡은 기관이 알리는 윤초를 이 셈은 받아들이지 못하며, 그리하여 끼워 넣는 순간 체계는 같은 값을 두 번 되풀이하거나 시계를 뒤로 돌린다. 여기서 중요한 것이 따라 나온다: 두 사건 사이에 끼움이 있었다면 두 unix 수의 차는 그 사이에 실제로 흘러간 초의 수가 아니다 — 원자 시계열과의 어긋남은 이미 스물일곱 초까지 쌓였다.
한계는 그러나 뜻매김이 아니라 보관의 너비에 달려 있다. 부호 있는 서른두 비트가 주는 가장 큰 값은 2 147 483 647이며, 그것은 2038년 1월 19일에 떨어진다. 다음 늘림은 맨 윗 비트를 하나로 만들어 수를 음수로 바꾸고, 시계를 1901년 12월 13일로 내던진다. 예순네 비트는 그 경계를 이천구백이십억 해 앞으로 밀어내지만, 바로 그 예순네 비트 안의 정수 나노초는 벌써 2262년에 바닥난다.
규격에 따른 표기는 다른 일을 푼다 — 보관이 아니라 주고받기이다 — 그리하여 거기서는 수가 아예 지니지 않은 것들이 무겁다: 시차, 날짜와 시각 사이의 구분자, 그리고 글줄의 길이가 같으면 사전 차례가 시간 차례와 맞아떨어진다는 규칙이다. 바로 이 마지막 성질이 이 형식을 파일 이름과 기록에서 줄 세우기의 바탕으로 만들었다.
미닫이로 시간을 끌며 레지스터가 차오르는 모습을 보십시오: 비트는 오른쪽에서 왼쪽으로 켜지고, 맨 위의 부호 비트가 어두운 동안에는 수가 양이며 날짜가 자란다. 셈틀이 2 147 483 647을 넘어서는 순간 맨 윗 비트가 붉게 타오르고, 수 전체가 음이 되며, 시계는 1901년으로 뛴다.
푸른 곧은 선은 원자 시계열이며, 거기서는 초마다 참으로 한 초이다. 붉은 층계 선은 Unix 시간이며, 끼움이 있을 때마다 같은 표를 두 번 내주는 까닭에 선이 제자리에 멈춘다. 어긋남은 이미 스물일곱 초이며 자라고 있다. 그러므로 이 셈은 책력의 날짜에는 쓸 만하나 물리학에서 지속을 재는 데에는 쓸 수 없다.
02 · 환산
타임스탬프나 날짜를 넣으십시오
셈의 모든 배수 사이에서 — 초, 밀리초, 마이크로초, 나노초 — 환산은 정확하다. 서로 곱수 하나만 다르기 때문이다. 어림인 것은 오직 한 줄이다: 원자 시계열로의 환산은 주어진 시각까지 윤초가 얼마나 쌓였는지를 알아야 한다.
규격에 따른 글줄의 풀이를 이 쪽은 Z를 지닌 넓힌 꼴에서 한다. 구분자 없는 바탕 꼴은 잔 설정으로 옮겨 두었다.
2038년의 문제는 규격이 아니라 장비와 낡은 코드에 있다: 서른두 비트의 표가 계량기의 내장 프로그램에, 산업용 제어기에, 파일 체계의 형식에, 그리고 칸이 이미 네 바이트로 선언된 자료 기지에 앉아 있다. 원본에서 형을 바꾸기는 꽤 쉽다. 그러나 남은 열두 해에 수백만의 설치된 장치를 두루 살피는 일은 2000년 앞에 놓였던 것과 같은 갈래의 일이다.
| 값 | 비고 | ||
|---|---|---|---|
| {u} | {name} | {value} | {note} |
03 · 크기의 차수
로그 눈금: 한 초에서 예순네 비트의 한계까지04 · 측정 기기
무엇으로 사건에 표를 찍는가
전지를 지닌 따로 된 칩이 장치가 꺼진 동안에도 셈을 이어 간다. 그것이 간직하는 것은 대개 unix 표가 아니라 책력의 칸들을 따로따로이며, 그 해 칸의 너비는 저마다이다. 그리하여 낡은 기판에서 2038년 이야기는 흔히 이 물음부터 시작된다: 칩 자신은 몇 해까지 세는가.
NTP 규약은 기계의 시계를 몇 밀리초의 정밀함으로 공통의 시간에 맞추며, 같은 그것이 끼움을 따로 마련한 깃발로 하루 앞서 알린다. 제 경계도 있으며 그것이 더 먼저 온다: 셈은 1900년부터 부호 없는 서른두 비트로 흐르고 2036년 이월에 넘친다.
기록에 표를 적을 때는 수로 하거나 규격에 따른 글줄로 한다. 뒤엣것이 나은 까닭은 꼭 하나이다: 길이가 같은 글줄에서는 자모 차례가 시간 차례와 맞아떨어지므로, 항목들이 날짜를 풀지 않고도 줄 선다. 바로 그 때문에 이 형식은 셈틀 기술을 훌쩍 넘어 퍼졌다.
어떤 장치가 2038년에 대비되어 있는지 시험하는 길은 오직 하나이다 — 그 시계를 그 불길한 경계 너머로 돌려 두고, 기록과 증서와 사이의 셈이 어떻게 되는지 보는 것이다. 그렇게 하여 요금 셈에서도, 드나듦을 다스리는 체계에서도, 열쇠의 유효 기간에서도 이미 탈이 드러났다. 거기서 앞날의 날짜는 더하기로 만들어지며, 경계 자체보다 한참 앞서 넘친다.
05 · 표기 규칙
굵은 데서 잔 데로, 그리고 언제나 시차와 함께
규격은 칸을 내림 차례로 늘어놓을 것, 해를 네 자리로 할 것, 날짜의 구분자로 이음표를 쓸 것, 시각 앞에 글자 T를 둘 것을 요구한다. 시차는 본초자오선에는 글자 Z로, 아니면 더하기 빼기 시와 분으로 밝힌다. unix 표는 정수로, 자리를 가르지 않고 적으며, 배수는 언제나 밝혀야 한다. 천이라는 곱수가 초와 밀리초를 가르는데, 수의 크기만으로는 둘을 쉽사리 혼동하기 때문이다.
첫째 표기는 나라마다 달리 읽히므로 자료를 주고받는 데에는 쓸 수 없다. 둘째는 구분자도 시차도 함께 빠뜨리니, 시각이 앞뒤로 하루씩 정해지지 않은 채 남는다. 셋째는 앞의 영을 잃어 글줄이 자모 차례로 줄 서지 않게 된다 — 그런데 이 형식이 값지게 여겨지는 것은 바로 그 성질 때문이다. 넷째는 unix 셈과 원자 시계열 사이에 같음표를 놓는데, 둘 사이에는 쌓인 끼움 스물일곱 초가 놓여 있다.
06 · 이웃 단위
곁에는 같은 이치로 짜였으되 기점만 다른 모든 셈이 서 있다: NTP 시간은 1900년부터, 율리우스일은 서력 이전 4713년 한낮부터, 인공위성 체계의 시계열은 1980년 일월부터. 다른 것은 기원과 단위뿐이니, 상수 하나를 빼면 환산된다.
부호 있는 초
그 한계는 벌써 2036년에 온다
윤초를 정직하게 셈에 넣어
Simetrium의 자료표 가운데 곁에 있는 것은 율리우스일, 환산 상수는 거기서 온 것이며, UTC, TAI, UT1의 시계열들, 사라진 윤초를 밝혀 주는 것들, 초 셈의 단위로서, 그리고 비트, 그 너비가 곧 한계를 정한다.
07 · 역사 부문
비트가 모자라 골라진 기원
첫 Unix 편람에서 시간은 1971년 처음부터 초의 육십분의 일로 세어졌고, 서른두 비트로 그런 셈은 겨우 두 해 남짓밖에 담기지 못했다. 어찌나 빨리 바닥나는지 체계를 낼 때마다 기원을 옮겨야 할 판이었고, 그리하여 초의 소수를 버리고 정수 초로 바꾸었다.
정수 초로 옮기면서 만든 이들은 백서른여섯 해의 여유를 얻었고, 기점을 궁함이 아니라 편함에 따라 고를 수 있게 되었다. 잡은 것은 1970년 1월 1일 — 지난날에서 가장 가까운 떨어지는 날짜이며, 기계의 기록은 어차피 거기까지 닿지 않았다 — 그 뒤로 단 한 번도 바꾸지 않았다. 체계 자체는 여러 번 밑바닥부터 다시 쓰였는데도.
국제 표준화 기구는 갈라지던 나라별 형식을 하나로 모으고, 그 바탕에 단순한 규칙을 두었다: 칸은 굵은 데서 잔 데로 가며, 모두 앞에 영을 지닌다. 곁따르는 효과가 본디 뜻보다 더 요긴해졌다 — 그런 글줄은 수처럼 줄 서므로, 형식은 파일 이름과 기록과 주고받기의 규약으로 퍼졌다.
책상의 체계도 시중드는 체계도 예순네 비트로 옮겨 간 지 오래이며, 거기서 경계는 온갖 사리에 맞는 지평 너머로 밀려났다. 위태로움은 다른 데에 남았다: 스무 해를 쓰는 계기의 내장 프로그램에, 칸이 네 바이트로 선언된 파일 형식에, 그리고 앞날의 기한을 셈하는 데에. 오늘 날짜에 열다섯 해만 더해도 오늘 벌써 넘치니.
이름과 달리 초를 세지 않는 셈
Unix 시간의 뜻매김은 초를 세는 것처럼 들린다. 그러나 하루에 꼭 86 400초라는 요구가 그것을 다른 것으로 만든다: UTC 표기의 일차 함수이지 흘러간 시간의 잣대가 아니다. 지구 자전을 맡은 기관이 끼움을 알릴 때마다 셈은 같은 값을 두 번 되풀이하거나 뒤로 뛰어야 하며, 두 표의 차에서는 바로 그 한 초가 사라진다. 반세기 동안 그런 잃음이 스물일곱 번 쌓였고, 그러므로 참된 지속이 필요한 일에서는 이 시계열이 아니라 원자 시계열을 쓴다.
둘째 특성은 뜻매김에 있지 않고 보관하는 방식에 있으며, 바로 그것이 이를 우리 목록에서 자연도 약속도 아닌 기계 낱말의 너비가 정한 오직 하나의 한계로 만든다. 율리우스일은 결코 끝나지 않는다, 그것이 수이기 때문이다. Unix 시간은 2038년 1월 19일에 끝난다, 그것이 네 바이트의 칸이기 때문이다. 어떤 양과 그 나타냄 사이의 차이는 보통 계량하는 이들의 마음을 그리 붙들지 않지만, 여기서는 바로 그것이 모든 것을 가른다.
목록 · 측정 단위
양마다 하나의 자료표
SI 기본단위 일곱, 고유한 이름을 가진 유도단위 스물둘, 그리고 그것 없이는 기술도 달력도 굴러가지 않는 계 밖의 양들.