Subversion Repositories HelenOS

Rev

Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
4691 5556 d 16 h svoboda /branches/dynload/ Merge trunk changes up to r4686.  
2927 6018 d 1 h decky /branches/dynload/ added dynload branch  
2916 6020 d 16 h jermar /trunk/kernel/generic/src/ More formatting changes.  
2914 6020 d 16 h jermar /trunk/kernel/generic/src/synch/ Formatting improvements.  
2909 6020 d 19 h jermar /trunk/kernel/generic/src/synch/ timeouted vs. timed out  
2310 6391 d 16 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 6423 d 19 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 6483 d 23 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 6490 d 21 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2087 6491 d 17 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6501 d 14 h jermar /trunk/ (c) versus (C)  
2067 6511 d 20 h jermar /trunk/kernel/ More formatting changes.  
1787 6691 d 16 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6698 d 17 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6712 d 22 h jermar /kernel/trunk/ Cleanup of comments.  
1702 6719 d 20 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1681 6723 d 11 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 6727 d 11 h jermar /kernel/trunk/generic/src/synch/ When interrupted from sleep, pending timeouts must be unregistered.  
1580 6728 d 3 h jermar /kernel/trunk/generic/src/ Update for task_kill().  
1579 6728 d 13 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.
 

Show All