55 lines
2.2 KiB
JSON
55 lines
2.2 KiB
JSON
{
|
|
"schema": "stem-paired-experiment.v1",
|
|
"pair": "freertos-first-task-c-vs-cpp",
|
|
"kernel": {
|
|
"release": "V11.3.0",
|
|
"commit": "9b777ae5c5b8e9e456065a00294d1e5f5f9facf5",
|
|
"files_sha256": {
|
|
"tasks.c": "f6eead187c1b29ac5185c972952adfbb8154be0a4389e6460552911469104166",
|
|
"list.c": "1a559a55d7b0b67e6ca1733f6a4eb42f707edbb981dd599494397f2f832cf983",
|
|
"heap_4.c": "df22addd153cec84e60603bec7a94946c86aa1cd755f18fcd422b60d916a2b53",
|
|
"port.c": "1e419ef74cd7bf1990699b8b8d826a9ecadbff3c69d0ecb45c2c5a2188a3667d",
|
|
"portASM.S": "9841e0df2f7a070df1c82753ebc50ae51111a377e066175d7f493152493fd3f7"
|
|
}
|
|
},
|
|
"target": {
|
|
"arch": "rv32i_zicsr_zifencei",
|
|
"abi": "ilp32",
|
|
"optimization": "-Og",
|
|
"hazard3_commit": "337bdf3255dd8e1de03643ce815f85db52d91e68",
|
|
"linker_sha256": "c3ad8f48a6f71461d12a653ddbe616b2b39a858a3bb701e8614f440c8fab65cd",
|
|
"compiler": "riscv64-unknown-elf-gcc (14.2.0+19) 14.2.0",
|
|
"compiler_context": "canonical STEM hazard3-sim container"
|
|
},
|
|
"config": {
|
|
"sha256": "a34b2f6b24d58e2b711454dc7fa251724973344047c6c702e689a72e7d2e45fe",
|
|
"tick_hz": 1000,
|
|
"heap_bytes": 16384,
|
|
"time_slicing": true
|
|
},
|
|
"workload": {
|
|
"worker_count": 2,
|
|
"worker_priority": 2,
|
|
"supervisor_priority": 1,
|
|
"worker_stack_words": 256,
|
|
"supervisor_stack_words": 160,
|
|
"limit": 20000,
|
|
"expected_sum": 200010000,
|
|
"trace_capacity": 32,
|
|
"creation_order": ["workerA", "workerB", "supervisor"],
|
|
"required_subsequence": [0, 1, 0]
|
|
},
|
|
"evidence_representation": {
|
|
"common_semantics": ["result", "iterations", "ticks", "task trace", "TCB", "stack range"],
|
|
"fc02_c": "result, iterations, ticks and handle history are fields of WorkerContext",
|
|
"k02_cpp": "result, iterations and ticks are external evidence arrays; state and handle belong to Task<Derived>",
|
|
"declared_lesson_variable": "language-facing representation and wrapper boundary"
|
|
},
|
|
"checkpoints": {
|
|
"events": ["E01", "E02", "E03", "E04", "E05", "E06", "E07", "E08", "E09", "E10", "E11", "E12"],
|
|
"sink_signature": "void(uint32_t point, const void *subject)",
|
|
"fc02_committed_symbol": "task01_debug_checkpoint_committed",
|
|
"k02_symbol": "task_wrapper_debug_checkpoint"
|
|
}
|
|
}
|