rbraun/x15.git - The X15 microkernel

Age	Commit message (Expand)	Author
2019-09-13	Fix the documentation according to the memory modelmemory_model_dev	Richard Braun
2019-08-23	Slight improvement of the memory model man page	Richard Braun
2019-08-20	Slightly improve the implementation section	Richard Braun
2019-08-20	SLightly improve the definition of strong sequencing	Richard Braun
2019-08-20	Add content to the memory man page	Richard Braun
2019-08-20	Edit the memory model man page	Richard Braun
2019-08-19	Add a man page for the memory model (incomplete)	Richard Braun
2019-08-19	Describe thread_sleep and thread_delay	Richard Braun
2019-08-19	Document thread_delay	Richard Braun
2019-08-19	Remove all mentions of "barriers" in the cpu module	Richard Braun
2019-08-16	Don't define cpu_delay as a compiler barrier	Richard Braun
2019-08-16	Remove the barrier macro	Richard Braun
2019-08-16	Use atomic signal fences in the x86 local atomic implementation	Richard Braun
2019-08-16	Remove a mention of compiler barrier	Richard Braun
2019-08-16	Document and reimplement RCU read-side critical section primitives	Richard Braun
2019-08-16	Remove useless comment	Richard Braun
2019-08-16	Replace some barrier()s with local atomic fences	Richard Braun
2019-08-16	Reword and change the semantics of thread-local critical section primitives	Richard Braun
2019-08-16	Reword RCU guarantees	Richard Braun
2019-08-16	Improve the work API documentation	Richard Braun
2019-08-16	Improve the timer API documentation	Richard Braun
2019-08-16	Document the scalable reference counter API	Richard Braun
2019-08-16	Document the work API	Richard Braun
2019-08-16	Complete timer documentation	Richard Braun
2019-08-16	Document the timer API	Richard Braun
2019-08-16	Document the mutex API, fix spin lock documentation	Richard Braun
2019-08-16	Finish spinlock documentation	Richard Braun
2019-08-16	First attempt, incomplete	Richard Braun
2019-08-16	x86/latomic: fix latomic_x86_enter and latomic_x86_leave	Richard Braun
2019-08-16	kern/latomic: implement fences as atomic signal fences	Richard Braun
2019-07-11	kern/types: add TODO entry about cpu_flags_t	Richard Braun
2019-06-08	kern/sref: remove left-over macro	Richard Braun
2019-06-08	vm/vm_map: fix vm_map_info	Richard Braun
2019-06-08	kern/log: add printf-specific warnings to log_printf_fn_t	Richard Braun
2019-06-08	kern/sref: track epoch durations	Richard Braun
2019-06-05	kern/sref: reduce minimum epoch duration	Richard Braun
2019-05-29	kern/sref: schedule noref works with a high priority	Richard Braun
2019-05-29	kern/sref: fix when to process review queues	Richard Braun
2019-05-28	kern/sref: add optional debugging	Richard Braun
2019-05-26	kern/log: fix bulletin publication	Richard Braun
2019-05-22	Add a log print function type for information reporting	Richard Braun
2019-05-19	kern/{log,shell}: use a bulletin for initial log dump notification	Richard Braun
2019-05-19	test/test_sref_noref: fix naming, reduce number of loops	Richard Braun
2019-05-19	kern/sref: rework	Richard Braun
2019-05-05	kern/log: fix log writes	Richard Braun
2019-05-05	kern/timer: fix high priority work scheduling flags	Richard Braun
2019-04-24	kern/log: rework with a message buffer	Richard Braun
2019-04-24	kern/mbuf: new module	Richard Braun
2019-04-23	New EMSGSIZE error code	Richard Braun
2019-01-25	kern/log: fix overrun handling	Richard Braun