| #!/bin/bash |
| # |
| # Produce and reduce temporal rfe data. |
| # |
| # Usage: bash rfe.sh [ nthreads ] |
| # |
| # This program is free software; you can redistribute it and/or modify |
| # it under the terms of the GNU General Public License as published by |
| # the Free Software Foundation; either version 2 of the License, or |
| # (at your option) any later version. |
| # |
| # This program is distributed in the hope that it will be useful, |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # GNU General Public License for more details. |
| # |
| # You should have received a copy of the GNU General Public License |
| # along with this program; if not, you can access it online at |
| # http://www.gnu.org/licenses/gpl-2.0.html. |
| # |
| # Copyright (C) Meta Platforms Inc., 2023 |
| # |
| # Authors: Paul E. McKenney <paulmck@kernel.org> |
| |
| ./temporal --rfe --nthreads ${1-15} | |
| awk ' |
| /^Write/ { |
| print $0; |
| et = $2; |
| for (i in st) { |
| print i, st[i], et, st[i] - et (et > st[i] ? "!!!" : ""); |
| } |
| } |
| |
| $1 ~ /^[0-9][0-9]*$/ && $3 == 1 && st[$1] == "" { |
| st[$1] = $4; |
| } |
| |
| END { |
| print "Note: False positives possible due to lack of memory ordering." |
| }' |
