2017-01-11 10:06:31 +08:00
|
|
|
#ifndef JEMALLOC_INTERNAL_QR_H
|
|
|
|
#define JEMALLOC_INTERNAL_QR_H
|
|
|
|
|
2009-12-29 16:09:15 +08:00
|
|
|
/* Ring definitions. */
|
2017-01-20 13:41:41 +08:00
|
|
|
#define qr(a_type) \
|
2009-12-29 16:09:15 +08:00
|
|
|
struct { \
|
|
|
|
a_type *qre_next; \
|
|
|
|
a_type *qre_prev; \
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Ring functions. */
|
2017-01-20 13:41:41 +08:00
|
|
|
#define qr_new(a_qr, a_field) do { \
|
2009-12-29 16:09:15 +08:00
|
|
|
(a_qr)->a_field.qre_next = (a_qr); \
|
|
|
|
(a_qr)->a_field.qre_prev = (a_qr); \
|
|
|
|
} while (0)
|
|
|
|
|
2017-01-20 13:41:41 +08:00
|
|
|
#define qr_next(a_qr, a_field) ((a_qr)->a_field.qre_next)
|
2009-12-29 16:09:15 +08:00
|
|
|
|
2017-01-20 13:41:41 +08:00
|
|
|
#define qr_prev(a_qr, a_field) ((a_qr)->a_field.qre_prev)
|
2009-12-29 16:09:15 +08:00
|
|
|
|
Optimize meld in qr module
The goal of `qr_meld()` is to change the following four fields
`(a->prev, a->prev->next, b->prev, b->prev->next)` from the values
`(a->prev, a, b->prev, b)` to `(b->prev, b, a->prev, a)`.
This commit changes
```
a->prev->next = b;
b->prev->next = a;
temp = a->prev;
a->prev = b->prev;
b->prev = temp;
```
to
```
temp = a->prev;
a->prev = b->prev;
b->prev = temp;
a->prev->next = a;
b->prev->next = b;
```
The benefit is that we can use `b->prev->next` for `temp`, and so
there's no need to pass in `a_type`.
The restriction is that `b` cannot be a `qr_next()` macro, so users
of `qr_meld()` must pay attention. (Before this change, neither `a`
nor `b` could be a `qr_next()` macro.)
2020-04-02 06:04:24 +08:00
|
|
|
/* a_qr_a can directly be a qr_next() macro, but a_qr_b cannot. */
|
|
|
|
#define qr_meld(a_qr_a, a_qr_b, a_field) do { \
|
|
|
|
(a_qr_b)->a_field.qre_prev->a_field.qre_next = \
|
|
|
|
(a_qr_a)->a_field.qre_prev; \
|
2009-12-29 16:09:15 +08:00
|
|
|
(a_qr_a)->a_field.qre_prev = (a_qr_b)->a_field.qre_prev; \
|
Optimize meld in qr module
The goal of `qr_meld()` is to change the following four fields
`(a->prev, a->prev->next, b->prev, b->prev->next)` from the values
`(a->prev, a, b->prev, b)` to `(b->prev, b, a->prev, a)`.
This commit changes
```
a->prev->next = b;
b->prev->next = a;
temp = a->prev;
a->prev = b->prev;
b->prev = temp;
```
to
```
temp = a->prev;
a->prev = b->prev;
b->prev = temp;
a->prev->next = a;
b->prev->next = b;
```
The benefit is that we can use `b->prev->next` for `temp`, and so
there's no need to pass in `a_type`.
The restriction is that `b` cannot be a `qr_next()` macro, so users
of `qr_meld()` must pay attention. (Before this change, neither `a`
nor `b` could be a `qr_next()` macro.)
2020-04-02 06:04:24 +08:00
|
|
|
(a_qr_b)->a_field.qre_prev = \
|
|
|
|
(a_qr_b)->a_field.qre_prev->a_field.qre_next; \
|
|
|
|
(a_qr_a)->a_field.qre_prev->a_field.qre_next = (a_qr_a); \
|
|
|
|
(a_qr_b)->a_field.qre_prev->a_field.qre_next = (a_qr_b); \
|
2009-12-29 16:09:15 +08:00
|
|
|
} while (0)
|
|
|
|
|
2020-04-02 07:13:57 +08:00
|
|
|
#define qr_before_insert(a_qrelm, a_qr, a_field) \
|
|
|
|
qr_meld((a_qrelm), (a_qr), a_field)
|
|
|
|
|
|
|
|
#define qr_after_insert(a_qrelm, a_qr, a_field) \
|
|
|
|
qr_before_insert(qr_next(a_qrelm, a_field), (a_qr), a_field)
|
|
|
|
|
2014-12-09 06:40:14 +08:00
|
|
|
/*
|
|
|
|
* qr_meld() and qr_split() are functionally equivalent, so there's no need to
|
|
|
|
* have two copies of the code.
|
|
|
|
*/
|
Optimize meld in qr module
The goal of `qr_meld()` is to change the following four fields
`(a->prev, a->prev->next, b->prev, b->prev->next)` from the values
`(a->prev, a, b->prev, b)` to `(b->prev, b, a->prev, a)`.
This commit changes
```
a->prev->next = b;
b->prev->next = a;
temp = a->prev;
a->prev = b->prev;
b->prev = temp;
```
to
```
temp = a->prev;
a->prev = b->prev;
b->prev = temp;
a->prev->next = a;
b->prev->next = b;
```
The benefit is that we can use `b->prev->next` for `temp`, and so
there's no need to pass in `a_type`.
The restriction is that `b` cannot be a `qr_next()` macro, so users
of `qr_meld()` must pay attention. (Before this change, neither `a`
nor `b` could be a `qr_next()` macro.)
2020-04-02 06:04:24 +08:00
|
|
|
#define qr_split(a_qr_a, a_qr_b, a_field) \
|
|
|
|
qr_meld((a_qr_a), (a_qr_b), a_field)
|
2009-12-29 16:09:15 +08:00
|
|
|
|
2020-04-02 07:13:57 +08:00
|
|
|
#define qr_remove(a_qr, a_field) \
|
|
|
|
qr_split(qr_next(a_qr, a_field), (a_qr), a_field)
|
2009-12-29 16:09:15 +08:00
|
|
|
|
2017-01-20 13:41:41 +08:00
|
|
|
#define qr_foreach(var, a_qr, a_field) \
|
2009-12-29 16:09:15 +08:00
|
|
|
for ((var) = (a_qr); \
|
|
|
|
(var) != NULL; \
|
|
|
|
(var) = (((var)->a_field.qre_next != (a_qr)) \
|
|
|
|
? (var)->a_field.qre_next : NULL))
|
|
|
|
|
2017-01-20 13:41:41 +08:00
|
|
|
#define qr_reverse_foreach(var, a_qr, a_field) \
|
2009-12-29 16:09:15 +08:00
|
|
|
for ((var) = ((a_qr) != NULL) ? qr_prev(a_qr, a_field) : NULL; \
|
|
|
|
(var) != NULL; \
|
|
|
|
(var) = (((var) != (a_qr)) \
|
|
|
|
? (var)->a_field.qre_prev : NULL))
|
2017-01-11 10:06:31 +08:00
|
|
|
|
|
|
|
#endif /* JEMALLOC_INTERNAL_QR_H */
|