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
2914 5855 d 7 h jermar /trunk/kernel/generic/src/synch/ Formatting improvements.  
2909 5855 d 10 h jermar /trunk/kernel/generic/src/synch/ timeouted vs. timed out  
2745 5930 d 14 h decky /trunk/ code cleanup (mostly signed/unsigned)
allow extra compiler warnings		  
2310 6226 d 7 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 6256 d 8 h decky /trunk/kernel/generic/src/synch/ reflect the renaming of printflock to printf_lock  
2183 6258 d 10 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 6318 d 14 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 6325 d 13 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes		  
2087 6326 d 9 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6336 d 5 h jermar /trunk/ (c) versus (C)  
2067 6346 d 11 h jermar /trunk/kernel/ More formatting changes.  
1888 6461 d 9 h jermar /trunk/ C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64.		  
1787 6526 d 8 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6533 d 9 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6547 d 14 h jermar /kernel/trunk/ Cleanup of comments.  
1705 6553 d 15 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 6554 d 12 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1681 6558 d 2 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 6559 d 10 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 6562 d 2 h jermar /kernel/trunk/generic/src/synch/ When interrupted from sleep, pending timeouts must be unregistered.  
1586 6562 d 12 h jermar /kernel/trunk/generic/src/synch/ futex_cleanup() implementation.  
1583 6562 d 15 h jermar /kernel/trunk/generic/ Make ktaskclnp call ipc_cleanup and futex_cleanup.  
1580 6562 d 18 h jermar /kernel/trunk/generic/src/ Update for task_kill().  
1579 6563 d 4 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 6565 d 14 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 6567 d 10 h jermar /kernel/trunk/generic/src/synch/ Allow usage of blocking synchronization primitives in functions that are also called during system initialization.  
1460 6567 d 13 h jermar /kernel/trunk/generic/ Reference counting for futexes.  
1416 6573 d 16 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 6573 d 17 h jermar /kernel/trunk/generic/src/synch/ Small fixes in futex.c.
PTE_GET_FRAME() returns frame address, not PFN.
Update comments.		  
1375 6579 d 14 h jermar /kernel/trunk/generic/ Fix race in condition variables.  
1323 6584 d 17 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 6585 d 13 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 6593 d 14 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 6597 d 14 h jermar /kernel/trunk/generic/ Improve Doxygen-comments.  
1248 6601 d 9 h jermar /kernel/trunk/ Add some @file doxygen comments and improve already existing comments.  
1229 6604 d 13 h jermar /kernel/trunk/ Remove the outdated TODO file.
Improve doxygen comments here and there.		  
1224 6605 d 12 h cejka /kernel/trunk/ Fix pointers output format.
Fix format of slab and zones tables.		  
1158 6619 d 11 h jermar /kernel/trunk/generic/ Replace list of all threads with B+tree of all threads.
Add function thread_exists() for querying existence of thread.		  
1156 6619 d 12 h jermar /kernel/trunk/generic/ Sleeping in a wait queue can be now interrupted with
waitq_interrupt_sleep().		  
1153 6623 d 14 h jermar /kernel/trunk/generic/src/synch/ Because of another race condition, futex_wakeup() needs to be able to allocate and initialize the kernel futex structure too.