From 4e5302a27e97161ffefbe486ff56a134b1b697d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marc-Andr=C3=A9=20Lemburg?= Date: Wed, 28 Jun 2000 16:53:16 +0000 Subject: [PATCH] Marc-Andre Lemburg : Perfect hash table generator. Outputs a Python extension module which provides access to the hash table (which is stored in static C data) using custom code. This module can currently only generates code for the ucnhash module, but can easily be adapted to produce perfect hash tables for other tasks where fast lookup in large tables is needed. By Bill Tutt. --- Tools/perfecthash/perfect_hash.py | 664 ++++++++++++++++++++++++++++++ 1 file changed, 664 insertions(+) create mode 100644 Tools/perfecthash/perfect_hash.py diff --git a/Tools/perfecthash/perfect_hash.py b/Tools/perfecthash/perfect_hash.py new file mode 100644 index 00000000000..47f5c53a6ef --- /dev/null +++ b/Tools/perfecthash/perfect_hash.py @@ -0,0 +1,664 @@ +#!/usr/bin/env/python + +# perfect_hash.py +# +# Outputs C code for a minimal perfect hash. +# The hash is produced using the algorithm described in +# "Optimal algorithms for minimal perfect hashing", +# G. Havas, B.S. Majewski. Available as a technical report +# from the CS department, University of Queensland +# (ftp://ftp.cs.uq.oz.au/). +# +# This is a modified version of Andrew Kuchling's code +# (http://starship.python.net/crew/amk/python/code/perfect-hash.html) +# and generates C fragments suitable for compilation as a Python +# extension module. +# + +# Difference between this algorithm and gperf: +# Gperf will complete in finite time with a successful function, +# or by giving up. +# This algorithm may never complete, although it is extremely likely +# when c >= 2. + +# The algorithm works like this: +# 0) You have K keys, that you want to perfectly hash to a bunch +# of hash values. +# +# 1) Choose a number N larger than K. This is the number of +# vertices in a graph G, and also the size of the resulting table. +# +# 2) Pick two random hash functions f1, f2, that output values from +# 0...N-1. +# +# 3) for key in keys: +# h1 = f1(key) ; h2 = f2(key) +# Draw an edge between vertices h1 and h2 of the graph. +# Associate the desired hash value with that edge. +# +# 4) Check if G is acyclic; if not, go back to step 1 and pick a bigger N. +# +# 5) Assign values to each vertex such that, for each edge, you can +# add the values for the two vertices and get the desired value +# for that edge -- which is the desired hash key. This task is +# dead easy, because the graph is acyclic. This is done by +# picking a vertex V, and assigning it a value of 0. You then do a +# depth-first search, assigning values to new vertices so that +# they sum up properly. +# +# 6) f1, f2, and G now make up your perfect hash function. + + +import sys, whrandom, string +import pprint +import perfhash +import time + +class Hash: + """Random hash function + For simplicity and speed, this doesn't implement any byte-level hashing + scheme. Instead, a random string is generated and prefixing to + str(key), and then Python's hashing function is used.""" + + def __init__(self, N, caseInsensitive=0): + self.N = N + junk = "" + for i in range(10): + junk = junk + whrandom.choice(string.letters + string.digits) + self.junk = junk + self.caseInsensitive = caseInsensitive + self.seed = perfhash.calcSeed(junk) + + def __call__(self, key): + key = str(key) + if self.caseInsensitive: + key = string.upper(key) + x = perfhash.hash(self.seed, len(self.junk), key) % self.N + #h = hash(self.junk + key) % self.N + #assert x == h + return x + + def generate_code(self): + s = """{ + register int len; + register unsigned char *p; + register long x; + + len = cch; + p = (unsigned char *) key; + x = %(junkSeed)d; + while (--len >= 0) + x = (1000003*x) ^ """ % \ + { + "lenJunk" : len(self.junk), + "junkSeed" : self.seed, + } + + if self.caseInsensitive: + s = s + "toupper(*(p++));" + else: + s = s + "*(p++);" + s = s + """ + x ^= cch + %(lenJunk)d; + if (x == -1) + x = -2; + x %%= k_cHashElements; + /* ensure the returned value is positive so we mimic Python's %% operator */ + if (x < 0) + x += k_cHashElements; + return x; +} +""" % { "lenJunk" : len(self.junk), + "junkSeed" : self.seed, } + return s + + +WHITE, GREY, BLACK = 0,1,2 +class Graph: + """Graph class. This class isn't particularly efficient or general, + and only has the features I needed to implement this algorithm. + + num_vertices -- number of vertices + edges -- maps 2-tuples of vertex numbers to the value for this + edge. If there's an edge between v1 and v2 (v1 vertex2: vertex1, vertex2 = vertex2, vertex1 +# if self.edges.has_key( (vertex1, vertex2) ): +# raise ValueError, 'Collision: vertices already connected' + self.edges[ (vertex1, vertex2) ] = value + + # Add vertices to each other's reachable list + if not self.reachable_list.has_key( vertex1 ): + self.reachable_list[ vertex1 ] = [vertex2] + else: + self.reachable_list[vertex1].append(vertex2) + + if not self.reachable_list.has_key( vertex2 ): + self.reachable_list[ vertex2 ] = [vertex1] + else: + self.reachable_list[vertex2].append(vertex1) + + def get_edge_value(self, vertex1, vertex2): + """Retrieve the value corresponding to the edge between + 'vertex1' and 'vertex2'. Raises KeyError if no such edge""" + if vertex1 > vertex2: + vertex1, vertex2 = vertex2, vertex1 + return self.edges[ (vertex1, vertex2) ] + + def is_acyclic(self): + "Returns true if the graph is acyclic, otherwise false" + + # This is done by doing a depth-first search of the graph; + # painting each vertex grey and then black. If the DFS + # ever finds a vertex that isn't white, there's a cycle. + colour = {} + for i in range(self.num_vertices): colour[i] = WHITE + + # Loop over all vertices, taking white ones as starting + # points for a traversal. + for i in range(self.num_vertices): + if colour[i] == WHITE: + + # List of vertices to visit + visit_list = [ (None,i) ] + + # Do a DFS + while visit_list: + # Colour this vertex grey. + parent, vertex = visit_list[0] ; del visit_list[0] + colour[vertex] = GREY + + # Make copy of list of neighbours, removing the vertex + # we arrived here from. + neighbours = self.reachable_list.get(vertex, []) [:] + if parent in neighbours: neighbours.remove( parent ) + + for neighbour in neighbours: + if colour[neighbour] == WHITE: + visit_list.insert(0, (vertex, neighbour) ) + elif colour[neighbour] != WHITE: + # Aha! Already visited this node, + # so the graph isn't acyclic. + return 0 + + colour[vertex] = BLACK + + # We got through, so the graph is acyclic. + return 1 + + def assign_values(self): + """Compute values for each vertex, so that they sum up + properly to the associated value for each edge.""" + + # Also done with a DFS; I simply copied the DFS code + # from is_acyclic(). (Should generalize the logic so + # one function could be used from both methods, + # but I couldn't be bothered.) + + colour = {} + for i in range(self.num_vertices): colour[i] = WHITE + + # Loop over all vertices, taking white ones as starting + # points for a traversal. + for i in range(self.num_vertices): + if colour[i] == WHITE: + # Set this vertex's value, arbitrarily, to zero. + self.set_vertex_value( i, 0 ) + + # List of vertices to visit + visit_list = [ (None,i) ] + + # Do a DFS + while visit_list: + # Colour this vertex grey. + parent, vertex = visit_list[0] ; del visit_list[0] + colour[vertex] = GREY + + # Make copy of list of neighbours, removing the vertex + # we arrived here from. + neighbours = self.reachable_list.get(vertex, []) [:] + if parent in neighbours: neighbours.remove( parent ) + + for neighbour in self.reachable_list.get(vertex, []): + edge_value = self.get_edge_value( vertex, neighbour ) + if colour[neighbour] == WHITE: + visit_list.insert(0, (vertex, neighbour) ) + + # Set new vertex's value to the desired + # edge value, minus the value of the + # vertex we came here from. + new_val = (edge_value - + self.get_vertex_value( vertex ) ) + self.set_vertex_value( neighbour, + new_val % self.num_vertices) + + colour[vertex] = BLACK + + # Returns nothing + return + + def __getitem__(self, index): + if index < self.num_vertices: return index + raise IndexError + + def get_vertex_value(self, vertex): + "Get value for a vertex" + return self.values[ vertex ] + + def set_vertex_value(self, vertex, value): + "Set value for a vertex" + self.values[ vertex ] = value + + def generate_code(self, out, width = 70): + "Return nicely formatted table" + out.write("{ ") + pos = 0 + for v in self.values: + v=str(v)+', ' + out.write(v) + pos = pos + len(v) + 1 + if pos > width: out.write('\n '); pos = 0 + out.write('};\n') + + +class PerfectHash: + def __init__(self, cchMax, f1, f2, G, cHashElements, cKeys, maxHashValue): + self.cchMax = cchMax + self.f1 = f1 + self.f2 = f2 + self.G = G + self.cHashElements = cHashElements + self.cKeys = cKeys + # determine the necessary type for storing our hash function + # helper table: + self.type = self.determineType(maxHashValue) + + def generate_header(self, structName): + header = """ +#include +#include + +/* --- C API ----------------------------------------------------*/ +/* C API for usage by other Python modules */ +typedef struct %(structName)s +{ + unsigned long cKeys; + unsigned long cchMax; + unsigned long (*hash)(const char *key, unsigned int cch); + const void *(*getValue)(unsigned long iKey); +} %(structName)s; +""" % { "structName" : structName } + return header + + def determineType(self, maxHashValue): + if maxHashValue <= 255: + return "unsigned char" + elif maxHashValue <= 65535: + return "unsigned short" + else: + # Take the cheesy way out... + return "unsigned long" + + def generate_code(self, moduleName, dataArrayName, dataArrayType, structName): + # Output C code for the hash functions and tables + code = """ +/* + * The hash is produced using the algorithm described in + * "Optimal algorithms for minimal perfect hashing", + * G. Havas, B.S. Majewski. Available as a technical report + * from the CS department, University of Queensland + * (ftp://ftp.cs.uq.oz.au/). + * + * Generated using a heavily tweaked version of Andrew Kuchling's + * perfect_hash.py: + * http://starship.python.net/crew/amk/python/code/perfect-hash.html + * + * Generated on: %s + */ +""" % time.ctime(time.time()) + # MSVC SP3 was complaining when I actually used a global constant + code = code + """ +#define k_cHashElements %i +#define k_cchMaxKey %d +#define k_cKeys %i + +""" % (self.cHashElements, self.cchMax, self.cKeys) + + code = code + """ +static const %s G[k_cHashElements]; +static const %s %s[k_cKeys]; +""" % (self.type, dataArrayType, dataArrayName) + + code = code + """ +static long f1(const char *key, unsigned int cch) +""" + code = code + self.f1.generate_code() + code = code + """ + +static long f2(const char *key, unsigned int cch) +""" + code = code + self.f2.generate_code() + code = code + """ + +static unsigned long hash(const char *key, unsigned int cch) +{ + return ((unsigned long)(G[ f1(key, cch) ]) + (unsigned long)(G[ f2(key, cch) ]) ) %% k_cHashElements; +} + +const void *getValue(unsigned long iKey) +{ + return &%(dataArrayName)s[iKey]; +} + +/* Helper for adding objects to dictionaries. Check for errors with + PyErr_Occurred() */ +static +void insobj(PyObject *dict, + char *name, + PyObject *v) +{ + PyDict_SetItemString(dict, name, v); + Py_XDECREF(v); +} + +static const %(structName)s hashAPI = +{ + k_cKeys, + k_cchMaxKey, + &hash, + &getValue, +}; + +static +PyMethodDef Module_methods[] = +{ + {NULL, NULL}, +}; + +static char *Module_docstring = "%(moduleName)s hash function module"; + +/* Error reporting for module init functions */ + +#define Py_ReportModuleInitError(modname) { \\ + PyObject *exc_type, *exc_value, *exc_tb; \\ + PyObject *str_type, *str_value; \\ + \\ + /* Fetch error objects and convert them to strings */ \\ + PyErr_Fetch(&exc_type, &exc_value, &exc_tb); \\ + if (exc_type && exc_value) { \\ + str_type = PyObject_Str(exc_type); \\ + str_value = PyObject_Str(exc_value); \\ + } \\ + else { \\ + str_type = NULL; \\ + str_value = NULL; \\ + } \\ + /* Try to format a more informative error message using the \\ + original error */ \\ + if (str_type && str_value && \\ + PyString_Check(str_type) && PyString_Check(str_value)) \\ + PyErr_Format( \\ + PyExc_ImportError, \\ + "initialization of module "modname" failed " \\ + "(%%s:%%s)", \\ + PyString_AS_STRING(str_type), \\ + PyString_AS_STRING(str_value)); \\ + else \\ + PyErr_SetString( \\ + PyExc_ImportError, \\ + "initialization of module "modname" failed"); \\ + Py_XDECREF(str_type); \\ + Py_XDECREF(str_value); \\ + Py_XDECREF(exc_type); \\ + Py_XDECREF(exc_value); \\ + Py_XDECREF(exc_tb); \\ +} + + +/* Create PyMethodObjects and register them in the module\'s dict */ +DL_EXPORT(void) +init%(moduleName)s(void) +{ + PyObject *module, *moddict; + /* Create module */ + module = Py_InitModule4("%(moduleName)s", /* Module name */ + Module_methods, /* Method list */ + Module_docstring, /* Module doc-string */ + (PyObject *)NULL, /* always pass this as *self */ + PYTHON_API_VERSION); /* API Version */ + if (module == NULL) + goto onError; + /* Add some constants to the module\'s dict */ + moddict = PyModule_GetDict(module); + if (moddict == NULL) + goto onError; + + /* Export C API */ + insobj( + moddict, + "%(moduleName)sAPI", + PyCObject_FromVoidPtr((void *)&hashAPI, NULL)); + +onError: + /* Check for errors and report them */ + if (PyErr_Occurred()) + Py_ReportModuleInitError("%(moduleName)s"); + return; +} +""" % { "moduleName" : moduleName, + "dataArrayName" : dataArrayName, + "structName" : structName, } + + return code + + def generate_graph(self, out): + out.write(""" +static const unsigned short G[] = +""") + self.G.generate_code(out) + + +def generate_hash(keys, caseInsensitive=0, + minC=None, initC=None, + f1Seed=None, f2Seed=None, + cIncrement=None, cTries=None): + """Print out code for a perfect minimal hash. Input is a list of + (key, desired hash value) tuples. """ + + # K is the number of keys. + K = len(keys) + + # We will be generating graphs of size N, where N = c * K. + # The larger C is, the fewer trial graphs will need to be made, but + # the resulting table is also larger. Increase this starting value + # if you're impatient. After 50 failures, c will be increased by 0.025. + if initC is None: + initC = 1.5 + + c = initC + if cIncrement is None: + cIncrement = 0.0025 + + if cTries is None: + cTries = 50 + + # Number of trial graphs so far + num_graphs = 0 + sys.stderr.write('Generating graphs... ') + + while 1: + # N is the number of vertices in the graph G + N = int(c*K) + num_graphs = num_graphs + 1 + if (num_graphs % cTries) == 0: + # Enough failures at this multiplier, + # increase the multiplier and keep trying.... + c = c + cIncrement + + # Whats good with searching for a better + # hash function if we exceed the size + # of a function we've generated in the past.... + if minC is not None and \ + c > minC: + c = initC + sys.stderr.write(' -- c > minC, resetting c to %0.4f\n' % c) + else: + sys.stderr.write(' -- increasing c to %0.4f\n' % c) + sys.stderr.write('Generating graphs... ') + + # Output a progress message + sys.stderr.write( str(num_graphs) + ' ') + sys.stderr.flush() + + # Create graph w/ N vertices + G = Graph(N) + # Save the seeds used to generate + # the following two hash functions. + _seeds = whrandom._inst._seed + + # Create 2 random hash functions + f1 = Hash(N, caseInsensitive) + f2 = Hash(N, caseInsensitive) + + # Set the initial hash function seed values if passed in. + # Doing this protects our hash functions from + # changes to whrandom's behavior. + if f1Seed is not None: + f1.seed = f1Seed + f1Seed = None + fSpecifiedSeeds = 1 + if f2Seed is not None: + f2.seed = f2Seed + f2Seed = None + fSpecifiedSeeds = 1 + + # Connect vertices given by the values of the two hash functions + # for each key. Associate the desired hash value with each + # edge. + for k, v in keys: + h1 = f1(k) ; h2 = f2(k) + G.connect( h1,h2, v) + + # Check if the resulting graph is acyclic; if it is, + # we're done with step 1. + if G.is_acyclic(): + break + elif fSpecifiedSeeds: + sys.stderr.write('\nThe initial f1/f2 seeds you specified didn\'t generate a perfect hash function: \n') + sys.stderr.write('f1 seed: %s\n' % f1.seed) + sys.stderr.write('f2 seed: %s\n' % f2.seed) + sys.stderr.write('multipler: %s\n' % c) + sys.stderr.write('Your data has likely changed, or you forgot what your initial multiplier should be.\n') + sys.stderr.write('continuing the search for a perfect hash function......\n') + fSpecifiedSeeds = 0 + + # Now we have an acyclic graph, so we assign values to each vertex + # such that, for each edge, you can add the values for the two vertices + # involved and get the desired value for that edge -- which is the + # desired hash key. This task is dead easy, because the graph is acyclic. + sys.stderr.write('\nAcyclic graph found; computing vertex values...\n') + G.assign_values() + + sys.stderr.write('Checking uniqueness of hash values...\n') + + # Sanity check the result by actually verifying that all the keys + # hash to the right value. + cchMaxKey = 0 + maxHashValue = 0 + + for k, v in keys: + hash1 = G.values[ f1(k) ] + hash2 = G.values[ f2(k) ] + if hash1 > maxHashValue: + maxHashValue = hash1 + if hash2 > maxHashValue: + maxHashValue = hash2 + perfecthash = (hash1 + hash2) % N + assert perfecthash == v + cch = len(k) + if cch > cchMaxKey: + cchMaxKey = cch + + sys.stderr.write('Found perfect hash function!\n') + sys.stderr.write('\nIn order to regenerate this hash function, \n') + sys.stderr.write('you need to pass these following values back in:\n') + sys.stderr.write('f1 seed: %s\n' % repr(f1.seed)) + sys.stderr.write('f2 seed: %s\n' % repr(f2.seed)) + sys.stderr.write('initial multipler: %s\n' % c) + + return PerfectHash(cchMaxKey, f1, f2, G, N, len(keys), maxHashValue) + +""" +static +PyObject *codec_tuple(PyObject *unicode, + int len) +{ + PyObject *v,*w; + + if (unicode == NULL) + return NULL; + v = PyTuple_New(2); + if (v == NULL) { + Py_DECREF(unicode); + return NULL; + } + PyTuple_SET_ITEM(v,0,unicode); + w = PyInt_FromLong(len); + if (w == NULL) { + Py_DECREF(v); + return NULL; + } + PyTuple_SET_ITEM(v,1,w); + return v; +} + +static PyObject * +ucn_decode(PyObject *self, + PyObject *args) +{ + const char *data; + int size; + const char *errors = NULL; + PyObject *mapping = NULL; + + if (!PyArg_ParseTuple(args, "t#|z:ucn_decode", + &data, &size, &errors)) + return NULL; + if (mapping == Py_None) + mapping = NULL; + + return codec_tuple(PyUnicode_DecodeNamedUnicodeEscape(data, size, errors), + size); +} + + +static PyMethodDef _codecs_functions[] = { + { "ucn_decode", ucn_decode, 1 }, +}; + +DL_EXPORT(void) +init_ucn() +{ + Py_InitModule("_ucn", _codecs_functions); +} + +""" + + +