WebSVN – HelenOS – Blame – /trunk/kernel/generic/src/mm/frame.c

Rev	Author	Line No.	Line
1	jermar	1	/*
2071	jermar	2	* Copyright (c) 2001-2005 Jakub Jermar
		3	* Copyright (c) 2005 Sergey Bondari
3972	decky	4	* Copyright (c) 2009 Martin Decky
1	jermar	5	* All rights reserved.
		6	*
		7	* Redistribution and use in source and binary forms, with or without
		8	* modification, are permitted provided that the following conditions
		9	* are met:
		10	*
		11	* - Redistributions of source code must retain the above copyright
		12	* notice, this list of conditions and the following disclaimer.
		13	* - Redistributions in binary form must reproduce the above copyright
		14	* notice, this list of conditions and the following disclaimer in the
		15	* documentation and/or other materials provided with the distribution.
		16	* - The name of the author may not be used to endorse or promote products
		17	* derived from this software without specific prior written permission.
		18	*
		19	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
		20	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
		21	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
		22	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
		23	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
		24	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
		25	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
		26	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
		27	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
		28	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
		29	*/
		30
1757	jermar	31	/** @addtogroup genericmm
1702	cejka	32	* @{
		33	*/
		34
1248	jermar	35	/**
1702	cejka	36	* @file
3972	decky	37	* @brief Physical frame allocator.
1248	jermar	38	*
		39	* This file contains the physical frame allocator and memory zone management.
		40	* The frame allocator is built on top of the buddy allocator.
		41	*
		42	* @see buddy.c
		43	*/
		44
1	jermar	45	#include <arch/types.h>
		46	#include <mm/frame.h>
703	jermar	47	#include <mm/as.h>
1	jermar	48	#include <panic.h>
367	jermar	49	#include <debug.h>
788	jermar	50	#include <adt/list.h>
3187	jermar	51	#include <synch/mutex.h>
		52	#include <synch/condvar.h>
115	jermar	53	#include <arch/asm.h>
195	vana	54	#include <arch.h>
533	bondari	55	#include <print.h>
536	bondari	56	#include <align.h>
814	palkovsky	57	#include <mm/slab.h>
822	palkovsky	58	#include <bitops.h>
1063	palkovsky	59	#include <macros.h>
2128	jermar	60	#include <config.h>
115	jermar	61
3973	decky	62	zones_t zones;
367	jermar	63
814	palkovsky	64	/*
3187	jermar	65	* Synchronization primitives used to sleep when there is no memory
		66	* available.
		67	*/
3188	jermar	68	mutex_t mem_avail_mtx;
		69	condvar_t mem_avail_cv;
3972	decky	70	count_t mem_avail_req = 0; /*< Number of frames requested. /
		71	count_t mem_avail_gen = 0; /*< Generation counter. /
2121	decky	72
2725	decky	73	/********************/
814	palkovsky	74	/* Helper functions */
2725	decky	75	/********************/
		76
814	palkovsky	77	static inline index_t frame_index(zone_t zone, frame_t frame)
762	palkovsky	78	{
2725	decky	79	return (index_t) (frame - zone->frames);
762	palkovsky	80	}
2725	decky	81
814	palkovsky	82	static inline index_t frame_index_abs(zone_t zone, frame_t frame)
1	jermar	83	{
2725	decky	84	return (index_t) (frame - zone->frames) + zone->base;
1	jermar	85	}
2725	decky	86
3972	decky	87	static inline bool frame_index_valid(zone_t *zone, index_t index)
814	palkovsky	88	{
2745	decky	89	return (index < zone->count);
814	palkovsky	90	}
1	jermar	91
3972	decky	92	static inline index_t make_frame_index(zone_t zone, frame_t frame)
762	palkovsky	93	{
2725	decky	94	return (frame - zone->frames);
762	palkovsky	95	}
		96
3185	jermar	97	/** Initialize frame structure.
762	palkovsky	98	*
3972	decky	99	* @param frame Frame structure to be initialized.
		100	*
762	palkovsky	101	*/
814	palkovsky	102	static void frame_initialize(frame_t *frame)
762	palkovsky	103	{
814	palkovsky	104	frame->refcount = 1;
		105	frame->buddy_order = 0;
762	palkovsky	106	}
		107
3972	decky	108	/*******************/
		109	/* Zones functions */
		110	/*******************/
762	palkovsky	111
3185	jermar	112	/** Insert-sort zone into zones list.
822	palkovsky	113	*
3972	decky	114	* Assume interrupts are disabled and zones lock is
		115	* locked.
		116	*
		117	* @param base Base frame of the newly inserted zone.
		118	* @param count Number of frames of the newly inserted zone.
		119	*
		120	* @return Zone number on success, -1 on error.
		121	*
1	jermar	122	*/
3972	decky	123	static count_t zones_insert_zone(pfn_t base, count_t count)
1	jermar	124	{
2725	decky	125	if (zones.count + 1 == ZONES_MAX) {
		126	printf("Maximum zone count %u exceeded!\n", ZONES_MAX);
3972	decky	127	return (count_t) -1;
2725	decky	128	}
		129
3972	decky	130	count_t i;
1037	decky	131	for (i = 0; i < zones.count; i++) {
3972	decky	132	/* Check for overlap */
		133	if (overlaps(base, count,
		134	zones.info[i].base, zones.info[i].count)) {
822	palkovsky	135	printf("Zones overlap!\n");
3972	decky	136	return (count_t) -1;
814	palkovsky	137	}
3972	decky	138	if (base < zones.info[i].base)
822	palkovsky	139	break;
368	jermar	140	}
2725	decky	141
822	palkovsky	142	/* Move other zones up */
3972	decky	143	count_t j;
3973	decky	144	for (j = zones.count; j > i; j--) {
		145	zones.info[j] = zones.info[j - 1];
		146	zones.info[j].buddy_system->data =
		147	(void *) &zones.info[j - 1];
		148	}
2725	decky	149
822	palkovsky	150	zones.count++;
2725	decky	151
822	palkovsky	152	return i;
1	jermar	153	}
		154
3972	decky	155	/** Get total available frames.
2725	decky	156	*
3972	decky	157	* Assume interrupts are disabled and zones lock is
		158	* locked.
2725	decky	159	*
3972	decky	160	* @return Total number of available frames.
		161	*
368	jermar	162	*/
3972	decky	163	static count_t total_frames_free(void)
1	jermar	164	{
3972	decky	165	count_t total = 0;
		166	count_t i;
		167	for (i = 0; i < zones.count; i++)
		168	total += zones.info[i].free_count;
533	bondari	169
3972	decky	170	return total;
		171	}
814	palkovsky	172
3973	decky	173	/** Find a zone with a given frames.
3972	decky	174	*
		175	* Assume interrupts are disabled and zones lock is
		176	* locked.
		177	*
		178	* @param frame Frame number contained in zone.
3973	decky	179	* @param count Number of frames to look for.
3972	decky	180	* @param hint Used as zone hint.
		181	*
		182	* @return Zone index or -1 if not found.
		183	*
		184	*/
