rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2019-08-16	Document the mutex API, fix spin lock documentation	Richard Braun

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-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-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.
2018-01-16	Clean up init op dependencies between syscnt and mutex	Richard Braun

2017-09-21	New build system	Richard Braun
	The new build system, called xbuild, is a minimalistic kbuild-like make-based build system, also using kconfig for scalable configurations.
2017-09-02	Rework the build system	Richard Braun

2017-08-27	kern/mutex: add timed waits to the mutex interface	Richard Braun

2017-07-21	Merge branch 'adaptive_spinning'	Richard Braun

2017-07-21	kern/mutex: new adaptive spinning mutex implementation	Agustina Arzille

2017-07-21	Rework mutex implementation selection	Agustina Arzille

2017-07-13	Switch to initialization operations	Richard Braun

2017-05-30	Move assert.h to the include directory	Richard Braun
	This turns assert.h into a standard header.
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-09	kern/{mutex,rtmutex}: normalize fast path names	Richard Braun

2017-03-04	kern/mutex: implement the --enable-mutex-pi option	Richard Braun
	This option turns all regular mutexes into real-time mutexes.
2017-03-04	kern/{condition,mutex}: reimplement on top of sleep queues	Richard Braun

2017-02-10	kern/mutex: make mutex_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-08-15	Remove static initializer macros	Richard Braun
	These initializers are unnecessary, unused, and cumbersome to maintain.
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,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

2013-04-13	kern/mutex: new mutex_assert_locked macro	Richard Braun

2013-04-08	kern/mutex: new module	Richard Braun
	As the name implies, this module provides sleepable mutual exclusion locks.