イベントレポート： ISUCON8インフラエンジニア体験記 | GMOホスコン
こんにちは。GMOインターネットの筬島(@yosajima)です。 去る10月20日(土)、ISUCON8の本選が開催されました。 ISUCONはLINE株式会社様が主催されているWebアプリケーションのチューニングコンテストで、毎年多くの方が参加する大人気のイベントです。 予選はオンラインで行われ、ISUCON8には527チーム、1394名の方がエントリされました。こちらのイベントのサーバ環境にConoHaをご利用いただくということで、弊社のエンジニアも運営に参加しておりました。 そして、インフラの準備と運用を担当した貴重な経験を共有させていただこうと思い、インフラの計画→準備→コンテスト当日と時系列に沿った記事にまとめました。 はじめに 今回、参加者の方々からの「ベンチの実行で待たなかった」というご反応を多くいただくことができ、大変嬉しく感じました。ISUCONでは、参加者ごとにチュー
AWSにおける形式手法 - masateruk’s blog
AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
ISUCON8 本選出題記 あるいはISUCONベンチマーカー負荷調整の歴史 - 酒日記 はてな支店
ISUCON 8 の本選出題を同僚の @ken39arg と担当しました。参加された皆様、運営にご協力して頂いたすべての関係者の方々にお礼申し上げます。 恒例の #isucon pic.twitter.com/iXAjgfgbeZ— fujiwara (@fujiwara) 2018年10月20日 問題についての講評は公式の ISUCON8 本選問題の解説と講評 をご覧頂くとして、こちらでは今回、出題に導入された新要素である「シェア機能」について、どういう経緯で導入されたのか、裏話的なことを書いておきたいと思います。 「ベンチマークの負荷を自分で決めるのも、自動で際限なく負荷が上昇するのも実際のアプリケーションとは違うよね?」というところから思いついた機構なのですが、経緯についてはいろいろな前提と、歴史の理解が必要になります。結果的に長文になってしまいました。 ISUCONベンチマーカーと
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