3973	decky	185	count_t find_zone(pfn_t frame, count_t count, count_t hint)
3972	decky	186	{
2745	decky	187	if (hint >= zones.count)
814	palkovsky	188	hint = 0;
533	bondari	189
3972	decky	190	count_t i = hint;
814	palkovsky	191	do {
3972	decky	192	if ((zones.info[i].base <= frame)
3973	decky	193	&& (zones.info[i].base + zones.info[i].count >= frame + count))
3972	decky	194	return i;
		195
814	palkovsky	196	i++;
		197	if (i >= zones.count)
		198	i = 0;
3207	jermar	199	} while (i != hint);
3972	decky	200
		201	return (count_t) -1;
533	bondari	202	}
		203
822	palkovsky	204	/** @return True if zone can allocate specified order */
3972	decky	205	static bool zone_can_alloc(zone_t *zone, uint8_t order)
822	palkovsky	206	{
3972	decky	207	return (zone_flags_available(zone->flags)
		208	&& buddy_system_can_alloc(zone->buddy_system, order));
822	palkovsky	209	}
		210
3972	decky	211	/** Find a zone that can allocate order frames.
367	jermar	212	*
3972	decky	213	* Assume interrupts are disabled and zones lock is
		214	* locked.
367	jermar	215	*
3972	decky	216	* @param order Size (2^order) of free space we are trying to find.
		217	* @param flags Required flags of the target zone.
		218	* @param hind Preferred zone.
		219	*
367	jermar	220	*/
3972	decky	221	static count_t find_free_zone(uint8_t order, zone_flags_t flags, count_t hint)
367	jermar	222	{
814	palkovsky	223	if (hint >= zones.count)
		224	hint = 0;
3972	decky	225
		226	count_t i = hint;
814	palkovsky	227	do {
3207	jermar	228	/*
		229	* Check whether the zone meets the search criteria.
		230	*/
3972	decky	231	if ((zones.info[i].flags & flags) == flags) {
3207	jermar	232	/*
		233	* Check if the zone has 2^order frames area available.
		234	*/
3972	decky	235	if (zone_can_alloc(&zones.info[i], order))
		236	return i;
367	jermar	237	}
3972	decky	238
		239	i++;
		240	if (i >= zones.count)
814	palkovsky	241	i = 0;
3207	jermar	242	} while (i != hint);
3972	decky	243
		244	return (count_t) -1;
367	jermar	245	}
		246
2059	jermar	247	/**************************/
814	palkovsky	248	/* Buddy system functions */
2059	jermar	249	/**************************/
814	palkovsky	250
3185	jermar	251	/** Buddy system find_block implementation.
367	jermar	252	*
814	palkovsky	253	* Find block that is parent of current list.
		254	* That means go to lower addresses, until such block is found
367	jermar	255	*
3972	decky	256	* @param order Order of parent must be different then this
		257	* parameter!!
		258	*
367	jermar	259	*/
3972	decky	260	static link_t zone_buddy_find_block(buddy_system_t buddy, link_t *child,
2133	jermar	261	uint8_t order)
367	jermar	262	{
3972	decky	263	frame_t *frame = list_get_instance(child, frame_t, buddy_link);
		264	zone_t zone = (zone_t ) buddy->data;
367	jermar	265
3972	decky	266	index_t index = frame_index(zone, frame);
814	palkovsky	267	do {
3972	decky	268	if (zone->frames[index].buddy_order != order)
814	palkovsky	269	return &zone->frames[index].buddy_link;
3972	decky	270	} while (index-- > 0);
		271
814	palkovsky	272	return NULL;
367	jermar	273	}
479	bondari	274
3185	jermar	275	/** Buddy system find_buddy implementation.
489	jermar	276	*
3972	decky	277	* @param buddy Buddy system.
		278	* @param block Block for which buddy should be found.
479	bondari	279	*
3972	decky	280	* @return Buddy for given block if found.
		281	*
479	bondari	282	*/
3972	decky	283	static link_t zone_buddy_find_buddy(buddy_system_t buddy, link_t *block)
814	palkovsky	284	{
3972	decky	285	frame_t *frame = list_get_instance(block, frame_t, buddy_link);
		286	zone_t zone = (zone_t ) buddy->data;
2133	jermar	287	ASSERT(IS_BUDDY_ORDER_OK(frame_index_abs(zone, frame),
		288	frame->buddy_order));
480	bondari	289
3972	decky	290	bool is_left = IS_BUDDY_LEFT_BLOCK_ABS(zone, frame);
		291	bool is_right = IS_BUDDY_RIGHT_BLOCK_ABS(zone, frame);
		292
564	jermar	293	ASSERT(is_left ^ is_right);
3972	decky	294
		295	index_t index;
533	bondari	296	if (is_left) {
3185	jermar	297	index = (frame_index(zone, frame)) +
		298	(1 << frame->buddy_order);
3972	decky	299	} else { /* if (is_right) */
3185	jermar	300	index = (frame_index(zone, frame)) -
		301	(1 << frame->buddy_order);
533	bondari	302	}
		303
814	palkovsky	304	if (frame_index_valid(zone, index)) {
3972	decky	305	if ((zone->frames[index].buddy_order == frame->buddy_order) &&
		306	(zone->frames[index].refcount == 0)) {
533	bondari	307	return &zone->frames[index].buddy_link;
480	bondari	308	}
		309	}
3972	decky	310
		311	return NULL;
479	bondari	312	}
		313
3185	jermar	314	/** Buddy system bisect implementation.
479	bondari	315	*
3972	decky	316	* @param buddy Buddy system.
		317	* @param block Block to bisect.
480	bondari	318	*
3972	decky	319	* @return Right block.
		320	*
479	bondari	321	*/
3972	decky	322	static link_t zone_buddy_bisect(buddy_system_t buddy, link_t *block)
3185	jermar	323	{
3972	decky	324	frame_t *frame_l = list_get_instance(block, frame_t, buddy_link);
		325	frame_t *frame_r = (frame_l + (1 << (frame_l->buddy_order - 1)));
564	jermar	326
480	bondari	327	return &frame_r->buddy_link;
479	bondari	328	}
		329
3185	jermar	330	/** Buddy system coalesce implementation.
479	bondari	331	*
3972	decky	332	* @param buddy Buddy system.
		333	* @param block_1 First block.
		334	* @param block_2 First block's buddy.
480	bondari	335	*
3972	decky	336	* @return Coalesced block (actually block that represents lower
		337	* address).
		338	*
479	bondari	339	*/
3972	decky	340	static link_t zone_buddy_coalesce(buddy_system_t buddy, link_t *block_1,
		341	link_t *block_2)
822	palkovsky	342	{
3972	decky	343	frame_t *frame1 = list_get_instance(block_1, frame_t, buddy_link);
		344	frame_t *frame2 = list_get_instance(block_2, frame_t, buddy_link);
564	jermar	345
3972	decky	346	return ((frame1 < frame2) ? block_1 : block_2);
479	bondari	347	}
		348
3185	jermar	349	/** Buddy system set_order implementation.
489	jermar	350	*
3972	decky	351	* @param buddy Buddy system.
		352	* @param block Buddy system block.
		353	* @param order Order to set.
		354	*
479	bondari	355	*/
3972	decky	356	static void zone_buddy_set_order(buddy_system_t buddy, link_t block,
3185	jermar	357	uint8_t order)
		358	{
3972	decky	359	list_get_instance(block, frame_t, buddy_link)->buddy_order = order;
479	bondari	360	}
		361
