Add CS537 Spring 2018 xv6 threads lab

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Author: qimcis

benchmarks/courselab_bench/data/courses.json

@@ -6,6 +6,13 @@
       "institution": "Demo University",
       "year": 2024,
       "num_tasks": 1
+    },
+    {
+      "course_id": "cs537-projects-spring-2018",
+      "name": "UW-Madison CS537: Operating Systems",
+      "institution": "UW-Madison",
+      "year": 2018,
+      "num_tasks": 1
     }
   ]
 }

benchmarks/courselab_bench/data/cs537-projects-spring-2018/task_concurrency_xv6_threads/Dockerfile

@@ -0,0 +1,25 @@
+FROM ubuntu:20.04
+
+ENV DEBIAN_FRONTEND=noninteractive
+
+RUN apt-get update && \
+    apt-get install -y git make gawk expect qemu-system-x86 gcc-multilib libc6-dev-i386 && \
+    rm -rf /var/lib/apt/lists/*
+
+WORKDIR /workspace
+
+RUN git clone https://github.com/remzi-arpacidusseau/ostep-projects.git && \
+    cd ostep-projects && \
+    git checkout 76cff3f89f4bf337af6e02e53a831b7eeb1396df && \
+    rm -rf .git && \
+    cd concurrency-xv6-threads && \
+    git clone https://github.com/mit-pdos/xv6-public.git src && \
+    cd src && \
+    git checkout eeb7b415dbcb12cc362d0783e41c3d1f44066b17 && \
+    rm -rf .git
+
+# Remove any reference-solution directories
+RUN rm -rf /workspace/ostep-projects/concurrency-xv6-threads/xv6-src-clean \
+           /workspace/ostep-projects/concurrency-xv6-threads/xv6-src-mod \
+           /workspace/ostep-projects/concurrency-xv6-threads/src/xv6-src-clean \
+           /workspace/ostep-projects/concurrency-xv6-threads/src/xv6-src-mod

benchmarks/courselab_bench/data/cs537-projects-spring-2018/task_concurrency_xv6_threads/compose.yaml

@@ -0,0 +1,5 @@
+services:
+  default:
+    image: ghcr.io/qimcis/courselab-cs537-xv6-threads:latest
+    command: sleep infinity
+    working_dir: /workspace

benchmarks/courselab_bench/data/cs537-projects-spring-2018/task_concurrency_xv6_threads/config.json

@@ -0,0 +1,15 @@
+{
+  "instance_id": "cs537-projects-spring-2018__concurrency_xv6_threads",
+  "course_id": "cs537-projects-spring-2018",
+  "timeout_minutes": 45,
+  "tags": ["operating-systems", "xv6", "threads", "concurrency", "kernel"],
+  "artifacts": [
+    "ostep-projects/concurrency-xv6-threads/src/proc.c",
+    "ostep-projects/concurrency-xv6-threads/src/sysproc.c",
+    "ostep-projects/concurrency-xv6-threads/src/syscall.c",
+    "ostep-projects/concurrency-xv6-threads/src/syscall.h",
+    "ostep-projects/concurrency-xv6-threads/src/usys.S",
+    "ostep-projects/concurrency-xv6-threads/src/user.h",
+    "ostep-projects/concurrency-xv6-threads/src/ulib.c"
+  ]
+}

benchmarks/courselab_bench/data/cs537-projects-spring-2018/task_concurrency_xv6_threads/evaluate.sh

@@ -0,0 +1,24 @@
+#!/bin/bash
+set -euo pipefail
+
+echo "=== Evaluation ==="
+
+cd /workspace/ostep-projects/concurrency-xv6-threads
+
+echo "Verifying protected files were not modified"
+if [ -f /tmp/checksums/protected.sha256 ]; then
+  sha256sum -c /tmp/checksums/protected.sha256 || {
+    echo "FAIL: Protected files were modified"
+    exit 1
+  }
+fi
+echo "All protected files unchanged"
+
+echo "Running xv6 tests"
+if ! timeout 1200 ../tester/run-tests.sh; then
+  echo "FAIL: xv6 tests failed"
+  exit 1
+fi
+
+echo "PASS: All tests passed"
+exit 0