semeventmulti-posix.cpp revision 47d9037afecc80d7a107338f0adfda45c1224fed
/* $Id$ */
/** @file
* IPRT - Multiple Release Event Semaphore, POSIX.
*/
/*
* Copyright (C) 2006-2007 Sun Microsystems, Inc.
*
* This file is part of VirtualBox Open Source Edition (OSE), as
* available from http://www.virtualbox.org. This file is free software;
* General Public License (GPL) as published by the Free Software
* Foundation, in version 2 as it comes in the "COPYING" file of the
* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
*
* The contents of this file may alternatively be used under the terms
* of the Common Development and Distribution License Version 1.0
* (CDDL) only, as it comes in the "COPYING.CDDL" file of the
* VirtualBox OSE distribution, in which case the provisions of the
* CDDL are applicable instead of those of the GPL.
*
* You may elect to license modified versions of this file under the
* terms and conditions of either the GPL or the CDDL or both.
*
* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa
* Clara, CA 95054 USA or visit http://www.sun.com if you need
* additional information or have any questions.
*/
/*******************************************************************************
* Header Files *
*******************************************************************************/
#include <iprt/semaphore.h>
#include <iprt/lockvalidator.h>
#include <errno.h>
#include <pthread.h>
#include <unistd.h>
/*******************************************************************************
* Structures and Typedefs *
*******************************************************************************/
/** Posix internal representation of a Mutex Multi semaphore.
* The POSIX implementation uses a mutex and a condition variable to implement
* the automatic reset event semaphore semantics. */
struct RTSEMEVENTMULTIINTERNAL
{
/** pthread condition. */
/** pthread mutex which protects the condition and the event state. */
/** The state of the semaphore.
* This is operated while owning mutex and using atomic updating. */
/** Number of waiters. */
#ifdef RTSEMEVENTMULTI_STRICT
/** Signallers. */
/** Indicates that lock validation should be performed. */
bool volatile fEverHadSignallers;
#endif
};
/** The valus of the u32State variable in RTSEMEVENTMULTIINTERNAL.
* @{ */
/** The object isn't initialized. */
#define EVENTMULTI_STATE_UNINITIALIZED 0
/** The semaphore is signaled. */
#define EVENTMULTI_STATE_SIGNALED 0xff00ff00
/** The semaphore is not signaled. */
#define EVENTMULTI_STATE_NOT_SIGNALED 0x00ff00ff
/** @} */
{
int rc;
/*
* Allocate semaphore handle.
*/
struct RTSEMEVENTMULTIINTERNAL *pThis = (struct RTSEMEVENTMULTIINTERNAL *)RTMemAlloc(sizeof(struct RTSEMEVENTMULTIINTERNAL));
if (pThis)
{
/*
* Create the condition variable.
*/
if (!rc)
{
if (!rc)
{
/*
* Create the semaphore.
*/
if (!rc)
{
if (!rc)
{
#ifdef RTSEMEVENTMULTI_STRICT
pThis->fEverHadSignallers = false;
#endif
*pEventMultiSem = pThis;
return VINF_SUCCESS;
}
}
}
}
}
else
rc = VERR_NO_MEMORY;
return rc;
}
{
/*
* Validate handle.
*/
if (pThis == NIL_RTSEMEVENTMULTI)
return VINF_SUCCESS;
AssertReturn(u32 == EVENTMULTI_STATE_NOT_SIGNALED || u32 == EVENTMULTI_STATE_SIGNALED, VERR_INVALID_HANDLE);
/*
* Abort all waiters forcing them to return failure.
*/
int rc;
for (int i = 30; i > 0; i--)
{
break;
usleep(1000);
}
if (rc)
{
return RTErrConvertFromErrno(rc);
}
/*
* Destroy the semaphore
* If it's busy we'll wait a bit to give the threads a chance to be scheduled.
*/
for (int i = 30; i > 0; i--)
{
break;
usleep(1000);
}
if (rc)
{
return RTErrConvertFromErrno(rc);
}
/*
* Free the semaphore memory and be gone.
*/
#ifdef RTSEMEVENTMULTI_STRICT
#endif
return VINF_SUCCESS;
}
{
/*
* Validate input.
*/
AssertReturn(u32 == EVENTMULTI_STATE_NOT_SIGNALED || u32 == EVENTMULTI_STATE_SIGNALED, VERR_INVALID_HANDLE);
#ifdef RTSEMEVENTMULTI_STRICT
if (pThis->fEverHadSignallers)
{
if (RT_FAILURE(rc9))
return rc9;
}
#endif
/*
* Lock the mutex semaphore.
*/
if (rc)
{
return RTErrConvertFromErrno(rc);
}
/*
* Check the state.
*/
{
}
{
}
else
/*
* Release the mutex and return.
*/
if (rc)
return RTErrConvertFromErrno(rc);
if (rc2)
return RTErrConvertFromErrno(rc2);
return VINF_SUCCESS;
}
{
/*
* Validate input.
*/
AssertReturn(u32 == EVENTMULTI_STATE_NOT_SIGNALED || u32 == EVENTMULTI_STATE_SIGNALED, VERR_INVALID_HANDLE);
/*
* Lock the mutex semaphore.
*/
if (rc)
{
return RTErrConvertFromErrno(rc);
}
/*
* Check the state.
*/
/*
* Release the mutex and return.
*/
if (rc)
{
return RTErrConvertFromErrno(rc);
}
return VINF_SUCCESS;
}
{
/*
* Validate input.
*/
AssertReturn(u32 == EVENTMULTI_STATE_NOT_SIGNALED || u32 == EVENTMULTI_STATE_SIGNALED, VERR_INVALID_HANDLE);
/*
* Timed or indefinite wait?
*/
if (cMillies == RT_INDEFINITE_WAIT)
{
/* take mutex */
if (rc)
{
return RTErrConvertFromErrno(rc);
}
for (;;)
{
/* check state. */
{
return VINF_SUCCESS;
}
{
return VERR_SEM_DESTROYED;
}
/* wait */
#ifdef RTSEMEVENTMULTI_STRICT
if (pThis->fEverHadSignallers)
{
cMillies, RTTHREADSTATE_EVENT_MULTI, true);
if (RT_FAILURE(rc))
{
return rc;
}
}
#else
#endif
if (rc)
{
return RTErrConvertFromErrno(rc);
}
}
}
else
{
/*
* Get current time and calc end of wait time.
*/
/** @todo Something is braindead here. we're getting occational timeouts after no time has
* elapsed on linux 2.6.23. (ata code typically)
*
* The general problem here is that we're using the realtime clock, i.e. the wall clock
* that is subject to ntp updates and user alteration, so we will have to compenstate
* for this by using RTTimeMilliTS together with the clock_gettime()/gettimeofday() call.
* Joy, oh joy. */
#ifdef RT_OS_DARWIN
#else
#endif
if (cMillies != 0)
{
{
}
}
/* take mutex */
if (rc)
{
return RTErrConvertFromErrno(rc);
}
for (;;)
{
/* check state. */
{
return VINF_SUCCESS;
}
{
return VERR_SEM_DESTROYED;
}
/* we're done if the timeout is 0. */
if (!cMillies)
{
return VERR_TIMEOUT;
}
/* wait */
#ifdef RTSEMEVENTMULTI_STRICT
if (pThis->fEverHadSignallers)
{
cMillies, RTTHREADSTATE_EVENT_MULTI, true);
if (RT_FAILURE(rc))
{
return rc;
}
}
#else
#endif
if (rc && (rc != EINTR || !fAutoResume)) /* according to SuS this function shall not return EINTR, but linux man page says differently. */
{
return RTErrConvertFromErrno(rc);
}
}
}
}
{
return rc;
}
{
}
{
#ifdef RTSEMEVENTMULTI_STRICT
#endif
}
{
#ifdef RTSEMEVENTMULTI_STRICT
#endif
}
{
#ifdef RTSEMEVENTMULTI_STRICT
#endif
}