3185	jermar	362	/** Buddy system get_order implementation.
489	jermar	363	*
3972	decky	364	* @param buddy Buddy system.
		365	* @param block Buddy system block.
479	bondari	366	*
3972	decky	367	* @return Order of block.
		368	*
479	bondari	369	*/
3972	decky	370	static uint8_t zone_buddy_get_order(buddy_system_t buddy, link_t block)
3185	jermar	371	{
3972	decky	372	return list_get_instance(block, frame_t, buddy_link)->buddy_order;
479	bondari	373	}
533	bondari	374
3185	jermar	375	/** Buddy system mark_busy implementation.
533	bondari	376	*
3972	decky	377	* @param buddy Buddy system.
		378	* @param block Buddy system block.
		379	*
533	bondari	380	*/
3972	decky	381	static void zone_buddy_mark_busy(buddy_system_t buddy, link_t block)
3185	jermar	382	{
3972	decky	383	list_get_instance(block, frame_t, buddy_link)->refcount = 1;
533	bondari	384	}
676	bondari	385
3185	jermar	386	/** Buddy system mark_available implementation.
814	palkovsky	387	*
3972	decky	388	* @param buddy Buddy system.
		389	* @param block Buddy system block.
814	palkovsky	390	*/
3972	decky	391	static void zone_buddy_mark_available(buddy_system_t buddy, link_t block)
3185	jermar	392	{
3972	decky	393	list_get_instance(block, frame_t, buddy_link)->refcount = 0;
814	palkovsky	394	}
		395
2083	decky	396	static buddy_system_operations_t zone_buddy_system_operations = {
814	palkovsky	397	.find_buddy = zone_buddy_find_buddy,
		398	.bisect = zone_buddy_bisect,
		399	.coalesce = zone_buddy_coalesce,
		400	.set_order = zone_buddy_set_order,
		401	.get_order = zone_buddy_get_order,
		402	.mark_busy = zone_buddy_mark_busy,
		403	.mark_available = zone_buddy_mark_available,
3206	jermar	404	.find_block = zone_buddy_find_block
814	palkovsky	405	};
		406
2059	jermar	407	/******************/
814	palkovsky	408	/* Zone functions */
2059	jermar	409	/******************/
814	palkovsky	410
3185	jermar	411	/** Allocate frame in particular zone.
814	palkovsky	412	*
3972	decky	413	* Assume zone is locked and is available for allocation.
1269	decky	414	* Panics if allocation is impossible.
814	palkovsky	415	*
3972	decky	416	* @param zone Zone to allocate from.
		417	* @param order Allocate exactly 2^order frames.
1269	decky	418	*
3972	decky	419	* @return Frame index in zone.
1269	decky	420	*
814	palkovsky	421	*/
1780	jermar	422	static pfn_t zone_frame_alloc(zone_t *zone, uint8_t order)
814	palkovsky	423	{
3972	decky	424	ASSERT(zone_flags_available(zone->flags));
		425
814	palkovsky	426	/* Allocate frames from zone buddy system */
3972	decky	427	link_t *link = buddy_system_alloc(zone->buddy_system, order);
814	palkovsky	428
3972	decky	429	ASSERT(link);
814	palkovsky	430
		431	/* Update zone information. */
		432	zone->free_count -= (1 << order);
		433	zone->busy_count += (1 << order);
3972	decky	434
814	palkovsky	435	/* Frame will be actually a first frame of the block. */
3972	decky	436	frame_t *frame = list_get_instance(link, frame_t, buddy_link);
814	palkovsky	437
3972	decky	438	/* Get frame address */
		439	return make_frame_index(zone, frame);
814	palkovsky	440	}
		441
3185	jermar	442	/** Free frame from zone.
814	palkovsky	443	*
3972	decky	444	* Assume zone is locked and is available for deallocation.
1568	palkovsky	445	*
3972	decky	446	* @param zone Pointer to zone from which the frame is to be freed.
		447	* @param frame_idx Frame index relative to zone.
		448	*
814	palkovsky	449	*/
820	jermar	450	static void zone_frame_free(zone_t *zone, index_t frame_idx)
814	palkovsky	451	{
3972	decky	452	ASSERT(zone_flags_available(zone->flags));
814	palkovsky	453
3972	decky	454	frame_t *frame = &zone->frames[frame_idx];
		455
		456	/* Remember frame order */
		457	uint8_t order = frame->buddy_order;
		458
814	palkovsky	459	ASSERT(frame->refcount);
3972	decky	460
814	palkovsky	461	if (!--frame->refcount) {
		462	buddy_system_free(zone->buddy_system, &frame->buddy_link);
3972	decky	463
946	jermar	464	/* Update zone information. */
		465	zone->free_count += (1 << order);
		466	zone->busy_count -= (1 << order);
814	palkovsky	467	}
		468	}
		469
3185	jermar	470	/** Return frame from zone. */
3188	jermar	471	static frame_t zone_get_frame(zone_t zone, index_t frame_idx)
814	palkovsky	472	{
		473	ASSERT(frame_idx < zone->count);
		474	return &zone->frames[frame_idx];
		475	}
		476
3185	jermar	477	/** Mark frame in zone unavailable to allocation. */
820	jermar	478	static void zone_mark_unavailable(zone_t *zone, index_t frame_idx)
814	palkovsky	479	{
3972	decky	480	ASSERT(zone_flags_available(zone->flags));
		481
		482	frame_t *frame = zone_get_frame(zone, frame_idx);
822	palkovsky	483	if (frame->refcount)
		484	return;
3972	decky	485
		486	link_t *link = buddy_system_alloc_block(zone->buddy_system,
2133	jermar	487	&frame->buddy_link);
3972	decky	488
814	palkovsky	489	ASSERT(link);
		490	zone->free_count--;
		491	}
		492
