|
| 1 | +""" |
| 2 | +Lock-free dictionary implementation using copy-on-write strategy. |
| 3 | +This provides better performance but uses more memory. |
| 4 | +""" |
| 5 | + |
| 6 | +import threading |
| 7 | + |
| 8 | +from collections.abc import ItemsView, Iterator, KeysView, ValuesView |
| 9 | +from typing import Generic, TypeVar |
| 10 | + |
| 11 | + |
| 12 | +K = TypeVar("K") |
| 13 | +V = TypeVar("V") |
| 14 | + |
| 15 | + |
| 16 | +class CopyOnWriteDict(Generic[K, V]): |
| 17 | + """ |
| 18 | + A lock-free dictionary using copy-on-write strategy. |
| 19 | +
|
| 20 | + Reads are completely lock-free and very fast. |
| 21 | + Writes create a new copy of the dictionary. |
| 22 | + Uses more memory but provides excellent read performance. |
| 23 | + """ |
| 24 | + |
| 25 | + def __init__(self, initial_dict: dict[K, V] | None = None): |
| 26 | + """Initialize with optional initial dictionary.""" |
| 27 | + self._dict = initial_dict.copy() if initial_dict else {} |
| 28 | + self._write_lock = threading.Lock() # Only for writes |
| 29 | + |
| 30 | + def __getitem__(self, key: K) -> V: |
| 31 | + """Get item by key - completely lock-free.""" |
| 32 | + return self._dict[key] |
| 33 | + |
| 34 | + def __setitem__(self, key: K, value: V) -> None: |
| 35 | + """Set item by key - uses copy-on-write.""" |
| 36 | + with self._write_lock: |
| 37 | + # Create a new dictionary with the update |
| 38 | + new_dict = self._dict.copy() |
| 39 | + new_dict[key] = value |
| 40 | + # Atomic replacement |
| 41 | + self._dict = new_dict |
| 42 | + |
| 43 | + def __delitem__(self, key: K) -> None: |
| 44 | + """Delete item by key - uses copy-on-write.""" |
| 45 | + with self._write_lock: |
| 46 | + new_dict = self._dict.copy() |
| 47 | + del new_dict[key] |
| 48 | + self._dict = new_dict |
| 49 | + |
| 50 | + def __contains__(self, key: K) -> bool: |
| 51 | + """Check if key exists - completely lock-free.""" |
| 52 | + return key in self._dict |
| 53 | + |
| 54 | + def __len__(self) -> int: |
| 55 | + """Get length - completely lock-free.""" |
| 56 | + return len(self._dict) |
| 57 | + |
| 58 | + def __bool__(self) -> bool: |
| 59 | + """Check if not empty - completely lock-free.""" |
| 60 | + return bool(self._dict) |
| 61 | + |
| 62 | + def __iter__(self) -> Iterator[K]: |
| 63 | + """Iterate over keys - completely lock-free.""" |
| 64 | + return iter(self._dict.keys()) |
| 65 | + |
| 66 | + def get(self, key: K, default: V | None = None) -> V: |
| 67 | + """Get with default - completely lock-free.""" |
| 68 | + return self._dict.get(key, default) |
| 69 | + |
| 70 | + def keys(self) -> KeysView[K]: |
| 71 | + """Get keys - completely lock-free.""" |
| 72 | + return self._dict.keys() |
| 73 | + |
| 74 | + def values(self) -> ValuesView[V]: |
| 75 | + """Get values - completely lock-free.""" |
| 76 | + return self._dict.values() |
| 77 | + |
| 78 | + def items(self) -> ItemsView[K, V]: |
| 79 | + """Get items - completely lock-free.""" |
| 80 | + return self._dict.items() |
| 81 | + |
| 82 | + def copy(self) -> dict[K, V]: |
| 83 | + """Create a copy - completely lock-free.""" |
| 84 | + return self._dict.copy() |
| 85 | + |
| 86 | + def update(self, *args, **kwargs) -> None: |
| 87 | + """Update dictionary - uses copy-on-write.""" |
| 88 | + with self._write_lock: |
| 89 | + new_dict = self._dict.copy() |
| 90 | + new_dict.update(*args, **kwargs) |
| 91 | + self._dict = new_dict |
| 92 | + |
| 93 | + def clear(self) -> None: |
| 94 | + """Clear all items.""" |
| 95 | + with self._write_lock: |
| 96 | + self._dict = {} |
| 97 | + |
| 98 | + def pop(self, key: K, *args) -> V: |
| 99 | + """Pop item by key.""" |
| 100 | + with self._write_lock: |
| 101 | + new_dict = self._dict.copy() |
| 102 | + result = new_dict.pop(key, *args) |
| 103 | + self._dict = new_dict |
| 104 | + return result |
| 105 | + |
| 106 | + def setdefault(self, key: K, default: V | None = None) -> V: |
| 107 | + """Set default value for key if not exists.""" |
| 108 | + # Fast path for existing keys |
| 109 | + if key in self._dict: |
| 110 | + return self._dict[key] |
| 111 | + |
| 112 | + with self._write_lock: |
| 113 | + # Double-check after acquiring lock |
| 114 | + if key in self._dict: |
| 115 | + return self._dict[key] |
| 116 | + |
| 117 | + new_dict = self._dict.copy() |
| 118 | + result = new_dict.setdefault(key, default) |
| 119 | + self._dict = new_dict |
| 120 | + return result |
0 commit comments