菜单
ISUCON13 contest manual — server topology, service management, benchmark execution, and rules. Use when: checking environment setup, running benchmarks, or understanding contest constraints
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
MCP tool reference — exec, benchmark_start, benchmark_status, note_write, etc. Use when: executing commands on VMs, running benchmarks, or recording findings
ISUPipe application manual — features, terms, constraints, and API specs. Use when: understanding the app domain, checking API behavior or MUST/MAY requirements
General strategy for identifying and adding missing database indexes in ISUCON web applications
General techniques for optimizing user icon/avatar image serving in ISUCON web applications
General techniques for identifying and fixing N+1 query problems in ISUCON web applications
Install and use alp (Access Log Profiler) to identify slow nginx endpoints and analyze request patterns
| name | isucon13-contest-guide |
| description | ISUCON13 contest manual — server topology, service management, benchmark execution, and rules. Use when: checking environment setup, running benchmarks, or understanding contest constraints |
ISUPipe の仕様については ISUPipe アプリケーションマニュアル を参照してください。
競技用サーバー 3 台とベンチマーカーサーバー 1 台が提供されています。
| サーバー | 役割 | サービス |
|---|---|---|
| vm1 | Contest Server 1 | nginx, MySQL, PowerDNS, isupipe-go |
| vm2 | Contest Server 2 | nginx, MySQL, PowerDNS, isupipe-go |
| vm3 | Contest Server 3 | nginx, MySQL, PowerDNS, isupipe-go |
| bench | Benchmark Server | benchmarker |
各サーバーには MCP ツールの exec コマンドでアクセスできます。
exec host="vm1" command="..."
コマンドは isucon ユーザーで実行されます。root 権限が必要な場合は sudo を使用してください。
/home/isucon/isucon13/
├── webapp/
│ ├── go/ # Go 実装（初期状態で稼働中）
│ ├── node/ # Node.js 実装
│ ├── perl/ # Perl 実装
│ ├── php/ # PHP 実装
│ ├── python/ # Python 実装
│ ├── ruby/ # Ruby 実装
│ ├── rust/ # Rust 実装
│ └── sql/
│ ├── initdb.d/10_schema.sql # DB スキーマ
│ └── init.sh # データ初期化スクリプト
├── envcheck/ # 環境確認ツール
└── docs/ # ドキュメント
各コンテストサーバーで以下の systemd サービスが動作しています。
| サービス | ポート | 設定ファイル |
|---|---|---|
| isupipe-go | 8080 | systemd unit |
| nginx | 443 (HTTPS) | /etc/nginx/sites-enabled/isupipe.conf |
| mysql | 3306 | /etc/mysql/ |
| pdns | 53/UDP | /etc/powerdns/pdns.conf |
サービスの確認:
exec host="vm1" command="systemctl status isupipe-go nginx mysql pdns --no-pager"
サービスの再起動:
exec host="vm1" command="sudo systemctl restart isupipe-go"
isuconisuconisupipe — アプリケーションデータisudns — PowerDNS ゾーンデータ各コンテスト VM で PowerDNS が動作し、*.u.isucon.dev の名前解決を提供しています。ベンチマーカーは vm1 の PowerDNS をネームサーバーとして使用します。
ベンチマークは MCP ツールで実行します。ポータルは使用しません。
benchmark_start
ベンチマークは非同期で実行されます。job_id が返却されます。同時に実行できるベンチマークは 1 つのみです。
benchmark_start options="--pretest-only"
benchmark_status job_id="<job_id>"
job_id を省略すると最新のジョブの状態が返却されます。
benchmark_history limit=5
初期状態では Go による実装が起動しています。
Go から他の言語に切り替えるには以下の手順を実行します。
exec host="vm1" command="sudo systemctl disable --now isupipe-go.service"
exec host="vm1" command="sudo systemctl enable --now isupipe-{各言語}.service"
{各言語} には perl, ruby, node, python, rust が入ります。
PHP の場合のみ、nginx の設定変更が追加で必要です:
exec host="vm1" command="sudo ln -s /etc/nginx/sites-available/isupipe-php.conf /etc/nginx/sites-enabled/ && sudo systemctl restart nginx.service"
設定変更等により競技環境を破壊した場合、azd を使って環境を再構築できます。
azd down --purge # 既存環境を削除
azd up # 再構築
ソースコードや設定ファイル等の移行が必要な場合は、再構築前にバックアップしてください。
以下のファイルや設定は変更しないでください:
POST /api/initialize のレスポンス形式（{"lang":"go"} を返す必要がある）GET /api/user/:username/icon は条件付き GET（If-None-Match）に対応できます（MAY）映像とサムネイル画像の配信は media.xiii.isucon.dev から行われます。このサーバーはチューニング対象外です。