Index: bin/hashmap.cc |
=================================================================== |
--- bin/hashmap.cc (revision 10251) |
+++ bin/hashmap.cc (working copy) |
@@ -1,190 +0,0 @@ |
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-#include "bin/hashmap.h" |
- |
-#include "bin/builtin.h" |
-#include "platform/utils.h" |
- |
-HashMap::HashMap(MatchFun match, |
- uint32_t initial_capacity) { |
- match_ = match; |
- Initialize(initial_capacity); |
-} |
- |
- |
-HashMap::~HashMap() { |
- free(map_); |
-} |
- |
- |
-HashMap::Entry* HashMap::Lookup(void* key, uint32_t hash, bool insert) { |
- // Find a matching entry. |
- Entry* p = Probe(key, hash); |
- if (p->key != NULL) { |
- return p; |
- } |
- |
- // No entry found; insert one if necessary. |
- if (insert) { |
- p->key = key; |
- p->value = NULL; |
- p->hash = hash; |
- occupancy_++; |
- |
- // Grow the map if we reached >= 80% occupancy. |
- if ((occupancy_ + (occupancy_ / 4)) >= capacity_) { |
- Resize(); |
- p = Probe(key, hash); |
- } |
- |
- return p; |
- } |
- |
- // No entry found and none inserted. |
- return NULL; |
-} |
- |
- |
-void HashMap::Remove(void* key, uint32_t hash) { |
- // Lookup the entry for the key to remove. |
- Entry* candidate = Probe(key, hash); |
- if (candidate->key == NULL) { |
- // Key not found nothing to remove. |
- return; |
- } |
- |
- // To remove an entry we need to ensure that it does not create an empty |
- // entry that will cause the search for another entry to stop too soon. If all |
- // the entries between the entry to remove and the next empty slot have their |
- // initial position inside this interval, clearing the entry to remove will |
- // not break the search. If, while searching for the next empty entry, an |
- // entry is encountered which does not have its initial position between the |
- // entry to remove and the position looked at, then this entry can be moved to |
- // the place of the entry to remove without breaking the search for it. The |
- // entry made vacant by this move is now the entry to remove and the process |
- // starts over. |
- // Algorithm from http://en.wikipedia.org/wiki/Open_addressing. |
- |
- // This guarantees loop termination as there is at least one empty entry so |
- // eventually the removed entry will have an empty entry after it. |
- ASSERT(occupancy_ < capacity_); |
- |
- // "candidate" is the candidate entry to clear. "next" is used to scan |
- // forwards. |
- Entry* next = candidate; // Start at the entry to remove. |
- while (true) { |
- // Move "next" to the next entry. Wrap when at the end of the array. |
- next = next + 1; |
- if (next == map_end()) { |
- next = map_; |
- } |
- |
- // All entries between "candidate" and "next" have their initial position |
- // between candidate and entry and the entry candidate can be cleared |
- // without breaking the search for these entries. |
- if (next->key == NULL) { |
- break; |
- } |
- |
- // Find the initial position for the entry at position "next". That is |
- // the entry where searching for the entry at position "next" will |
- // actually start. |
- Entry* start = map_ + (next->hash & (capacity_ - 1)); |
- |
- // If the entry at position "next" has its initial position outside the |
- // range between "candidate" and "next" it can be moved forward to |
- // position "candidate" and will still be found. There is now the new |
- // candidate entry for clearing. |
- if ((next > candidate && (start <= candidate || start > next)) || |
- (next < candidate && (start <= candidate && start > next))) { |
- *candidate = *next; |
- candidate = next; |
- } |
- } |
- |
- // Clear the candidate which will not break searching the hash table. |
- candidate->key = NULL; |
- occupancy_--; |
-} |
- |
- |
-void HashMap::Clear() { |
- // Mark all entries as empty. |
- const Entry* end = map_end(); |
- for (Entry* p = map_; p < end; p++) { |
- p->key = NULL; |
- } |
- occupancy_ = 0; |
-} |
- |
- |
-HashMap::Entry* HashMap::Start() const { |
- return Next(map_ - 1); |
-} |
- |
- |
-HashMap::Entry* HashMap::Next(Entry* p) const { |
- const Entry* end = map_end(); |
- ASSERT(map_ - 1 <= p && p < end); |
- for (p++; p < end; p++) { |
- if (p->key != NULL) { |
- return p; |
- } |
- } |
- return NULL; |
-} |
- |
- |
-HashMap::Entry* HashMap::Probe(void* key, uint32_t hash) { |
- ASSERT(key != NULL); |
- |
- ASSERT(dart::Utils::IsPowerOfTwo(capacity_)); |
- Entry* p = map_ + (hash & (capacity_ - 1)); |
- const Entry* end = map_end(); |
- ASSERT(map_ <= p && p < end); |
- |
- ASSERT(occupancy_ < capacity_); // Guarantees loop termination. |
- while (p->key != NULL && (hash != p->hash || !match_(key, p->key))) { |
- p++; |
- if (p >= end) { |
- p = map_; |
- } |
- } |
- |
- return p; |
-} |
- |
- |
-void HashMap::Initialize(uint32_t capacity) { |
- ASSERT(dart::Utils::IsPowerOfTwo(capacity)); |
- map_ = reinterpret_cast<Entry*>(malloc(capacity * sizeof(Entry))); |
- if (map_ == NULL) { |
- // TODO(sgjesse): Handle out of memory. |
- FATAL("Cannot allocate memory for hashmap"); |
- return; |
- } |
- capacity_ = capacity; |
- Clear(); |
-} |
- |
- |
-void HashMap::Resize() { |
- Entry* map = map_; |
- uint32_t n = occupancy_; |
- |
- // Allocate larger map. |
- Initialize(capacity_ * 2); |
- |
- // Rehash all current entries. |
- for (Entry* p = map; n > 0; p++) { |
- if (p->key != NULL) { |
- Lookup(p->key, p->hash, true)->value = p->value; |
- n--; |
- } |
- } |
- |
- // Delete old map. |
- free(map); |
-} |