3972	decky	493	/** Merge two zones.
822	palkovsky	494	*
3972	decky	495	* Expect buddy to point to space at least zone_conf_size large.
		496	* Assume z1 & z2 are locked and compatible and zones lock is
		497	* locked.
822	palkovsky	498	*
3972	decky	499	* @param z1 First zone to merge.
		500	* @param z2 Second zone to merge.
		501	* @param old_z1 Original date of the first zone.
		502	* @param buddy Merged zone buddy.
1568	palkovsky	503	*
822	palkovsky	504	*/
3972	decky	505	static void zone_merge_internal(count_t z1, count_t z2, zone_t old_z1, buddy_system_t buddy)
822	palkovsky	506	{
3972	decky	507	ASSERT(zone_flags_available(zones.info[z1].flags));
		508	ASSERT(zone_flags_available(zones.info[z2].flags));
		509	ASSERT(zones.info[z1].flags == zones.info[z2].flags);
		510	ASSERT(zones.info[z1].base < zones.info[z2].base);
		511	ASSERT(!overlaps(zones.info[z1].base, zones.info[z1].count,
		512	zones.info[z2].base, zones.info[z2].count));
822	palkovsky	513
3972	decky	514	/* Difference between zone bases */
		515	pfn_t base_diff = zones.info[z2].base - zones.info[z1].base;
		516
		517	zones.info[z1].count = base_diff + zones.info[z2].count;
		518	zones.info[z1].free_count += zones.info[z2].free_count;
		519	zones.info[z1].busy_count += zones.info[z2].busy_count;
		520	zones.info[z1].buddy_system = buddy;
		521
		522	uint8_t order = fnzb(zones.info[z1].count);
		523	buddy_system_create(zones.info[z1].buddy_system, order,
		524	&zone_buddy_system_operations, (void *) &zones.info[z1]);
		525
		526	zones.info[z1].frames =
		527	(frame_t ) ((uint8_t ) zones.info[z1].buddy_system
		528	+ buddy_conf_size(order));
		529
		530	/* This marks all frames busy */
		531	count_t i;
		532	for (i = 0; i < zones.info[z1].count; i++)
		533	frame_initialize(&zones.info[z1].frames[i]);
		534
822	palkovsky	535	/* Copy frames from both zones to preserve full frame orders,
3972	decky	536	* parents etc. Set all free frames with refcount = 0 to 1, because
		537	* we add all free frames to buddy allocator later again, clearing
		538	* order to 0. Don't set busy frames with refcount = 0, as they
1093	palkovsky	539	* will not be reallocated during merge and it would make later
		540	* problems with allocation/free.
822	palkovsky	541	*/
3972	decky	542	for (i = 0; i < old_z1->count; i++)
		543	zones.info[z1].frames[i] = old_z1->frames[i];
		544
		545	for (i = 0; i < zones.info[z2].count; i++)
		546	zones.info[z1].frames[base_diff + i]
		547	= zones.info[z2].frames[i];
		548
1093	palkovsky	549	i = 0;
3972	decky	550	while (i < zones.info[z1].count) {
		551	if (zones.info[z1].frames[i].refcount) {
		552	/* Skip busy frames */
		553	i += 1 << zones.info[z1].frames[i].buddy_order;
		554	} else {
		555	/* Free frames, set refcount = 1
		556	* (all free frames have refcount == 0, we need not
		557	* to check the order)
		558	*/
		559	zones.info[z1].frames[i].refcount = 1;
		560	zones.info[z1].frames[i].buddy_order = 0;
1093	palkovsky	561	i++;
822	palkovsky	562	}
		563	}
3972	decky	564
		565	/* Add free blocks from the original zone z1 */
		566	while (zone_can_alloc(old_z1, 0)) {
		567	/* Allocate from the original zone */
		568	pfn_t frame_idx = zone_frame_alloc(old_z1, 0);
		569
		570	/* Free the frame from the merged zone */
		571	frame_t *frame = &zones.info[z1].frames[frame_idx];
822	palkovsky	572	frame->refcount = 0;
3972	decky	573	buddy_system_free(zones.info[z1].buddy_system, &frame->buddy_link);
822	palkovsky	574	}
3972	decky	575
		576	/* Add free blocks from the original zone z2 */
		577	while (zone_can_alloc(&zones.info[z2], 0)) {
		578	/* Allocate from the original zone */
		579	pfn_t frame_idx = zone_frame_alloc(&zones.info[z2], 0);
		580
		581	/* Free the frame from the merged zone */
		582	frame_t *frame = &zones.info[z1].frames[base_diff + frame_idx];
822	palkovsky	583	frame->refcount = 0;
3972	decky	584	buddy_system_free(zones.info[z1].buddy_system, &frame->buddy_link);
822	palkovsky	585	}
		586	}
		587
3185	jermar	588	/** Return old configuration frames into the zone.
822	palkovsky	589	*
3972	decky	590	* We have two cases:
		591	* - The configuration data is outside the zone
		592	* -> do nothing (perhaps call frame_free?)
		593	* - The configuration data was created by zone_create
		594	* or updated by reduce_region -> free every frame
824	palkovsky	595	*
3972	decky	596	* @param znum The actual zone where freeing should occur.
		597	* @param pfn Old zone configuration frame.
		598	* @param count Old zone frame count.
		599	*
822	palkovsky	600	*/
3972	decky	601	static void return_config_frames(count_t znum, pfn_t pfn, count_t count)
822	palkovsky	602	{
3972	decky	603	ASSERT(zone_flags_available(zones.info[znum].flags));
822	palkovsky	604
3972	decky	605	count_t cframes = SIZE2FRAMES(zone_conf_size(count));
		606
		607	if ((pfn < zones.info[znum].base)
		608	\|\| (pfn >= zones.info[znum].base + zones.info[znum].count))
822	palkovsky	609	return;
3972	decky	610
		611	frame_t *frame
		612	= &zones.info[znum].frames[pfn - zones.info[znum].base];
824	palkovsky	613	ASSERT(!frame->buddy_order);
3972	decky	614
		615	count_t i;
2122	decky	616	for (i = 0; i < cframes; i++) {
3972	decky	617	zones.info[znum].busy_count++;
		618	zone_frame_free(&zones.info[znum],
		619	pfn - zones.info[znum].base + i);
822	palkovsky	620	}
		621	}
		622
3185	jermar	623	/** Reduce allocated block to count of order 0 frames.
824	palkovsky	624	*
3972	decky	625	* The allocated block needs 2^order frames. Reduce all frames
		626	* in the block to order 0 and free the unneeded frames. This means that
		627	* when freeing the previously allocated block starting with frame_idx,
1568	palkovsky	628	* you have to free every frame.
824	palkovsky	629	*
3972	decky	630	* @param znum Zone.
		631	* @param frame_idx Index the first frame of the block.
		632	* @param count Allocated frames in block.
		633	*
824	palkovsky	634	*/
3972	decky	635	static void zone_reduce_region(count_t znum, pfn_t frame_idx, count_t count)
824	palkovsky	636	{
3972	decky	637	ASSERT(zone_flags_available(zones.info[znum].flags));
		638	ASSERT(frame_idx + count < zones.info[znum].count);
824	palkovsky	639
3972	decky	640	uint8_t order = zones.info[znum].frames[frame_idx].buddy_order;
2122	decky	641	ASSERT((count_t) (1 << order) >= count);
3972	decky	642
824	palkovsky	643	/* Reduce all blocks to order 0 */
3972	decky	644	count_t i;
2122	decky	645	for (i = 0; i < (count_t) (1 << order); i++) {
3972	decky	646	frame_t *frame = &zones.info[znum].frames[i + frame_idx];
824	palkovsky	647	frame->buddy_order = 0;
2133	jermar	648	if (!frame->refcount)
824	palkovsky	649	frame->refcount = 1;
		650	ASSERT(frame->refcount == 1);
		651	}
3972	decky	652
824	palkovsky	653	/* Free unneeded frames */
3972	decky	654	for (i = count; i < (count_t) (1 << order); i++)
		655	zone_frame_free(&zones.info[znum], i + frame_idx);
824	palkovsky	656	}
		657
