SREが普及するにつれて、システム管理のアプローチは技芸から工学（科学）へ移り変わっています。2010年発行の書籍ウェブオペレーションでは、「ウェブオペレーションは技芸であり、科学ではない。」と書かれています。システム管理の個別具体的な技術はコンピュータサイエンスに依るとしても、個別技術の集合体と人間が統合されたサービスを正常に稼働させ続けることは技芸の範疇にありました。SRE普及以後は、ユーザー視点に基づくエンドツーエンドの信頼性を定義・計測し、計測結果に基づいて、開発・運用の意思決定を行うようになりました。しかしながら、システム管理の分野を技芸から工学へと昇華させるための土台となる知識や過程、その精神は、現在のエンジニアコミュニティにはいまだ共有されていません。
そこで、本発表では、コンピュータサイエンス、ソフトウェア工学、信頼性工学、認知科学などの工学・科学分野がSREにどのように接続されているかを、歴史的な論文や書籍、SREcon、LISAなどのプレゼンテーションを基に、発表者の見解を交えながら、紐解いていきます。
| 最近の生成AIの興隆は、これまでの新しいソフトウェア技術の登場よりも、直感では非常に大きなインパクトを持っているように感じている。今この瞬間できることはまだまだといえばそうだが、研究者やエンジニアでない一般の人も実際に使えるようになり、認知が一気に拡大した。そうすると、お金と人材の二次的・三次的な流動があり、新しい技術やプロダクトの登場がより加速していく。 | |
| このような状況に対して、様々な考えをもつことができる。例えば次のようなものが挙げられる。 | |
| 1. 近年中にAGIが誕生し、シンギュラリティが起きる。AIに労働をすべてを任せ、AIに人間社会をコントロールしてもらう。 | |
| 1. AGIは今の生成AIの延長線上にある | |
| 2. AGIは生成AIとは根本的に異なるアーキテクチャから生まれる | |
| 2. AGIが誕生するが、AIに強い制限をかけ、人間社会に大きな影響を与えないようにする | |
| 3. AGIレベルには達せず、現状のChatGPTの少し賢い版のレベルにとどまるが、APIを通して広く様々な製品に浸透する。ツールとして便利に使えばいい。 | |
| 4. 倫理的・法的観点で、現状のChatGPTですら制約をかけられ、利用を大きく制限される。（実際にイタリアでは一次的に利用が禁止された） |
エンジニア向けSRE論文への招待
SREとその関連分野では、情報科学の他の分野と同様に、日々多数の論文が企業や大学から公開されています。これらの論文に書かれている内容が、目前のSREの業務に直結することは稀ですが、論文には必ず新しいことが書かれているため、知的な刺激を受けることができます。さらに、その論文のアイディアが社会実装されていないケースでは、エンジニアがそのアイディアを実装することでコミュニティへの貢献機会にもなり得ます。しかし、エンジニアコミュニティで共有されるブログ記事などとは異なり、機械学習など一部の分野を除いて、論文を発見するための導線が少なく、エンジニア向けの論文の読み方も共有されている例はありません。
そこで、本発表では、最先端のアイディアを発見・実装したいと考えるエンジニアに向けて、発表者の5年間のSRE研究と5年間のSRE業務の経験を踏まえて、SRE分野の論文の探し方・読み方を紹介します。探し方については、論文の種類やSRE分野に関連する国際会議、検索ツールの使い方などを、読み方については、単一の論文の下読み・精読方法と複数の論文を横断するシントピカルな読み方をそれぞれ概説します。
| あなたはマイクロサービスアプリケーションSock ShopのSREです。 | |
| Sock Shopはcarts,catalogue,front-end,orders,user,payment,shippingの7個のマイクロサービスにより構成されています。 | |
| 以下は、Sock Shopのネットワーク通信の依存関係をmarmaid記法で表現したものです。 | |
| flowchart LR | |
| front[front-end] | |
| front --> orders[orders] | |
| subgraph Orders | |
| orders --> ordersdb[orders-db] |
| ### Keybase proof | |
| I hereby claim: | |
| * I am yuuki on github. | |
| * I am yuuk1 (https://keybase.io/yuuk1) on keybase. | |
| * I have a public key ASBFV8aMOPGlvpfO7C3UOiDShTQQMDRaomEEBhfRUmv6wgo | |
| To claim this, I am signing this object: |
| { | |
| "annotations": { | |
| "list": [ | |
| { | |
| "builtIn": 1, | |
| "datasource": { | |
| "type": "grafana", | |
| "uid": "-- Grafana --" | |
| }, | |
| "enable": true, |
flowchart LR
ui-dashboard[ui-dashboard]
subgraph Travel
travel[travel]
travel2[travel2]
end