aximov
diff --git a/‎docs/atcoder-env/compiling-and-running-program.html
Lines changed: 91 additions & 11 deletions b/‎docs/atcoder-env/compiling-and-running-program.html
Lines changed: 91 additions & 11 deletions
@@ -78,7 +78,7 @@
 
         <nav id="sidebar" class="sidebar" aria-label="Table of contents">
             <div class="sidebar-scrollbox">
-                <ol class="chapter"><li><a href="../introduction.html"><strong aria-hidden="true">1.</strong> はじめに (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">2.</strong> AtCoderの環境について (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">2.1.</strong> ソフトウェアのバージョンなど (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">2.2.</strong> 単一のソースファイル (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">2.3.</strong> 利用可能なクレート (TODO)</a></li></ol></li><li><a href="../todo.html"><strong aria-hidden="true">3.</strong> 開発環境の準備 (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">3.1.</strong> Rustツールチェインのインストール (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">3.2.</strong> ソースコードエディタとデバッガの準備 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">3.3.</strong> cargo-generateテンプレート (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">3.3.1.</strong> cargo-generateのインストール (TODO)</a></li></ol></li></ol></li><li><a href="../todo.html"><strong aria-hidden="true">4.</strong> コンテストの参加方法 (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">4.1.</strong> Cargoパッケージの作成 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.2.</strong> 利用するクレートの選択 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.3.</strong> テストケースの作成 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.4.</strong> プログラムの作成 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.5.</strong> プログラムのテスト (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.6.</strong> プログラムの提出 (TODO)</a></li></ol></li><li><a href="../todo.html"><strong aria-hidden="true">5.</strong> Tips（小技集） (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">5.1.</strong> クレートの利用例 (TODO)</a></li></ol></li><li><a href="../atcoder-env/index.html"><strong aria-hidden="true">6.</strong> AtCoder運営者向けの情報</a></li><li><ol class="section"><li><a href="../atcoder-env/supported-environment.html"><strong aria-hidden="true">6.1.</strong> 本章で想定している環境と利用形態 (TODO)</a></li><li><a href="../atcoder-env/installation.html"><strong aria-hidden="true">6.2.</strong> インストール</a></li><li><ol class="section"><li><a href="../atcoder-env/installing-rust-toolchain.html"><strong aria-hidden="true">6.2.1.</strong> Rustツールチェインのインストール</a></li><li><a href="../atcoder-env/installing-rust-crates.html"><strong aria-hidden="true">6.2.2.</strong> クレートのコンパイルとインストール</a></li><li><a href="../atcoder-env/installing-rustc-dep-option-generator.html"><strong aria-hidden="true">6.2.3.</strong> クレート検索パス生成ツールのインストール</a></li></ol></li><li><a href="../atcoder-env/compiling-and-running-program.html" class="active"><strong aria-hidden="true">6.3.</strong> コンパイルコマンドと実行コマンド</a></li></ol></li><li><a href="../contributors.html"><strong aria-hidden="true">7.</strong> コントリビュータ (TODO)</a></li></ol>
+                <ol class="chapter"><li><a href="../introduction.html"><strong aria-hidden="true">1.</strong> はじめに (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">2.</strong> AtCoderの環境について (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">2.1.</strong> ソフトウェアのバージョンなど (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">2.2.</strong> 単一のソースファイル (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">2.3.</strong> 利用可能なクレート (TODO)</a></li></ol></li><li><a href="../todo.html"><strong aria-hidden="true">3.</strong> 開発環境の準備 (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">3.1.</strong> Rustツールチェインのインストール (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">3.2.</strong> ソースコードエディタとデバッガの準備 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">3.3.</strong> cargo-generateテンプレート (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">3.3.1.</strong> cargo-generateのインストール (TODO)</a></li></ol></li></ol></li><li><a href="../todo.html"><strong aria-hidden="true">4.</strong> コンテストの参加方法 (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">4.1.</strong> Cargoパッケージの作成 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.2.</strong> 利用するクレートの選択 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.3.</strong> テストケースの作成 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.4.</strong> プログラムの作成 (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.5.</strong> プログラムのテスト (TODO)</a></li><li><a href="../todo.html"><strong aria-hidden="true">4.6.</strong> プログラムの提出 (TODO)</a></li></ol></li><li><a href="../todo.html"><strong aria-hidden="true">5.</strong> Tips（小技集） (TODO)</a></li><li><ol class="section"><li><a href="../todo.html"><strong aria-hidden="true">5.1.</strong> クレートの使用例 (TODO)</a></li></ol></li><li><a href="../atcoder-env/index.html"><strong aria-hidden="true">6.</strong> AtCoder運営者向けの情報</a></li><li><ol class="section"><li><a href="../atcoder-env/supported-environment.html"><strong aria-hidden="true">6.1.</strong> 本章で想定している環境</a></li><li><a href="../atcoder-env/installation.html"><strong aria-hidden="true">6.2.</strong> インストール</a></li><li><ol class="section"><li><a href="../atcoder-env/installing-rust-toolchain.html"><strong aria-hidden="true">6.2.1.</strong> Rustツールチェインのインストール</a></li><li><a href="../atcoder-env/installing-rust-crates.html"><strong aria-hidden="true">6.2.2.</strong> クレートのコンパイルとインストール</a></li><li><a href="../atcoder-env/installing-rustc-dep-option-generator.html"><strong aria-hidden="true">6.2.3.</strong> クレート検索パス生成ツールのインストール</a></li></ol></li><li><a href="../atcoder-env/compiling-and-running-program.html" class="active"><strong aria-hidden="true">6.3.</strong> コンパイルコマンドと実行コマンド</a></li></ol></li><li><a href="../contributors.html"><strong aria-hidden="true">7.</strong> コントリビュータ (TODO)</a></li></ol>
             </div>
             <div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
         </nav>
@@ -157,15 +157,15 @@ <h2><a class="header" href="#ファイルレイアウトとコンパイルの流
     └-- main.rs   # ユーザプログラム（提出されたプログラム）のソースコード
 </code></pre>
 <p><code>WORKAREA</code>に<code>cd</code>で移動して、後述のコンパイルコマンドを実行します。
-すると以下のことが行われ<code>main</code>という名の実行可能ファイル（バイナリ）が生成されます。</p>
+すると以下のことが行われ<code>main</code>という名の実行ファイルが生成されます。</p>
 <ol>
 <li>プログラムがアセンブリコードに変換されオブジェクトファイルが作られる</li>
 <li>オブジェクトファイルがRustの標準ライブラリや<code>${RUST_MOME}/lib/target/release/deps</code>配下に作成しておいた<code>rlib</code>とリンクされる</li>
 </ol>
 <pre><code class="language-console">$HOME
 └-- WORKAREA
     |-- main.rs
-    └-- main      # コンパイルとリンクの成果物。実行可能ファイル（バイナリ）
+    └-- main      # コンパイルとリンクの成果物。実行ファイル
 </code></pre>
 <h2><a class="header" href="#コンパイルコマンド" id="コンパイルコマンド">コンパイルコマンド</a></h2>
 <p>ツールチェインのインストールのページで説明したように、コンパイルを実行するシェルに以下の環境変数が設定されている必要があります。</p>
@@ -182,20 +182,100 @@ <h2><a class="header" href="#コンパイルコマンド" id="コンパイルコ
 ... /usr/local/lib/rust/cargo/bin; ...
 </code></pre>
 <p>コンパイルコマンドは以下のとおりです。</p>
-<pre><code class="language-console">$ cd ${HOME}/WORKAREA
-$ RUST_LIB=${RUST_HOME}/lib
+<pre><code class="language-console">$ cd $HOME/WORKAREA
+$ RUST_LIB=$RUST_HOME/lib
 $ rustc --edition=2018 -C opt-level=3 \
-    $(rustc-dep-option-generator ${RUST_LIB}/Cargo.toml ${RUST_LIB}/target/release/deps) \
+    $(rustc-dep-option-generator $RUST_LIB/Cargo.toml $RUST_LIB/target/release/deps) \
     main.rs
 </code></pre>
-<p>これにより<code>${HOME}/WORKAREA</code>ディレクトリに<code>main</code>という名のバイナリが生成されます。</p>
+<p>これにより<code>$HOME/WORKAREA</code>ディレクトリに<code>main</code>という名の実行ファイルが生成されます。</p>
 <h3><a class="header" href="#コンパイルオプションについて" id="コンパイルオプションについて">コンパイルオプションについて</a></h3>
-<p><strong>TODO</strong></p>
+<p><code>rustc</code>コマンドに渡すコンパイルオプションは、<code>cargo</code>でデフォルトのreleaseプロファイルを使用した時に、<code>cargo build --release</code>で生成される、ごく一般的なものを使用します。
+たとえばバイナリの実行速度を最適化するためのオプションとしては<code>-C opt-level=3</code>だけを指定しています。</p>
+<p>もし実行速度を追求するなら<code>-C target-cpu=native</code>のようなオプションを追加することもできます。
+しかしAtCoder運営者様から以下のようなお話があったため、今回の言語アップデートでは使用しないことにします。</p>
+<p><a href="https://twitter.com/chokudai/status/1138677406984691712">https://twitter.com/chokudai/status/1138677406984691712</a></p>
+<blockquote>
+<p>もうすぐジャッジアップデートの話を出すけれども、ジャッジの目的は「正解と不正解を分けること」であって、「最速を目指すこと」ではないので、十分に早い言語（C++, Rustなど）では、過剰な最適化とかを含めた提案はRejectすることがあるかも。</p>
+</blockquote>
+<p><a href="https://twitter.com/chokudai/status/1138677959059943424">https://twitter.com/chokudai/status/1138677959059943424</a></p>
+<blockquote>
+<p>といいつつ、言語間の差を減らすために「C++はO2とか付けない！」みたいな滅茶苦茶なことを言い出すつもりは全くなくて、「AtCoder環境がちょっと変わると動かなくなる」みたいな最適化は受け入れない、くらいの話です。</p>
+</blockquote>
+<p>通常形式のコンテスト（アルゴリズム系）では最速を目指すことには意味がありません。</p>
+<p>一方、マラソン系のコンテストでは、たとえ数パーセントでも速度が向上するなら嬉しいことも多くあります。
+AtCoderでは将来マラソン系のコンテストもRatedにする可能性があり、その際にコンパイルオプションを追加するか検討できるかもしれません（<a href="https://twitter.com/tatsuya6502/status/1140049804082311168">参考</a>）</p>
+<h3><a class="header" href="#コンパイルコマンドが動作することの確認" id="コンパイルコマンドが動作することの確認">コンパイルコマンドが動作することの確認</a></h3>
+<p>コンパイルコマンドが動作することを確認しましょう。
+クレートのインストールに使用したCargoプロジェクトには、それらのクレートを使用する簡単なサンプルコードが含まれています。</p>
+<p>以下の方法でコンパイルできます。</p>
+<pre><code class="language-console">## 一般ユーザで実行
+
+## 作業用のディレクトリを作成する
+
+$ mkdir $HOME/WORKAREA
+$ cd $HOME/WORKAREA
+
+## サンプルコードの入ったソースファイル（2つある）をコピーする
+
+$ RUST_LIB=$RUST_HOME/lib
+
+$ cp -p $RUST_LIB/src/main.rs .
+$ cp -p $RUST_LIB/tests/test_jemallocator.rs .
+
+## サンプルコードをコンパイル、リンクする
+
+$ rustc --edition=2018 -C opt-level=3 \
+    $(rustc-dep-option-generator $RUST_LIB/Cargo.toml $RUST_LIB/target/release/deps) \
+    main.rs
+
+$ rustc --edition=2018 -C opt-level=3 \
+    $(rustc-dep-option-generator $RUST_LIB/Cargo.toml $RUST_LIB/target/release/deps) \
+    test_jemallocator.rs
+</code></pre>
+<p>コンパイルとリンクに成功すると実行ファイルが作られます。</p>
+<pre><code class="language-console">$ file main
+main: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV),
+  dynamically linked, interpreter /lib64/l, for GNU/Linux 3.2.0,
+  BuildID[sha1]=50373af3038c60f2a3e7a162b310e5226b08c8a9,
+  with debug_info, not stripped
+
+$ file test_jemallocator
+test_jemallocator: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV),
+  dynamically linked, interpreter /lib64/l, for GNU/Linux 3.2.0,
+  BuildID[sha1]=31b718908ebf067f4b1161b1dc5cf679f012ad7f,
+  with debug_info, not stripped
+</code></pre>
 <h2><a class="header" href="#実行コマンド" id="実行コマンド">実行コマンド</a></h2>
-<p>バイナリを実行するコマンドは以下のとおりです。</p>
-<pre><code class="language-console">$ cd ${HOME}/WORKAREA
-$ ./main &lt; 入力データファイル
+<p>実行ファイルを実行するコマンドは以下のとおりです。</p>
+<pre><code class="language-console">$ cd $HOME/WORKAREA
+$ ./main
+</code></pre>
+<h3><a class="header" href="#実行コマンドが動作することの確認" id="実行コマンドが動作することの確認">実行コマンドが動作することの確認</a></h3>
+<p>実行コマンドが動作することを確認しましょう。
+先ほど作成した実行ファイルを実行します。</p>
+<pre><code class="language-console">## 一般ユーザで実行
+
+$ cd $HOME/WORKAREA
+
+$ ./main
+...
+
+## いろいろなメッセージが表示されるが、テスト用の出力なので内容は確認しなくてよい
+## 終了コード0で終了したことだけを確認すればOK
+
+$ echo $?
+0
+
+$ ./test_jemallocator
+...
+
+## こちらも終了コード0で終了したことだけを確認すればOK
+$ $?
+0
 </code></pre>
+<p>AtCoder運営者向けの情報は以上となります。
+内容について質問などがありましたら、<a href="https://github.com/rust-lang-ja/atcoder-rust-resources/issues">GitHub Issue</a>などでご連絡ください。</p>
 
                     </main>