332 lines
7.4 KiB
C
332 lines
7.4 KiB
C
#include "myhashmap.h"
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
|
|
static size_t mcl_get_mutex(mcl_hashmap_s *hashmap, size_t hash) { return hash % hashmap->num_locks; }
|
|
|
|
static size_t mcl_get_bucket_index(mcl_hashmap_s *hashmap, void *key) {
|
|
unsigned int hash = hashmap->hash_fn(key);
|
|
return hash % MYCLIB_HASHMAP_SIZE;
|
|
}
|
|
|
|
static void mcl_free_bucket_content(mcl_hashmap_s *hashmap, mcl_bucket_s *bucket) {
|
|
if (bucket == NULL) {
|
|
return;
|
|
}
|
|
|
|
/* Free key if free function is provided */
|
|
if (hashmap->free_key_fn != NULL && bucket->key != NULL) {
|
|
hashmap->free_key_fn(bucket->key);
|
|
}
|
|
|
|
/* Free value if free function is provided */
|
|
if (hashmap->free_value_fn != NULL && bucket->value != NULL) {
|
|
hashmap->free_value_fn(bucket->value);
|
|
}
|
|
}
|
|
|
|
static mcl_bucket_s *mcl_find_bucket(mcl_hashmap_s *hashmap, void *key, mcl_bucket_s **prev) {
|
|
size_t index = mcl_get_bucket_index(hashmap, key);
|
|
mcl_bucket_s *bucket = &hashmap->map[index];
|
|
|
|
*prev = NULL;
|
|
|
|
/* Return NULL if first bucket is empty */
|
|
if (bucket->key == NULL) {
|
|
return NULL;
|
|
}
|
|
|
|
/* Search through the collision chain */
|
|
while (bucket != NULL) {
|
|
if (hashmap->equal_fn(bucket->key, key)) {
|
|
return bucket;
|
|
}
|
|
*prev = bucket;
|
|
bucket = bucket->next;
|
|
}
|
|
|
|
return NULL;
|
|
}
|
|
|
|
mcl_hashmap_s *mcl_hm_init(hash_f *hash_fn, equal_f *equal_fn, free_key_f *free_key_fn, free_value_f *free_value_fn, size_t key_size, size_t value_size) {
|
|
mcl_hashmap_s *hashmap = malloc(sizeof(mcl_hashmap_s));
|
|
if (hashmap == NULL) {
|
|
return NULL;
|
|
}
|
|
|
|
hashmap->hash_fn = hash_fn;
|
|
hashmap->equal_fn = equal_fn;
|
|
hashmap->free_key_fn = free_key_fn;
|
|
hashmap->free_value_fn = free_value_fn;
|
|
hashmap->key_size = key_size;
|
|
hashmap->value_size = value_size;
|
|
|
|
hashmap->num_locks = 64;
|
|
hashmap->locks = malloc(sizeof(mtx_t) * hashmap->num_locks);
|
|
if (hashmap->locks == NULL) {
|
|
free(hashmap);
|
|
|
|
return NULL;
|
|
}
|
|
|
|
int ret;
|
|
for (size_t i = 0; i < hashmap->num_locks; ++i) {
|
|
ret = mtx_init(&(hashmap->locks[i]), mtx_plain);
|
|
if (ret != thrd_success) {
|
|
/* Mutex failed */
|
|
for (size_t j = 0; j < i; ++j) {
|
|
mtx_destroy(&(hashmap->locks[j]));
|
|
}
|
|
|
|
free(hashmap->locks);
|
|
free(hashmap);
|
|
}
|
|
}
|
|
|
|
memset(hashmap->map, 0, sizeof(hashmap->map));
|
|
|
|
return hashmap;
|
|
}
|
|
|
|
void mcl_hm_free(mcl_hashmap_s *hashmap) {
|
|
if (hashmap == NULL) {
|
|
return;
|
|
}
|
|
|
|
/* Iterate through all buckets in the hash map */
|
|
for (size_t i = 0; i < MYCLIB_HASHMAP_SIZE; ++i) {
|
|
mcl_bucket_s *bucket = &hashmap->map[i];
|
|
|
|
/* Free the first bucket if it contains data */
|
|
if (bucket->key != NULL) {
|
|
mcl_free_bucket_content(hashmap, bucket);
|
|
}
|
|
|
|
/* Free all chained buckets */
|
|
bucket = bucket->next;
|
|
while (bucket != NULL) {
|
|
mcl_bucket_s *next = bucket->next;
|
|
mcl_free_bucket_content(hashmap, bucket);
|
|
free(bucket);
|
|
bucket = next;
|
|
}
|
|
}
|
|
|
|
/* Free the mutex */
|
|
for (size_t i = 0; i < hashmap->num_locks; ++i) {
|
|
mtx_destroy(&(hashmap->locks[i]));
|
|
}
|
|
free(hashmap->locks);
|
|
|
|
/* Free the hash map structure itself */
|
|
free(hashmap);
|
|
}
|
|
|
|
void mcl_hm_free_bucket(mcl_bucket_s *bucket) {
|
|
if (bucket == NULL) {
|
|
return;
|
|
}
|
|
|
|
free(bucket->key);
|
|
free(bucket->value);
|
|
free(bucket);
|
|
}
|
|
|
|
bool mcl_hm_set(mcl_hashmap_s *hashmap, void *key, void *value) {
|
|
if (hashmap == NULL || key == NULL || value == NULL) {
|
|
return false;
|
|
}
|
|
|
|
size_t mutex_id = mcl_get_mutex(hashmap, hashmap->hash_fn(key));
|
|
mtx_t *mutex = &(hashmap->locks[mutex_id]);
|
|
mtx_lock(mutex);
|
|
|
|
mcl_bucket_s *prev;
|
|
mcl_bucket_s *existing = mcl_find_bucket(hashmap, key, &prev);
|
|
|
|
if (existing != NULL) {
|
|
/* Key exists, update value */
|
|
if (hashmap->free_value_fn != NULL && existing->value != NULL) {
|
|
hashmap->free_value_fn(existing->value);
|
|
}
|
|
|
|
existing->value = malloc(hashmap->value_size);
|
|
if (existing->value == NULL) {
|
|
mtx_unlock(mutex);
|
|
|
|
return false;
|
|
}
|
|
|
|
memcpy(existing->value, value, hashmap->value_size);
|
|
mtx_unlock(mutex);
|
|
|
|
return true;
|
|
}
|
|
|
|
/* Key doesn't exist, need to insert new bucket */
|
|
size_t index = mcl_get_bucket_index(hashmap, key);
|
|
mcl_bucket_s *bucket = &hashmap->map[index];
|
|
|
|
if (bucket->key == NULL) {
|
|
/* First bucket is empty, use it */
|
|
bucket->key = malloc(hashmap->key_size);
|
|
if (bucket->key == NULL) {
|
|
mtx_unlock(mutex);
|
|
|
|
return false;
|
|
}
|
|
|
|
bucket->value = malloc(hashmap->value_size);
|
|
if (bucket->value == NULL) {
|
|
free(bucket->key);
|
|
bucket->key = NULL;
|
|
mtx_unlock(mutex);
|
|
|
|
return false;
|
|
}
|
|
|
|
memcpy(bucket->key, key, hashmap->key_size);
|
|
memcpy(bucket->value, value, hashmap->value_size);
|
|
bucket->next = NULL;
|
|
mtx_unlock(mutex);
|
|
|
|
return true;
|
|
}
|
|
|
|
/* Create new bucket and insert at head of collision chain */
|
|
mcl_bucket_s *new_bucket = malloc(sizeof(mcl_bucket_s));
|
|
if (new_bucket == NULL) {
|
|
mtx_unlock(mutex);
|
|
|
|
return false;
|
|
}
|
|
|
|
new_bucket->key = malloc(hashmap->key_size);
|
|
if (new_bucket->key == NULL) {
|
|
free(new_bucket);
|
|
mtx_unlock(mutex);
|
|
|
|
return false;
|
|
}
|
|
|
|
new_bucket->value = malloc(hashmap->value_size);
|
|
if (new_bucket->value == NULL) {
|
|
free(new_bucket->key);
|
|
free(new_bucket);
|
|
mtx_unlock(mutex);
|
|
|
|
return false;
|
|
}
|
|
|
|
memcpy(new_bucket->key, key, hashmap->key_size);
|
|
memcpy(new_bucket->value, value, hashmap->value_size);
|
|
new_bucket->next = bucket->next;
|
|
bucket->next = new_bucket;
|
|
|
|
mtx_unlock(mutex);
|
|
|
|
return true;
|
|
}
|
|
|
|
static mcl_bucket_s *mcl_get_bucket_copy(mcl_bucket_s *from, size_t key_size, size_t value_size) {
|
|
mcl_bucket_s *copy = malloc(sizeof(mcl_bucket_s));
|
|
if (copy == NULL) {
|
|
return NULL;
|
|
}
|
|
memcpy(copy, from, sizeof(mcl_bucket_s));
|
|
|
|
copy->key = malloc(key_size);
|
|
if (copy->key == NULL) {
|
|
free(copy);
|
|
|
|
return NULL;
|
|
}
|
|
memcpy(copy->key, from->key, key_size);
|
|
|
|
copy->value = malloc(value_size);
|
|
if (copy->value == NULL) {
|
|
free(copy->key);
|
|
free(copy);
|
|
|
|
return NULL;
|
|
}
|
|
memcpy(copy->value, from->value, value_size);
|
|
|
|
return copy;
|
|
}
|
|
|
|
mcl_bucket_s *mcl_hm_get(mcl_hashmap_s *hashmap, void *key) {
|
|
if (hashmap == NULL || key == NULL) {
|
|
return NULL;
|
|
}
|
|
|
|
size_t mutex_id = mcl_get_mutex(hashmap, hashmap->hash_fn(key));
|
|
mtx_t *mutex = &(hashmap->locks[mutex_id]);
|
|
mtx_lock(mutex);
|
|
|
|
mcl_bucket_s *prev;
|
|
mcl_bucket_s *found = mcl_find_bucket(hashmap, key, &prev);
|
|
|
|
if (found) {
|
|
mcl_bucket_s *copy = mcl_get_bucket_copy(found, hashmap->key_size, hashmap->value_size);
|
|
|
|
mtx_unlock(mutex);
|
|
|
|
return copy;
|
|
}
|
|
|
|
mtx_unlock(mutex);
|
|
|
|
return NULL;
|
|
}
|
|
|
|
bool mcl_hm_remove(mcl_hashmap_s *hashmap, void *key) {
|
|
if (hashmap == NULL || key == NULL) {
|
|
return false;
|
|
}
|
|
|
|
size_t mutex_id = mcl_get_mutex(hashmap, hashmap->hash_fn(key));
|
|
mtx_t *mutex = &(hashmap->locks[mutex_id]);
|
|
mtx_lock(mutex);
|
|
|
|
mcl_bucket_s *prev;
|
|
mcl_bucket_s *to_remove = mcl_find_bucket(hashmap, key, &prev);
|
|
|
|
if (to_remove == NULL) {
|
|
mtx_unlock(mutex);
|
|
|
|
return false;
|
|
}
|
|
|
|
/* Free the content of the bucket */
|
|
mcl_free_bucket_content(hashmap, to_remove);
|
|
|
|
/* Handle removal based on position in chain */
|
|
if (prev == NULL) {
|
|
/* Removing first bucket in chain */
|
|
if (to_remove->next != NULL) {
|
|
/* Move next bucket's content to first bucket and free the next bucket */
|
|
mcl_bucket_s *next_bucket = to_remove->next;
|
|
to_remove->key = next_bucket->key;
|
|
to_remove->value = next_bucket->value;
|
|
to_remove->next = next_bucket->next;
|
|
free(next_bucket);
|
|
} else {
|
|
/* No next bucket, mark first bucket as empty */
|
|
to_remove->key = NULL;
|
|
to_remove->value = NULL;
|
|
to_remove->next = NULL;
|
|
}
|
|
} else {
|
|
/* Removing bucket from middle/end of chain */
|
|
prev->next = to_remove->next;
|
|
free(to_remove);
|
|
}
|
|
|
|
mtx_unlock(mutex);
|
|
|
|
return true;
|
|
}
|