| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 2310 |
6201 d 17 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 |
6231 d 18 h |
decky |
/trunk/kernel/generic/src/synch/ |
reflect the renaming of printflock to printf_lock |
|
| 2183 |
6233 d 20 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 |
6294 d 0 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 |
6300 d 22 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2087 |
6301 d 18 h |
jermar |
/trunk/kernel/ |
Indentaion and formatting changes even Martin will like :-) |
|
| 2071 |
6311 d 15 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2067 |
6321 d 21 h |
jermar |
/trunk/kernel/ |
More formatting changes. |
|
| 1888 |
6436 d 19 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
| 1787 |
6501 d 17 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
| 1780 |
6508 d 19 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
| 1757 |
6522 d 23 h |
jermar |
/kernel/trunk/ |
Cleanup of comments. |
|
| 1705 |
6529 d 0 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 |
6529 d 21 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
| 1681 |
6533 d 12 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 |
6534 d 20 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 |
6537 d 12 h |
jermar |
/kernel/trunk/generic/src/synch/ |
When interrupted from sleep, pending timeouts must be unregistered. |
|
| 1586 |
6537 d 21 h |
jermar |
/kernel/trunk/generic/src/synch/ |
futex_cleanup() implementation. |
|
| 1583 |
6538 d 1 h |
jermar |
/kernel/trunk/generic/ |
Make ktaskclnp call ipc_cleanup and futex_cleanup. |
|
| 1580 |
6538 d 4 h |
jermar |
/kernel/trunk/generic/src/ |
Update for task_kill(). |
|
| 1579 |
6538 d 14 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 |
6540 d 23 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 |
6542 d 20 h |
jermar |
/kernel/trunk/generic/src/synch/ |
Allow usage of blocking synchronization primitives in functions that are also called during system initialization. |
|
| 1460 |
6542 d 23 h |
jermar |
/kernel/trunk/generic/ |
Reference counting for futexes. |
|
| 1416 |
6549 d 2 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 |
6549 d 3 h |
jermar |
/kernel/trunk/generic/src/synch/ |
Small fixes in futex.c.
PTE_GET_FRAME() returns frame address, not PFN.
Update comments. |
|
| 1375 |
6555 d 0 h |
jermar |
/kernel/trunk/generic/ |
Fix race in condition variables. |
|
| 1323 |
6560 d 2 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 |
6560 d 23 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 |
6569 d 0 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 |
6572 d 23 h |
jermar |
/kernel/trunk/generic/ |
Improve Doxygen-comments. |
|
| 1248 |
6576 d 19 h |
jermar |
/kernel/trunk/ |
Add some @file doxygen comments and improve already existing comments. |
|
| 1229 |
6579 d 23 h |
jermar |
/kernel/trunk/ |
Remove the outdated TODO file.
Improve doxygen comments here and there. |
|
| 1224 |
6580 d 22 h |
cejka |
/kernel/trunk/ |
Fix pointers output format.
Fix format of slab and zones tables. |
|
| 1158 |
6594 d 21 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 |
6594 d 22 h |
jermar |
/kernel/trunk/generic/ |
Sleeping in a wait queue can be now interrupted with
waitq_interrupt_sleep(). |
|
| 1153 |
6599 d 0 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. |
|
| 1117 |
6611 d 15 h |
jermar |
/kernel/trunk/generic/ |
Improved futexes. (kernel part) |
|
| 1109 |
6612 d 13 h |
jermar |
/kernel/trunk/ |
Basic futex. Prototype implementation. |
|
| 1104 |
6612 d 18 h |
jermar |
/kernel/trunk/ |
Define atomic_t only once in atomic.h
Change the encapsulated counter type to long so that it supports negative values as well. |
|