Rev |
Age |
Author |
Path |
Log message |
Diff |
4490 |
5644 d 19 h |
decky |
/trunk/kernel/ |
remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed) |
|
2916 |
6031 d 19 h |
jermar |
/trunk/kernel/generic/src/ |
More formatting changes. |
|
2914 |
6031 d 19 h |
jermar |
/trunk/kernel/generic/src/synch/ |
Formatting improvements. |
|
2909 |
6031 d 22 h |
jermar |
/trunk/kernel/generic/src/synch/ |
timeouted vs. timed out |
|
2310 |
6402 d 19 h |
jermar |
/trunk/kernel/generic/ |
Cleanup the waitq_wakeup() interface.
Replace numeric constants (i.e. 0)
and boolean constants (i.e. false) with
more readable WAKEUP_FIRST. Also change the
type of the second argument of waitq_wakeup()
to a newly introduced type wakeup_mode_t.
Fix behaviour of waitq_wakeup() in case
that WAKEUP_ALL semantics is required
but no threads are sleeping in the wait
queue. This is a similar fix to that of
Jan Hudecek committed in the RCU branch,
but, IMHO, is more straightforward and
also doesn't eat up previous missed
wakeups. |
|
2183 |
6434 d 22 h |
jermar |
/trunk/kernel/generic/ |
Continue to de-oversynchronize the kernel.
- replace as->refcount with an atomic counter; accesses to this
reference counter are not to be done when the as->lock mutex is held;
this gets us rid of mutex_lock_active();
Remove the possibility of a deadlock between TLB shootdown and asidlock.
- get rid of mutex_lock_active() on as->lock
- when locking the asidlock spinlock, always do it conditionally and with
preemption disabled; in the unsuccessful case, enable interrupts and try again
- there should be no deadlock between TLB shootdown and the as->lock mutexes
- PLEASE REVIEW !!!
Add DEADLOCK_PROBE's to places where we have spinlock_trylock() loops. |
|
2109 |
6495 d 2 h |
jermar |
/trunk/kernel/generic/ |
Revert thread_interrupt_sleep() to waitq_interrupt_sleep().
I'd prefer that this, IMO, waitq related stuff stays together. |
|
2089 |
6502 d 1 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
2087 |
6502 d 21 h |
jermar |
/trunk/kernel/ |
Indentaion and formatting changes even Martin will like :-) |
|
2071 |
6512 d 18 h |
jermar |
/trunk/ |
(c) versus (C) |
|
2067 |
6522 d 23 h |
jermar |
/trunk/kernel/ |
More formatting changes. |
|
1787 |
6702 d 20 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
1780 |
6709 d 21 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
1757 |
6724 d 2 h |
jermar |
/kernel/trunk/ |
Cleanup of comments. |
|
1702 |
6731 d 0 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
1681 |
6734 d 14 h |
jermar |
/kernel/trunk/generic/src/synch/ |
Avoid tricky race condition between waitq_wakeup() and the pair
of waitq_timeouted_sleep() and waitq_interrupt_sleep().
Mutual exclusion != Synchronization. |
|
1593 |
6738 d 14 h |
jermar |
/kernel/trunk/generic/src/synch/ |
When interrupted from sleep, pending timeouts must be unregistered. |
|
1580 |
6739 d 6 h |
jermar |
/kernel/trunk/generic/src/ |
Update for task_kill(). |
|
1579 |
6739 d 16 h |
jermar |
/kernel/trunk/generic/ |
Framework for task_kill().
Some pieces (e.g. implementation of ktask_cleanup() kernel thread and
task_destroy() function) are missing.
Changed locking order for task lock, threads_lock and thread lock from
threads_lock, thread lock, task lock to task lock, threads_lock, thread lock. |
|
1502 |
6742 d 2 h |
jermar |
/kernel/trunk/ |
Replace nonblocking argument of waitq_sleep_timeout with flags that specify mode of operation.
Now a flag can be used to specify interruptible sleep.
Modify waitq_interrupt_sleep() to only interrupt threads that used this flag.
O |
|