Alat pengembang · Konverter stempel waktu Unix
UTC, GMT dan TAI: stempel waktu mana yang sebenarnya dihitung
· Latar belakang
stempel waktu waktu unix zona waktu
GMT, UTC dan TAI sering dianggap sebagai sinonim, namun keduanya adalah tiga hal berbeda dengan sejarah berbeda. Posting ini menjelaskan masing-masing dan konverter waktu dan harian Unix mana yang benar-benar diikuti.
Tiga nama di satu server — GMT di header Tanggal, UTC di log, dan TAI di makalah penelitian, semuanya untuk detik yang sama
Server dapat menampilkan “GMT” dalam satu protokol, “UTC” dalam log, dan skala waktu lain dalam data ilmiah. Label jam serupa tidak memberikan pertukaran. Tugas pertama adalah mengidentifikasi kontrak di balik setiap bidang daripada mengganti nama semuanya UTC di lapisan presentasi.
Kontrak ToolAcre bersifat eksplisit: Detik atau milidetik Unix menjadi string ISO 8601 UTC, baris UTC yang dapat dibaca, dan baris lokal browser. Ia tidak memiliki pemilih skala. Setiap hitungan non-Unix harus diubah menggunakan definisi otoritatifnya sendiri sebelum rute ini relevan.
Skala dan serialisasi catatan inventaris yang berguna di samping setiap bidang. Label serupa tidak boleh menghapus asal usulnya, terutama ketika data melintasi sistem ilmiah dan aplikasi.
Greenwich Mean Time — waktu matahari pada suatu meridian, sejarahnya sebagai referensi dunia, dan mengapa sekarang ini menjadi zona waktu dan bukan standar
Garis besarnya menawarkan sejarah Greenwich Mean Time dan penggunaan hukum modern. Fakta-fakta tersebut tidak ada dalam konfigurasi konverter, sumber, atau pengujian. Oleh karena itu, artikel ini tidak mengubah penyimpanan kode menjadi kutipan historis berdasarkan inferensi.
Secara operasional, jika masukan mengatakan GMT, periksa protokol yang menentukan. Label jam yang tampak setara dengan tanggal penerapan biasa masih dapat memuat persyaratan tata bahasa atau kebijakan tertentu. ToolAcre mengeluarkan label UTC dan tidak boleh ditampilkan sebagai parser atau formatter GMT.
Jika interoperabilitas bergantung pada istilah tersebut, tautkan spesifikasi pengontrol dalam tinjauan kode. Label tampilan tidak boleh secara diam-diam menggantikan persyaratan format kawat.
GMT sejarah dan status hukum berada di luar bukti penyimpanan
Baris UTC dihasilkan oleh `Intl.DateTimeFormat` dengan `timeZone: "UTC"`; baris ISO berasal dari `toISOString()`. Panggilan tersebut membuktikan bagaimana antarmuka ini memberi label pada bacaan universalnya. Dokumen tersebut tidak mendokumentasikan kapan UTC diadopsi atau mekanisme kelembagaan di baliknya.
Untuk debugging, labelnya cukup untuk membuat referensi bersama yang independen dari zona lokal saat ini. Bandingkan string ISO atau nilai zaman antar sistem. Jika suatu sumber menggunakan skala lain, buktikan dulu hubungannya daripada berasumsi bahwa tanggal yang familiar berarti penghitungan yang sama.
Output Canonical UTC sangat berguna untuk membandingkan lingkungan karena menghilangkan pemilihan zona lokal. Namun, hal ini tidak mengubah masukan dari skala waktu yang tidak dideklarasikan.
Konverter memberi label UTC tetapi tidak mendokumentasikan sejarah definisi UTC
Waktu Atom Internasional tidak terwakili dalam kode, konfigurasi, atau pengujian. Tidak ada offset saat ini, kesenjangan historis, atau algoritme konversi yang muncul di sini. Memasok konstanta seperti itu dari ingatan akan menjadi jenis klaim waktu halus yang dilarang oleh tugas tersebut.
Pertahankan nilai berlabel TAI sebagai TAI hingga perpustakaan atau sumber resmi melakukan konversi pada tanggal tersebut. Menempelkannya secara langsung saat Unix detik menerapkan asal atau skala yang salah secara diam-diam dan masih dapat menghasilkan string ISO yang dipoles. Keterbacaan bukanlah validasi.
Konversi eksternal harus menyertakan nama skala dalam nama variabel dan tipe. Menghapus label tersebut sebelum melakukan aritmatika membuat hasil ISO selanjutnya yang masuk akal menjadi tidak mungkin untuk diaudit.
TAI tidak diterapkan, sehingga tidak ada kesenjangan atau konstanta konversi yang dinyatakan
Model Unix yang diuji maju dari nilai epoch 1,483,228,799 pada `2016-12-31T23:59:59Z` ke 1,483,228,800 pada tengah malam. Tidak ada masukan berbeda untuk `23:59:60`. Itulah makna konkrit dari perilaku ala POSIX dalam implementasi ini.
Masuk akal untuk mengatakan bahwa konverter memetakan Unix diperhitungkan ke keluaran sipil berlabel UTC berdasarkan aturan itu. Akan menyesatkan jika menyebut bilangan bulat sebagai hitungan detik atom yang tepat di setiap lompatan sejarah. Alat ini membuat tanggal perangkat lunak, bukan pengukuran skala waktu laboratorium.
Perbedaannya halus namun praktis: penghitungan urutan mewarisi konvensi Unix, sedangkan tampilan sipil mewarisi format Tanggal dan Intl. Tidak ada jalur yang memperlihatkan metadata waktu atom.
Model Unix yang diuji memetakan detik gaya POSIX ke dalam label UTC tanpa nilai detik kabisat
Contoh buku kerja HTTP dan waktu hukum Inggris memerlukan protokol eksternal dan sumber hukum. Mereka dihilangkan. Saat menerapkan header atau catatan yang diatur, ikuti spesifikasi sebenarnya daripada memilih kata-kata UTC atau GMT berdasarkan padanan sehari-hari.
Dalam modul ini, `GMT` mungkin muncul sebagai bagian dari rendering short-offset Intl untuk offset nol, namun itu adalah keluaran formatter, bukan janji untuk menghasilkan tanggal protokol. Pisahkan tampilan UI dari serialisasi format kabel dan terminologi hukum.
Pemformat yang mengembalikan label offset nol tidak cukup untuk memvalidasi protokol. Uji header berseri lengkap atau rekaman teregulasi dengan parser dan perlengkapan khusus.
Protokol dan penggunaan sah atas GMT memerlukan sumber eksternal dan dihilangkan
GPS skala waktu dan tanggal astronomi berada di luar mode yang diterima. UI hanya menawarkan deteksi detik, milidetik, atau otomatis, dan kedua unit yang didukung menggunakan zaman Unix. Tidak ada kotak centang yang mengubah konvensi asal atau lompatan.
Nomor dari skala lain harus diberi label melalui konsumsi dan penyimpanan. Konversi dengan metode bersumber yang dibuat khusus dan pertahankan yang asli. Hanya nilai turunan Unix yang termasuk dalam panel ini; jika tidak, hasil yang masuk akal dapat menyembunyikan ketidakcocokan mendasar.
Menolak skala yang tidak didukung lebih aman daripada menawarkan konstanta yang bisa ditebak. Pergeseran skala waktu bisa jadi sensitif terhadap tanggal, dan presisi yang salah di sini dapat mengatur ulang observasi ilmiah.
GPS dan skala astronomi bukanlah mode yang diterima
Ucapkan UTC ketika mengacu pada baris universal ToolAcre karena itulah yang diminta oleh sumber dan label UI. Ucapkan Unix detik atau milidetik untuk input numerik. Hindari pernyataan luas yang menggabungkan UTC, GMT dan waktu atom menjadi sinonim.
Ketepatan dalam penamaan adalah alat debugging. Hal ini mengidentifikasi transformasi mana yang diperlukan dan klaim mana yang masih belum diverifikasi. Konverter ini memberikan bukti kuat untuk satu jalur—Unix menghitung hingga tampilan UTC/local—dan sengaja tidak menawarkan satu pun untuk skala yang tidak terkait.
Saat menulis dokumentasi, lampirkan setiap istilah ke bidang atau formatter tertentu. Klaim Vague bahwa ketiganya “berarti pada waktu yang sama” menyembunyikan tanggung jawab konversi yang sebenarnya.