| Index: openssl/doc/crypto/lhash.pod
|
| ===================================================================
|
| --- openssl/doc/crypto/lhash.pod (revision 105093)
|
| +++ openssl/doc/crypto/lhash.pod (working copy)
|
| @@ -8,19 +8,21 @@
|
|
|
| #include <openssl/lhash.h>
|
|
|
| - LHASH *lh_new(LHASH_HASH_FN_TYPE hash, LHASH_COMP_FN_TYPE compare);
|
| - void lh_free(LHASH *table);
|
| + DECLARE_LHASH_OF(<type>);
|
|
|
| - void *lh_insert(LHASH *table, void *data);
|
| - void *lh_delete(LHASH *table, void *data);
|
| - void *lh_retrieve(LHASH *table, void *data);
|
| + LHASH *lh_<type>_new();
|
| + void lh_<type>_free(LHASH_OF(<type> *table);
|
|
|
| - void lh_doall(LHASH *table, LHASH_DOALL_FN_TYPE func);
|
| - void lh_doall_arg(LHASH *table, LHASH_DOALL_ARG_FN_TYPE func,
|
| - void *arg);
|
| + <type> *lh_<type>_insert(LHASH_OF(<type> *table, <type> *data);
|
| + <type> *lh_<type>_delete(LHASH_OF(<type> *table, <type> *data);
|
| + <type> *lh_retrieve(LHASH_OF<type> *table, <type> *data);
|
|
|
| - int lh_error(LHASH *table);
|
| + void lh_<type>_doall(LHASH_OF(<type> *table, LHASH_DOALL_FN_TYPE func);
|
| + void lh_<type>_doall_arg(LHASH_OF(<type> *table, LHASH_DOALL_ARG_FN_TYPE func,
|
| + <type2>, <type2> *arg);
|
|
|
| + int lh_<type>_error(LHASH_OF(<type> *table);
|
| +
|
| typedef int (*LHASH_COMP_FN_TYPE)(const void *, const void *);
|
| typedef unsigned long (*LHASH_HASH_FN_TYPE)(const void *);
|
| typedef void (*LHASH_DOALL_FN_TYPE)(const void *);
|
| @@ -28,113 +30,115 @@
|
|
|
| =head1 DESCRIPTION
|
|
|
| -This library implements dynamic hash tables. The hash table entries
|
| -can be arbitrary structures. Usually they consist of key and value
|
| -fields.
|
| +This library implements type-checked dynamic hash tables. The hash
|
| +table entries can be arbitrary structures. Usually they consist of key
|
| +and value fields.
|
|
|
| -lh_new() creates a new B<LHASH> structure to store arbitrary data
|
| -entries, and provides the 'hash' and 'compare' callbacks to be used in
|
| -organising the table's entries. The B<hash> callback takes a pointer
|
| -to a table entry as its argument and returns an unsigned long hash
|
| -value for its key field. The hash value is normally truncated to a
|
| -power of 2, so make sure that your hash function returns well mixed
|
| -low order bits. The B<compare> callback takes two arguments (pointers
|
| -to two hash table entries), and returns 0 if their keys are equal,
|
| -non-zero otherwise. If your hash table will contain items of some
|
| -particular type and the B<hash> and B<compare> callbacks hash/compare
|
| -these types, then the B<DECLARE_LHASH_HASH_FN> and
|
| -B<IMPLEMENT_LHASH_COMP_FN> macros can be used to create callback
|
| -wrappers of the prototypes required by lh_new(). These provide
|
| -per-variable casts before calling the type-specific callbacks written
|
| -by the application author. These macros, as well as those used for
|
| -the "doall" callbacks, are defined as;
|
| +lh_<type>_new() creates a new B<LHASH_OF(<type>> structure to store
|
| +arbitrary data entries, and provides the 'hash' and 'compare'
|
| +callbacks to be used in organising the table's entries. The B<hash>
|
| +callback takes a pointer to a table entry as its argument and returns
|
| +an unsigned long hash value for its key field. The hash value is
|
| +normally truncated to a power of 2, so make sure that your hash
|
| +function returns well mixed low order bits. The B<compare> callback
|
| +takes two arguments (pointers to two hash table entries), and returns
|
| +0 if their keys are equal, non-zero otherwise. If your hash table
|
| +will contain items of some particular type and the B<hash> and
|
| +B<compare> callbacks hash/compare these types, then the
|
| +B<DECLARE_LHASH_HASH_FN> and B<IMPLEMENT_LHASH_COMP_FN> macros can be
|
| +used to create callback wrappers of the prototypes required by
|
| +lh_<type>_new(). These provide per-variable casts before calling the
|
| +type-specific callbacks written by the application author. These
|
| +macros, as well as those used for the "doall" callbacks, are defined
|
| +as;
|
|
|
| - #define DECLARE_LHASH_HASH_FN(f_name,o_type) \
|
| - unsigned long f_name##_LHASH_HASH(const void *);
|
| - #define IMPLEMENT_LHASH_HASH_FN(f_name,o_type) \
|
| - unsigned long f_name##_LHASH_HASH(const void *arg) { \
|
| - o_type a = (o_type)arg; \
|
| - return f_name(a); }
|
| - #define LHASH_HASH_FN(f_name) f_name##_LHASH_HASH
|
| + #define DECLARE_LHASH_HASH_FN(name, o_type) \
|
| + unsigned long name##_LHASH_HASH(const void *);
|
| + #define IMPLEMENT_LHASH_HASH_FN(name, o_type) \
|
| + unsigned long name##_LHASH_HASH(const void *arg) { \
|
| + const o_type *a = arg; \
|
| + return name##_hash(a); }
|
| + #define LHASH_HASH_FN(name) name##_LHASH_HASH
|
|
|
| - #define DECLARE_LHASH_COMP_FN(f_name,o_type) \
|
| - int f_name##_LHASH_COMP(const void *, const void *);
|
| - #define IMPLEMENT_LHASH_COMP_FN(f_name,o_type) \
|
| - int f_name##_LHASH_COMP(const void *arg1, const void *arg2) { \
|
| - o_type a = (o_type)arg1; \
|
| - o_type b = (o_type)arg2; \
|
| - return f_name(a,b); }
|
| - #define LHASH_COMP_FN(f_name) f_name##_LHASH_COMP
|
| + #define DECLARE_LHASH_COMP_FN(name, o_type) \
|
| + int name##_LHASH_COMP(const void *, const void *);
|
| + #define IMPLEMENT_LHASH_COMP_FN(name, o_type) \
|
| + int name##_LHASH_COMP(const void *arg1, const void *arg2) { \
|
| + const o_type *a = arg1; \
|
| + const o_type *b = arg2; \
|
| + return name##_cmp(a,b); }
|
| + #define LHASH_COMP_FN(name) name##_LHASH_COMP
|
|
|
| - #define DECLARE_LHASH_DOALL_FN(f_name,o_type) \
|
| - void f_name##_LHASH_DOALL(const void *);
|
| - #define IMPLEMENT_LHASH_DOALL_FN(f_name,o_type) \
|
| - void f_name##_LHASH_DOALL(const void *arg) { \
|
| - o_type a = (o_type)arg; \
|
| - f_name(a); }
|
| - #define LHASH_DOALL_FN(f_name) f_name##_LHASH_DOALL
|
| + #define DECLARE_LHASH_DOALL_FN(name, o_type) \
|
| + void name##_LHASH_DOALL(void *);
|
| + #define IMPLEMENT_LHASH_DOALL_FN(name, o_type) \
|
| + void name##_LHASH_DOALL(void *arg) { \
|
| + o_type *a = arg; \
|
| + name##_doall(a); }
|
| + #define LHASH_DOALL_FN(name) name##_LHASH_DOALL
|
|
|
| - #define DECLARE_LHASH_DOALL_ARG_FN(f_name,o_type,a_type) \
|
| - void f_name##_LHASH_DOALL_ARG(const void *, const void *);
|
| - #define IMPLEMENT_LHASH_DOALL_ARG_FN(f_name,o_type,a_type) \
|
| - void f_name##_LHASH_DOALL_ARG(const void *arg1, const void *arg2) { \
|
| - o_type a = (o_type)arg1; \
|
| - a_type b = (a_type)arg2; \
|
| - f_name(a,b); }
|
| - #define LHASH_DOALL_ARG_FN(f_name) f_name##_LHASH_DOALL_ARG
|
| + #define DECLARE_LHASH_DOALL_ARG_FN(name, o_type, a_type) \
|
| + void name##_LHASH_DOALL_ARG(void *, void *);
|
| + #define IMPLEMENT_LHASH_DOALL_ARG_FN(name, o_type, a_type) \
|
| + void name##_LHASH_DOALL_ARG(void *arg1, void *arg2) { \
|
| + o_type *a = arg1; \
|
| + a_type *b = arg2; \
|
| + name##_doall_arg(a, b); }
|
| + #define LHASH_DOALL_ARG_FN(name) name##_LHASH_DOALL_ARG
|
|
|
| -An example of a hash table storing (pointers to) structures of type 'STUFF'
|
| -could be defined as follows;
|
| + An example of a hash table storing (pointers to) structures of type 'STUFF'
|
| + could be defined as follows;
|
|
|
| /* Calculates the hash value of 'tohash' (implemented elsewhere) */
|
| unsigned long STUFF_hash(const STUFF *tohash);
|
| /* Orders 'arg1' and 'arg2' (implemented elsewhere) */
|
| - int STUFF_cmp(const STUFF *arg1, const STUFF *arg2);
|
| + int stuff_cmp(const STUFF *arg1, const STUFF *arg2);
|
| /* Create the type-safe wrapper functions for use in the LHASH internals */
|
| - static IMPLEMENT_LHASH_HASH_FN(STUFF_hash, const STUFF *)
|
| - static IMPLEMENT_LHASH_COMP_FN(STUFF_cmp, const STUFF *);
|
| + static IMPLEMENT_LHASH_HASH_FN(stuff, STUFF);
|
| + static IMPLEMENT_LHASH_COMP_FN(stuff, STUFF);
|
| /* ... */
|
| int main(int argc, char *argv[]) {
|
| /* Create the new hash table using the hash/compare wrappers */
|
| - LHASH *hashtable = lh_new(LHASH_HASH_FN(STUFF_hash),
|
| + LHASH_OF(STUFF) *hashtable = lh_STUFF_new(LHASH_HASH_FN(STUFF_hash),
|
| LHASH_COMP_FN(STUFF_cmp));
|
| /* ... */
|
| }
|
|
|
| -lh_free() frees the B<LHASH> structure B<table>. Allocated hash table
|
| -entries will not be freed; consider using lh_doall() to deallocate any
|
| -remaining entries in the hash table (see below).
|
| +lh_<type>_free() frees the B<LHASH_OF(<type>> structure
|
| +B<table>. Allocated hash table entries will not be freed; consider
|
| +using lh_<type>_doall() to deallocate any remaining entries in the
|
| +hash table (see below).
|
|
|
| -lh_insert() inserts the structure pointed to by B<data> into B<table>.
|
| -If there already is an entry with the same key, the old value is
|
| -replaced. Note that lh_insert() stores pointers, the data are not
|
| -copied.
|
| +lh_<type>_insert() inserts the structure pointed to by B<data> into
|
| +B<table>. If there already is an entry with the same key, the old
|
| +value is replaced. Note that lh_<type>_insert() stores pointers, the
|
| +data are not copied.
|
|
|
| -lh_delete() deletes an entry from B<table>.
|
| +lh_<type>_delete() deletes an entry from B<table>.
|
|
|
| -lh_retrieve() looks up an entry in B<table>. Normally, B<data> is
|
| -a structure with the key field(s) set; the function will return a
|
| +lh_<type>_retrieve() looks up an entry in B<table>. Normally, B<data>
|
| +is a structure with the key field(s) set; the function will return a
|
| pointer to a fully populated structure.
|
|
|
| -lh_doall() will, for every entry in the hash table, call B<func> with
|
| -the data item as its parameter. For lh_doall() and lh_doall_arg(),
|
| -function pointer casting should be avoided in the callbacks (see
|
| -B<NOTE>) - instead, either declare the callbacks to match the
|
| -prototype required in lh_new() or use the declare/implement macros to
|
| -create type-safe wrappers that cast variables prior to calling your
|
| -type-specific callbacks. An example of this is illustrated here where
|
| -the callback is used to cleanup resources for items in the hash table
|
| -prior to the hashtable itself being deallocated:
|
| +lh_<type>_doall() will, for every entry in the hash table, call
|
| +B<func> with the data item as its parameter. For lh_<type>_doall()
|
| +and lh_<type>_doall_arg(), function pointer casting should be avoided
|
| +in the callbacks (see B<NOTE>) - instead use the declare/implement
|
| +macros to create type-checked wrappers that cast variables prior to
|
| +calling your type-specific callbacks. An example of this is
|
| +illustrated here where the callback is used to cleanup resources for
|
| +items in the hash table prior to the hashtable itself being
|
| +deallocated:
|
|
|
| /* Cleans up resources belonging to 'a' (this is implemented elsewhere) */
|
| - void STUFF_cleanup(STUFF *a);
|
| + void STUFF_cleanup_doall(STUFF *a);
|
| /* Implement a prototype-compatible wrapper for "STUFF_cleanup" */
|
| - IMPLEMENT_LHASH_DOALL_FN(STUFF_cleanup, STUFF *)
|
| + IMPLEMENT_LHASH_DOALL_FN(STUFF_cleanup, STUFF)
|
| /* ... then later in the code ... */
|
| /* So to run "STUFF_cleanup" against all items in a hash table ... */
|
| - lh_doall(hashtable, LHASH_DOALL_FN(STUFF_cleanup));
|
| + lh_STUFF_doall(hashtable, LHASH_DOALL_FN(STUFF_cleanup));
|
| /* Then the hash table itself can be deallocated */
|
| - lh_free(hashtable);
|
| + lh_STUFF_free(hashtable);
|
|
|
| When doing this, be careful if you delete entries from the hash table
|
| in your callbacks: the table may decrease in size, moving the item
|
| @@ -145,51 +149,52 @@
|
| The best solution is probably to avoid deleting items from the hash
|
| table inside a "doall" callback!
|
|
|
| -lh_doall_arg() is the same as lh_doall() except that B<func> will be
|
| -called with B<arg> as the second argument and B<func> should be of
|
| -type B<LHASH_DOALL_ARG_FN_TYPE> (a callback prototype that is passed
|
| -both the table entry and an extra argument). As with lh_doall(), you
|
| -can instead choose to declare your callback with a prototype matching
|
| -the types you are dealing with and use the declare/implement macros to
|
| -create compatible wrappers that cast variables before calling your
|
| -type-specific callbacks. An example of this is demonstrated here
|
| -(printing all hash table entries to a BIO that is provided by the
|
| -caller):
|
| +lh_<type>_doall_arg() is the same as lh_<type>_doall() except that
|
| +B<func> will be called with B<arg> as the second argument and B<func>
|
| +should be of type B<LHASH_DOALL_ARG_FN_TYPE> (a callback prototype
|
| +that is passed both the table entry and an extra argument). As with
|
| +lh_doall(), you can instead choose to declare your callback with a
|
| +prototype matching the types you are dealing with and use the
|
| +declare/implement macros to create compatible wrappers that cast
|
| +variables before calling your type-specific callbacks. An example of
|
| +this is demonstrated here (printing all hash table entries to a BIO
|
| +that is provided by the caller):
|
|
|
| /* Prints item 'a' to 'output_bio' (this is implemented elsewhere) */
|
| - void STUFF_print(const STUFF *a, BIO *output_bio);
|
| + void STUFF_print_doall_arg(const STUFF *a, BIO *output_bio);
|
| /* Implement a prototype-compatible wrapper for "STUFF_print" */
|
| - static IMPLEMENT_LHASH_DOALL_ARG_FN(STUFF_print, const STUFF *, BIO *)
|
| + static IMPLEMENT_LHASH_DOALL_ARG_FN(STUFF, const STUFF, BIO)
|
| /* ... then later in the code ... */
|
| /* Print out the entire hashtable to a particular BIO */
|
| - lh_doall_arg(hashtable, LHASH_DOALL_ARG_FN(STUFF_print), logging_bio);
|
| + lh_STUFF_doall_arg(hashtable, LHASH_DOALL_ARG_FN(STUFF_print), BIO,
|
| + logging_bio);
|
|
|
| -lh_error() can be used to determine if an error occurred in the last
|
| -operation. lh_error() is a macro.
|
| +lh_<type>_error() can be used to determine if an error occurred in the last
|
| +operation. lh_<type>_error() is a macro.
|
|
|
| =head1 RETURN VALUES
|
|
|
| -lh_new() returns B<NULL> on error, otherwise a pointer to the new
|
| +lh_<type>_new() returns B<NULL> on error, otherwise a pointer to the new
|
| B<LHASH> structure.
|
|
|
| -When a hash table entry is replaced, lh_insert() returns the value
|
| +When a hash table entry is replaced, lh_<type>_insert() returns the value
|
| being replaced. B<NULL> is returned on normal operation and on error.
|
|
|
| -lh_delete() returns the entry being deleted. B<NULL> is returned if
|
| +lh_<type>_delete() returns the entry being deleted. B<NULL> is returned if
|
| there is no such value in the hash table.
|
|
|
| -lh_retrieve() returns the hash table entry if it has been found,
|
| +lh_<type>_retrieve() returns the hash table entry if it has been found,
|
| B<NULL> otherwise.
|
|
|
| -lh_error() returns 1 if an error occurred in the last operation, 0
|
| +lh_<type>_error() returns 1 if an error occurred in the last operation, 0
|
| otherwise.
|
|
|
| -lh_free(), lh_doall() and lh_doall_arg() return no values.
|
| +lh_<type>_free(), lh_<type>_doall() and lh_<type>_doall_arg() return no values.
|
|
|
| =head1 NOTE
|
|
|
| The various LHASH macros and callback types exist to make it possible
|
| -to write type-safe code without resorting to function-prototype
|
| +to write type-checked code without resorting to function-prototype
|
| casting - an evil that makes application code much harder to
|
| audit/verify and also opens the window of opportunity for stack
|
| corruption and other hard-to-find bugs. It also, apparently, violates
|
| @@ -227,7 +232,7 @@
|
|
|
| =head1 BUGS
|
|
|
| -lh_insert() returns B<NULL> both for success and error.
|
| +lh_<type>_insert() returns B<NULL> both for success and error.
|
|
|
| =head1 INTERNALS
|
|
|
| @@ -272,8 +277,8 @@
|
| unsigned long lh_strhash(const char *c);
|
|
|
| Since the B<LHASH> routines would normally be passed structures, this
|
| -routine would not normally be passed to lh_new(), rather it would be
|
| -used in the function passed to lh_new().
|
| +routine would not normally be passed to lh_<type>_new(), rather it would be
|
| +used in the function passed to lh_<type>_new().
|
|
|
| =head1 SEE ALSO
|
|
|
| @@ -291,4 +296,7 @@
|
| LHASH_HASH_FN_TYPE, LHASH_DOALL_FN_TYPE and LHASH_DOALL_ARG_FN_TYPE
|
| became available.
|
|
|
| +In OpenSSL 1.0.0, the lhash interface was revamped for even better
|
| +type checking.
|
| +
|
| =cut
|
|
|