codesignal/haskell

Haskell代码执行沙箱镜像

概述

本镜像用于构建隔离的沙箱环境，专门支持安全执行Haskell代码。通过容器化技术提供独立的Haskell编译及运行环境，有效隔离用户代码与宿主系统，降低***代码执行风险。

核心功能与特性

• 隔离执行环境：基于容器技术实现代码执行隔离，防止用户代码影响宿主系统
• 完整Haskell支持：内置GHC编译器及标准库，支持Haskell代码编译与运行
• 安全执行机制：限制代码执行权限，默认禁用危险系统调用
• 轻量级设计：优化镜像体积，减少运行时资源占用

使用场景

• 在线编程教育平台：安全运行学员提交的Haskell练习代码
• 代码评测系统：自动化执行Haskell代码并验证正确性
• 代码分享工具：提供Haskell代码在线运行演示环境
• 开发测试环境：快速搭建临时Haskell代码测试沙箱

使用方法

基本运行命令

bash
docker run -it --rm -v /本地代码目录:/app haskell-sandbox:latest

参数说明

• -it: 交互式终端模式，支持代码输入与结果输出
• --rm: 容器退出后自动删除，避免残留文件
• -v /本地代码目录:/app: 将本地代码目录挂载至容器内/app工作目录

执行指定Haskell文件

bash
# 编译并运行/app目录下的example.hs
docker run --rm -v $(pwd)/code:/app haskell-sandbox:latest sh -c "cd /app && ghc example.hs && ./example"

配置说明

环境变量

资源限制配置

bash
# 限制CPU使用为1核，内存为256MB
docker run --rm -v $(pwd)/code:/app \
  --cpus 1 --memory 256m \
  -e EXEC_TIMEOUT=15 \
  haskell-sandbox:latest \
  sh -c "cd /app && ghc -Wall example.hs && ./example"

持久化代码目录

bash
# 创建命名卷用于持久化代码
docker volume create haskell-code-volume
docker run --rm -v haskell-code-volume:/app haskell-sandbox:latest

注意事项

• 生产环境使用时建议添加网络隔离，禁用不必要的端口映射
• 高并发场景需结合容器编排工具（如Kubernetes）进行资源调度
• 执行未知代码前建议启用HASKELL_STRICT_MODE=true以增强代码检查