Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-19 | kern/thread: fix typoHEADmaster | Richard Braun | |
2019-08-16 | kern/thread: rename thread_boot_barrier | 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 | |
2018-08-12 | kern/thread: make thread-specific data optional | Richard Braun | |
2018-08-12 | kern/mutex/mutex_plain: fix macro names | Richard Braun | |
2018-08-12 | kern/rcu: explain the need for separate work/reader window flips | Richard Braun | |
2018-08-04 | x86/cpu: fix data/stack alignment | Richard Braun | |
2018-08-04 | x86/cpu: improve low level code clarity | Richard Braun | |
Replace magic numbers with macros isolating the computation of offsets in exception frames. The latter are reworked as arrays of words. | |||
2018-07-31 | kern/rcu: add TODO entry | Richard Braun | |
2018-07-30 | x86: use the uart0 console when testing with QEMU | Richard Braun | |
The UART console allows using a bigger screen as well as easy copy/pasting the output. | |||
2018-07-30 | x86/strace: align symbol names in backtraces | Richard Braun | |