src/regex/perf-regex.c

   1 /*
   2      This file is part of GNUnet.
   3      (C) 2012 Christian Grothoff (and other contributing authors)
   4
   5      GNUnet is free software; you can redistribute it and/or modify
   6      it under the terms of the GNU General Public License as published
   7      by the Free Software Foundation; either version 3, or (at your
   8      option) any later version.
   9
  10      GNUnet is distributed in the hope that it will be useful, but
  11      WITHOUT ANY WARRANTY; without even the implied warranty of
  12      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13      General Public License for more details.
  14
  15      You should have received a copy of the GNU General Public License
  16      along with GNUnet; see the file COPYING.  If not, write to the
  17      Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  18      Boston, MA 02111-1307, USA.
  19 */
  20
  21 /**
  22  * @file src/regex/perf-regex.c
  23  * @brief Test how long it takes to create a automaton from a string regex.
  24  * @author Bartlomiej Polot
  25  */
  26 #include <regex.h>
  27 #include <time.h>
  28 #include "platform.h"
  29 #include "regex_internal_lib.h"
  30 #include "regex_test_lib.h"
  31
  32 static const char *exe;
  33
  34 static void
  35 usage(void)
  36 {
  37   fprintf (stderr, "Usage: %s REGEX_FILE COMPRESSION\n", exe);
  38 }
  39
  40 /**
  41  * Iterator callback function.
  42  *
  43  * @param cls closure.
  44  * @param key hash for current state.
  45  * @param proof proof for current state.
  46  * @param accepting GNUNET_YES if this is an accepting state, GNUNET_NO if not.
  47  * @param num_edges number of edges leaving current state.
  48  * @param edges edges leaving current state.
  49  */
  50 static void
  51 iter (void *cls,
  52       const struct GNUNET_HashCode *key,
  53       const char *proof,
  54       int accepting,
  55       unsigned int num_edges,
  56       const struct REGEX_ITERNAL_Edge *edges)
  57 {
  58   unsigned int i;
  59
  60   printf ("%s: %s\n", GNUNET_h2s (key), accepting ? "ACCEPTING" : "");
  61   printf ("  proof: %s\n", proof);
  62   for (i = 0; i < num_edges; i++)
  63   {
  64     printf ("    %s: %s\n", edges[i].label, GNUNET_h2s (&edges[i].destination));
  65   }
  66 }
  67
  68 static void
  69 print_dfa (struct REGEX_ITERNAL_Automaton* dfa)
  70 {
  71   REGEX_ITERNAL_iterate_all_edges (dfa, iter, NULL);
  72 }
  73
  74 /**
  75  * The main function of the regex performace test.
  76  *
  77  * Read a set of regex from a file, combine them and create a DFA from the
  78  * resulting combined regex.
  79  *
  80  * @param argc number of arguments from the command line
  81  * @param argv command line arguments
  82  * @return 0 ok, 1 on error
  83  */
  84 int
  85 main (int argc, char *const *argv)
  86 {
  87   struct REGEX_ITERNAL_Automaton* dfa;
  88   char **regexes;
  89   char *buffer;
  90   char *regex;
  91   int compression;
  92   long size;
  93
  94   GNUNET_log_setup ("perf-regex", "DEBUG", NULL);
  95   exe = argv[0];
  96   if (3 != argc)
  97   {
  98     usage();
  99     return 1;
 100   }
 101   regexes = REGEX_ITERNAL_read_from_file (argv[1]);
 102
 103   if (NULL == regexes)
 104   {
 105     usage();
 106     return 2;
 107   }
 108   buffer = REGEX_ITERNAL_combine (regexes);
 109
 110   GNUNET_asprintf (&regex, "GNVPN-0001-PAD(%s)(0|1)*", buffer);
 111   size = strlen (regex);
 112
 113   fprintf (stderr, "Combined regex (%ld bytes):\n%s\n", size, regex);
 114   //   return 0;
 115
 116   compression = atoi (argv[2]);
 117   dfa = REGEX_ITERNAL_construct_dfa (regex, size, compression);
 118   print_dfa (dfa);
 119   REGEX_ITERNAL_automaton_destroy (dfa);
 120   GNUNET_free (buffer);
 121   REGEX_ITERNAL_free_from_file (regexes);
 122   GNUNET_free (regex);
 123   return 0;
 124 }
 125
 126 /* end of prof-regex.c */