Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |
This type allows the use of either printf-based or log-based functions when reporting information. | |||
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 | |
Remove CPU registration, optimize manager weak-ups, replace the global review queue with local review queues. CPU registration and the global review queue were motivated by low power consumption, but considering how the kernel is evolving, this was likely overengineering. | |||
2019-05-05 | kern/log: fix log writes | Richard Braun | |
Erase old messages when the message buffer gets full. | |||
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 | |
2019-01-17 | Replace "awaken" with "awoken" | Richard Braun | |
See https://www.merriam-webster.com/words-at-play/usage-awaken-awoken-awakened. | |||
2019-01-17 | kern/sleepq: fix wake-up chaining | Richard Braun | |
Thanks to Simon Venken for reporting this issue. | |||
2019-01-17 | test/test_sleepq_broadcast: new module | Richard Braun | |
2019-01-10 | test/test_semaphore: new module | Richard Braun | |
2019-01-10 | kern/semaphore: rework | Richard Braun | |
The previous implementation, which uses a combination of fast and slow paths around accessing an atomic integer, suffers from a bug triggered when two or more posts are performed back-to-back, without a waiter decrementing the semaphore value in between. The first post would be the only one signalling a waiter. In addition, having a fast path that expects the absence of waiters probably doesn't make sense, as semaphores are expected to be used for signalling threads. As a result, it was decided to remove the fast path altogether, and protect the semaphore value with sleep queues. Finally, as part of the rework, semaphores now have a user-defined maximum value, in order to make the implementation of, e.g. wrappers for binary semaphores, convenient. Thanks to Simon Venken for reporting the bug. | |||
2019-01-10 | kern/sleepq: update acquire/lend documentation | Richard Braun | |
2019-01-10 | New EOVERFLOW error code | Richard Braun | |
2019-01-07 | kern/cbuf: update from upstream | Richard Braun | |
2018-11-21 | kern/turnstile: fix assertion | Richard Braun | |
Commit 5f202c9f744a5d9c5b751038edd2379b3d244227 reworked the way some assertions were performed, and introduced a mistake in an assertion in the turnstile module. | |||
2018-11-17 | kern/thread: fix suspend on dead threads | Richard Braun | |
2018-11-17 | kern/turnstile: improve comments | Richard Braun | |
2018-11-12 | x86/boot: work around an SMP-related warning | Richard Braun | |
2018-11-12 | kern/rdxtree: fix warning when assertions are disabled | Richard Braun | |
2018-11-12 | tools/build_configs.py: update compiler-related option names | Richard Braun | |
Commit a18a9d0cc0232dc151cef3d2d61807182ef7f6ea renamed options related to the compiler, but the configuration checking script was not updated with the new names. Fix that now. | |||
2018-11-05 | kern/thread: implement suspend/resume operations | Agustina Arzille | |
2018-09-28 | Makefile: explain the purpose of sorting initialization operations | Richard Braun | |
2018-09-02 | .gitignore: add intermediate xml asciidoc files | Richard Braun | |
2018-08-14 | tools/build_configs.py: generate the test set dynamically | Richard Braun | |