rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2018-04-19	kern/atomic: remove shortcuts	Richard Braun
	These shortcuts just don't bring enough value.
2018-03-02	kern/spinlock: fix and optimize	Richard Braun
	Making the unlock operation block allows tricky deadlocks to occur in case a thread is interrupted right before announcing itself as the first waiter in the queue. Since locking is expected to block, the spinlock implementation is reworked to move the hand-off performed by the unlock operation into the lock operation. As a side effect, the common case of a single waiter is also optimized.
2018-03-02	kern/spinlock: fix direct use of CONFIG_SPINLOCK_DEBUG	Richard Braun

2018-02-24	New errno.h standard header	Richard Braun
	Use standard errno codes. This change also adds strerror to string.h.
2018-02-24	Don't use reserved identifiers	Richard Braun

2018-02-22	kern/spinlock: add ownership tracking as a debugging feature	Richard Braun

2017-05-30	Move assert.h to the include directory	Richard Braun
	This turns assert.h into a standard header.
2017-05-09	Replace sequential consistency with more efficient orders	Agustina Arzille

2017-04-09	kern/{mutex,rtmutex,spinlock}: optimize fast paths	Richard Braun
	Rework so that fast paths occupy the first indentation level, and use the unlikely macro on the relevant conditions.
2017-04-04	Use the new atomic operations interface	Agustina Arzille
	Stick to a sequentially consistent model for most atomic operations as it matches the semantics of the existing code. Each call site will have to be reevaluated in order to switch to more relaxed accesses where possible.
2017-04-03	kern/spinlock: new fair and scalable implementation	Richard Braun
	This new implementation, based on the MCS locks, provides rigorous fairness and excellent scalability.
2017-02-20	kern/spinlock: make spinlock_trylock return ERROR_BUSY instead of 1	Richard Braun

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-03	kern/spinlock: replace compare-and-swap with a simpler exchange	Richard Braun

2013-04-03	kern/spinlock: change the interface of trylock functions	Richard Braun
	Make trylock functions behave as error-returning functions.
2013-02-26	kern/spinlock: add interrupt-handling locking primitives	Richard Braun