svet tu neni proto aby to mel nejaky retardovany informatik jednoduchy...normalne nejsem sprosty ale tyhle nazory tady aspon je videt co za hovadka v tyhle branzi jsou. se divim ze jsme prekrocili rok 2000 a radsi jsme radikalne nezkratili definici sekundy, abychom 2000 aspon o 20 let odsunuli
Jenze cas jako fyzikalni velicina je daleko lepe vyjadren pomoci fyzikalniho casoveho modelu TT (https://en.wikipedia.org/wiki/Terrestrial_Time), ktery je v praxi realizovan atomovymi hodinami jako TAI.
Ferren mel zrejme pod 'astronomickym casem'[*] na mysli UT (https://en.wikipedia.org/wiki/Universal_Time), coz vlastne ale z fyzikalniho hlediska vubec nemeri plynuti casu, ale otacky Zeme, a to v jednotkach, ktere vlastne vubec nejsou jednotkami casu (i kdyz se jim snazi podobat).
A pak tu mame hybrid UTC, ktery micha vice nekompatibilnich konceptu dohromady (mereni rotace zeme podle UT, ale pomoci jednotek casu, tedy SI sekund) a problemy s tim spojene hackuje prestupnymi sekundami.
Lide nezpochybnuji validitu UT obecne, ale jeho relevanci pro civilni cas (tedy mimo specificke aplikace, ktere potrebuji presnou informaci o rotaci zeme). Zruseni prestupne sekundy se diskutuje v ITU. Pokud je zadouci zachovat aspon obecnou vazbu civilniho casu na rotaci zeme, tak je mozne nahradit prestupnou sekundu prestupnou hodinou realizovanou pomoci posunu casovych pasem.
[*] To oznaceni samo o sobe je vagni, protoze jak TT tak UT jsou astronomicke standardy a v astronomii jsou potreba oba - TT pro urceni kdy k danemu jevu dojde a UT k urceni toho kde na obloze ho hledat.
V ITU se to diskutovat muze, osobne si myslim, ze pro ucely telekomunikaci by taky bylo lepsi jet vsude v TAI. At uz jde o tarifikaci hovoru nebo treba zacatky/konce audio/video spotu v rozhlase a televizi, i tam vsude nadela nejmin skody pocet sekund od pocatku sveta s tim, ze prevody na UTC (a mistni pasmovy cas) je lepsi resit na vyssi urovni mimo telekom infrastrukturu.
Nicmene ITU (a narodni telekomunikacni urady) nejsou ti, alespon v zemich naseho kulturniho okruhu, kdo urcuji cas. Za ten zodpovidaji narodni metrologicke ustavy. A ty samozrejme resi spoustu zasadnich zmen, kvuli kterym je treba casto cestovat a flamovat s doktorandkama na strechach hotelu. Z poslednich udalosti vzpomenme napriklad pro tuto diskusi usmevne pripadnou redefinici SI sekundy jako takove (pa pa, cesium), a nebo z toho, co me zaujalo nejvic, redefinici kilogramu -- ze by po vice nez sto letech slo platinovy zavazi pod poklopem na sejry do duchodu?
Zajimavost: ten stavajici kg ma tu neprijemnou vlastnost, ze podle vsech mereni s postupem casu ubejva na hmotnosti. Patrne se z nej uvolnule plyn, zachycenej ve slitine pri odlevani odlitku. Jak uz nekdo vzpomenul vyse, je to celkem problem, protoze kvuli takovyhle prkotine napriklad neustale driftujou vsechny fundamentalni fyzikalni "konstanty", jako je treba hmotnost protonu nebo Planckova konstanta. Jenom proto, ze posukum ve skrini zvetrava zavazi.
Ano, s timto nazorem souhlasim. Myslim, ze kriticka cast vypocetnich systemu by mela bezet ve vnitrnim monotonnim case ("tiky od zapnuti", i kdyz kazdy, kdo mrknul na zalostnou situaci s existujicim HW v dnecnich multiprocesorovych, uspavacich a spotrebne-zmrvenych systemech vi, ze ani tahle velicina neni tak jednoducha a nekdy je vubec i nemozne ji spolehlive [!] naemulovat z dostupnych citacu). Toto a nic jineho musi byt CLOCK_MONOTONIC.
Dale pak, kdo nema na to se obsirat s definici legalnich casu pro dane staty (a nepotrebuje to), je podle me jedinou rozumnou volbou TT/TAI. Ten narozdil od vnitrniho casu (CLOCK_MONOTONIC) ma tu vlastnost, ze je porovnatelnej s celym svetem a metrologicke ustavy se o nej staraji jednotne s UTC a hranice sekund jsou stejne.
Kdo potrebuje z jakehokoli duvodu legalni cas, musi implementovat knihovny, obsahujici kalendar legislativnich zmen a prestupnych sekund. Z cehoz plyne, ze pro integritu vnitrniho zpracovani je vyrazne jednodussi jet v TAI a tyhle korekce na UTC a letni/velikonocni provadet mimo jadro vypocetniho systemu. Kdo to tak nema, zadela si na podobny problem, jako prepocitavat CLOCK_MONOTONIC zpetne z korigovaneho casu. Jinymi slovy: rovnak na vohejbak.
Myslim si, ze vsechny 3 casy, CLOCK_MONOTONIC (integrita jednoho OS, hlavni vnitrni cas kernelu), TAI (integrita napric ruznymi OS) a UTC (srovnani s legalnim casem) maji sve misto. Ale lopaticky by si mely umet vybrat, v kterem z nich danou operaci provedou.
Ano.
Konkretne, mrknemez se na ten, zdejsim apologetou Google-casove stupnice zminovanej, bug v jadre linuxu: zavadeni prestupnych sekund do subsystemu timekeeping zpusobilo, ze CLOCK_MONOTONIC nebyl monotonni... proc asi... protoze timekeeping v Linuxu je nepekne zmastenej a jsou tam kusy NTP (ktery tam, prekvapeni, vubec nemusej bejt). A predevsim, jede se tam ten horsi styl, kdy se neustale neco reguluje, misto, aby vse vnitrne jelo v monotonnim case a vsechny ostatni "obcansky" a NTP casy z toho byly pocitany korekci. Cely NTP a veskera infrastruktura prestupnejch sekund v userspacu (vc. gettimeofday, coz uz nastesti dnes funguje a lze to) a mimo vliv na vnitrni chod jadra. Inu, nejak se tam naakumulovala v kodu ta "ryba v nas".
Mimochodem, posledni okamzik me snahy s tim neco delat byl loni v rijnu, kdy jsem svoji predstavu o reseni (kudos Pavlu Pisovi za pomoc s vhledem do kernelu) nutil pro osobni schuzce Poul-Henning Kampovi, ale nenarazil jsem na pochopeni. Co uz, Linux Foundation plati(la) jemu a ne me, tak necht je to jeste nejaky cas nebo deset let rozmrveny, mezitim se budu zabejvat casomirou, ktera zivi me.
Fňuk, akademiky nemá nikdo rád :-DDD
A to souvisi zhruba jak s dle meho nepriznivym vysledkem rozhovoru dvou ne-akademiku? Byl nas hovor s PHK snad ovlivnen temnou aurou zamecku v Sevres u Parize, znameho coby sidlo zla a metrologii stizenych akademiku? Nemyslim.
PHK zavolali z Linux Foundation a nacpali mu prachy, jelikoz plati za jednoho z mala lidi v pruniku mnozin "OS" a "casomira" a on zacal svuj ntimed (uz jsem na vyvoj rok nekoukal). Kouknul jsem na to a jelikoz jsem mel zrovna cestu do zednarske loze na dulezite zasedani o tom, jak jeste vice zkomplikovat vypocet, kolik je prave ted hodin (tru story, bro), tak jsem s PHK hodil rec a snazil jsem se ho tlacit do vyse zmineneho stylu: drzet vse v monotonnim a korekce vystrnadit do co nejvyssich (ve smyslu hierarchie) a nejokrajovejsich (ve smyslu rozhrani) casti OS/SW. Nesouhlasil, coz je podle me blbe; myslim, ze prijde den, kdy to zas po PHK nekdo bude muset predelat.
Bohuzel nemam v soucasne dobe kdy na charitu a popravde cas v OS je zatim pro vsechny moje systemy irelevantni, tak jsem se do psani patche nepustil, i kdyz jednou za cas si na to s Pavlem Pisou vzpomeneme a kdo vi, treba dojde k tomu, ze budu i cas v OS nutne potrebovat (a nebo nekdo jinej, kdo na to da prachy) a pak se misto kecu dame do dila na linux/timekeeping. V nejblizsim pulroce to nehrozi, za okny zuri kapitalismus a musim tezit $.
Nesouhlasil, coz je podle me blbe; myslim, ze prijde den, kdy to zas po PHK nekdo bude muset predelat.
Jojo, to takhle přijde akademik a začně vykládat, jak to všichni dělají blbě, protože to nefunguje s krávovinou, kterou akademik vymyslel (přestupná sekunda) a hrozně se diví, že je nepochopen.
Je jasný, že zrušit přestupnou sekundu je blbost. Je to potřeba nějakým způsobem korigovat, aby časem nevycházelo slunce třeba v 11.
Ale proč zrovna sekunda? To jako musí nutně vycházet slunce na vteřinu stejně?
Nebylo by lepší místo přidávání 1s každých ~ 1,5 roku přidávat 1 minutu jednou za ~ 90 let?
Další možností by byla hodina, to už bysme se dostali někam k periodě ~ 5400 let. Nicméně to mi nepřijde jako ideální. Hodina už je docela znát a navíc je to takové to odsouvání problému dalším generacím. Myslím, že < minutu by v rozmezí 90 let nikdo nepostřehl a nemuselo by se to každou chvíli řešit.
Je takove vcelku uzitecne pravidlo: "pokud je to tezke, tak to delej co nejcasteji." Trebas integrace jsou tezke a tak delej CI.
A tady mi to prijde jako ten samy pripad - cim casteji se to bude delat, tim rychleji se najdou problemy, ktere se pri pristi zmene uz neprojevi. Lepsi co par let narazit na par chyb nez jednou za sto let schytat vsechny nahromadene..