[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5876-g5f478369

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, feature/minrx has been updated
       via  5f4783698c32d579bc5650579c7177309d857189 (commit)
      from  44185361fcedbc956120f8cde11dc98de476a80b (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=5f4783698c32d579bc5650579c7177309d857189

commit 5f4783698c32d579bc5650579c7177309d857189
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Dec 29 18:08:22 2024 +0200

    Add timing shell script in helpers directory.

diff --git a/helpers/ChangeLog b/helpers/ChangeLog
index 832b99e5..995ed74d 100644
--- a/helpers/ChangeLog
+++ b/helpers/ChangeLog
@@ -1,3 +1,7 @@
+2024-12-29         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * minrx-timings.sh: New file.
+
 2024-09-17         Arnold D. Robbins     <arnold@skeeve.com>
 
        * 5.3.1: Release tar made.
diff --git a/helpers/minrx-timings.sh b/helpers/minrx-timings.sh
new file mode 100755
index 00000000..2850c79e
--- /dev/null
+++ b/helpers/minrx-timings.sh
@@ -0,0 +1,44 @@
+#! /bin/bash
+
+echo 1. Create a large file
+
+for ((i = 1; i <= 500; i++))
+do     cat doc/gawk.texi 
+done > BIGFILE
+
+echo ls -l  BIGFILE
+ls -l  BIGFILE
+echo
+
+echo ls -lh BIGFILE
+ls -lh BIGFILE
+
+echo 2. Fill the buffer cache:
+
+cat BIGFILE > /dev/null
+
+echo 3. Time the dfa matcher:
+
+time ./gawk -G '/[nmg]?awk/' BIGFILE > /dev/null
+
+echo 4. Time GNU regex:
+
+time GAWK_NO_DFA=1 ./gawk -G '/[nmg]?awk/' BIGFILE > /dev/null
+
+echo 5. Time the "'main'" + charset version of minrx:
+
+time ./gawk '/[nmg]?awk/' BIGFILE > /dev/null
+
+printf "Do you want to test a new version? [y/n] "
+read answer
+
+case $answer in
+[yY]*) printf "Please build the new version in another window and press ENTER 
when done: "
+       read junk
+       echo
+       echo 6. Time new version of minrx:
+       time ./gawk '/[nmg]?awk/' BIGFILE > /dev/null
+       ;;
+esac
+
+rm -f BIGFILE

-----------------------------------------------------------------------

Summary of changes:
 helpers/ChangeLog        |  4 ++++
 helpers/minrx-timings.sh | 44 ++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 48 insertions(+)
 create mode 100755 helpers/minrx-timings.sh


hooks/post-receive
-- 
gawk