firebird-mirror/src/jrd/inuse.cpp

/*
 *	PROGRAM:	JRD Access Method
 *	MODULE:		inuse.cpp
 *	DESCRIPTION:	Keep track of objects that are in use
 *
 * The contents of this file are subject to the Interbase Public
 * License Version 1.0 (the "License"); you may not use this file
 * except in compliance with the License. You may obtain a copy
 * of the License at http://www.Inprise.com/IPL.html
 *
 * Software distributed under the License is distributed on an
 * "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, either express
 * or implied. See the License for the specific language governing
 * rights and limitations under the License.
 *
 * The Original Code was created by Inprise Corporation
 * and its predecessors. Portions created by Inprise Corporation are
 * Copyright (C) Inprise Corporation.
 *
 * All Rights Reserved.
 * Contributor(s): ______________________________________.
 */

#include "firebird.h"
#include "../jrd/common.h"
#include <stdio.h>
#include "../jrd/jrd.h"
#include "../jrd/gds_proto.h"
#include "../jrd/inuse_proto.h"
#include "../jrd/thd.h"

static void cleanup(void *);
static void init(void);

static IUO free_list = NULL;
static Firebird::Mutex inuse_mutex;
static bool initialized = false;


bool INUSE_cleanup(IUO inuse, FPTR_VOID_PTR cleanup_routine)
{
/**************************************
 *
 *	I N U S E _ c l e a n u p
 *
 **************************************
 *
 * Functional description
 *	Cleanup an in-use structure.  If any
 *	objects are found to be non-NULL,
 *	call the cleanup routine.  Return true
 *	if there was something to do.
 *
 **************************************/
	bool needed_cleaning = false;
	IUO secondary_inuse = inuse->iuo_next;
	do {
		void** ptr = inuse->iuo_object;
		for (const void* const* const end = ptr + inuse->iuo_in_use_count;
			ptr < end; ptr++)
		{
			if (*ptr) {
				// dimitr:	this assert is put temporarily in order to track
				//			mutexes that could be left acquired when we leave
				//			the JRD context
				fb_assert(false);
				(*cleanup_routine) (*ptr);
				needed_cleaning = true;
			}
		}
		inuse->iuo_in_use_count = 0;
	} while (inuse = inuse->iuo_next);

	if (secondary_inuse) {
		IUO* secondary_end_ptr = &secondary_inuse->iuo_next;
		while (*secondary_end_ptr)
			secondary_end_ptr = &(*secondary_end_ptr)->iuo_next;
		inuse_mutex.enter();
		*secondary_end_ptr = free_list;
		free_list = secondary_inuse;
		inuse_mutex.leave();
	}

	return needed_cleaning;
}


void INUSE_clear(IUO inuse)
{
/**************************************
 *
 *	I N U S E _ c l e a r
 *
 **************************************
 *
 * Functional description
 *	Initialize an in-use block.
 *
 **************************************/

	if (!initialized)
		init();

	inuse->iuo_in_use_count = 0;
	inuse->iuo_next = NULL;
}


bool INUSE_insert(IUO inuse, void *new_object, bool dup_flag)
{
/**************************************
 *
 *	I N U S E _ i n s e r t
 *
 **************************************
 *
 * Functional description
 *	Insert an object into an in-use structure.
 *	If dup_flag is true, then duplicate entries
 *	are permitted.  If it is false, then a
 *	duplicate entry will not be inserted.
 *	Return true if the object was inserted.
 *
 **************************************/
 	// "end" moves backwards in this loop.
	void** ptr = inuse->iuo_object;
	for (const void* const* end = ptr + inuse->iuo_in_use_count;
		ptr < end; ptr++)
	{
		if (!*ptr) {
			if (!dup_flag)
				while (ptr < --end)
					if (*end == new_object)
						return false;
			*ptr = new_object;
			return true;
		}
		else if (!dup_flag && *ptr == new_object)
			return false;
	}

	if (inuse->iuo_in_use_count >= FB_NELEM(inuse->iuo_object)) {
#ifdef DEV_BUILD
		gds__log("in-use block overflow. secondary block allocated.");
#endif
		inuse_mutex.enter();
		IUO new_inuse = free_list;
		if (new_inuse) {
			free_list = new_inuse->iuo_next;
			inuse_mutex.leave();
		}
		else {
			inuse_mutex.leave();
			new_inuse = (IUO) gds__alloc((SLONG) sizeof(struct iuo));
			/* FREE: at process exit, by cleanup handler cleanup() in this module */
			if (!new_inuse) {	/* NOMEM: */
				DEV_REPORT("INUSE_insert: out of memory");
				return false;	/* error handling too difficult */
			}
		}
		INUSE_clear(new_inuse);
		inuse->iuo_next = new_inuse;
		inuse = new_inuse;
	}

	inuse->iuo_object[inuse->iuo_in_use_count++] = new_object;

	return true;
}


bool INUSE_remove(IUO inuse, void* old_object, bool dup_flag)
{
/**************************************
 *
 *	I N U S E _ r e m o v e
 *
 **************************************
 *
 * Functional description
 *	Remove an object from an in-use structure.
 *	If dup_flag is true, remove every occurrence
 *	of the object.  Otherwise, only remove the
 *	first.  Return true if an object was removed.
 *
 **************************************/
	bool removed = false;
	do {
	    // "end" moves backwards here
		void** ptr = inuse->iuo_object;
		for (const void* const* end = ptr + inuse->iuo_in_use_count;
			ptr < end; ptr++)
		{
			if (*ptr == old_object) {
				*ptr = NULL;
				if (ptr + 1 == end)
					while (!*(--end) && --inuse->iuo_in_use_count);
				if (!dup_flag)
					return true;
				removed = true;
			}
		}
	} while (inuse = inuse->iuo_next);

	return removed;
}


static void cleanup(void *arg)
{
/**************************************
 *
 *	c l e a n u p
 *
 **************************************
 *
 * Functional description
 *
 **************************************/
	while (free_list) {
		IUO iuo = free_list;
		free_list = iuo->iuo_next;
		gds__free(iuo);
	}

	initialized = false;
}


static void init(void)
{
/**************************************
 *
 *	i n i t
 *
 **************************************
 *
 * Functional description
 *
 **************************************/

	if (!initialized) {
		THD_GLOBAL_MUTEX_LOCK;
		if (!initialized) {
			gds__register_cleanup(cleanup, 0);
			initialized = true;
		}
		THD_GLOBAL_MUTEX_UNLOCK;
	}
}