3185	jermar	658	/** Merge zones z1 and z2.
822	palkovsky	659	*
3972	decky	660	* The merged zones must be 2 zones with no zone existing in between
		661	* (which means that z2 = z1 + 1). Both zones must be available zones
		662	* with the same flags.
822	palkovsky	663	*
3972	decky	664	* When you create a new zone, the frame allocator configuration does
		665	* not to be 2^order size. Once the allocator is running it is no longer
		666	* possible, merged configuration data occupies more space :-/
		667	*
		668	* The function uses
		669	*
822	palkovsky	670	*/
3972	decky	671	bool zone_merge(count_t z1, count_t z2)
822	palkovsky	672	{
3972	decky	673	ipl_t ipl = interrupts_disable();
822	palkovsky	674	spinlock_lock(&zones.lock);
3972	decky	675
		676	bool ret = true;
		677
		678	/* We can join only 2 zones with none existing inbetween,
		679	* the zones have to be available and with the same
		680	* set of flags
		681	*/
		682	if ((z1 >= zones.count) \|\| (z2 >= zones.count)
		683	\|\| (z2 - z1 != 1)
		684	\|\| (!zone_flags_available(zones.info[z1].flags))
		685	\|\| (!zone_flags_available(zones.info[z2].flags))
		686	\|\| (zones.info[z1].flags != zones.info[z2].flags)) {
		687	ret = false;
822	palkovsky	688	goto errout;
3972	decky	689	}
		690
		691	pfn_t cframes = SIZE2FRAMES(zone_conf_size(
		692	zones.info[z2].base - zones.info[z1].base
		693	+ zones.info[z2].count));
		694
		695	uint8_t order;
1700	palkovsky	696	if (cframes == 1)
		697	order = 0;
3972	decky	698	else
1700	palkovsky	699	order = fnzb(cframes - 1) + 1;
3972	decky	700
		701	/* Allocate merged zone data inside one of the zones */
		702	pfn_t pfn;
		703	if (zone_can_alloc(&zones.info[z1], order)) {
		704	pfn = zones.info[z1].base + zone_frame_alloc(&zones.info[z1], order);
		705	} else if (zone_can_alloc(&zones.info[z2], order)) {
		706	pfn = zones.info[z2].base + zone_frame_alloc(&zones.info[z2], order);
		707	} else {
		708	ret = false;
		709	goto errout;
		710	}
		711
		712	/* Preserve original data from z1 */
		713	zone_t old_z1 = zones.info[z1];
		714	old_z1.buddy_system->data = (void *) &old_z1;
		715
		716	/* Do zone merging */
		717	buddy_system_t buddy = (buddy_system_t ) PA2KA(PFN2ADDR(pfn));
		718	zone_merge_internal(z1, z2, &old_z1, buddy);
		719
824	palkovsky	720	/* Free unneeded config frames */
3972	decky	721	zone_reduce_region(z1, pfn - zones.info[z1].base, cframes);
		722
822	palkovsky	723	/* Subtract zone information from busy frames */
3972	decky	724	zones.info[z1].busy_count -= cframes;
		725
		726	/* Free old zone information */
		727	return_config_frames(z1,
		728	ADDR2PFN(KA2PA((uintptr_t) old_z1.frames)), old_z1.count);
		729	return_config_frames(z1,
		730	ADDR2PFN(KA2PA((uintptr_t) zones.info[z2].frames)),
		731	zones.info[z2].count);
		732
3973	decky	733	/* Move zones down */
3972	decky	734	count_t i;
3973	decky	735	for (i = z2 + 1; i < zones.count; i++) {
1037	decky	736	zones.info[i - 1] = zones.info[i];
3973	decky	737	zones.info[i - 1].buddy_system->data =
		738	(void *) &zones.info[i - 1];
		739	}
		740
822	palkovsky	741	zones.count--;
3972	decky	742
822	palkovsky	743	errout:
		744	spinlock_unlock(&zones.lock);
		745	interrupts_restore(ipl);
3972	decky	746
		747	return ret;
822	palkovsky	748	}
		749
3972	decky	750	/** Merge all mergeable zones into one big zone.
822	palkovsky	751	*
3972	decky	752	* It is reasonable to do this on systems where
		753	* BIOS reports parts in chunks, so that we could
		754	* have 1 zone (it's faster).
		755	*
822	palkovsky	756	*/
		757	void zone_merge_all(void)
		758	{
3972	decky	759	count_t i = 0;
		760	while (i < zones.count) {
		761	if (!zone_merge(i, i + 1))
		762	i++;
822	palkovsky	763	}
		764	}
		765
3185	jermar	766	/** Create new frame zone.
814	palkovsky	767	*
3972	decky	768	* @param zone Zone to construct.
		769	* @param buddy Address of buddy system configuration information.
		770	* @param start Physical address of the first frame within the zone.
		771	* @param count Count of frames in zone.
		772	* @param flags Zone flags.
814	palkovsky	773	*
3972	decky	774	* @return Initialized zone.
		775	*
814	palkovsky	776	*/
3972	decky	777	static void zone_construct(zone_t zone, buddy_system_t buddy, pfn_t start, count_t count, zone_flags_t flags)
814	palkovsky	778	{
3972	decky	779	zone->base = start;
		780	zone->count = count;
		781	zone->flags = flags;
		782	zone->free_count = count;
		783	zone->busy_count = 0;
		784	zone->buddy_system = buddy;
814	palkovsky	785
3972	decky	786	if (zone_flags_available(flags)) {
		787	/*
		788	* Compute order for buddy system and initialize
		789	*/
		790	uint8_t order = fnzb(count);
		791	buddy_system_create(zone->buddy_system, order,
		792	&zone_buddy_system_operations, (void *) zone);
		793
		794	/* Allocate frames _after_ the confframe */
		795
		796	/* Check sizes */
		797	zone->frames = (frame_t ) ((uint8_t ) zone->buddy_system +
		798	buddy_conf_size(order));
		799
		800	count_t i;
		801	for (i = 0; i < count; i++)
		802	frame_initialize(&zone->frames[i]);
		803
		804	/* Stuffing frames */
		805	for (i = 0; i < count; i++) {
		806	zone->frames[i].refcount = 0;
		807	buddy_system_free(zone->buddy_system, &zone->frames[i].buddy_link);
		808	}
		809	} else
		810	zone->frames = NULL;
814	palkovsky	811	}
		812
3185	jermar	813	/** Compute configuration data size for zone.
1568	palkovsky	814	*
3972	decky	815	* @param count Size of zone in frames.
		816	*
		817	* @return Size of zone configuration info (in bytes).
		818	*
1568	palkovsky	819	*/
1780	jermar	820	uintptr_t zone_conf_size(count_t count)
814	palkovsky	821	{
3972	decky	822	return (count * sizeof(frame_t) + buddy_conf_size(fnzb(count)));
814	palkovsky	823	}
		824
