rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2017-03-17	kern/semaphore: new module	Richard Braun

2017-03-17	kern/turnstile: very early initialization	Richard Braun

2017-03-17	kern/sleepq: very early initialization	Richard Braun

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

2017-03-17	Merge remote-tracking branch 'avarzille/thread_stack_guard'	Richard Braun

2017-03-17	kern/thread: implement optional stack guards	Agustina Arzille

2017-03-16	kern/thread: improve description of thread locking	Richard Braun

2017-03-16	Update system counter names	Richard Braun
	Now that event counters have been replaced with system counters, drop the convention of naming the counter as the event it tracks.
2017-03-15	test/test_mutex_pi: periodically report the number of priority boosts	Richard Braun

2017-03-15	kern/thread: count thread priority boosts	Richard Braun

2017-03-15	kern/syscnt: fix syscnt_read on 32-bits architectures	Richard Braun

2017-03-15	kern/work: move work_pool_init and work_setup to the .init section	Richard Braun

2017-03-15	kern/syscnt: replace the evcnt module	Richard Braun
	The syscnt module supports more generic counters, in addition to atomic access from any context on any architecture.
2017-03-14	INSTALL: improve description of the --enable-mutex-pi option	Richard Braun

2017-03-14	kern/thread: remove irrelevant TODOs	Richard Braun

2017-03-14	x86/boot: remove obsolete TODO	Richard Braun

2017-03-14	x86: use AX_APPEND_COMPILE_FLAGS for instruction set related options	Richard Braun

2017-03-14	configure.ac: disable PIE if enabled by default	Richard Braun
	In order to append the required flags only if they are supported by the compiler, import a set of m4 macros from autoconf-archive.
2017-03-14	kern/sref: make manager threads use a high fair-scheduling priority	Richard Braun

2017-03-14	x86/pmap: make syncer threads use a high fair-scheduling priority	Richard Braun

2017-03-14	x86/trap: print interrupted thread on double fault	Richard Braun

2017-03-14	kern/thread: set a name for boot thread contexts	Richard Braun

2017-03-14	Use the X15 namespace consistently for macros defined by autoconf	Richard Braun

2017-03-13	x86/atomic: minor change	Richard Braun
	Normalize backspace indentation in macros.
2017-03-13	kern/thread: reduce the number of real-time priorities to 32	Richard Braun

2017-03-13	Remove unneeded quotes when using #error	Richard Braun

2017-03-13	Include a script for testing with QEMU	Richard Braun

2017-03-06	x86/pmap: use spinlocks for sync requests	Richard Braun

2017-03-04	Add missing braces for one-line blocks	Richard Braun

2017-03-04	Fix typos	Richard Braun

2017-03-04	Merge branch 'sleep_rework'	Richard Braun

2017-03-04	kern/thread: minor changes in comments	Richard Braun

2017-03-04	kern/task: improve task_info	Richard Braun

2017-03-04	test/test_mutex_pi: new test module	Richard Braun
	This test module checks most of the guarantees expected from mutexes with priority inheritance.
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/rtmutex: new module	Richard Braun
	The rtmutex provides real-time mutexes, i.e. mutexes for which priority inheritance is unconditionally enabled.
2017-03-04	kern/{condition,mutex}: reimplement on top of sleep queues	Richard Braun

2017-03-04	kern/{thread,turnstile}: implement priority inheritance	Richard Braun
	The new turnstile module provides priority propagation capable sleep queues, tightly coupled with the scheduler, and can be used to implement synchronization facilities with priority inheritance.
2017-03-04	kern/thread: fix thread_sched_class_to_str argument name	Richard Braun

2017-03-04	kern/thread: fix thread_setscheduler	Richard Braun
	Make thread_setscheduler correctly handle a transient state made possible by the way the thread_wakeup function works.
2017-03-04	kern/plist: new module	Richard Braun
	This module implements priority lists, useful to store entries sorted by their priority.
2017-03-04	kern/sleepq: new module	Richard Braun
	This module provides simple generic sleep queues that can be used to implement higher level synchronization facilities such as mutexes and condition variables.
2017-02-28	kern/thread: assert wait channels are valid when sleeping	Richard Braun

2017-02-26	x86/trap: print interrupt thread info on unhandled trap	Richard Braun

2017-02-20	kern/spinlock: make spinlock_trylock return ERROR_BUSY instead of 1	Richard Braun

2017-02-20	test/test_llsync_defer: use a macro to throttle reports	Richard Braun

2017-02-20	x86/trap: reduce trap frame size on i386	Richard Braun

2017-02-20	x86/trap: fix formatting	Richard Braun
	In particular, store segments in 16-bits variables (i386 only), since the pushl instruction only pushes 16-bits values on the stack, leaving the other two bytes undefined.
2017-02-14	kern/thread: add reference counter	Richard Braun
	Counting thread references seems unavoidable for the near-future changes that are currently brewing.
2017-02-13	kern/thread: make the global priority of fair-scheduling threads equal	Richard Braun