Renamed parse-lackey to parse-valgrind.

Tracer script now builds the valgrind parser.
This commit is contained in:
Filipe Rodrigues 2023-07-06 09:52:42 +01:00
parent b1621041af
commit ce38df9215
7 changed files with 17 additions and 18 deletions

2
Cargo.lock generated
View File

@ -637,7 +637,7 @@ dependencies = [
]
[[package]]
name = "parse-lackey"
name = "parse-valgrind"
version = "0.1.0"
dependencies = [
"anyhow",

View File

@ -6,7 +6,7 @@ members = [
"ftmemsim",
"ftmemsim-util",
"ftmemsim-graphs",
"util/parse-lackey",
"util/parse-valgrind",
"examples/simple-rw",
"examples/random-rw",
]

View File

@ -1,9 +1,8 @@
#!/bin/env bash
# Prepare the `lackey` parser
# Note: We always compile the `lackey` parser in release, as it might be too slow otherwise
cargo build --manifest-path "../../Cargo.toml" --release --package "parse-lackey"
parse_lackey="../../target/release/parse-lackey"
# Prepare the valgrind tool parser
cargo build --manifest-path "../../Cargo.toml" --release --package "parse-valgrind"
parse_valgrind="../../target/release/parse-valgrind"
# Profile to run the example
@ -15,11 +14,11 @@ PROFILE_PATH="release"
# Compile the example
cargo build --profile "$PROFILE"
# Then run valgrind on the example and pipe it to the `lackey` parser
# Then run valgrind on the example and pipe it to the valgrind parser
../../extern/ftmemsim-valgrind/build/bin/valgrind \
--tool=ftmemsim_trace \
"../../target/$PROFILE_PATH/random-rw" \
2>&1 \
1>/dev/null \
|
$parse_lackey
$parse_valgrind

View File

@ -1,9 +1,8 @@
#!/bin/env bash
# Prepare the `lackey` parser
# Note: We always compile the `lackey` parser in release, as it might be too slow otherwise
cargo build --manifest-path "../../Cargo.toml" --release --package "parse-lackey"
parse_lackey="../../target/release/parse-lackey"
# Prepare the valgrind tool parser
cargo build --manifest-path "../../Cargo.toml" --release --package "parse-valgrind"
parse_valgrind="../../target/release/parse-valgrind"
# Profile to run the example
@ -15,11 +14,11 @@ PROFILE_PATH="release"
# Compile the example
cargo build --profile "$PROFILE"
# Then run valgrind on the example and pipe it to the `lackey` parser
# Then run valgrind on the example and pipe it to the valgrind parser
../../extern/ftmemsim-valgrind/build/bin/valgrind \
--tool=ftmemsim_trace \
"../../target/$PROFILE_PATH/simple-rw" \
2>&1 \
1>/dev/null \
|
$parse_lackey
$parse_valgrind

View File

@ -2,6 +2,8 @@
set -e
cargo build --release --package=parse-valgrind
#CMD="date"
CMD="./extern/gapbs/bfs -f resources/graphs/g17.sg -n 100"
@ -11,4 +13,4 @@ extern/ftmemsim-valgrind/build/bin/valgrind \
--vgdb=no \
--log-fd=2 \
$CMD \
2> >(./target/release/parse-lackey >&2)
2> >(./target/release/parse-valgrind >&2)

View File

@ -1,5 +1,5 @@
[package]
name = "parse-lackey"
name = "parse-valgrind"
version = "0.1.0"
edition = "2021"

View File

@ -1,5 +1,4 @@
//! Parses `valgrind`'s `lackey` tool output from stdin,
//! converting it to a pin trace.
//! Parses our custom valgrind tool `ftmemsim_parser`.
// Features
#![feature(if_let_guard)]