fderepas/tal-csharp

tal-csharp Docker镜像文档

镜像概述和主要用途

tal-csharp镜像用于在https://github.com/fderepas/try_all_languages/%E9%A1%B9%E7%9B%AE%E4%B8%AD%E6%89%A7%E8%A1%8CC#%E7%A8%8B%E5%BA%8F%E6%BA%90%E4%BB%A3%E7%A0%81%E3%80%82%E9%80%9A%E8%BF%87%E6%8C%82%E8%BD%BD%E4%B8%BB%E6%9C%BA%E7%9A%84%E8%BE%93%E5%85%A5%E5%92%8C%E8%BE%93%E5%87%BA%E7%9B%AE%E5%BD%95%EF%BC%8C%E8%AF%A5%E9%95%9C%E5%83%8F%E8%83%BD%E5%A4%9F%E7%BC%96%E8%AF%91C#%E6%BA%90%E4%BB%A3%E7%A0%81%EF%BC%8C%E5%B9%B6%E9%92%88%E5%AF%B9%E8%BE%93%E5%85%A5%E7%9B%AE%E5%BD%95%E4%B8%AD%E7%9A%84%E6%AF%8F%E4%B8%AA%E6%A0%87%E5%87%86%E8%BE%93%E5%85%A5%E6%96%87%E4%BB%B6%E6%89%A7%E8%A1%8C%E7%A8%8B%E5%BA%8F%EF%BC%8C%E5%B0%86%E5%AF%B9%E5%BA%94%E7%9A%84%E8%BE%93%E5%87%BA%E7%BB%93%E6%9E%9C%E5%86%99%E5%85%A5%E8%BE%93%E5%87%BA%E7%9B%AE%E5%BD%95%E3%80%82

核心功能和特性

• 安全执行：支持隔离环境下编译和运行任意C#代码
• 多输入处理：可同时处理多个标准输入文件
• 完整输出：为每个执行生成标准输出、标准错误和返回码文件
• 目录挂载：通过挂载目录实现主机与容器间的输入输出隔离
• 网络隔离：默认禁用网络，增强安全性
• 自动清理：支持容器运行后自动删除，减少资源占用

使用场景和适用范围

• 代码测试环境：需要安全执行未知C#代码的场景
• 在线编程平台：为用户提供C#代码执行服务
• 教育环境：用于学生代码提交和自动评测
• 批量任务处理：需要对多个输入执行同一C#程序并收集结果的场景

使用方法和配置说明

目录结构

• 输入目录（dir1）：存放C#源代码文件（如prog.cs）和标准输入文件（如input0.txt、input1.txt）
• 输出目录（dir2）：用于存储执行结果，包括标准输出文件（outN.txt）、标准错误文件（errN.txt）和返回码文件（errcodeN.txt），其中N为输入序号

基本使用命令

bash
docker run \
       --mount type=bind,source=`pwd`,target=/mnt/in,ro \
       --mount type=bind,source=`pwd`,target=/mnt/out \
       --network none \
       --name tal-csharp-$ --rm \
       tal-csharp:latest /bin/sh /home/tal/launch.sh <执行次数>

参数说明

• --mount type=bind,source=<主机输入目录>,target=/mnt/in,ro：将主机输入目录挂载到容器的/mnt/in（只读）
• --mount type=bind,source=<主机输出目录>,target=/mnt/out：将主机输出目录挂载到容器的/mnt/out
• --network none：禁用容器网络，增强安全性
• --name tal-csharp-$：指定容器名称（$为当前进程ID，确保唯一性）
• --rm：容器退出后自动删除
• <执行次数>：指定要处理的输入文件数量（如示例中的2表示处理input0.txt和input1.txt）

使用示例

执行当前目录下的prog.cs，处理两个输入文件（input0.txt和input1.txt）：

bash
docker run \
       --mount type=bind,source=`pwd`,target=/mnt/in,ro \
       --mount type=bind,source=`pwd`,target=/mnt/out \
       --network none \
       --name tal-csharp-$ --rm \
       tal-csharp:latest /bin/sh /home/tal/launch.sh 2

执行后，输出目录将生成：

• out0.txt：第一个输入的标准输出
• err0.txt：第一个输入的标准错误
• errcode0.txt：第一个输入的返回码
• out1.txt：第二个输入的标准输出
• err1.txt：第二个输入的标准错误
• errcode1.txt：第二个输入的返回码