2000-02-17 20:38:33 +01:00
|
|
|
/* sync.cc: Synchronization functions for cygwin.
|
|
|
|
|
|
|
|
This file implements the methods for controlling the "muto" class
|
|
|
|
which is intended to operate similarly to a mutex but attempts to
|
|
|
|
avoid making expensive calls to the kernel.
|
|
|
|
|
2012-12-21 22:30:56 +01:00
|
|
|
Copyright 2000, 2001, 2002, 2003, 2004, 2005, 2008, 2009, 2010, 2011, 2012
|
|
|
|
Red Hat, Inc.
|
2000-02-17 20:38:33 +01:00
|
|
|
|
|
|
|
This file is part of Cygwin.
|
|
|
|
|
|
|
|
This software is a copyrighted work licensed under the terms of the
|
|
|
|
Cygwin license. Please consult the file "CYGWIN_LICENSE" for
|
|
|
|
details. */
|
|
|
|
|
2000-08-02 18:28:18 +02:00
|
|
|
#include "winsup.h"
|
2008-04-07 18:15:45 +02:00
|
|
|
#include "miscfuncs.h"
|
2000-08-22 07:10:20 +02:00
|
|
|
#include "sync.h"
|
2004-05-16 06:18:50 +02:00
|
|
|
#include "thread.h"
|
|
|
|
#include "cygtls.h"
|
2000-02-17 20:38:33 +01:00
|
|
|
|
2000-05-18 05:20:01 +02:00
|
|
|
#undef WaitForSingleObject
|
|
|
|
|
2009-01-03 06:12:22 +01:00
|
|
|
muto NO_COPY lock_process::locker;
|
2005-03-06 21:21:30 +01:00
|
|
|
|
2004-05-16 06:18:50 +02:00
|
|
|
void
|
|
|
|
muto::grab ()
|
|
|
|
{
|
|
|
|
tls = &_my_tls;
|
|
|
|
}
|
|
|
|
|
2000-02-17 20:38:33 +01:00
|
|
|
/* Constructor */
|
2002-02-14 22:20:06 +01:00
|
|
|
muto *
|
2002-02-17 05:59:55 +01:00
|
|
|
muto::init (const char *s)
|
2000-02-17 20:38:33 +01:00
|
|
|
{
|
2013-04-23 11:44:36 +02:00
|
|
|
char *already_exists = (char *) InterlockedExchangePointer ((PVOID *) &name,
|
|
|
|
(PVOID) s);
|
2005-03-08 06:05:02 +01:00
|
|
|
if (already_exists)
|
|
|
|
while (!bruteforce)
|
2010-03-13 00:13:48 +01:00
|
|
|
yield ();
|
2005-03-08 06:05:02 +01:00
|
|
|
else
|
2000-02-17 20:38:33 +01:00
|
|
|
{
|
2005-03-06 21:21:30 +01:00
|
|
|
waiters = -1;
|
|
|
|
/* Create event which is used in the fallback case when blocking is necessary */
|
2005-03-08 06:05:02 +01:00
|
|
|
bruteforce = CreateEvent (&sec_none_nih, FALSE, FALSE, NULL);
|
|
|
|
if (!bruteforce)
|
|
|
|
api_fatal ("couldn't allocate muto '%s', %E", s);
|
2000-02-17 20:38:33 +01:00
|
|
|
}
|
2005-03-08 06:05:02 +01:00
|
|
|
|
2002-02-14 22:20:06 +01:00
|
|
|
return this;
|
2000-02-17 20:38:33 +01:00
|
|
|
}
|
|
|
|
|
2002-02-14 22:20:06 +01:00
|
|
|
#if 0 /* FIXME: Do we need this? mutos aren't destroyed until process exit */
|
2000-03-15 05:49:36 +01:00
|
|
|
/* Destructor (racy?) */
|
2000-02-17 20:38:33 +01:00
|
|
|
muto::~muto ()
|
|
|
|
{
|
2000-03-15 05:49:36 +01:00
|
|
|
while (visits)
|
|
|
|
release ();
|
|
|
|
|
|
|
|
HANDLE h = bruteforce;
|
2001-09-17 05:05:05 +02:00
|
|
|
bruteforce = NULL;
|
2000-02-17 20:38:33 +01:00
|
|
|
/* Just need to close the event handle */
|
2000-03-15 05:49:36 +01:00
|
|
|
if (h)
|
|
|
|
CloseHandle (h);
|
2000-02-17 20:38:33 +01:00
|
|
|
}
|
2002-02-14 22:20:06 +01:00
|
|
|
#endif
|
2000-02-17 20:38:33 +01:00
|
|
|
|
|
|
|
/* Acquire the lock. Argument is the number of milliseconds to wait for
|
|
|
|
the lock. Multiple visits from the same thread are allowed and should
|
2000-02-24 03:49:44 +01:00
|
|
|
be handled correctly.
|
|
|
|
|
|
|
|
Note: The goal here is to minimize, as much as possible, calls to the
|
2001-05-04 23:02:15 +02:00
|
|
|
OS. Hence the use of InterlockedIncrement, etc., rather than (much) more
|
2011-11-29 18:26:57 +01:00
|
|
|
expensive OS mutexes. */
|
2000-02-17 20:38:33 +01:00
|
|
|
int
|
|
|
|
muto::acquire (DWORD ms)
|
|
|
|
{
|
2004-05-16 06:18:50 +02:00
|
|
|
void *this_tls = &_my_tls;
|
2000-02-17 20:38:33 +01:00
|
|
|
|
2004-05-16 06:18:50 +02:00
|
|
|
if (tls != this_tls)
|
2000-02-17 20:38:33 +01:00
|
|
|
{
|
|
|
|
/* Increment the waiters part of the class. Need to do this first to
|
|
|
|
avoid potential races. */
|
2004-03-15 16:50:20 +01:00
|
|
|
LONG was_waiting = ms ? InterlockedIncrement (&waiters) : 0;
|
|
|
|
|
|
|
|
while (was_waiting || InterlockedExchange (&sync, 1) != 0)
|
2005-06-05 06:07:46 +02:00
|
|
|
switch (WaitForSingleObject (bruteforce, ms))
|
|
|
|
{
|
|
|
|
case WAIT_OBJECT_0:
|
|
|
|
was_waiting = 0;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
return 0; /* failed. */
|
|
|
|
}
|
2004-03-15 16:50:20 +01:00
|
|
|
|
|
|
|
/* Have to do it this way to avoid a race */
|
|
|
|
if (!ms)
|
|
|
|
InterlockedIncrement (&waiters);
|
|
|
|
|
2004-05-16 06:18:50 +02:00
|
|
|
tls = this_tls; /* register this thread. */
|
2000-02-17 20:38:33 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
return ++visits; /* Increment visit count. */
|
|
|
|
}
|
|
|
|
|
2004-05-16 06:18:50 +02:00
|
|
|
bool
|
|
|
|
muto::acquired ()
|
|
|
|
{
|
|
|
|
return tls == &_my_tls;
|
|
|
|
}
|
|
|
|
|
2000-02-17 20:38:33 +01:00
|
|
|
/* Return the muto lock. Needs to be called once per every acquire. */
|
|
|
|
int
|
2012-12-21 22:30:56 +01:00
|
|
|
muto::release (_cygtls *this_tls)
|
2000-02-17 20:38:33 +01:00
|
|
|
{
|
2004-05-16 06:18:50 +02:00
|
|
|
if (tls != this_tls || !visits)
|
2000-02-17 20:38:33 +01:00
|
|
|
{
|
|
|
|
SetLastError (ERROR_NOT_OWNER); /* Didn't have the lock. */
|
|
|
|
return 0; /* failed. */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* FIXME: Need to check that other thread has not exited, too. */
|
|
|
|
if (!--visits)
|
|
|
|
{
|
2004-05-16 06:18:50 +02:00
|
|
|
tls = 0; /* We were the last unlocker. */
|
2005-07-06 22:05:03 +02:00
|
|
|
InterlockedExchange (&sync, 0); /* Reset trigger. */
|
2000-02-17 20:38:33 +01:00
|
|
|
/* This thread had incremented waiters but had never decremented it.
|
|
|
|
Decrement it now. If it is >= 0 then there are possibly other
|
2004-03-15 16:50:20 +01:00
|
|
|
threads waiting for the lock, so trigger bruteforce. */
|
2001-05-04 23:02:15 +02:00
|
|
|
if (InterlockedDecrement (&waiters) >= 0)
|
2005-07-06 22:05:03 +02:00
|
|
|
SetEvent (bruteforce); /* Wake up one of the waiting threads */
|
2004-05-16 06:18:50 +02:00
|
|
|
else if (*name == '!')
|
|
|
|
{
|
|
|
|
CloseHandle (bruteforce); /* If *name == '!' and there are no
|
|
|
|
other waiters, then this is the
|
|
|
|
last time this muto will ever be
|
|
|
|
used, so close the handle. */
|
|
|
|
#ifdef DEBUGGING
|
|
|
|
bruteforce = NULL;
|
|
|
|
#endif
|
|
|
|
}
|
2000-02-17 20:38:33 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
return 1; /* success. */
|
|
|
|
}
|