rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
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.
2017-08-27	kern/condition: implement timed waits	Richard Braun

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

2017-02-06	kern/condition: add missing condition-variable public declaration	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.
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.
2013-04-14	kern/condition: make condition_init an inline function	Richard Braun

2013-04-14	kern/condition: new module	Richard Braun