"make bench", currently just X25519-C64 (closes #185)

1 files changed, 26 insertions, 0 deletions

diff --git a/etc/machine.sh b/etc/machine.sh
new file mode 100755
index 000000000..43981110b
--- /dev/null
+++ b/etc/machine.sh
@@ -0,0 +1,26 @@
+#!/bin/sh
+set -euo pipefail
+
+printf "$(hostname)"
+printf -
+grep -q '[^0-9]' /sys/devices/system/cpu/cpu[0-9]*/topology/thread_siblings_list && printf ht || printf noht
+printf -
+grep -q 1 /sys/devices/system/cpu/intel_pstate/no_turbo && printf notb || printf tb
+printf -
+grep -q 1 /sys/class/power_supply/AC/online && printf ac || printf noac
+printf -
+printf "$(gcc -march=native -Q --help=target|grep march | cut -d= -f2 | grep -ow '\S*')"
+printf -
+
+for cpu in $(seq 1 $(nproc)); do
+	echo "scale=100000;pi=4*a(1);0" | bc -l &
+	echo $!
+done | ( \
+	sleep .1 ;
+        mhz=$(cat /proc/cpuinfo | grep "^[c]pu MHz" | cut -d: -f2 | tr -d ' ' | sort -nr | head -1);
+	printf "$(echo "scale=2; ($mhz + 5)/1000" | bc)ghz"
+        while IFS= read -r pid; do
+		kill "$pid";
+	done )
+
+printf '\n'