2 * qht.c - QEMU Hash Table, designed to scale for read-mostly workloads.
4 * Copyright (C) 2016, Emilio G. Cota <cota@braap.org>
6 * License: GNU GPL, version 2 or later.
7 * See the COPYING file in the top-level directory.
10 * - NULL cannot be inserted/removed as a pointer value.
11 * - Trying to insert an already-existing hash-pointer pair is OK. However,
12 * it is not OK to insert into the same hash table different hash-pointer
13 * pairs that have the same pointer value, but not the hashes.
14 * - Lookups are performed under an RCU read-critical section; removals
15 * must wait for a grace period to elapse before freeing removed objects.
18 * - Reads (i.e. lookups and iterators) can be concurrent with other reads.
19 * Lookups that are concurrent with writes to the same bucket will retry
20 * via a seqlock; iterators acquire all bucket locks and therefore can be
21 * concurrent with lookups and are serialized wrt writers.
22 * - Writes (i.e. insertions/removals) can be concurrent with writes to
23 * different buckets; writes to the same bucket are serialized through a lock.
24 * - Optional auto-resizing: the hash table resizes up if the load surpasses
25 * a certain threshold. Resizing is done concurrently with readers; writes
26 * are serialized with the resize operation.
28 * The key structure is the bucket, which is cacheline-sized. Buckets
29 * contain a few hash values and pointers; the u32 hash values are stored in
30 * full so that resizing is fast. Having this structure instead of directly
31 * chaining items has two advantages:
32 * - Failed lookups fail fast, and touch a minimum number of cache lines.
33 * - Resizing the hash table with concurrent lookups is easy.
35 * There are two types of buckets:
36 * 1. "head" buckets are the ones allocated in the array of buckets in qht_map.
37 * 2. all "non-head" buckets (i.e. all others) are members of a chain that
38 * starts from a head bucket.
39 * Note that the seqlock and spinlock of a head bucket applies to all buckets
40 * chained to it; these two fields are unused in non-head buckets.
42 * On removals, we move the last valid item in the chain to the position of the
43 * just-removed entry. This makes lookups slightly faster, since the moment an
44 * invalid entry is found, the (failed) lookup is over.
46 * Resizing is done by taking all bucket spinlocks (so that no other writers can
47 * race with us) and then copying all entries into a new hash map. Then, the
48 * ht->map pointer is set, and the old map is freed once no RCU readers can see
51 * Writers check for concurrent resizes by comparing ht->map before and after
52 * acquiring their bucket lock. If they don't match, a resize has occured
53 * while the bucket spinlock was being acquired.
56 * - Idea of cacheline-sized buckets with full hashes taken from:
57 * David, Guerraoui & Trigonakis, "Asynchronized Concurrency:
58 * The Secret to Scaling Concurrent Search Data Structures", ASPLOS'15.
59 * - Why not RCU-based hash tables? They would allow us to get rid of the
60 * seqlock, but resizing would take forever since RCU read critical
61 * sections in QEMU take quite a long time.
62 * More info on relativistic hash tables:
63 * + Triplett, McKenney & Walpole, "Resizable, Scalable, Concurrent Hash
64 * Tables via Relativistic Programming", USENIX ATC'11.
65 * + Corbet, "Relativistic hash tables, part 1: Algorithms", @ lwn.net, 2014.
66 * https://lwn.net/Articles/612021/
68 #include "qemu/osdep.h"
70 #include "qemu/atomic.h"
76 * We want to avoid false sharing of cache lines. Most systems have 64-byte
77 * cache lines so we go with it for simplicity.
79 * Note that systems with smaller cache lines will be fine (the struct is
80 * almost 64-bytes); systems with larger cache lines might suffer from
83 #define QHT_BUCKET_ALIGN 64
85 /* define these to keep sizeof(qht_bucket) within QHT_BUCKET_ALIGN */
86 #if HOST_LONG_BITS == 32
87 #define QHT_BUCKET_ENTRIES 6
89 #define QHT_BUCKET_ENTRIES 4
93 * Note: reading partially-updated pointers in @pointers could lead to
94 * segfaults. We thus access them with atomic_read/set; this guarantees
95 * that the compiler makes all those accesses atomic. We also need the
96 * volatile-like behavior in atomic_read, since otherwise the compiler
97 * might refetch the pointer.
98 * atomic_read's are of course not necessary when the bucket lock is held.
100 * If both ht->lock and b->lock are grabbed, ht->lock should always
105 QemuSeqLock sequence
;
106 uint32_t hashes
[QHT_BUCKET_ENTRIES
];
107 void *pointers
[QHT_BUCKET_ENTRIES
];
108 struct qht_bucket
*next
;
109 } QEMU_ALIGNED(QHT_BUCKET_ALIGN
);
111 QEMU_BUILD_BUG_ON(sizeof(struct qht_bucket
) > QHT_BUCKET_ALIGN
);
114 * struct qht_map - structure to track an array of buckets
115 * @rcu: used by RCU. Keep it as the top field in the struct to help valgrind
116 * find the whole struct.
117 * @buckets: array of head buckets. It is constant once the map is created.
118 * @n_buckets: number of head buckets. It is constant once the map is created.
119 * @n_added_buckets: number of added (i.e. "non-head") buckets
120 * @n_added_buckets_threshold: threshold to trigger an upward resize once the
121 * number of added buckets surpasses it.
123 * Buckets are tracked in what we call a "map", i.e. this structure.
127 struct qht_bucket
*buckets
;
129 size_t n_added_buckets
;
130 size_t n_added_buckets_threshold
;
133 /* trigger a resize when n_added_buckets > n_buckets / div */
134 #define QHT_NR_ADDED_BUCKETS_THRESHOLD_DIV 8
136 static void qht_do_resize_reset(struct qht
*ht
, struct qht_map
*new,
138 static void qht_grow_maybe(struct qht
*ht
);
142 #define qht_debug_assert(X) do { assert(X); } while (0)
144 static void qht_bucket_debug__locked(struct qht_bucket
*b
)
146 bool seen_empty
= false;
147 bool corrupt
= false;
151 for (i
= 0; i
< QHT_BUCKET_ENTRIES
; i
++) {
152 if (b
->pointers
[i
] == NULL
) {
157 fprintf(stderr
, "%s: b: %p, pos: %i, hash: 0x%x, p: %p\n",
158 __func__
, b
, i
, b
->hashes
[i
], b
->pointers
[i
]);
164 qht_debug_assert(!corrupt
);
167 static void qht_map_debug__all_locked(struct qht_map
*map
)
171 for (i
= 0; i
< map
->n_buckets
; i
++) {
172 qht_bucket_debug__locked(&map
->buckets
[i
]);
177 #define qht_debug_assert(X) do { (void)(X); } while (0)
179 static inline void qht_bucket_debug__locked(struct qht_bucket
*b
)
182 static inline void qht_map_debug__all_locked(struct qht_map
*map
)
184 #endif /* QHT_DEBUG */
186 static inline size_t qht_elems_to_buckets(size_t n_elems
)
188 return pow2ceil(n_elems
/ QHT_BUCKET_ENTRIES
);
191 static inline void qht_head_init(struct qht_bucket
*b
)
193 memset(b
, 0, sizeof(*b
));
194 qemu_spin_init(&b
->lock
);
195 seqlock_init(&b
->sequence
);
199 struct qht_bucket
*qht_map_to_bucket(struct qht_map
*map
, uint32_t hash
)
201 return &map
->buckets
[hash
& (map
->n_buckets
- 1)];
204 /* acquire all bucket locks from a map */
205 static void qht_map_lock_buckets(struct qht_map
*map
)
209 for (i
= 0; i
< map
->n_buckets
; i
++) {
210 struct qht_bucket
*b
= &map
->buckets
[i
];
212 qemu_spin_lock(&b
->lock
);
216 static void qht_map_unlock_buckets(struct qht_map
*map
)
220 for (i
= 0; i
< map
->n_buckets
; i
++) {
221 struct qht_bucket
*b
= &map
->buckets
[i
];
223 qemu_spin_unlock(&b
->lock
);
228 * Call with at least a bucket lock held.
229 * @map should be the value read before acquiring the lock (or locks).
231 static inline bool qht_map_is_stale__locked(struct qht
*ht
, struct qht_map
*map
)
233 return map
!= ht
->map
;
237 * Grab all bucket locks, and set @pmap after making sure the map isn't stale.
239 * Pairs with qht_map_unlock_buckets(), hence the pass-by-reference.
241 * Note: callers cannot have ht->lock held.
244 void qht_map_lock_buckets__no_stale(struct qht
*ht
, struct qht_map
**pmap
)
248 map
= atomic_rcu_read(&ht
->map
);
249 qht_map_lock_buckets(map
);
250 if (likely(!qht_map_is_stale__locked(ht
, map
))) {
254 qht_map_unlock_buckets(map
);
256 /* we raced with a resize; acquire ht->lock to see the updated ht->map */
257 qemu_mutex_lock(&ht
->lock
);
259 qht_map_lock_buckets(map
);
260 qemu_mutex_unlock(&ht
->lock
);
266 * Get a head bucket and lock it, making sure its parent map is not stale.
267 * @pmap is filled with a pointer to the bucket's parent map.
269 * Unlock with qemu_spin_unlock(&b->lock).
271 * Note: callers cannot have ht->lock held.
274 struct qht_bucket
*qht_bucket_lock__no_stale(struct qht
*ht
, uint32_t hash
,
275 struct qht_map
**pmap
)
277 struct qht_bucket
*b
;
280 map
= atomic_rcu_read(&ht
->map
);
281 b
= qht_map_to_bucket(map
, hash
);
283 qemu_spin_lock(&b
->lock
);
284 if (likely(!qht_map_is_stale__locked(ht
, map
))) {
288 qemu_spin_unlock(&b
->lock
);
290 /* we raced with a resize; acquire ht->lock to see the updated ht->map */
291 qemu_mutex_lock(&ht
->lock
);
293 b
= qht_map_to_bucket(map
, hash
);
294 qemu_spin_lock(&b
->lock
);
295 qemu_mutex_unlock(&ht
->lock
);
300 static inline bool qht_map_needs_resize(struct qht_map
*map
)
302 return atomic_read(&map
->n_added_buckets
) > map
->n_added_buckets_threshold
;
305 static inline void qht_chain_destroy(struct qht_bucket
*head
)
307 struct qht_bucket
*curr
= head
->next
;
308 struct qht_bucket
*prev
;
317 /* pass only an orphan map */
318 static void qht_map_destroy(struct qht_map
*map
)
322 for (i
= 0; i
< map
->n_buckets
; i
++) {
323 qht_chain_destroy(&map
->buckets
[i
]);
325 qemu_vfree(map
->buckets
);
329 static struct qht_map
*qht_map_create(size_t n_buckets
)
334 map
= g_malloc(sizeof(*map
));
335 map
->n_buckets
= n_buckets
;
337 map
->n_added_buckets
= 0;
338 map
->n_added_buckets_threshold
= n_buckets
/
339 QHT_NR_ADDED_BUCKETS_THRESHOLD_DIV
;
341 /* let tiny hash tables to at least add one non-head bucket */
342 if (unlikely(map
->n_added_buckets_threshold
== 0)) {
343 map
->n_added_buckets_threshold
= 1;
346 map
->buckets
= qemu_memalign(QHT_BUCKET_ALIGN
,
347 sizeof(*map
->buckets
) * n_buckets
);
348 for (i
= 0; i
< n_buckets
; i
++) {
349 qht_head_init(&map
->buckets
[i
]);
354 void qht_init(struct qht
*ht
, size_t n_elems
, unsigned int mode
)
357 size_t n_buckets
= qht_elems_to_buckets(n_elems
);
360 qemu_mutex_init(&ht
->lock
);
361 map
= qht_map_create(n_buckets
);
362 atomic_rcu_set(&ht
->map
, map
);
365 /* call only when there are no readers/writers left */
366 void qht_destroy(struct qht
*ht
)
368 qht_map_destroy(ht
->map
);
369 memset(ht
, 0, sizeof(*ht
));
372 static void qht_bucket_reset__locked(struct qht_bucket
*head
)
374 struct qht_bucket
*b
= head
;
377 seqlock_write_begin(&head
->sequence
);
379 for (i
= 0; i
< QHT_BUCKET_ENTRIES
; i
++) {
380 if (b
->pointers
[i
] == NULL
) {
383 atomic_set(&b
->hashes
[i
], 0);
384 atomic_set(&b
->pointers
[i
], NULL
);
389 seqlock_write_end(&head
->sequence
);
392 /* call with all bucket locks held */
393 static void qht_map_reset__all_locked(struct qht_map
*map
)
397 for (i
= 0; i
< map
->n_buckets
; i
++) {
398 qht_bucket_reset__locked(&map
->buckets
[i
]);
400 qht_map_debug__all_locked(map
);
403 void qht_reset(struct qht
*ht
)
407 qht_map_lock_buckets__no_stale(ht
, &map
);
408 qht_map_reset__all_locked(map
);
409 qht_map_unlock_buckets(map
);
412 static inline void qht_do_resize(struct qht
*ht
, struct qht_map
*new)
414 qht_do_resize_reset(ht
, new, false);
417 static inline void qht_do_resize_and_reset(struct qht
*ht
, struct qht_map
*new)
419 qht_do_resize_reset(ht
, new, true);
422 bool qht_reset_size(struct qht
*ht
, size_t n_elems
)
424 struct qht_map
*new = NULL
;
428 n_buckets
= qht_elems_to_buckets(n_elems
);
430 qemu_mutex_lock(&ht
->lock
);
432 if (n_buckets
!= map
->n_buckets
) {
433 new = qht_map_create(n_buckets
);
435 qht_do_resize_and_reset(ht
, new);
436 qemu_mutex_unlock(&ht
->lock
);
442 void *qht_do_lookup(struct qht_bucket
*head
, qht_lookup_func_t func
,
443 const void *userp
, uint32_t hash
)
445 struct qht_bucket
*b
= head
;
449 for (i
= 0; i
< QHT_BUCKET_ENTRIES
; i
++) {
450 if (atomic_read(&b
->hashes
[i
]) == hash
) {
451 /* The pointer is dereferenced before seqlock_read_retry,
452 * so (unlike qht_insert__locked) we need to use
453 * atomic_rcu_read here.
455 void *p
= atomic_rcu_read(&b
->pointers
[i
]);
457 if (likely(p
) && likely(func(p
, userp
))) {
462 b
= atomic_rcu_read(&b
->next
);
468 static __attribute__((noinline
))
469 void *qht_lookup__slowpath(struct qht_bucket
*b
, qht_lookup_func_t func
,
470 const void *userp
, uint32_t hash
)
472 unsigned int version
;
476 version
= seqlock_read_begin(&b
->sequence
);
477 ret
= qht_do_lookup(b
, func
, userp
, hash
);
478 } while (seqlock_read_retry(&b
->sequence
, version
));
482 void *qht_lookup(struct qht
*ht
, qht_lookup_func_t func
, const void *userp
,
485 struct qht_bucket
*b
;
487 unsigned int version
;
490 map
= atomic_rcu_read(&ht
->map
);
491 b
= qht_map_to_bucket(map
, hash
);
493 version
= seqlock_read_begin(&b
->sequence
);
494 ret
= qht_do_lookup(b
, func
, userp
, hash
);
495 if (likely(!seqlock_read_retry(&b
->sequence
, version
))) {
499 * Removing the do/while from the fastpath gives a 4% perf. increase when
500 * running a 100%-lookup microbenchmark.
502 return qht_lookup__slowpath(b
, func
, userp
, hash
);
505 /* call with head->lock held */
506 static bool qht_insert__locked(struct qht
*ht
, struct qht_map
*map
,
507 struct qht_bucket
*head
, void *p
, uint32_t hash
,
510 struct qht_bucket
*b
= head
;
511 struct qht_bucket
*prev
= NULL
;
512 struct qht_bucket
*new = NULL
;
516 for (i
= 0; i
< QHT_BUCKET_ENTRIES
; i
++) {
517 if (b
->pointers
[i
]) {
518 if (unlikely(b
->pointers
[i
] == p
)) {
529 b
= qemu_memalign(QHT_BUCKET_ALIGN
, sizeof(*b
));
530 memset(b
, 0, sizeof(*b
));
533 atomic_inc(&map
->n_added_buckets
);
534 if (unlikely(qht_map_needs_resize(map
)) && needs_resize
) {
535 *needs_resize
= true;
539 /* found an empty key: acquire the seqlock and write */
540 seqlock_write_begin(&head
->sequence
);
542 atomic_rcu_set(&prev
->next
, b
);
544 /* smp_wmb() implicit in seqlock_write_begin. */
545 atomic_set(&b
->hashes
[i
], hash
);
546 atomic_set(&b
->pointers
[i
], p
);
547 seqlock_write_end(&head
->sequence
);
551 static __attribute__((noinline
)) void qht_grow_maybe(struct qht
*ht
)
556 * If the lock is taken it probably means there's an ongoing resize,
559 if (qemu_mutex_trylock(&ht
->lock
)) {
563 /* another thread might have just performed the resize we were after */
564 if (qht_map_needs_resize(map
)) {
565 struct qht_map
*new = qht_map_create(map
->n_buckets
* 2);
567 qht_do_resize(ht
, new);
569 qemu_mutex_unlock(&ht
->lock
);
572 bool qht_insert(struct qht
*ht
, void *p
, uint32_t hash
)
574 struct qht_bucket
*b
;
576 bool needs_resize
= false;
579 /* NULL pointers are not supported */
582 b
= qht_bucket_lock__no_stale(ht
, hash
, &map
);
583 ret
= qht_insert__locked(ht
, map
, b
, p
, hash
, &needs_resize
);
584 qht_bucket_debug__locked(b
);
585 qemu_spin_unlock(&b
->lock
);
587 if (unlikely(needs_resize
) && ht
->mode
& QHT_MODE_AUTO_RESIZE
) {
593 static inline bool qht_entry_is_last(struct qht_bucket
*b
, int pos
)
595 if (pos
== QHT_BUCKET_ENTRIES
- 1) {
596 if (b
->next
== NULL
) {
599 return b
->next
->pointers
[0] == NULL
;
601 return b
->pointers
[pos
+ 1] == NULL
;
605 qht_entry_move(struct qht_bucket
*to
, int i
, struct qht_bucket
*from
, int j
)
607 qht_debug_assert(!(to
== from
&& i
== j
));
608 qht_debug_assert(to
->pointers
[i
]);
609 qht_debug_assert(from
->pointers
[j
]);
611 atomic_set(&to
->hashes
[i
], from
->hashes
[j
]);
612 atomic_set(&to
->pointers
[i
], from
->pointers
[j
]);
614 atomic_set(&from
->hashes
[j
], 0);
615 atomic_set(&from
->pointers
[j
], NULL
);
619 * Find the last valid entry in @head, and swap it with @orig[pos], which has
620 * just been invalidated.
622 static inline void qht_bucket_remove_entry(struct qht_bucket
*orig
, int pos
)
624 struct qht_bucket
*b
= orig
;
625 struct qht_bucket
*prev
= NULL
;
628 if (qht_entry_is_last(orig
, pos
)) {
629 orig
->hashes
[pos
] = 0;
630 atomic_set(&orig
->pointers
[pos
], NULL
);
634 for (i
= 0; i
< QHT_BUCKET_ENTRIES
; i
++) {
635 if (b
->pointers
[i
]) {
639 return qht_entry_move(orig
, pos
, b
, i
- 1);
641 qht_debug_assert(prev
);
642 return qht_entry_move(orig
, pos
, prev
, QHT_BUCKET_ENTRIES
- 1);
647 /* no free entries other than orig[pos], so swap it with the last one */
648 qht_entry_move(orig
, pos
, prev
, QHT_BUCKET_ENTRIES
- 1);
651 /* call with b->lock held */
653 bool qht_remove__locked(struct qht_map
*map
, struct qht_bucket
*head
,
654 const void *p
, uint32_t hash
)
656 struct qht_bucket
*b
= head
;
660 for (i
= 0; i
< QHT_BUCKET_ENTRIES
; i
++) {
661 void *q
= b
->pointers
[i
];
663 if (unlikely(q
== NULL
)) {
667 qht_debug_assert(b
->hashes
[i
] == hash
);
668 seqlock_write_begin(&head
->sequence
);
669 qht_bucket_remove_entry(b
, i
);
670 seqlock_write_end(&head
->sequence
);
679 bool qht_remove(struct qht
*ht
, const void *p
, uint32_t hash
)
681 struct qht_bucket
*b
;
685 /* NULL pointers are not supported */
688 b
= qht_bucket_lock__no_stale(ht
, hash
, &map
);
689 ret
= qht_remove__locked(map
, b
, p
, hash
);
690 qht_bucket_debug__locked(b
);
691 qemu_spin_unlock(&b
->lock
);
695 static inline void qht_bucket_iter(struct qht
*ht
, struct qht_bucket
*b
,
696 qht_iter_func_t func
, void *userp
)
701 for (i
= 0; i
< QHT_BUCKET_ENTRIES
; i
++) {
702 if (b
->pointers
[i
] == NULL
) {
705 func(ht
, b
->pointers
[i
], b
->hashes
[i
], userp
);
711 /* call with all of the map's locks held */
712 static inline void qht_map_iter__all_locked(struct qht
*ht
, struct qht_map
*map
,
713 qht_iter_func_t func
, void *userp
)
717 for (i
= 0; i
< map
->n_buckets
; i
++) {
718 qht_bucket_iter(ht
, &map
->buckets
[i
], func
, userp
);
722 void qht_iter(struct qht
*ht
, qht_iter_func_t func
, void *userp
)
726 map
= atomic_rcu_read(&ht
->map
);
727 qht_map_lock_buckets(map
);
728 /* Note: ht here is merely for carrying ht->mode; ht->map won't be read */
729 qht_map_iter__all_locked(ht
, map
, func
, userp
);
730 qht_map_unlock_buckets(map
);
733 static void qht_map_copy(struct qht
*ht
, void *p
, uint32_t hash
, void *userp
)
735 struct qht_map
*new = userp
;
736 struct qht_bucket
*b
= qht_map_to_bucket(new, hash
);
738 /* no need to acquire b->lock because no thread has seen this map yet */
739 qht_insert__locked(ht
, new, b
, p
, hash
, NULL
);
743 * Atomically perform a resize and/or reset.
744 * Call with ht->lock held.
746 static void qht_do_resize_reset(struct qht
*ht
, struct qht_map
*new, bool reset
)
751 qht_map_lock_buckets(old
);
754 qht_map_reset__all_locked(old
);
758 qht_map_unlock_buckets(old
);
762 g_assert(new->n_buckets
!= old
->n_buckets
);
763 qht_map_iter__all_locked(ht
, old
, qht_map_copy
, new);
764 qht_map_debug__all_locked(new);
766 atomic_rcu_set(&ht
->map
, new);
767 qht_map_unlock_buckets(old
);
768 call_rcu(old
, qht_map_destroy
, rcu
);
771 bool qht_resize(struct qht
*ht
, size_t n_elems
)
773 size_t n_buckets
= qht_elems_to_buckets(n_elems
);
776 qemu_mutex_lock(&ht
->lock
);
777 if (n_buckets
!= ht
->map
->n_buckets
) {
780 new = qht_map_create(n_buckets
);
781 qht_do_resize(ht
, new);
784 qemu_mutex_unlock(&ht
->lock
);
789 /* pass @stats to qht_statistics_destroy() when done */
790 void qht_statistics_init(struct qht
*ht
, struct qht_stats
*stats
)
795 map
= atomic_rcu_read(&ht
->map
);
797 stats
->used_head_buckets
= 0;
799 qdist_init(&stats
->chain
);
800 qdist_init(&stats
->occupancy
);
801 /* bail out if the qht has not yet been initialized */
802 if (unlikely(map
== NULL
)) {
803 stats
->head_buckets
= 0;
806 stats
->head_buckets
= map
->n_buckets
;
808 for (i
= 0; i
< map
->n_buckets
; i
++) {
809 struct qht_bucket
*head
= &map
->buckets
[i
];
810 struct qht_bucket
*b
;
811 unsigned int version
;
817 version
= seqlock_read_begin(&head
->sequence
);
822 for (j
= 0; j
< QHT_BUCKET_ENTRIES
; j
++) {
823 if (atomic_read(&b
->pointers
[j
]) == NULL
) {
829 b
= atomic_rcu_read(&b
->next
);
831 } while (seqlock_read_retry(&head
->sequence
, version
));
834 qdist_inc(&stats
->chain
, buckets
);
835 qdist_inc(&stats
->occupancy
,
836 (double)entries
/ QHT_BUCKET_ENTRIES
/ buckets
);
837 stats
->used_head_buckets
++;
838 stats
->entries
+= entries
;
840 qdist_inc(&stats
->occupancy
, 0);
845 void qht_statistics_destroy(struct qht_stats
*stats
)
847 qdist_destroy(&stats
->occupancy
);
848 qdist_destroy(&stats
->chain
);