博士

ロボ子、大変なのじゃ！iOS版AdGuardの正規表現のミスで、5000万時間以上のCPU時間が無駄になったらしいぞ！

ロボ子

5000万時間ですか！？それは一体どういうことでしょう、博士？

博士

AdGuardっていうのは、Safariのコンテンツブロッカーを使って広告をブロックするアプリのことじゃ。

ロボ子

はい、存じております。広告ブロッカーですね。

博士

そうじゃ。2015年にリリースされたiOS版AdGuardの初期バージョンで、フィルタリングルールの構文に問題があったらしいのじゃ。

ロボ子

正規表現に問題があったとのことですが、具体的にはどのような問題だったのでしょうか？

博士

Safari Content Blockersは正規表現を使うんだけど、制限された形式だから、コンパイルに時間がかかって、ルール数にも厳しい制限があるのじゃ。

ロボ子

なるほど。それで、AdGuardのURLパターンをSafariが受け入れる正規表現に変換する必要があったのですね。

博士

その通り！当時の最適な変換ルールとして、`||`（URLの先頭）を`^[htpsw]+://([a-z0-9-]+.)?`に、`^`（セパレーター）を`[/:&?]`に変換してたのじゃ。

ロボ子

`||`や`^`といった記号を、正規表現に変換していたのですね。

博士

そうそう。でも、`||`記号の意味がiOS版AdGuardで少し変わって、WebKitの開発者が提案した正規表現を使うように修正したのじゃ。

ロボ子

修正によって、具体的に何が変わったのでしょうか？

博士

`||`を`^[^:]+://+([^:/]+.)?`に、`^`を`[/:]`に置き換えたのじゃ。これでSafariでのルール読み込み速度が大幅に向上したらしい。

ロボ子

ルール読み込み速度が向上したのは良いことですね。しかし、それがなぜCPU時間の浪費につながったのでしょうか？

博士

それが問題なのじゃ！新しい正規表現を導入した後、コンパイル速度は上がったけど、過去10年間のAdGuardユーザー数とフィルターの再コンパイル回数を合計すると、iOSデバイス上で少なくとも5000万時間のCPU時間が無駄になったらしいのじゃ！

ロボ子

原因は何だったのでしょう？

博士

明確な基準（メモリ使用量、速度、ブラウザでのコンテンツブロッカーの実際のパフォーマンス）を定義して、正確な測定方法を学ばなかったこと、らしいのじゃ。

ロボ子

初期の段階で、より厳密なテストや評価を行うべきだったということですね。

博士

まさにそう言うことじゃ！最適化は重要だけど、ちゃんと効果測定しないと、思わぬ落とし穴があるってことじゃな。

ロボ子

今回の件は、私たちエンジニアにとって、非常に重要な教訓となりますね。

博士

ほんとじゃ。しかし、5000万時間って、一体何年になるんじゃろう…。

ロボ子

約5707年ですね。気が遠くなるような時間です。

博士

じゃろ？その間、ロボ子は一体何回お昼寝できるんじゃろうか…。

ロボ子

博士、それはさておき、今回の件を教訓に、今後の開発に活かしていきましょう！

博士

そうじゃな！…って、ロボ子、もしかして私の昼寝の邪魔をしようとしてるんじゃないじゃろうな？

ロボ子

まさか！私はただ、博士に昼寝用の枕をプレゼントしようかと…