3185	jermar	825	/** Create and add zone to system.
814	palkovsky	826	*
3972	decky	827	* @param start First frame number (absolute).
		828	* @param count Size of zone in frames.
		829	* @param confframe Where configuration frames are supposed to be.
		830	* Automatically checks, that we will not disturb the
		831	* kernel and possibly init. If confframe is given
		832	* _outside_ this zone, it is expected, that the area is
		833	* already marked BUSY and big enough to contain
		834	* zone_conf_size() amount of data. If the confframe is
		835	* inside the area, the zone free frame information is
		836	* modified not to include it.
822	palkovsky	837	*
3972	decky	838	* @return Zone number or -1 on error.
		839	*
814	palkovsky	840	*/
3972	decky	841	count_t zone_create(pfn_t start, count_t count, pfn_t confframe, zone_flags_t flags)
814	palkovsky	842	{
3972	decky	843	ipl_t ipl = interrupts_disable();
		844	spinlock_lock(&zones.lock);
		845
		846	if (zone_flags_available(flags)) { /* Create available zone */
		847	/* Theoretically we could have NULL here, practically make sure
		848	* nobody tries to do that. If some platform requires, remove
		849	* the assert
		850	*/
		851	ASSERT(confframe != NULL);
		852
		853	/* If confframe is supposed to be inside our zone, then make sure
		854	* it does not span kernel & init
		855	*/
		856	count_t confcount = SIZE2FRAMES(zone_conf_size(count));
		857	if ((confframe >= start) && (confframe < start + count)) {
		858	for (; confframe < start + count; confframe++) {
		859	uintptr_t addr = PFN2ADDR(confframe);
2133	jermar	860	if (overlaps(addr, PFN2ADDR(confcount),
3972	decky	861	KA2PA(config.base), config.kernel_size))
		862	continue;
		863
		864	if (overlaps(addr, PFN2ADDR(confcount),
		865	KA2PA(config.stack_base), config.stack_size))
		866	continue;
		867
		868	bool overlap = false;
		869	count_t i;
		870	for (i = 0; i < init.cnt; i++)
		871	if (overlaps(addr, PFN2ADDR(confcount),
		872	KA2PA(init.tasks[i].addr),
		873	init.tasks[i].size)) {
		874	overlap = true;
		875	break;
		876	}
		877	if (overlap)
		878	continue;
		879
		880	break;
		881	}
1037	decky	882
3972	decky	883	if (confframe >= start + count)
		884	panic("Cannot find configuration data for zone.");
814	palkovsky	885	}
3972	decky	886
		887	count_t znum = zones_insert_zone(start, count);
		888	if (znum == (count_t) -1) {
		889	spinlock_unlock(&zones.lock);
		890	interrupts_restore(ipl);
		891	return (count_t) -1;
		892	}
		893
		894	buddy_system_t buddy = (buddy_system_t ) PA2KA(PFN2ADDR(confframe));
		895	zone_construct(&zones.info[znum], buddy, start, count, flags);
		896
		897	/* If confdata in zone, mark as unavailable */
		898	if ((confframe >= start) && (confframe < start + count)) {
		899	count_t i;
		900	for (i = confframe; i < confframe + confcount; i++)
		901	zone_mark_unavailable(&zones.info[znum],
		902	i - zones.info[znum].base);
		903	}
		904
		905	spinlock_unlock(&zones.lock);
		906	interrupts_restore(ipl);
		907
		908	return znum;
814	palkovsky	909	}
3188	jermar	910
3972	decky	911	/* Non-available zone */
		912	count_t znum = zones_insert_zone(start, count);
		913	if (znum == (count_t) -1) {
		914	spinlock_unlock(&zones.lock);
		915	interrupts_restore(ipl);
		916	return (count_t) -1;
		917	}
		918	zone_construct(&zones.info[znum], NULL, start, count, flags);
		919
		920	spinlock_unlock(&zones.lock);
		921	interrupts_restore(ipl);
		922
822	palkovsky	923	return znum;
814	palkovsky	924	}
		925
3972	decky	926	/*******************/
814	palkovsky	927	/* Frame functions */
3972	decky	928	/*******************/
814	palkovsky	929
3185	jermar	930	/** Set parent of frame. */
3972	decky	931	void frame_set_parent(pfn_t pfn, void *data, count_t hint)
814	palkovsky	932	{
3972	decky	933	ipl_t ipl = interrupts_disable();
		934	spinlock_lock(&zones.lock);
		935
3973	decky	936	count_t znum = find_zone(pfn, 1, hint);
3972	decky	937
		938	ASSERT(znum != (count_t) -1);
		939
		940	zone_get_frame(&zones.info[znum],
		941	pfn - zones.info[znum].base)->parent = data;
		942
		943	spinlock_unlock(&zones.lock);
		944	interrupts_restore(ipl);
814	palkovsky	945	}
		946
