xref: /xnu-10002.1.13/osfmk/kern/compact_id.c (revision 1031c584a5e37aff177559b9f69dbd3c8c3fd30a)
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