bench/dev.gmitch215.drift.bench/Harness

Harness

object Harness(source)

Text of the files the runner hands to a container: the per-arm plan and the docker command.

Properties

const val CPUS: String

const val MEMORY: String

const val NETWORK: String

Functions

fun command(scenario: Scenario, arm: Arm): String

fun env(arm: Arm): String

The arm's variables as export lines that native.sh and harness.ps1 read.

fun filePath(armName: String, index: Int): String

Host path under the scenario directory for the nth file mount of an arm.

fun gcompatTag(image: String): String

The tag of an Alpine image with gcompat and libgcc added, which the glibc drift needs.

fun images(scenario: Scenario): String

The distinct arm images of a scenario, one per line, sorted.

fun nativeRefusal(scenario: Scenario): String?

Why a scenario cannot run on the host without a container, or null when it can.

fun plan(scenario: Scenario, arm: Arm): String

fun quote(text: String): String

fun regexLiteral(text: String): String

fun script(scenario: Scenario, armName: String, arm: Arm): String

A shell script that runs one arm; DRIFT names the Linux drift binary to mount, if any.

fun shellTag(image: String, shell: String): String

The tag of a Debian image whose /bin/sh is linked to shell.

fun solveScript(scenario: Scenario): String

A shell script that runs drift solve for one prepared scenario. The capsules sit next to it as capsule.<arm>.json and the program under workspace/; DRIFT is the absolute path of a Linux drift binary, SOLVED the directory that receives the case. The binary placed in the arms follows the capsule's architecture: DRIFT_ARMS_AARCH64 or DRIFT_ARMS_X86_64, then DRIFT_ARMS, then DRIFT.

fun workspacePath(armName: String, path: String): String

Path under the scenario directory of a workspace file of an arm.