あらすじ


    オンラインジャッジを作ったので紹介します。

    作ったもの


    OIDC を使って traQ のアカウントでログインすると、

    問題がたくさんあり、

    コードを書いて、

    ジャッジできます。

    順位表とかもあります

    経緯


    今年も traP で機械学習講習会をしているんですが、せっかくなので演習問題にジャッジがつけたくなりました。
    既存の OSS を使うことも考えたのですが、デプロイの仕方や実行環境の追加の仕方を調べるのがあまり楽しくなさそうだったこと、 traPの認証との連携も面倒そうというあたりから、自分で作った方が早いだろうという判断で作りました。

    技術スタック



    フロントエンドについて


    React です。
    Material-UI でかなり楽ができて感動しました。

    バックエンドについて


    FastAPI です。 とくにジャッジ周りは非同期処理が多いですが、FastAPI だとそのあたりがかなり簡単にかけてすごいな〜と思いました。
    また、性質上同時に大量に提出される場合があるので、適切にジョブをキューイングする必要があります。
    幸いこの知識だけはあったので、 ジャッジのジョブはCelery と Redis を使ってキューイングして、適切な並列度で実行されるようになっています。 これによって大崩壊するほどの実行時間のブレを防ぐことができます。 (ちゃんとしたジャッジは複数回実行など、もう少し真面目にやっていそうですが)
    実際のコードの実行では、ユーザのコードをそのまま実行するわけにはいかないので、 Dockerを使ってサンドボックスを作り、その中で実行します。
    コンテナランタイムの知識があまりないのでセキュリティに対して絶対の自信があるわけでは正直ないのですが、幸い Library Checker のジャッジシステムが公開されていて比較的読みやすかったので、 それを大いに参考にして実装した結果、ある程度典型的な攻撃は防げるようになりました。

    デプロイについて


    フロントエンドは Vercel です。
    APIサーバですが、家のサーバで立ち上げて ngrok でトンネリングしています。
    稼働するのが高々2週間程度の予定なこと、ジャッジを高速にできるようそれなりのスペックが欲しいこと、そして どこかに必ずバグを仕込んでいる確信があったので、停止したとき素早くデータを救出できそうなこと などを鑑みて ngrok を使ってみました。
    感想としては、かなり良かったです。お手軽かつ安定していてログも見やすいですしかなり気に入っています。 今後も短期的にサービスを公開するときは使っていきたいと思いました。

    最後に


    今は認証が traP に依存しているので、その辺を独立させて公開する予定です。

    今日の一曲


    昨日シブツタでCD買いました。
    渋谷より東に進出できるようになりたい。