Subversion Repositories HelenOS

Rev

Go to most recent revision | Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
3790 5644 d 3 h svoboda /trunk/kernel/ Make newlines in panic messages consistent. Add periods at end of messages so that it is obvious whether they are printed entirely.  
3603 5691 d 16 h svoboda /trunk/ Stoppability sections must be much smaller (design error). Also fix deadlock in udebug_stop(). Fix pause functionality in tracer.  
3222 5827 d 23 h svoboda /trunk/ Merge program-loader related stuff from dynload branch to trunk. (huge)  
3186 5842 d 20 h jermar /trunk/kernel/ Support for active mutexes. Active mutexes implement busy waiting, pretty much
in the same way as spinlocks, but can be passed to condition variables, which is
the motivation for this enhancement.
 
3059 5863 d 0 h decky /trunk/kernel/generic/src/ proper printf formatting  
2916 5884 d 20 h jermar /trunk/kernel/generic/src/ More formatting changes.  
2914 5884 d 20 h jermar /trunk/kernel/generic/src/synch/ Formatting improvements.  
2909 5884 d 23 h jermar /trunk/kernel/generic/src/synch/ timeouted vs. timed out  
2745 5960 d 3 h decky /trunk/ code cleanup (mostly signed/unsigned)
allow extra compiler warnings
 
2310 6255 d 20 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.
 
2211 6285 d 21 h decky /trunk/kernel/generic/src/synch/ reflect the renaming of printflock to printf_lock  
2183 6287 d 23 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 6348 d 3 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 6355 d 1 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2087 6355 d 21 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6365 d 18 h jermar /trunk/ (c) versus (C)  
2067 6376 d 0 h jermar /trunk/kernel/ More formatting changes.  
1888 6490 d 22 h jermar /trunk/ C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64.
 
1787 6555 d 20 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6562 d 21 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6577 d 2 h jermar /kernel/trunk/ Cleanup of comments.  
1705 6583 d 3 h cejka /kernel/trunk/ Added file with modules definitions and descriptions.
We are able to change modules order and their description in one place.
 
1702 6584 d 0 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1681 6587 d 15 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.
 
1667 6588 d 22 h jermar /kernel/trunk/ Print spurious interrupt messages only when compiled with CONFIG_DEBUG.
Print warning about looping spinlock only after 100000000 unsuccessfull attempts to gain the spinlock.
 
1593 6591 d 15 h jermar /kernel/trunk/generic/src/synch/ When interrupted from sleep, pending timeouts must be unregistered.  
1586 6592 d 0 h jermar /kernel/trunk/generic/src/synch/ futex_cleanup() implementation.  
1583 6592 d 4 h jermar /kernel/trunk/generic/ Make ktaskclnp call ipc_cleanup and futex_cleanup.  
1580 6592 d 7 h jermar /kernel/trunk/generic/src/ Update for task_kill().  
1579 6592 d 17 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 6595 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
 
1467 6596 d 22 h jermar /kernel/trunk/generic/src/synch/ Allow usage of blocking synchronization primitives in functions that are also called during system initialization.  
1460 6597 d 2 h jermar /kernel/trunk/generic/ Reference counting for futexes.  
1416 6603 d 5 h jermar /kernel/trunk/generic/ Make implementation of condition variables compliant with their definition.
Signal operation must become a no-op if there is no thread in the wait operation.
Remove condvar_trywait() which has no meaning after this change.
 
1414 6603 d 6 h jermar /kernel/trunk/generic/src/synch/ Small fixes in futex.c.
PTE_GET_FRAME() returns frame address, not PFN.
Update comments.
 
1375 6609 d 3 h jermar /kernel/trunk/generic/ Fix race in condition variables.  
1323 6614 d 5 h jermar /kernel/trunk/ Increase "timeout" for debugging spinlock so that false positive
deadlock reports are suppressed on real hardware.

Also add one HT configuration to hardware compatibility list.
 
1313 6615 d 2 h jermar /kernel/trunk/ Do not report possible deadlock on fb_lock.
This issue was causing troubles in connection
with slow framebuffer in simulated environment
when false positives triggered an infinite
recursion of attempts to report deadlock on
fb_lock using printf() and fb_putchar().
 
1288 6623 d 3 h jermar /kernel/trunk/ Complete implementation of copy_from_uspace() and copy_to_uspace()
for amd64 and ia32. Other architectures still compile and run,
but need to implement their own assembly-only memcpy(), memcpy_from_uspace(),
memcpy_to_uspace() and their failover parts. For these architectures
only dummy implementations are provided.
 
1264 6627 d 2 h jermar /kernel/trunk/generic/ Improve Doxygen-comments.