Kairos 本社の暦と、支社の暦——premise の派生
暦は、会社に一枚ではない前回、式の前に premise(前提の束)を宣言する話を書いた。tz・週の始まり・暦法——式の意味を決める文脈を、サーバーの設定ではなく定義の一部にする、という話である。今回はその続き。実際の組織に入ると、すぐ気づく...
Kairos 
Kairos 「どこの 9 時」かを、コードはどう覚えているか——premise 入門
cron の「9」は、何も言っていない毎朝 9 時のバッチを cron で書くと、こうなる:0 9 * * * backup.shこの「9」は何時のことだろうか。答えは「そのサーバーの OS に設定されたタイムゾーンの 9 時」——つまり、...
Kairos 祝日データはどこから来るのか——式は静的、データは実行時
祝日リストは、いま、どこにあるかスケジュール計算には祝日データが要る。ではその祝日リストは、いまどこにあるだろうか。コードの定数配列。データベースの holidays テーブル。設定ファイル。誰かが毎年更新しているExcel。だいたいこのど...
Kairos その閉じ括弧は誤記ではない——「[9:00, 15:00)」が隙間と二重を消している
前回の記事の、あの変な括弧前回、営業時間の話の中でこういう表記を何度か使った——[開場, 閉場)。左が角括弧で、右が丸括弧。非対称である。誤植に見えたかもしれない。すみません、先に言っておくべきだった——これはわざとで、しかもスケジュールの...
Kairos 「営業時間内の毎正時」を 1 行で——そして半日休のデータが尽きた日に何が起きるか
cron の「9-14」という数字は、どこから来たか営業時間内だけ、毎正時に監視ジョブを回したい。cron で書くと、たいていこうなる:0 9-14 * * 1-5 monitoring.shこれで「平日の 9 時から 14 時まで毎正時」...
Kairos 東京の 2 月 12 日と、ニューヨークの 2 月 12 日は同じ日ではない——それでも共通営業日は計算できる
両方の市場が開いている日だけ、決済を流したい東京とニューヨーク、両方の市場が営業日のときだけ動かせる処理がある。クロス市場の決済、国際送金のカットオフ、グローバル拠点の合同バッチ。要件を言葉にするのは簡単だ——「両方が営業日の日」。素朴には...
Kairos 「大安の金曜日」は書けるか——六曜もまた、計算結果である
結婚式場と不動産屋とディーラーが毎年やっていること「契約は大安の金曜日で」——不動産の引き渡し、結婚式の日取り、納車。迷信かどうかの議論はここではしない。カレンダーに載っていて、顧客が指定してくる以上、それは業務要件である。そして cron...
Kairos 予定はもう保存しなくていい——予実テーブルの追悼
あのテーブルを作ったことがある人へジョブスケジューラの機能を作ったことがある人は、たぶんあのテーブルを持っている。名前は現場によって違う——スケジュールインスタンステーブル、実行予定表、コマンドリスト。中身は同じで、予定を先に展開して保存し...
Kairos 止まっていたあいだに何が起きるはずだったか——撃ち漏らしは列挙できる
月曜の朝、いちばん答えにくい質問週末にサーバーを止めた。電源工事でも、マイグレーションでも、ただの障害でもいい。月曜の朝、誰かがこう聞く——「止まってたあいだに、何が飛んでるはずだった?」cron はこの質問に答えられない。crontab ...
Kairos 「1 日後」と「24 時間後」は別の量である——春に 1 時間ずれるバッチの話
コードは 1 行も変えていないのに、3 月の第 2 日曜からずれるアメリカ東部のサーバーで毎朝 9 時に走るバッチがある。何ヶ月も正常に動いていて、3 月の 第 2 日曜の朝から、毎朝 10 時に走るようになる。コードは 1 行も変わってい...