rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2018-07-30	Rework assertive functions	Richard Braun
	Instead of combining assertions and checking into single functions, rework those into pure checking functions usable with assert(). Those functions were introduced because of warnings about unused functions/variables caused by an earlier implementation of assert().
2018-07-10	kern/sleepq: make disabling interrupts optional	Richard Braun
	Commit d2a89f7f6e976d022527c2a5a1c75268aab8cd49 changed sleep queues to allow semaphores to be signalled from interrupt handlers, but this implied disabling interrupts for all synchronization objects, and most of them do not require interrupts to be disabled. The sleep queue interface is augmented with interrupt-related versions.
2018-01-30	Fix condition variable broadcasting	Richard Braun
	The broadcast implementation is based on an invalid assumption, namely that the first mutex_unlock call following condition_wait would be invoked on the same mutex. Fixing this while guarding against the thundering herd effect requires augmenting mutexes with a pointer to the condition variable they may be associated with. Since the size of mutexes is currently more important than broadcast scalability, the implementation is simplified into one which suffers from the thundering herd effect.
2017-12-03	Revert "Make assert have no side effects"	Richard Braun
	This reverts commit d18d0e85596f90e0bd597b33d58209d0b3973c95.
2017-09-02	Make assert have no side effects	Richard Braun
	This makes sure symbols referenced by assert uses may not be generated if unused. The recently introduced __unused macro is used to suppress compiler warnings resulting from this change.
2017-08-27	kern/condition: implement timed waits	Richard Braun

2017-05-30	Move assert.h to the include directory	Richard Braun
	This turns assert.h into a standard header.
2017-03-17	kern/sleepq: also disable interrupts during critical sections	Richard Braun

2017-03-17	kern/{condition,mutex}: include stdbool.h	Richard Braun

2017-03-04	kern/{condition,mutex}: reimplement on top of sleep queues	Richard Braun

2017-02-04	Clean up compilation	Richard Braun
	Instead of mixing standard headers and internal redefinitions of standard types, completely rely on the compiler for what is guaranteed for a free standing environment. This results in the removal of kern/stddef.h and kern/stdint.h. The kern/types.h header is reintroduced for the different (and saner) purpose of defining types not specified in standard C, namely ssize_t for now.
2017-02-04	kern/types: split into module-specific type headers	Richard Braun
	Using a single header for all types causing inclusion circular dependencies isn't very elegant and doesn't scale.
2016-12-09	Force brackets around one-line conditional statements	Richard Braun
	This change was done using astyle, with a few manual editing here and there.
2014-06-18	kern/thread: add thread_join	Richard Braun
	This change affects more files than it apparently would at first glance. This is because circular dependencies can easily be created between the thread, mutex, condition and spinlock modules. As a result, some of the types of these modules are now defined in kern/types.h.
2014-01-03	Update calls to atomic operations	Richard Braun
	Make spin locks and mutexes encode their state on an int rather than a long.
2013-04-14	kern/condition: make condition_init an inline function	Richard Braun

2013-04-14	kern/{condition,mutex}: refactor common code	Richard Braun
	The condition module intrusively uses mutexes. Augment the interface of the mutex module so that mutexes and conditions share common code. As a side effect, the implementation should have gained in clarity.
2013-04-14	kern/condition: new module	Richard Braun