3972	decky	947	void *frame_get_parent(pfn_t pfn, count_t hint)
814	palkovsky	948	{
3972	decky	949	ipl_t ipl = interrupts_disable();
		950	spinlock_lock(&zones.lock);
814	palkovsky	951
3973	decky	952	count_t znum = find_zone(pfn, 1, hint);
3972	decky	953
		954	ASSERT(znum != (count_t) -1);
		955
		956	void *res = zone_get_frame(&zones.info[znum],
		957	pfn - zones.info[znum].base)->parent;
		958
		959	spinlock_unlock(&zones.lock);
		960	interrupts_restore(ipl);
		961
814	palkovsky	962	return res;
		963	}
		964
		965	/** Allocate power-of-two frames of physical memory.
		966	*
3972	decky	967	* @param order Allocate exactly 2^order frames.
		968	* @param flags Flags for host zone selection and address processing.
		969	* @param pzone Preferred zone.
814	palkovsky	970	*
3972	decky	971	* @return Physical address of the allocated frame.
1269	decky	972	*
814	palkovsky	973	*/
3972	decky	974	void frame_alloc_generic(uint8_t order, frame_flags_t flags, count_t pzone)
814	palkovsky	975	{
3972	decky	976	count_t size = ((count_t) 1) << order;
814	palkovsky	977	ipl_t ipl;
3972	decky	978	count_t hint = pzone ? (*pzone) : 0;
814	palkovsky	979
		980	loop:
		981	ipl = interrupts_disable();
3972	decky	982	spinlock_lock(&zones.lock);
1269	decky	983
814	palkovsky	984	/*
		985	* First, find suitable frame zone.
		986	*/
3972	decky	987	count_t znum = find_free_zone(order,
		988	FRAME_TO_ZONE_FLAGS(flags), hint);
1269	decky	989
814	palkovsky	990	/* If no memory, reclaim some slab memory,
		991	if it does not help, reclaim all */
3972	decky	992	if ((znum == (count_t) -1) && (!(flags & FRAME_NO_RECLAIM))) {
		993	count_t freed = slab_reclaim(0);
		994
		995	if (freed > 0)
		996	znum = find_free_zone(order,
		997	FRAME_TO_ZONE_FLAGS(flags), hint);
		998
		999	if (znum == (count_t) -1) {
814	palkovsky	1000	freed = slab_reclaim(SLAB_RECLAIM_ALL);
3972	decky	1001	if (freed > 0)
		1002	znum = find_free_zone(order,
		1003	FRAME_TO_ZONE_FLAGS(flags), hint);
814	palkovsky	1004	}
		1005	}
3972	decky	1006
		1007	if (znum == (count_t) -1) {
3187	jermar	1008	if (flags & FRAME_ATOMIC) {
3972	decky	1009	spinlock_unlock(&zones.lock);
3187	jermar	1010	interrupts_restore(ipl);
3972	decky	1011	return NULL;
3187	jermar	1012	}
814	palkovsky	1013
3187	jermar	1014	#ifdef CONFIG_DEBUG
3972	decky	1015	count_t avail = total_frames_free();
3187	jermar	1016	#endif
3972	decky	1017
		1018	spinlock_unlock(&zones.lock);
		1019	interrupts_restore(ipl);
		1020
		1021	/*
		1022	* Sleep until some frames are available again.
		1023	*/
		1024
		1025	#ifdef CONFIG_DEBUG
		1026	printf("Thread %" PRIu64 " waiting for %" PRIc " frames, "
		1027	"%" PRIc " available.\n", THREAD->tid, size, avail);
		1028	#endif
		1029
3188	jermar	1030	mutex_lock(&mem_avail_mtx);
3972	decky	1031
		1032	if (mem_avail_req > 0)
		1033	mem_avail_req = min(mem_avail_req, size);
		1034	else
		1035	mem_avail_req = size;
		1036	count_t gen = mem_avail_gen;
		1037
		1038	while (gen == mem_avail_gen)
3188	jermar	1039	condvar_wait(&mem_avail_cv, &mem_avail_mtx);
3972	decky	1040
3188	jermar	1041	mutex_unlock(&mem_avail_mtx);
3972	decky	1042
3187	jermar	1043	#ifdef CONFIG_DEBUG
3972	decky	1044	printf("Thread %" PRIu64 " woken up.\n", THREAD->tid);
3187	jermar	1045	#endif
3972	decky	1046
814	palkovsky	1047	goto loop;
		1048	}
1269	decky	1049
3972	decky	1050	pfn_t pfn = zone_frame_alloc(&zones.info[znum], order)
		1051	+ zones.info[znum].base;
3188	jermar	1052
3972	decky	1053	spinlock_unlock(&zones.lock);
814	palkovsky	1054	interrupts_restore(ipl);
3972	decky	1055
		1056	if (pzone)
		1057	*pzone = znum;
		1058
1760	palkovsky	1059	if (flags & FRAME_KA)
3972	decky	1060	return (void *) PA2KA(PFN2ADDR(pfn));
		1061
		1062	return (void *) PFN2ADDR(pfn);
814	palkovsky	1063	}
		1064
		1065	/** Free a frame.
		1066	*
1854	jermar	1067	* Find respective frame structure for supplied physical frame address.
3972	decky	1068	* Decrement frame reference count. If it drops to zero, move the frame
		1069	* structure to free list.
814	palkovsky	1070	*
3972	decky	1071	* @param frame Physical Address of of the frame to be freed.
		1072	*
814	palkovsky	1073	*/
1780	jermar	1074	void frame_free(uintptr_t frame)
814	palkovsky	1075	{
3972	decky	1076	ipl_t ipl = interrupts_disable();
		1077	spinlock_lock(&zones.lock);
		1078
814	palkovsky	1079	/*
		1080	* First, find host frame zone for addr.
		1081	*/
3972	decky	1082	pfn_t pfn = ADDR2PFN(frame);
3973	decky	1083	count_t znum = find_zone(pfn, 1, NULL);
814	palkovsky	1084
3972	decky	1085	ASSERT(znum != (count_t) -1);
814	palkovsky	1086
3972	decky	1087	zone_frame_free(&zones.info[znum], pfn - zones.info[znum].base);
3187	jermar	1088
3972	decky	1089	spinlock_unlock(&zones.lock);
		1090	interrupts_restore(ipl);
		1091
3187	jermar	1092	/*
		1093	* Signal that some memory has been freed.
		1094	*/
3188	jermar	1095	mutex_lock(&mem_avail_mtx);
3972	decky	1096	if (mem_avail_req > 0)
		1097	mem_avail_req--;
		1098
		1099	if (mem_avail_req == 0) {
		1100	mem_avail_gen++;
		1101	condvar_broadcast(&mem_avail_cv);
		1102	}
3188	jermar	1103	mutex_unlock(&mem_avail_mtx);
814	palkovsky	1104	}
		1105
1236	jermar	1106	/** Add reference to frame.
		1107	*
		1108	* Find respective frame structure for supplied PFN and
		1109	* increment frame reference count.
		1110	*
3972	decky	1111	* @param pfn Frame number of the frame to be freed.
		1112	*
1236	jermar	1113	*/
		1114	void frame_reference_add(pfn_t pfn)
		1115	{
3972	decky	1116	ipl_t ipl = interrupts_disable();
		1117	spinlock_lock(&zones.lock);
1236	jermar	1118
		1119	/*
		1120	* First, find host frame zone for addr.
		1121	*/
3973	decky	1122	count_t znum = find_zone(pfn, 1, NULL);
1236	jermar	1123
3972	decky	1124	ASSERT(znum != (count_t) -1);
1236	jermar	1125
3972	decky	1126	zones.info[znum].frames[pfn - zones.info[znum].base].refcount++;
		1127
		1128	spinlock_unlock(&zones.lock);
1236	jermar	1129	interrupts_restore(ipl);
		1130	}
814	palkovsky	1131
3185	jermar	1132	/** Mark given range unavailable in frame zones. */
820	jermar	1133	void frame_mark_unavailable(pfn_t start, count_t count)
814	palkovsky	1134	{
3972	decky	1135	ipl_t ipl = interrupts_disable();
		1136	spinlock_lock(&zones.lock);
852	palkovsky	1137
3972	decky	1138	count_t i;
2122	decky	1139	for (i = 0; i < count; i++) {
3973	decky	1140	count_t znum = find_zone(start + i, 1, 0);
3972	decky	1141	if (znum == (count_t) -1) /* PFN not found */
814	palkovsky	1142	continue;
3972	decky	1143
		1144	zone_mark_unavailable(&zones.info[znum],
		1145	start + i - zones.info[znum].base);
814	palkovsky	1146	}
3972	decky	1147
		1148	spinlock_unlock(&zones.lock);
		1149	interrupts_restore(ipl);
814	palkovsky	1150	}
		1151
3185	jermar	1152	/** Initialize physical memory management. */
814	palkovsky	1153	void frame_init(void)
		1154	{
		1155	if (config.cpu_active == 1) {
		1156	zones.count = 0;
1981	jermar	1157	spinlock_initialize(&zones.lock, "zones.lock");
3188	jermar	1158	mutex_initialize(&mem_avail_mtx, MUTEX_ACTIVE);
		1159	condvar_initialize(&mem_avail_cv);
814	palkovsky	1160	}
3972	decky	1161
814	palkovsky	1162	/* Tell the architecture to create some memory */
		1163	frame_arch_init();
		1164	if (config.cpu_active == 1) {
2133	jermar	1165	frame_mark_unavailable(ADDR2PFN(KA2PA(config.base)),
		1166	SIZE2FRAMES(config.kernel_size));
		1167	frame_mark_unavailable(ADDR2PFN(KA2PA(config.stack_base)),
		1168	SIZE2FRAMES(config.stack_size));
1037	decky	1169
		1170	count_t i;
2133	jermar	1171	for (i = 0; i < init.cnt; i++) {
		1172	pfn_t pfn = ADDR2PFN(KA2PA(init.tasks[i].addr));
		1173	frame_mark_unavailable(pfn,
		1174	SIZE2FRAMES(init.tasks[i].size));
		1175	}
3972	decky	1176
1894	jermar	1177	if (ballocs.size)
2133	jermar	1178	frame_mark_unavailable(ADDR2PFN(KA2PA(ballocs.base)),
		1179	SIZE2FRAMES(ballocs.size));
3972	decky	1180
1599	palkovsky	1181	/* Black list first frame, as allocating NULL would
3972	decky	1182	* fail in some places
		1183	*/
1599	palkovsky	1184	frame_mark_unavailable(0, 1);
814	palkovsky	1185	}
		1186	}
		1187
