about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Refactor runner to be modular ta/multithreaded-experimentsTheofilos Augoustis11 days1-181/+148
|
* Handle correctly process exitTheofilos Augoustis11 days1-24/+15
|
* Do not modify python-ptrace internals in a breaking mannerTheofilos Augoustis11 days1-45/+94
|
* Fix incorrect match_pair post-refactor in native tracerTheofilos Augoustis12 days1-1/+2
|
* Correctly communicate TIDs to run.pyTheofilos Augoustis12 days2-4/+4
|
* Make running Focaccia with multithreading possibleTheofilos Augoustis12 days2-93/+100
|
* Update runnerTheofilos Augoustis12 days1-5/+10
|
* Set the schedule timeout to 0Theofilos Augoustis12 days1-2/+1
|
* Run QEMU under debugTheofilos Augoustis12 days1-39/+40
|
* Continue running when no new scheduleTheofilos Augoustis12 days1-27/+89
|
* Implement proof of conceptTheofilos Augoustis12 days1-0/+166
|
* Separate QEMU GDB target from QEMU GDB iterator ta/emu-threaded-replayTheofilos Augoustis2025-11-212-390/+415
|
* Better diagnostics for thread schedulingTheofilos Augoustis2025-11-201-3/+5
|
* Refactor stepping in QEMU validatorTheofilos Augoustis2025-11-201-9/+9
|
* Match and context switchTheofilos Augoustis2025-11-202-41/+63
|
* Add basic support for context switchingTheofilos Augoustis2025-11-201-11/+20
|
* Match thread IDs with those from event logTheofilos Augoustis2025-11-201-0/+14
|
* Add support for skipping log entries in matcherTheofilos Augoustis2025-11-204-9/+47
|
* Implement preliminary support for clone, clone3, fork and vforkTheofilos Augoustis2025-11-201-0/+3
|
* Add basic matching for thread IDsTheofilos Augoustis2025-11-204-2/+31
|
* Implement thread switching interfaceTheofilos Augoustis2025-11-201-0/+5
|
* Add basic support for memcachedTheofilos Augoustis2025-11-202-0/+11
|
* Merge pull request #28 from TUM-DSE/ta/fixesTheofilos Augoustis2025-11-202-4/+5
|\ | | | | Fixes for deterministic events
| * Fix incorrect matching for first state ta/fixesTheofilos Augoustis2025-11-191-0/+1
| |
| * Fix parsing of signalsTheofilos Augoustis2025-11-192-4/+4
|/
* Merge pull request #27 from TUM-DSE/ta/emu-replayTheofilos Augoustis2025-11-1919-779/+1185
|\ | | | | Implement basic replaying for QEMU
| * Only handle events when tracing ta/emu-replayTheofilos Augoustis2025-11-181-11/+10
| |
| * Reintroduce support for emulating getrandomTheofilos Augoustis2025-11-181-6/+15
| |
| * Add basic QEMU section reading capabilitiesTheofilos Augoustis2025-11-182-5/+72
| |
| * Retrieve all mappings at onceTheofilos Augoustis2025-11-181-16/+17
| |
| * Refactor iteration interface over eventsTheofilos Augoustis2025-11-183-111/+176
| |
| * Refactor event tracing in QEMU toolTheofilos Augoustis2025-11-1410-100/+182
| |
| * Refactor iteration over events in native tracerTheofilos Augoustis2025-11-144-46/+95
| |
| * Rebase syscall overwritesReimersS2025-11-141-21/+17
| |
| * Deterministic replay (single threaded, no memory)ReimersS2025-11-146-8/+125
| |
| * Use a stub module to abstract-away handling of the deterministic log as an ↵Theofilos Augoustis2025-11-143-379/+401
| | | | | | | | optional feature
| * Move matching functionality out of event (cannot rely on entire program ↵Theofilos Augoustis2025-11-132-13/+14
| | | | | | | | state to match)
| * Move QEMU to its own backend directoryTheofilos Augoustis2025-11-134-3/+4
| |
| * Move native backend under dedicated moduleTheofilos Augoustis2025-11-135-355/+352
|/
* Merge pull request #25 from TUM-DSE/ta/json-dumpsTheofilos Augoustis2025-11-123-8/+30
|\ | | | | Use orjson instead of the default json library, allowing for significantly faster dump and load times.
| * Use orjson instead of regular json (providing 2x faster dumps and loads) ta/json-dumpsTheofilos Augoustis2025-11-113-8/+30
|/
* Merge pull request #24 from TUM-DSE/ta/sqliteTheofilos Augoustis2025-11-112-0/+55
|\ | | | | Add support for basic SQLite workloads
| * Add support for basic SQLite workloads ta/sqliteTheofilos Augoustis2025-11-112-0/+55
|/
* Merge pull request #23 from TUM-DSE/ta/redisTheofilos Augoustis2025-11-111-0/+46
|\ | | | | Support Redis
| * Add more packages to test in Focaccia ta/redisTheofilos Augoustis2025-11-111-1/+3
| |
| * Add support for building entire musl with reduced x86 instruction setTheofilos Augoustis2025-11-111-8/+26
| |
| * Make Redis build use reduced instruction setTheofilos Augoustis2025-11-111-1/+7
| |
| * Include musl-compiled and statically-linked redis as dependencyTheofilos Augoustis2025-11-111-0/+20
|/
* Merge pull request #22 from TUM-DSE/ta/rr-mmapsTheofilos Augoustis2025-11-111-52/+473
|\ | | | | Implement complete RR log support
| * Add type annotation to parser for memory writes ta/rr-mmapsTheofilos Augoustis2025-11-101-1/+1
| |