loeper/stanford-cs212-pintos

Stanford CS 212（2021/22冬季学期）Docker容器

CS 212课程提供两个容器镜像：

1. loeper/stanford-cs212-pintos（当前镜像）：用于运行已编译的pintos内核和测试
2. loeper/stanford-cs212-pintos-vscode-dev-environment：用于开发自定义pintos版本，作为vscode Remote - Containers扩展的devcontainer.json规范的一部分 https://hub.docker.com/repository/docker/loeper/stanford-cs212-pintos-vscode-dev-environment

镜像概述

本镜像旨在提供一个与斯坦福大学提供的环境高度相似的docker化环境，以便运行pintos内核和测试。运行pintos通常有两种方式：(a)在开发机器上编译；(b)使用斯坦福myth和rice集群上提供的版本。本镜像通过Docker Hub提供预构建的多架构容器镜像，支持主流架构（amd64、arm64、armv7），简化了本地运行pintos的过程。

核心功能与特性

• 环境一致性：提供与斯坦福大学课程环境高度一致的运行环境
• 多架构支持：兼容amd64、arm64、armv7等主流架构
• 即开即用：预配置必要工具，可直接运行已编译的pintos内核和测试
• 轻量级设计：专注于运行功能，适合快速验证和测试

使用场景

• 运行CS 212课程中已编译的pintos内核
• 执行pintos相关测试用例
• 课程作业验证和结果复现
• 无需依赖斯坦福集群环境的本地测试

使用方法

VSCode使用说明

有关VSCode开发环境的使用说明，请参见：https://hub.docker.com/repository/docker/loeper/stanford-cs212-pintos-vscode-dev-environment

非IDE镜像使用步骤

1. 克隆pintos源代码库（或使用现有代码库，注意修改路径）：

   bash
   git clone http://cs212.scs.stanford.edu/pintos.git ~/pintos
   

2. 在容器内启动pintos以检查是否正常工作：

   bash
   docker run -v "$HOME/pintos:/pintos" -w "/pintos" --rm -it loeper/stanford-cs212-pintos pintos
   

   --> 应显示pintos命令行帮助信息

3. 进入容器shell并执行所需操作（如内核编译和测试）：

   bash
   docker run -v "$HOME/pintos:/pintos" -w "/pintos" --rm -it loeper/stanford-cs212-pintos:latest /bin/bash
   

   然后在容器内执行：

   bash
   cd src/threads
   make
   cd build
   make check
   exit