search

licoded / self-study-drafts

buffer for records
0 stars 0 forks source link

firejail usage #132

Open licoded opened 1 year ago

licoded commented 1 year ago

help/usage

    --debug - print sandbox debug messages.

    --rlimit-as=number - set the maximum size of the process's virtual memory.
    (address space) in bytes.
    --rlimit-cpu=number - set the maximum CPU time in seconds.
    --rlimit-fsize=number - set the maximum file size that can be created
    by a process.

    --timeout=hh:mm:ss - kill the sandbox automatically after the time
    has elapsed.

    --rmenv=name - remove environment variable in the new sandbox.
    --env=name=value - set environment variable.

    --top - monitor the most CPU-intensive sandboxes.
    --trace - trace open, access and connect system calls.

    --dnstrace - monitor DNS queries.

examples

echo -e '(firejail --rlimit-cpu=1860 --rlimit-as=8589934592 --env=TIME_LIMIT=30 time timeout 1830 '$EXEC_BIN'\t'$signle_benchmark_dir'/'$ltlf_file'\t\t'$signle_benchmark_dir/$part_file'\t>\t'$signle_benchmark_dir'/'$res_file')' >> $signle_benchmark_dir/$pbs_file

firejail --rlimit-cpu=1860 --rlimit-as=8589934592 --env=TIME_LIMIT=30 time timeout 1830 /home/lic/pbs-run/23.0828/ltlfsyn_inc-new /home/lic/pbs-run/23.0828/bench_inc/case_10_50/11.ltlf /home/lic/pbs-run/23.0828/bench_inc/case_10_50/11.part

reference links