/Human_C_Compiler_Contest

HCCC -Human C Compiler Contest-

Primary LanguageAssemblyMIT LicenseMIT

人間Cコンパイラコンテスト(Human C Compiler Contest / HCCC)

人間Cコンパイラコンテスト(HCCC)とは文字通り競技者自身がCコンパイラとなり C言語からアセンブリを生成し，その時間と正確さを競う競技です．
与えられるソースコードの中にはコンパイルエラーを出す必要の ある仕様上間違ったものも含まれています．
このような場合にはコンパイルエラーを出してアセンブリの生成を拒否する必要があります．

つまり，競技者にはC言語の仕様の知識とアセンブリ，ABIの仕様の知識などの低レイヤの力が求められます． 逆に言えば，競技を通してこれらの力が付くとも言えます． 豊富なチュートリアルを用意する予定なので，これから低レイヤの領域に触れようという方も是非チャレンジしてほしいなと思います．

お知らせ

第3回となる大会が9月30日に行われるSECCONのイベント，SECCONCONで開催します． 詳しくは以下のリンクをご覧ください． https://www.seccon.jp/2023/seccon_contest/secconcon_1.html

チュートリアル

https://github.com/Alignof/HCCC_Tutorial

競技規則

第3回大会では問題の掲載/提出を行う競技システムと手元でデバッグするための検証環境を用意して以下のような規則で実施する．

A. 競技概要

  1. 本コンテストは与えられたC言語のソースコードを決められた仕様に沿って解釈し対象となるアーキテクチャのアセンブリを出力する競技である．
  2. 競技者は，与えられたソースコードが仕様上正しければ（コンパイル可能なら）アセンブリに変換し，ソースコードが仕様上正しくなければ（コンパイルエラーを出すべきなら）， 変換を行わずにコンパイル不可であることと正しくないと思われる箇所の最初の行数を示す．
  3. 第3回大会では以下の仕様を基準に競技を行う．
    1. C言語の仕様はC99に則る1．
    2. ABIの仕様はSystem V Application Binary Interfaceの仕様に従う2．
    3. 対象アーキテクチャはx86_64とRISC-Vとする．
    4. 記法はAT&Tとintel記法の双方を許可する．
    5. アセンブラにはGNU assemblerを使用する3．
  4. 第3回大会では評価基準を以下のように定める．
    1. 各問題に点数を与え，その得点で順位を決定する．
    2. 得点が同じ場合は最後に正答した回答を提出した順番で順位づけを行う．
    3. 誤答した場合はその問題でACしたことにより得た得点から誤答の数に応じて減点する（誤答1回に対して1点減点）．減点はACした問題にのみ適用される（マイナスの得点にはならない）．
    4. 誤答のうちコンパイルできるはずのものにコンパイルエラーを出した場合（WCとなった場合），以後は提出が不可能となる．

B. 競技システム

  1. 回答が正しいかどうかはジャッジシステムで行う．ジャッジシステムはテストケースを与えて判定を行ったり問題につけられた制約を確認したりする．
  2. ジャッジシステムは以下のいずれかの結果を返す．
    • AC(Accepted): 正答．
    • WA(Wrong Answer): テストケースの出力が正しくない．
    • WC(Wrong Compile error): 本来正しいプログラムにコンパイルエラーを出した．
    • AE(Assembler Error): アセンブラのエラー．
    • LE(Linker Error): リンカのエラー．
    • RE(Runtime Error): 実行時のエラー．
    • TLE(Time Limit Exceeded): 実行制限時間オーバー．
    • Pending: ジャッジ待ち．
    • SystemError: 上記以外のエラー．運営によるリジャッジが行われる可能性がある．
  3. ジャッジシステムはAE, LE, REなどの場合に各エラーを競技者に表示する．
  4. 実行の制限時間は2000msとする．
  5. ジャッジは以下の環境で行われる． 
    $ uname -a 
Linux 31d57f0f4274 6.5.4-arch2-1 #1 SMP PREEMPT_DYNAMIC Thu, 21 Sep 2023 11:06:39 +0000 x86\_64 GNU/Linux
$ lld --version
Debian GLIBC 2.31-13+deb11u6
$ gcc --version
gcc (GCC) 12.2.0
$ as --version
GNU assembler (GNU Binutils for Debian) 2.35.2
$ ld --version
GNU ld (GNU Binutils for Debian) 2.35.2

C. 許可事項

競技者は特に以下のことを許可される．

  1. 紙，鉛筆，電卓などを用いること．
  2. 指定された仕様書の閲覧．
  3. 指定された検証環境を使ってローカルでデバッグを行う．
  4. 検証環境内での生成した実行ファイルに対するgdbの使用．
  5. 人間による恣意的な最適化4．

D. 禁止事項

競技者は特に以下のことを禁止される．

  1. 既存のコンパイラを使用すること．
  2. その他既存のツールを使用すること．
  3. コンパイラやツールを自作して使用すること．
  4. 他者と回答を共有すること．
  5. 回答にジャッジサーバを攻撃するような処理を埋め込むこと．

当日の流れ

  1. 競技サーバへの登録と検証環境の配布
  2. 注意事項の連絡
  3. 競技開始
  4. 競技
  5. 競技終了
  6. 結果発表
  7. 解説

Director

2022 11.16
Norimasa TAKANA
github: https://github.com/Alignof/
Twitter: https://twitter.com/_Alignof

Footnotes

  1. https://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf ↩

  2. https://uclibc.org/docs/psABI-x86_64.pdf ↩

  3. NASM使いのひとごめんなさい． ↩

  4. 一部の問題では明示的に許可されない場合がある． ↩