1*1031c584SApple OSS Distributions /*
2*1031c584SApple OSS Distributions * Copyright (c) 2022 Apple Inc. All rights reserved.
3*1031c584SApple OSS Distributions *
4*1031c584SApple OSS Distributions * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
5*1031c584SApple OSS Distributions *
6*1031c584SApple OSS Distributions * This file contains Original Code and/or Modifications of Original Code
7*1031c584SApple OSS Distributions * as defined in and that are subject to the Apple Public Source License
8*1031c584SApple OSS Distributions * Version 2.0 (the 'License'). You may not use this file except in
9*1031c584SApple OSS Distributions * compliance with the License. The rights granted to you under the License
10*1031c584SApple OSS Distributions * may not be used to create, or enable the creation or redistribution of,
11*1031c584SApple OSS Distributions * unlawful or unlicensed copies of an Apple operating system, or to
12*1031c584SApple OSS Distributions * circumvent, violate, or enable the circumvention or violation of, any
13*1031c584SApple OSS Distributions * terms of an Apple operating system software license agreement.
14*1031c584SApple OSS Distributions *
15*1031c584SApple OSS Distributions * Please obtain a copy of the License at
16*1031c584SApple OSS Distributions * http://www.opensource.apple.com/apsl/ and read it before using this file.
17*1031c584SApple OSS Distributions *
18*1031c584SApple OSS Distributions * The Original Code and all software distributed under the License are
19*1031c584SApple OSS Distributions * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
20*1031c584SApple OSS Distributions * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
21*1031c584SApple OSS Distributions * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
22*1031c584SApple OSS Distributions * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
23*1031c584SApple OSS Distributions * Please see the License for the specific language governing rights and
24*1031c584SApple OSS Distributions * limitations under the License.
25*1031c584SApple OSS Distributions *
26*1031c584SApple OSS Distributions * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
27*1031c584SApple OSS Distributions */
28*1031c584SApple OSS Distributions
29*1031c584SApple OSS Distributions #include <kern/compact_id.h>
30*1031c584SApple OSS Distributions #include <kern/locks.h>
31*1031c584SApple OSS Distributions #include <kern/thread.h>
32*1031c584SApple OSS Distributions
33*1031c584SApple OSS Distributions static LCK_GRP_DECLARE(compact_id_lck_grp, "compact_id");
34*1031c584SApple OSS Distributions
35*1031c584SApple OSS Distributions #define compact_id_table_sleep(table) \
36*1031c584SApple OSS Distributions lck_mtx_sleep_with_inheritor(&(table)->cidt_lock, \
37*1031c584SApple OSS Distributions LCK_SLEEP_DEFAULT, (event_t)(table), (table)->cidt_allocator, \
38*1031c584SApple OSS Distributions THREAD_UNINT, TIMEOUT_WAIT_FOREVER)
39*1031c584SApple OSS Distributions #define compact_id_table_wake(table) \
40*1031c584SApple OSS Distributions wakeup_all_with_inheritor((event_t)(table), THREAD_AWAKENED)
41*1031c584SApple OSS Distributions
42*1031c584SApple OSS Distributions static inline uint32_t
compact_id_prev_max(uint32_t idx)43*1031c584SApple OSS Distributions compact_id_prev_max(uint32_t idx)
44*1031c584SApple OSS Distributions {
45*1031c584SApple OSS Distributions /*
46*1031c584SApple OSS Distributions * |BASE|BASE|2BASE|4BASE|...|2^(index-2)BASE|2^(index-1)BASE|
47*1031c584SApple OSS Distributions * 0 1 2 3 index - 1 index
48*1031c584SApple OSS Distributions *
49*1031c584SApple OSS Distributions * the maximum number of values that can be stored on all
50*1031c584SApple OSS Distributions * entries previous to table_index is:
51*1031c584SApple OSS Distributions * CTID_BASE_TABLE * 2^(table_index - 1)
52*1031c584SApple OSS Distributions * for table_index greater then 0.
53*1031c584SApple OSS Distributions */
54*1031c584SApple OSS Distributions return idx ? COMPACT_ID_COUNT_BASE << (idx - 1) : 0;
55*1031c584SApple OSS Distributions }
56*1031c584SApple OSS Distributions
57*1031c584SApple OSS Distributions static uint32_t
compact_id_slab_size(uint32_t table_index)58*1031c584SApple OSS Distributions compact_id_slab_size(uint32_t table_index)
59*1031c584SApple OSS Distributions {
60*1031c584SApple OSS Distributions if (table_index == 0) {
61*1031c584SApple OSS Distributions return COMPACT_ID_COUNT_BASE;
62*1031c584SApple OSS Distributions }
63*1031c584SApple OSS Distributions return COMPACT_ID_COUNT_BASE << (table_index - 1);
64*1031c584SApple OSS Distributions }
65*1031c584SApple OSS Distributions
66*1031c584SApple OSS Distributions static uint32_t
compact_id_slab_index(compact_id_t cid)67*1031c584SApple OSS Distributions compact_id_slab_index(compact_id_t cid)
68*1031c584SApple OSS Distributions {
69*1031c584SApple OSS Distributions /*
70*1031c584SApple OSS Distributions * The first 2 entries have size COMPACT_ID_COUNT_BASE,
71*1031c584SApple OSS Distributions * all others have size COMPACT_ID_COUNT_BASE * 2^(i - 1).
72*1031c584SApple OSS Distributions *
73*1031c584SApple OSS Distributions * If you get the the number of the most significant 0s
74*1031c584SApple OSS Distributions * on COMPACT_ID_COUNT_BASE and you subtract how many there
75*1031c584SApple OSS Distributions * are in cidt, you get the index in the table.
76*1031c584SApple OSS Distributions */
77*1031c584SApple OSS Distributions cid |= COMPACT_ID_COUNT_BASE - 1;
78*1031c584SApple OSS Distributions return __builtin_clz(COMPACT_ID_COUNT_BASE) - __builtin_clz(cid) + 1;
79*1031c584SApple OSS Distributions }
80*1031c584SApple OSS Distributions
81*1031c584SApple OSS Distributions void
compact_id_table_init(compact_id_table_t table)82*1031c584SApple OSS Distributions compact_id_table_init(compact_id_table_t table)
83*1031c584SApple OSS Distributions {
84*1031c584SApple OSS Distributions /* lck_group_init knows about what this function does */
85*1031c584SApple OSS Distributions lck_mtx_init(&table->cidt_lock, &compact_id_lck_grp, LCK_ATTR_NULL);
86*1031c584SApple OSS Distributions }
87*1031c584SApple OSS Distributions
88*1031c584SApple OSS Distributions void **
compact_id_resolve(compact_id_table_t table,compact_id_t cid)89*1031c584SApple OSS Distributions compact_id_resolve(compact_id_table_t table, compact_id_t cid)
90*1031c584SApple OSS Distributions {
91*1031c584SApple OSS Distributions return table->cidt_array[compact_id_slab_index(cid)] + cid;
92*1031c584SApple OSS Distributions }
93*1031c584SApple OSS Distributions
94*1031c584SApple OSS Distributions __attribute__((noinline))
95*1031c584SApple OSS Distributions static void
compact_id_table_grow(compact_id_table_t table,uint32_t idx)96*1031c584SApple OSS Distributions compact_id_table_grow(compact_id_table_t table, uint32_t idx)
97*1031c584SApple OSS Distributions {
98*1031c584SApple OSS Distributions uint32_t size;
99*1031c584SApple OSS Distributions
100*1031c584SApple OSS Distributions /*
101*1031c584SApple OSS Distributions * Let's check if is someone is already
102*1031c584SApple OSS Distributions * allocating memory.
103*1031c584SApple OSS Distributions */
104*1031c584SApple OSS Distributions if (table->cidt_allocator != NULL) {
105*1031c584SApple OSS Distributions table->cidt_waiters = true;
106*1031c584SApple OSS Distributions compact_id_table_sleep(table);
107*1031c584SApple OSS Distributions return;
108*1031c584SApple OSS Distributions }
109*1031c584SApple OSS Distributions
110*1031c584SApple OSS Distributions /*
111*1031c584SApple OSS Distributions * We need to allocate more memory.
112*1031c584SApple OSS Distributions * Let's unlock and notify
113*1031c584SApple OSS Distributions * other thread who is allocating.
114*1031c584SApple OSS Distributions */
115*1031c584SApple OSS Distributions table->cidt_allocator = current_thread();
116*1031c584SApple OSS Distributions compact_id_table_unlock(table);
117*1031c584SApple OSS Distributions
118*1031c584SApple OSS Distributions size = compact_id_slab_size(idx);
119*1031c584SApple OSS Distributions table->cidt_bitmap[idx] = zalloc_permanent(BITMAP_SIZE(size), ZALIGN(bitmap_t));
120*1031c584SApple OSS Distributions table->cidt_array[idx] = zalloc_permanent(size * sizeof(thread_t), ZALIGN_PTR);
121*1031c584SApple OSS Distributions /*
122*1031c584SApple OSS Distributions * Note: because we expect lookups to be common,
123*1031c584SApple OSS Distributions * cidt_array isn't the real array but shifted
124*1031c584SApple OSS Distributions * so that dereferencing it with the compact ID
125*1031c584SApple OSS Distributions * works for any slab.
126*1031c584SApple OSS Distributions */
127*1031c584SApple OSS Distributions table->cidt_array[idx] -= compact_id_prev_max(idx);
128*1031c584SApple OSS Distributions bitmap_full(table->cidt_bitmap[idx], size);
129*1031c584SApple OSS Distributions
130*1031c584SApple OSS Distributions compact_id_table_lock(table);
131*1031c584SApple OSS Distributions assert(table->cidt_allocator == current_thread());
132*1031c584SApple OSS Distributions table->cidt_allocator = NULL;
133*1031c584SApple OSS Distributions if (table->cidt_waiters) {
134*1031c584SApple OSS Distributions table->cidt_waiters = false;
135*1031c584SApple OSS Distributions compact_id_table_wake(table);
136*1031c584SApple OSS Distributions }
137*1031c584SApple OSS Distributions }
138*1031c584SApple OSS Distributions
139*1031c584SApple OSS Distributions compact_id_t
compact_id_get_locked(compact_id_table_t table,compact_id_t limit,void * value)140*1031c584SApple OSS Distributions compact_id_get_locked(
141*1031c584SApple OSS Distributions compact_id_table_t table,
142*1031c584SApple OSS Distributions compact_id_t limit,
143*1031c584SApple OSS Distributions void *value)
144*1031c584SApple OSS Distributions {
145*1031c584SApple OSS Distributions compact_id_t cid;
146*1031c584SApple OSS Distributions uint32_t slab_size;
147*1031c584SApple OSS Distributions uint32_t idx = 0;
148*1031c584SApple OSS Distributions int bit_index;
149*1031c584SApple OSS Distributions
150*1031c584SApple OSS Distributions again:
151*1031c584SApple OSS Distributions idx = compact_id_slab_index(table->cidt_first_free);
152*1031c584SApple OSS Distributions for (; idx < COMPACT_ID_SLAB_COUNT; idx++) {
153*1031c584SApple OSS Distributions bitmap_t *map = table->cidt_bitmap[idx];
154*1031c584SApple OSS Distributions void **arr = table->cidt_array[idx];
155*1031c584SApple OSS Distributions
156*1031c584SApple OSS Distributions if (arr == NULL) {
157*1031c584SApple OSS Distributions compact_id_table_grow(table, idx);
158*1031c584SApple OSS Distributions goto again;
159*1031c584SApple OSS Distributions }
160*1031c584SApple OSS Distributions
161*1031c584SApple OSS Distributions slab_size = compact_id_slab_size(idx);
162*1031c584SApple OSS Distributions bit_index = bitmap_lsb_first(map, slab_size);
163*1031c584SApple OSS Distributions if (bit_index >= 0) {
164*1031c584SApple OSS Distributions cid = compact_id_prev_max(idx) + bit_index;
165*1031c584SApple OSS Distributions if (cid > limit) {
166*1031c584SApple OSS Distributions break;
167*1031c584SApple OSS Distributions }
168*1031c584SApple OSS Distributions
169*1031c584SApple OSS Distributions table->cidt_count++;
170*1031c584SApple OSS Distributions table->cidt_first_free = cid + 1;
171*1031c584SApple OSS Distributions bitmap_clear(map, bit_index);
172*1031c584SApple OSS Distributions assert(arr[cid] == NULL);
173*1031c584SApple OSS Distributions arr[cid] = value;
174*1031c584SApple OSS Distributions return cid;
175*1031c584SApple OSS Distributions }
176*1031c584SApple OSS Distributions }
177*1031c584SApple OSS Distributions
178*1031c584SApple OSS Distributions panic("table %p ran out of compact IDs", table);
179*1031c584SApple OSS Distributions }
180*1031c584SApple OSS Distributions
181*1031c584SApple OSS Distributions compact_id_t
compact_id_get(compact_id_table_t table,compact_id_t limit,void * value)182*1031c584SApple OSS Distributions compact_id_get(
183*1031c584SApple OSS Distributions compact_id_table_t table,
184*1031c584SApple OSS Distributions compact_id_t limit,
185*1031c584SApple OSS Distributions void *value)
186*1031c584SApple OSS Distributions {
187*1031c584SApple OSS Distributions compact_id_t cid;
188*1031c584SApple OSS Distributions
189*1031c584SApple OSS Distributions compact_id_table_lock(table);
190*1031c584SApple OSS Distributions cid = compact_id_get_locked(table, limit, value);
191*1031c584SApple OSS Distributions compact_id_table_unlock(table);
192*1031c584SApple OSS Distributions return cid;
193*1031c584SApple OSS Distributions }
194*1031c584SApple OSS Distributions
195*1031c584SApple OSS Distributions void *
compact_id_put(compact_id_table_t table,compact_id_t cid)196*1031c584SApple OSS Distributions compact_id_put(compact_id_table_t table, compact_id_t cid)
197*1031c584SApple OSS Distributions {
198*1031c584SApple OSS Distributions uint32_t idx = compact_id_slab_index(cid);
199*1031c584SApple OSS Distributions bitmap_t *map = table->cidt_bitmap[idx];
200*1031c584SApple OSS Distributions void **arr = table->cidt_array[idx];
201*1031c584SApple OSS Distributions void *value;
202*1031c584SApple OSS Distributions
203*1031c584SApple OSS Distributions compact_id_table_lock(table);
204*1031c584SApple OSS Distributions value = arr[cid];
205*1031c584SApple OSS Distributions arr[cid] = NULL;
206*1031c584SApple OSS Distributions bitmap_set(map, cid - compact_id_prev_max(idx));
207*1031c584SApple OSS Distributions if (cid < table->cidt_first_free) {
208*1031c584SApple OSS Distributions table->cidt_first_free = cid;
209*1031c584SApple OSS Distributions }
210*1031c584SApple OSS Distributions table->cidt_count--;
211*1031c584SApple OSS Distributions compact_id_table_unlock(table);
212*1031c584SApple OSS Distributions
213*1031c584SApple OSS Distributions return value;
214*1031c584SApple OSS Distributions }
215*1031c584SApple OSS Distributions
216*1031c584SApple OSS Distributions void
217*1031c584SApple OSS Distributions compact_id_for_each(
218*1031c584SApple OSS Distributions compact_id_table_t table,
219*1031c584SApple OSS Distributions uint32_t stride,
220*1031c584SApple OSS Distributions bool (^cb)(void *v))
221*1031c584SApple OSS Distributions {
222*1031c584SApple OSS Distributions const uint64_t pause_init = stride;
223*1031c584SApple OSS Distributions uint64_t pause = pause_init;
224*1031c584SApple OSS Distributions
225*1031c584SApple OSS Distributions compact_id_table_lock(table);
226*1031c584SApple OSS Distributions for (uint32_t sidx = 0; sidx < COMPACT_ID_SLAB_COUNT; sidx++) {
227*1031c584SApple OSS Distributions void **arr = table->cidt_array[sidx];
228*1031c584SApple OSS Distributions uint32_t size = compact_id_slab_size(sidx);
229*1031c584SApple OSS Distributions uint32_t prev = compact_id_prev_max(sidx);
230*1031c584SApple OSS Distributions
231*1031c584SApple OSS Distributions if (arr == NULL) {
232*1031c584SApple OSS Distributions break;
233*1031c584SApple OSS Distributions }
234*1031c584SApple OSS Distributions for (compact_id_t cid = prev; cid < prev + size; cid++) {
235*1031c584SApple OSS Distributions if (arr[cid] == NULL) {
236*1031c584SApple OSS Distributions continue;
237*1031c584SApple OSS Distributions }
238*1031c584SApple OSS Distributions if (!cb(arr[cid])) {
239*1031c584SApple OSS Distributions break;
240*1031c584SApple OSS Distributions }
241*1031c584SApple OSS Distributions if (pause-- == 0) {
242*1031c584SApple OSS Distributions compact_id_table_unlock(table);
243*1031c584SApple OSS Distributions pause = pause_init;
244*1031c584SApple OSS Distributions compact_id_table_lock(table);
245*1031c584SApple OSS Distributions }
246*1031c584SApple OSS Distributions }
247*1031c584SApple OSS Distributions }
248*1031c584SApple OSS Distributions compact_id_table_unlock(table);
249*1031c584SApple OSS Distributions }
250*1031c584SApple OSS Distributions
251*1031c584SApple OSS Distributions void
compact_id_table_lock(compact_id_table_t table)252*1031c584SApple OSS Distributions compact_id_table_lock(compact_id_table_t table)
253*1031c584SApple OSS Distributions {
254*1031c584SApple OSS Distributions lck_mtx_lock(&table->cidt_lock);
255*1031c584SApple OSS Distributions }
256*1031c584SApple OSS Distributions
257*1031c584SApple OSS Distributions void
compact_id_table_unlock(compact_id_table_t table)258*1031c584SApple OSS Distributions compact_id_table_unlock(compact_id_table_t table)
259*1031c584SApple OSS Distributions {
260*1031c584SApple OSS Distributions lck_mtx_unlock(&table->cidt_lock);
261*1031c584SApple OSS Distributions }
262