2007-08-10 00:03:17 +04:00
|
|
|
/*
|
* Introduced a set of functions (thread_prepare_to_block(),
thread_block(), thread_unblock(),...) that allow a thread to wait for
something without needing a semaphore or condition variable. It can
simply block and another thread can unblock it. Supports timeouts and
interrupting. Both semaphores and condition variables use this
common mechanism, now.
* Semaphores:
- Some simplifications due to the thread blocking mechanism.
- Changed locking order to sem -> thread. It was the other way around
before and when introducing the wait_for_objects() support I had
also introduced a situation where the locking was reverse, which
could potentially cause a dead lock on SMP systems.
- Instead of queueing thread structures, a semaphore queues
queued_thread entries now, which are created on the stack. The
thread::sem structure could thus be removed.
- Added sem_entry::net_count, which is sem_entry::count plus the
acquisition count of all waiting threads. This number is needed in
remove_thread_from_sem() and instead of computing it there we
maintain it.
- Fixed remove_thread_from_sem(). It would not unblock threads, if
the sem count was <= 0.
- Made sem::last_acquirer unconditional. It is actually needed for
sem_info::latest_holder. Fixed fill_sem_info() accordingly.
- Added some optional tracing output, though only via ktrace_printf().
* Condition variables:
- Could be simplified significantly through the use of the thread
blocking mechanism. Removed a good deal of unnecessary code.
- Moved the ConditionVariableEntry "flags" parameter from Wait() to
Add(), and adjusted all places where condition variables are used
accordingly.
* snooze() uses thread_block_with_timeout() instead of a semaphore.
* Simplified thread interrupting in the signal and user debugger code.
Instead of separate functions for threads waiting on a semaphore or
condititon variable, we only have a single thread_interrupt(), now.
git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@25099 a95241bf-73f2-0310-859d-f6bbb57e9c96
2008-04-22 20:22:42 +04:00
|
|
|
* Copyright 2007-2008, Ingo Weinhold, bonefish@cs.tu-berlin.de.
|
2007-08-10 00:03:17 +04:00
|
|
|
* Distributed under the terms of the MIT License.
|
|
|
|
*/
|
|
|
|
#ifndef _KERNEL_CONDITION_VARIABLE_H
|
|
|
|
#define _KERNEL_CONDITION_VARIABLE_H
|
|
|
|
|
|
|
|
|
|
|
|
#include <OS.h>
|
|
|
|
|
2007-09-03 02:21:26 +04:00
|
|
|
#include <debug.h>
|
|
|
|
|
2007-08-10 00:03:17 +04:00
|
|
|
#ifdef __cplusplus
|
|
|
|
|
2008-04-20 19:19:48 +04:00
|
|
|
#include <util/DoublyLinkedList.h>
|
2007-08-10 00:03:17 +04:00
|
|
|
#include <util/OpenHashTable.h>
|
|
|
|
|
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
class ConditionVariable;
|
2007-08-10 00:03:17 +04:00
|
|
|
|
2007-08-27 03:53:12 +04:00
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
struct ConditionVariableEntry
|
|
|
|
: DoublyLinkedListLinkImpl<ConditionVariableEntry> {
|
2007-08-27 03:53:12 +04:00
|
|
|
public:
|
2007-09-03 02:21:26 +04:00
|
|
|
#if KDEBUG
|
2008-04-22 22:32:15 +04:00
|
|
|
inline ConditionVariableEntry();
|
|
|
|
inline ~ConditionVariableEntry();
|
2007-09-03 02:21:26 +04:00
|
|
|
#endif
|
|
|
|
|
2008-05-17 14:21:37 +04:00
|
|
|
bool Add(const void* object);
|
|
|
|
status_t Wait(uint32 flags = 0, bigtime_t timeout = 0);
|
2008-04-23 01:46:23 +04:00
|
|
|
status_t Wait(const void* object, uint32 flags = 0,
|
|
|
|
bigtime_t timeout = 0);
|
2007-08-27 03:53:12 +04:00
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
inline ConditionVariable* Variable() const { return fVariable; }
|
|
|
|
|
2008-04-23 01:46:23 +04:00
|
|
|
private:
|
2008-07-17 02:43:50 +04:00
|
|
|
inline void AddToVariable(ConditionVariable* variable);
|
2008-04-23 01:46:23 +04:00
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
private:
|
|
|
|
ConditionVariable* fVariable;
|
2007-08-10 00:03:17 +04:00
|
|
|
struct thread* fThread;
|
2008-05-17 14:21:37 +04:00
|
|
|
status_t fWaitStatus;
|
2007-08-27 03:53:12 +04:00
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
friend class ConditionVariable;
|
2007-08-10 00:03:17 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
class ConditionVariable : protected HashTableLink<ConditionVariable> {
|
2007-08-10 00:03:17 +04:00
|
|
|
public:
|
2008-04-23 01:46:23 +04:00
|
|
|
void Init(const void* object,
|
|
|
|
const char* objectType);
|
|
|
|
// for anonymous (unpublished) cvars
|
|
|
|
|
2007-08-10 00:03:17 +04:00
|
|
|
void Publish(const void* object,
|
|
|
|
const char* objectType);
|
2008-04-22 22:32:15 +04:00
|
|
|
void Unpublish(bool threadsLocked = false);
|
|
|
|
|
|
|
|
inline void NotifyOne(bool threadsLocked = false);
|
|
|
|
inline void NotifyAll(bool threadsLocked = false);
|
|
|
|
|
2008-07-17 02:43:50 +04:00
|
|
|
void Add(ConditionVariableEntry* entry);
|
2008-04-23 01:46:23 +04:00
|
|
|
|
2008-07-23 00:36:32 +04:00
|
|
|
status_t Wait(uint32 flags = 0, bigtime_t timeout = 0);
|
|
|
|
// all-in one, i.e. doesn't need a
|
|
|
|
// ConditionVariableEntry
|
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
const void* Object() const { return fObject; }
|
|
|
|
|
|
|
|
static void ListAll();
|
|
|
|
void Dump() const;
|
2007-08-10 00:03:17 +04:00
|
|
|
|
|
|
|
private:
|
2008-04-22 22:32:15 +04:00
|
|
|
void _Notify(bool all, bool threadsLocked);
|
|
|
|
void _NotifyChecked(bool all, status_t result);
|
2007-08-10 00:03:17 +04:00
|
|
|
|
|
|
|
protected:
|
2008-04-22 22:32:15 +04:00
|
|
|
typedef DoublyLinkedList<ConditionVariableEntry> EntryList;
|
2008-04-20 19:19:48 +04:00
|
|
|
|
2007-08-10 00:03:17 +04:00
|
|
|
const void* fObject;
|
|
|
|
const char* fObjectType;
|
2008-04-20 19:19:48 +04:00
|
|
|
EntryList fEntries;
|
2007-08-10 00:03:17 +04:00
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
friend class ConditionVariableEntry;
|
2007-08-10 00:03:17 +04:00
|
|
|
friend class ConditionVariableHashDefinition;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
#if KDEBUG
|
2007-08-10 00:03:17 +04:00
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
inline
|
|
|
|
ConditionVariableEntry::ConditionVariableEntry()
|
|
|
|
: fVariable(NULL)
|
2007-08-10 00:03:17 +04:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
inline
|
|
|
|
ConditionVariableEntry::~ConditionVariableEntry()
|
2007-08-10 00:03:17 +04:00
|
|
|
{
|
2008-04-22 22:32:15 +04:00
|
|
|
if (fVariable != NULL) {
|
|
|
|
panic("Destroying condition variable entry %p, but it's still "
|
|
|
|
"attached to variable %p\n", this, fVariable);
|
|
|
|
}
|
2007-08-10 00:03:17 +04:00
|
|
|
}
|
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
#endif
|
2007-08-10 00:03:17 +04:00
|
|
|
|
|
|
|
|
2007-08-27 03:53:12 +04:00
|
|
|
inline void
|
2008-04-22 22:32:15 +04:00
|
|
|
ConditionVariable::NotifyOne(bool threadsLocked)
|
2007-08-10 00:03:17 +04:00
|
|
|
{
|
2008-04-22 22:32:15 +04:00
|
|
|
_Notify(false, threadsLocked);
|
2007-08-10 00:03:17 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-04-22 22:32:15 +04:00
|
|
|
inline void
|
|
|
|
ConditionVariable::NotifyAll(bool threadsLocked)
|
2007-08-27 03:53:12 +04:00
|
|
|
{
|
2008-04-22 22:32:15 +04:00
|
|
|
_Notify(true, threadsLocked);
|
2007-08-27 03:53:12 +04:00
|
|
|
}
|
2007-08-10 00:03:17 +04:00
|
|
|
|
|
|
|
|
|
|
|
extern "C" {
|
|
|
|
#endif // __cplusplus
|
|
|
|
|
|
|
|
extern void condition_variable_init();
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
} // extern "C"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* _KERNEL_CONDITION_VARIABLE_H */
|