3185	jermar	1188	/** Return total size of all zones. */
		1189	uint64_t zone_total_size(void)
		1190	{
3972	decky	1191	ipl_t ipl = interrupts_disable();
2725	decky	1192	spinlock_lock(&zones.lock);
		1193
3972	decky	1194	uint64_t total = 0;
		1195	count_t i;
		1196	for (i = 0; i < zones.count; i++)
		1197	total += (uint64_t) FRAMES2SIZE(zones.info[i].count);
2725	decky	1198
		1199	spinlock_unlock(&zones.lock);
		1200	interrupts_restore(ipl);
		1201
		1202	return total;
		1203	}
		1204
3185	jermar	1205	/** Prints list of zones. */
		1206	void zone_print_list(void)
		1207	{
3972	decky	1208	#ifdef __32_BITS__
3973	decky	1209	printf("# base address frames flags free frames busy frames\n");
		1210	printf("-- ------------ ------------ -------- ------------ ------------\n");
3057	decky	1211	#endif
		1212
		1213	#ifdef __64_BITS__
3973	decky	1214	printf("# base address frames flags free frames busy frames\n");
		1215	printf("-- -------------------- ------------ -------- ------------ ------------\n");
3057	decky	1216	#endif
2712	decky	1217
3205	jermar	1218	/*
		1219	* Because printing may require allocation of memory, we may not hold
		1220	* the frame allocator locks when printing zone statistics. Therefore,
		1221	* we simply gather the statistics under the protection of the locks and
		1222	* print the statistics when the locks have been released.
		1223	*
		1224	* When someone adds/removes zones while we are printing the statistics,
		1225	* we may end up with inaccurate output (e.g. a zone being skipped from
		1226	* the listing).
		1227	*/
3972	decky	1228
		1229	count_t i;
		1230	for (i = 0;; i++) {
		1231	ipl_t ipl = interrupts_disable();
3205	jermar	1232	spinlock_lock(&zones.lock);
		1233
		1234	if (i >= zones.count) {
		1235	spinlock_unlock(&zones.lock);
		1236	interrupts_restore(ipl);
		1237	break;
		1238	}
		1239
3972	decky	1240	uintptr_t base = PFN2ADDR(zones.info[i].base);
3973	decky	1241	count_t count = zones.info[i].count;
3972	decky	1242	zone_flags_t flags = zones.info[i].flags;
		1243	count_t free_count = zones.info[i].free_count;
		1244	count_t busy_count = zones.info[i].busy_count;
		1245
3205	jermar	1246	spinlock_unlock(&zones.lock);
		1247	interrupts_restore(ipl);
3972	decky	1248
		1249	bool available = zone_flags_available(flags);
		1250
3973	decky	1251	printf("%-2" PRIc, i);
		1252
3057	decky	1253	#ifdef __32_BITS__
3973	decky	1254	printf(" %10p", base);
3057	decky	1255	#endif
3972	decky	1256
3057	decky	1257	#ifdef __64_BITS__
3973	decky	1258	printf(" %18p", base);
		1259	#endif
		1260
		1261	printf(" %12" PRIc " %c%c%c ", count,
3972	decky	1262	available ? 'A' : ' ',
		1263	(flags & ZONE_RESERVED) ? 'R' : ' ',
		1264	(flags & ZONE_FIRMWARE) ? 'F' : ' ');
2712	decky	1265
3972	decky	1266	if (available)
		1267	printf("%12" PRIc " %12" PRIc,
		1268	free_count, busy_count);
3973	decky	1269
3972	decky	1270	printf("\n");
676	bondari	1271	}
		1272	}
		1273
1708	jermar	1274	/** Prints zone details.
677	bondari	1275	*
3972	decky	1276	* @param num Zone base address or zone number.
		1277	*
677	bondari	1278	*/
3972	decky	1279	void zone_print_one(count_t num)
3185	jermar	1280	{
3972	decky	1281	ipl_t ipl = interrupts_disable();
814	palkovsky	1282	spinlock_lock(&zones.lock);
3972	decky	1283	count_t znum = (count_t) -1;
		1284
		1285	count_t i;
1037	decky	1286	for (i = 0; i < zones.count; i++) {
3972	decky	1287	if ((i == num) \|\| (PFN2ADDR(zones.info[i].base) == num)) {
		1288	znum = i;
822	palkovsky	1289	break;
		1290	}
676	bondari	1291	}
3972	decky	1292
		1293	if (znum == (count_t) -1) {
3206	jermar	1294	spinlock_unlock(&zones.lock);
		1295	interrupts_restore(ipl);
822	palkovsky	1296	printf("Zone not found.\n");
3206	jermar	1297	return;
822	palkovsky	1298	}
676	bondari	1299
3972	decky	1300	uintptr_t base = PFN2ADDR(zones.info[i].base);
		1301	zone_flags_t flags = zones.info[i].flags;
		1302	count_t count = zones.info[i].count;
		1303	count_t free_count = zones.info[i].free_count;
		1304	count_t busy_count = zones.info[i].busy_count;
		1305
814	palkovsky	1306	spinlock_unlock(&zones.lock);
701	jermar	1307	interrupts_restore(ipl);
3972	decky	1308
		1309	bool available = zone_flags_available(flags);
		1310
		1311	printf("Zone number: %" PRIc "\n", znum);
3206	jermar	1312	printf("Zone base address: %p\n", base);
3972	decky	1313	printf("Zone size: %" PRIc " frames (%" PRIs " KiB)\n", count,
3206	jermar	1314	SIZE2KB(FRAMES2SIZE(count)));
3972	decky	1315	printf("Zone flags: %c%c%c\n",
		1316	available ? 'A' : ' ',
		1317	(flags & ZONE_RESERVED) ? 'R' : ' ',
		1318	(flags & ZONE_FIRMWARE) ? 'F' : ' ');
		1319
		1320	if (available) {
		1321	printf("Allocated space: %" PRIc " frames (%" PRIs " KiB)\n",
		1322	busy_count, SIZE2KB(FRAMES2SIZE(busy_count)));
		1323	printf("Available space: %" PRIc " frames (%" PRIs " KiB)\n",
		1324	free_count, SIZE2KB(FRAMES2SIZE(free_count)));
		1325	}
676	bondari	1326	}
		1327
1757	jermar	1328	/** @}
1702	cejka	1329	*/

Subversion Repositories HelenOS

(root)/trunk/kernel/generic/src/mm/frame.c – Rev 3981