search

whole-tale / wt-prov-model

Experiments, design documents, and prototypes supporting a provenance model for Tales and runs.
MIT License
0 stars 1 forks source link

ReproZip provenance extractor #5

Open tmcphillips opened 4 years ago

tmcphillips commented 4 years ago

Currently developing a simple tool for extracting key information about a run from a ReproZip trace. It reads the SQLite and YAML file created by ReproZip and save the information in the form of Prolog facts.

tmcphillips commented 4 years ago

The facts exported for a run of a C implementation of hello world currently is:

%---------------------------------------------------------------------------------------------------
% FACT: rpz_process(ProcessID, ParentID, RunID, IsThread, ExitCode, TimeStamp).
%---------------------------------------------------------------------------------------------------
rpz_process(p1, nil, r0, false, 0, 159626246090098).

%---------------------------------------------------------------------------------------------------
% FACT: rpz_executed_file(ExecutionID, RunID, ProcessID, Program, Argv, WorkingDir, TimeStamp).
%---------------------------------------------------------------------------------------------------
rpz_executed_file(e1, r0, p1, "/mnt/c/Users/tmcphill/OneDrive/GitRepos/wt-prov-model/examples/03-hello-c/./bin/hello_c", "./bin/hello_c", "/mnt/c/Users/tmcphill/OneDrive/GitRepos/wt-prov-model/examples/03-hello-c", 159626252507798).

%---------------------------------------------------------------------------------------------------
% FACT: rpz_opened_file(FileID, RunID, ProcessID, File, Mode, IsDirectory, Timestamp).
%---------------------------------------------------------------------------------------------------
rpz_opened_file(f1, r0, p1, "/mnt/c/Users/tmcphill/OneDrive/GitRepos/wt-prov-model/examples/03-hello-c", 4, true, 159626246096298).
rpz_opened_file(f2, r0, p1, "/mnt/c/Users/tmcphill/OneDrive/GitRepos/wt-prov-model/examples/03-hello-c", 4, true, 159626246098698).
rpz_opened_file(f3, r0, p1, "/mnt/c/Users/tmcphill/OneDrive/GitRepos/wt-prov-model/examples/03-hello-c/bin/hello_c", 1, false, 159626255197898).
rpz_opened_file(f4, r0, p1, "/lib/x86_64-linux-gnu/ld-2.24.so", 1, false, 159626255218998).
rpz_opened_file(f5, r0, p1, "/etc/ld.so.cache", 1, false, 159626256427998).
rpz_opened_file(f6, r0, p1, "/lib/x86_64-linux-gnu/libc.so.6", 1, false, 159626257712298).

The above corresponds to the reprozip trace captured when running hello_c directly (i.e. not via the run.sh script)...

$ reprozip trace --overwrite ./bin/hello_c

...followed by a run of the provenance extractor:

rpz2prolog .reprozip-trace > facts/rpz_facts.pl