List of Unix-Time - text.Baldanders.info
tag:text.Baldanders.info,2018-10-07:/tags
2018-10-07T21:48:19+09:00
帰ってきた「しっぽのさきっちょ」
https://text.baldanders.info/images/avatar.jpg
https://text.baldanders.info/images/avatar.jpg
UNIX 時刻に関する四方山話
tag:text.Baldanders.info,2018-10-07:/remark/2018/10/unix-time/
2018-10-07T12:48:19+00:00
2020-01-25T01:57:19+00:00
UNIX 時刻について色々と補足を交えながら簡単に紹介してみる。
Spiegel
https://baldanders.info/profile/
<ul>
<li><a href="https://qiita.com/Nimimal/items/8b2de87a6870707ba60a">(Tips)これから100年のunix時間は10桁数字。5桁の固定長文字列でも表現できる。 - Qiita</a></li>
</ul>
<p>この記事はなかなか面白かったが UNIX 時刻<sup id="fnref:1"><a href="#fn:1" class="footnote-ref" role="doc-noteref">1</a></sup> に関する説明がざっくりしすぎているので,補足を交えながら簡単に紹介してみる。</p>
<h2>時刻系に関するおさらい</h2>
<p>UNIX 時刻の説明に入る前に,前提となる時刻系についておさらいしておこう。</p>
<p>時刻系というのは,時間および時刻を測るために地球人類が考えた「決まりごと」である。
「決まりごと」なので「正しい時刻系」というのは存在しない。
強いて言うなら「考えた人の数だけ時刻系が存在する」。
とはいえ,やたら滅多に林立しても困るので,ある程度の統一を図る必要がある。</p>
<p>時刻系の歴史について語ると長くなるので,ここでは現代の日常生活に関係の深い2つの時刻系のみ紹介する。</p>
<p><strong>世界時系</strong> : 私達は太陽の日周運動<sup id="fnref:2"><a href="#fn:2" class="footnote-ref" role="doc-noteref">2</a></sup> を基準に生活している。
そこで昔の人は,この日周運動を時刻の基準にすればいいと考えた。
つまり天球<sup id="fnref:3"><a href="#fn:3" class="footnote-ref" role="doc-noteref">3</a></sup> 上の平均太陽 (mean solar)<sup id="fnref:4"><a href="#fn:4" class="footnote-ref" role="doc-noteref">4</a></sup> と子午線との時角を <strong>観測</strong> し,そこから基準となる時間(の長さ)を決めればいいわけだ。
こうして決めた時刻系を世界時系と呼ぶ。
世界時系の代表が UT (世界時; universal time)<sup id="fnref:5"><a href="#fn:5" class="footnote-ref" role="doc-noteref">5</a></sup> である。</p>
<p><strong>原子時系</strong> : いわゆる原子時計のこと。
最初の原子時計の <strong>定義</strong> は「セシウム133原子の基底状態における2つの超微細準位($F=4, M=0$ および $F=3, M=0$)の間の遷移に対応する放射の周期の9,192,631,770倍を1秒とする」というもので,基本的に現在でもこの定義が踏襲されている<sup id="fnref:6"><a href="#fn:6" class="footnote-ref" role="doc-noteref">6</a></sup>。
この原子時計に対して1958年1月1日0時0分0秒 UT2 を原点とした経過時間を TAI (国際原子時; international atomic time) と呼ぶ。
ちなみに GPS の時計も原子時系の一種である。</p>
<p>世界時系は私達の日常生活にマッチしているが観測値であり一定の時間を刻まない。
原子時系は定義された一定の時間を刻む<sup id="fnref:7"><a href="#fn:7" class="footnote-ref" role="doc-noteref">7</a></sup> が日常生活の基準である世界時系から僅かずつ乖離していく。</p>
<p>UT と TAI を整合させるために考えられたのが UTC (協定世界時; coordinated universal time) である。
UTC は原子時系の一種だが, UT1 との差が1秒未満になるよう閏秒による調整が行われる。
閏秒による調整は不定期だが,遅くとも半年前には告知される。</p>
<p>現在の UTC は1972年1月1日から運用を開始している。
運用開始時点では $TAI - UTC = 10\,\mathrm{sec}$ だったが,2017年1月1日時点では37秒まで拡大している<sup id="fnref:8"><a href="#fn:8" class="footnote-ref" role="doc-noteref">8</a></sup>。</p>
<h2>UNIX 時刻(UNIX Time)とは</h2>
<p>いよいよ本題へ。</p>
<p>大抵の文献では, POSIX 標準の UNIX 時刻の定義は「1970年1月1日0時0分0秒 UTC からの経過秒数」となっていて,かつては32ビット符号付き整数値で表されていた。
32ビットつまり4オクテット固定長データで表現できるためとても重宝されたが,2,147,483,647秒までしか表現できないため,2038年1月19日3時14分7秒より以降は桁あふれをおこしてしまう。
これがいわゆる「2038年問題」である。</p>
<h3>「2038年問題」の回避策</h3>
<p>「2038年問題」の回避方法としては以下の2つがある。</p>
<p><strong>UNIX 時刻を32ビット符号なし整数で表す</strong> : 場当たり的な対処だが時刻を表すデータの長さを変更することなく移行できるため,古いデータ・フォーマットをそのまま流用できる利点がある。
ただし1970年1月1日0時0分0秒より前の時刻は取り扱えなくなる。
これにより UNIX 時刻は4,294,967,295秒(2106年2月7日6時28分15秒)まで拡張される。</p>
<p><strong>UNIX 時刻を64ビット符号付き整数で表す</strong> : データ長が倍の8オクテットになるが,抜本的に対応するのであればこちらを選択すべきだろう。
多くの現行システムはこちらでの対応になっている筈である。
これなら9,223,372,036,854,775,807秒(約3000億年)まで表現できる。
ビッグバンからビッグクランチまで(笑)</p>
<p>もっとも時刻情報については UNIX 時刻以外にも様々な形式が存在するため,あえて UNIX 時刻に拘る必要はないかもしれない。
そもそも1秒未満の桁を表現できない UNIX 時刻はタイムスタンプとしてはもはや機能不足と言える。</p>
<h3>【実装例1】 OpenPGP における時刻情報</h3>
<p>OpenPGP (<a href="https://tools.ietf.org/html/rfc4880" title="RFC 4880 - OpenPGP Message Format">RFC 4880</a>) パケットにおける時刻情報は,古い仕様を踏襲する形で,4オクテット固定長で定義されている。
現在,次期仕様(<a href="https://datatracker.ietf.org/doc/draft-ietf-openpgp-rfc4880bis/" title="draft-ietf-openpgp-rfc4880bis - OpenPGP Message Format">RFC 4880bis</a>)で V5 パケットの仕様が検討されているが,時刻情報に関しては4オクテットのままでいくようだ。</p>
<h3>【実装例2】 <a href="https://golang.org/" title="The Go Programming Language">Go 言語</a>の time パッケージ</h3>
<p><a href="https://golang.org/" title="The Go Programming Language">Go 言語</a>には標準ライブラリとして <a href="https://golang.org/pkg/time/" title="time - The Go Programming Language"><code>time</code></a> パッケージが用意されているが,時刻を表す <a href="https://golang.org/pkg/time/" title="time - The Go Programming Language"><code>time</code></a><code>.Time</code> 型は西暦元年1月1日0時を原点としナノ秒単位まで対応している。
また UNIX 時刻を返す関数も用意されているが,この関数の返り値は int64 (64ビット符号付き整数) の値を返す。</p>
<p>このように最近のシステムやプログラミング言語は時刻に関する独自のクラス・オブジェクトを用意し,後方互換性を保つために UNIX 時刻を扱うメソッドが用意されていることが多い。</p>
<h2>UNIX 時刻と UTC</h2>
<p>ところで,前述した UNIX 時刻の定義を見ておかしいとは思わなかっただろうか。</p>
<p>現在の UTC の運用が始まったのは1972年からである。
なのに UNIX 時刻の原点は「1970年1月1日0時0分0秒 UTC」となっているのだ。
存在しない時刻<sup id="fnref:9"><a href="#fn:9" class="footnote-ref" role="doc-noteref">9</a></sup> を原点にするなんて,おかしいよね!</p>
<p>つまり実際の UNIX 時刻は「1970年1月1日0時0分0秒 UTC からの経過秒数」ではなく,グレゴリオ暦と現在の時制のルールに基づいて,2時点間の差分を単純計算しているだけなのである。
このことが最も顕著に現れるのが UTC における閏秒の扱いである。</p>
<p><a href="https://golang.org/" title="The Go Programming Language">Go 言語</a>で簡単なコードを書いてみよう。</p>
<p>かつて2017年1月1日0時0分0秒 UTC の直前に<a href="https://text.baldanders.info/remark/2016/11/leap-second-2017/" title="2017年直前の閏秒について">閏秒が挿入</a>された。
したがって</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-go" data-lang="go"><span class="line"><span class="cl"><span class="kn">package</span> <span class="nx">main</span>
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl"><span class="kn">import</span> <span class="p">(</span>
</span></span><span class="line"><span class="cl"> <span class="s">"fmt"</span>
</span></span><span class="line"><span class="cl"> <span class="s">"time"</span>
</span></span><span class="line"><span class="cl"><span class="p">)</span>
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl"><span class="kd">func</span> <span class="nf">main</span><span class="p">()</span> <span class="p">{</span>
</span></span><span class="line"><span class="cl"> <span class="nx">t1</span> <span class="o">:=</span> <span class="nx">time</span><span class="p">.</span><span class="nf">Date</span><span class="p">(</span><span class="mi">2016</span><span class="p">,</span> <span class="nx">time</span><span class="p">.</span><span class="nx">December</span><span class="p">,</span> <span class="mi">31</span><span class="p">,</span> <span class="mi">23</span><span class="p">,</span> <span class="mi">59</span><span class="p">,</span> <span class="mi">59</span><span class="p">,</span> <span class="mi">0</span><span class="p">,</span> <span class="nx">time</span><span class="p">.</span><span class="nx">UTC</span><span class="p">)</span>
</span></span><span class="line"><span class="cl"> <span class="nx">t2</span> <span class="o">:=</span> <span class="nx">time</span><span class="p">.</span><span class="nf">Date</span><span class="p">(</span><span class="mi">2017</span><span class="p">,</span> <span class="nx">time</span><span class="p">.</span><span class="nx">January</span><span class="p">,</span> <span class="mi">1</span><span class="p">,</span> <span class="mi">0</span><span class="p">,</span> <span class="mi">0</span><span class="p">,</span> <span class="mi">0</span><span class="p">,</span> <span class="mi">0</span><span class="p">,</span> <span class="nx">time</span><span class="p">.</span><span class="nx">UTC</span><span class="p">)</span>
</span></span><span class="line"><span class="cl"> <span class="nx">fmt</span><span class="p">.</span><span class="nf">Printf</span><span class="p">(</span><span class="s">"t1 = %v (%v)\n"</span><span class="p">,</span> <span class="nx">t1</span><span class="p">,</span> <span class="nx">t1</span><span class="p">.</span><span class="nf">Unix</span><span class="p">())</span>
</span></span><span class="line"><span class="cl"> <span class="nx">fmt</span><span class="p">.</span><span class="nf">Printf</span><span class="p">(</span><span class="s">"t2 = %v (%v)\n"</span><span class="p">,</span> <span class="nx">t2</span><span class="p">,</span> <span class="nx">t2</span><span class="p">.</span><span class="nf">Unix</span><span class="p">())</span>
</span></span><span class="line"><span class="cl"> <span class="nx">fmt</span><span class="p">.</span><span class="nf">Printf</span><span class="p">(</span><span class="s">"t2 - t1 = %v sec\n"</span><span class="p">,</span> <span class="nx">t2</span><span class="p">.</span><span class="nf">Unix</span><span class="p">()</span><span class="o">-</span><span class="nx">t1</span><span class="p">.</span><span class="nf">Unix</span><span class="p">())</span>
</span></span><span class="line"><span class="cl"><span class="p">}</span>
</span></span></code></pre></div><p>というコードを書いたとき,もし UNIX 時刻が閏秒を考慮しているのであれば,2時点の UNIX 時刻の差は2になる筈である。
しかし実際に実行してみると</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">$ go run unix-time.go
</span></span><span class="line"><span class="cl">t1 = 2016-12-31 23:59:59 +0000 UTC (1483228799)
</span></span><span class="line"><span class="cl">t2 = 2017-01-01 00:00:00 +0000 UTC (1483228800)
</span></span><span class="line"><span class="cl">t2 - t1 = 1 sec
</span></span></code></pre></div><p>となる。
これは他の言語でも(独自に閏秒に対応していないのであれば)同じようになる筈である。</p>
<p>まぁ,しかし,これは UNIX 時刻を設計した人を責めるべきではないだろう。</p>
<p>そもそも UT と UTC の違いを意識してる人なんて殆どいない。
閏秒がネット上で騒がれるようになったのは2012年頃からである<sup id="fnref:10"><a href="#fn:10" class="footnote-ref" role="doc-noteref">10</a></sup>。
今さら UNIX 時刻の仕様を変えようものなら逆に大変な騒ぎになりそうである(UNIX 時刻で格納している過去の時刻データが全てオシャカになる)。</p>
<h2>ブックマーク</h2>
<ul>
<li>
<p><a href="https://www.cs.columbia.edu/~smb/blog/2020-01/2020-01-19.html">Y2038: It’s a Threat</a></p>
<ul>
<li><a href="https://okuranagaimo.blogspot.com/2020/01/y2038.html?m=1">ブログ: Y2038: それは脅威です</a></li>
</ul>
</li>
<li>
<p><a href="https://text.baldanders.info/remark/2015/leap-second/">うるう秒は当分存続らしい</a></p>
</li>
<li>
<p><a href="https://text.baldanders.info/remark/2015/japanese-koyomi/">「暦」日本史 (再掲載)</a></p>
</li>
</ul>
<h2>参考図書</h2>
<div class="hreview">
<div class="photo"><a href="https://www.amazon.co.jp/dp/B079YJS1J1?tag=baldandersinf-22&linkCode=ogi&th=1&psc=1"><img src="https://m.media-amazon.com/images/I/51CPvtuv+wL._SL160_.jpg" width="123" alt="photo"></a></div>
<dl>
<dt class="item"><a class="fn url" href="https://www.amazon.co.jp/dp/B079YJS1J1?tag=baldandersinf-22&linkCode=ogi&th=1&psc=1">[試して理解]Linuxのしくみ ~実験と図解で学ぶOSとハードウェアの基礎知識</a></dt>
<dd>武内 覚 (著)</dd>
<dd>技術評論社 2018-02-23 (Release 2018-02-23)</dd>
<dd>Kindle版</dd>
<dd>B079YJS1J1 (ASIN)</dd>
<dd>評価<abbr class="rating fa-sm" title="4"> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="far fa-star"></i></abbr></dd>
</dl>
<p class="description">コンテナ全盛のこの時代にかなり硬派な内容の Linux 解説書。コンピュータの教科書としても使えそう。</p>
<p class="powered-by">reviewed by <a href='#maker' class='reviewer'>Spiegel</a> on <abbr class="dtreviewed" title="2019-01-07">2019-01-07</abbr> (powered by <a href="https://affiliate.amazon.co.jp/assoc_credentials/home">PA-APIv5</a>)</p>
</div> <!-- [試して理解]Linuxのしくみ -->
<div class="hreview">
<div class="photo"><a href="https://www.amazon.co.jp/dp/4805202254?tag=baldandersinf-22&linkCode=ogi&th=1&psc=1"><img src="https://m.media-amazon.com/images/I/51mQCyP04rL._SL160_.jpg" width="108" alt="photo"></a></div>
<dl>
<dt class="item"><a class="fn url" href="https://www.amazon.co.jp/dp/4805202254?tag=baldandersinf-22&linkCode=ogi&th=1&psc=1">天体の位置計算</a></dt>
<dd>長沢 工 (著)</dd>
<dd>地人書館 1985-09-01</dd>
<dd>単行本</dd>
<dd>4805202254 (ASIN), 9784805202258 (EAN), 4805202254 (ISBN)</dd>
<dd>評価<abbr class="rating fa-sm" title="4"> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="far fa-star"></i></abbr></dd>
</dl>
<p class="description">B1950.0 分点から J2000.0 分点への過渡期に書かれた本なので情報が古いものもあるが,基本的な内容は位置天文学の教科書として充分通用する。</p>
<p class="powered-by">reviewed by <a href='#maker' class='reviewer'>Spiegel</a> on <abbr class="dtreviewed" title="2015-01-11">2015-01-11</abbr> (powered by <a href="https://affiliate.amazon.co.jp/assoc_credentials/home">PA-APIv5</a>)</p>
</div> <!-- 天体の位置計算 -->
<div class="hreview">
<div class="photo"><a href="https://www.amazon.co.jp/dp/B01BHGVLOY?tag=baldandersinf-22&linkCode=ogi&th=1&psc=1"><img src="https://m.media-amazon.com/images/I/51mwPBTov5L._SL160_.jpg" width="114" alt="photo"></a></div>
<dl>
<dt class="item"><a class="fn url" href="https://www.amazon.co.jp/dp/B01BHGVLOY?tag=baldandersinf-22&linkCode=ogi&th=1&psc=1">猫暦(1) (ねこぱんちコミックス)</a></dt>
<dd>ねこしみず美濃 (著)</dd>
<dd>少年画報社 2014-10-14 (Release 2016-02-15)</dd>
<dd>Kindle版</dd>
<dd>B01BHGVLOY (ASIN)</dd>
<dd>評価<abbr class="rating fa-sm" title="5"> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="fas fa-star"></i> <i class="fas fa-star"></i></abbr></dd>
</dl>
<p class="description">「寛政の改暦」のころの伊能勘解由(忠敬)とその妻とされる「おえい」の物語。感想は<a href="https://text.baldanders.info/remark/2016/05/nekoyomi/">こちら</a>。</p>
<p class="powered-by">reviewed by <a href='#maker' class='reviewer'>Spiegel</a> on <abbr class="dtreviewed" title="2016-05-06">2016-05-06</abbr> (powered by <a href="https://affiliate.amazon.co.jp/assoc_credentials/home">PA-APIv5</a>)</p>
</div> <!-- 猫暦 -->
<div class="footnotes" role="doc-endnotes">
<hr>
<ol>
<li id="fn:1">
<p>この記事では時刻とはある時点からの経過時間を指すものとして書き分けている。時刻を表すには原点となる時点が必須である。 <a href="#fnref:1" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:2">
<p>もちろん地球を中心とした見かけ上の話。正しくは地球の自転運動および太陽を中心とした公転運動を基準にしている,というべきだろう。ちなみに地球の自転運動を基にした時刻系を恒星時系と呼ぶ。世界時系は恒星時系の一種と言える。 <a href="#fnref:2" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:3">
<p>天球とは地球を中心とした無限遠の仮想球面である。地球から見える月や惑星や太陽などの星々は天球への写像と見做すわけですね。 <a href="#fnref:3" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:4">
<p>太陽に対する地球の公転軌道は(ほぼ円に近い)楕円なので,天球上を移動する太陽(真太陽)の移動速度は季節によって僅かに進み遅れが発生する。これに対し,天球上の移動速度が年間で一定となるような仮想的な太陽を平均太陽と呼ぶ。 <a href="#fnref:4" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:5">
<p>厳密には UT には UT0 から UT2 まである。 UT0 はほぼ生の観測値で,観測地点ごとの UT0 を集計し極運動等の補正をかけたものを UT1 と呼ぶ。 UT2 は UT1 から更に自転速度の年間の進み遅れを補正したものである。現在では UT2 は使われていないようだ。 <a href="#fnref:5" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:6">
<p>SI 単位系の「秒」の定義。 <a href="#fnref:6" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:7">
<p>「原子時系は一定の時間を刻む」というのは相対論的効果を除外した場合の話。実は,厳密に言うと現在の TAI は相対論的効果などを加味した座標時系として再定義されている。だが日常生活でそれを意識することはないだろう。更に余談だが,座標時系のひとつに TT (地球時; terrestrial time) というのがあって天体力学や位置天文学の分野で使われている。 TAI と TT の間には $TT = TAI + 32.184\,\mathrm{sec}$ という関係がある(したがって,ある時点の UTC が分かれば TT も自動的に求められる)。何故こんな事になっているかについては聞くも涙の歴史物語があったりする(笑) <a href="#fnref:7" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:8">
<p>閏秒に関する議論については「<a href="https://text.baldanders.info/remark/2016/11/leap-second-2017/">2017年直前の閏秒について</a>」あたりを参考にどうぞ。 <a href="#fnref:8" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:9">
<p>厳密に言うと1972年以前にも UTC と呼ばれる時刻系は存在していたが,現在の UTC とは全く異なり,どちらかというと UT に近いルールだった。このため管理が煩雑になりすぎて破綻してしまったのだ。 <a href="#fnref:9" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
<li id="fn:10">
<p>情報処理の高速化により秒単位ではギャップが大きくなりすぎるため。またサービスの可用性(availability)に対する要求が高くなったという点も挙げられるだろう。 <a href="#fnref:10" class="footnote-backref" role="doc-backlink">↩︎</a></p>
</li>
</ol>
</div>