Rev |
Age |
Author |
Path |
Log message |
Diff |
2211 |
6391 d 17 h |
decky |
/trunk/kernel/generic/src/synch/ |
reflect the renaming of printflock to printf_lock |
|
2183 |
6393 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 |
6453 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 |
6460 d 22 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
2087 |
6461 d 18 h |
jermar |
/trunk/kernel/ |
Indentaion and formatting changes even Martin will like :-) |
|
2071 |
6471 d 15 h |
jermar |
/trunk/ |
(c) versus (C) |
|
2067 |
6481 d 20 h |
jermar |
/trunk/kernel/ |
More formatting changes. |
|
1888 |
6596 d 18 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
1787 |
6661 d 17 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
1780 |
6668 d 18 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
1757 |
6682 d 23 h |
jermar |
/kernel/trunk/ |
Cleanup of comments. |
|
1705 |
6689 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 |
6689 d 21 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
1681 |
6693 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. |
|
1667 |
6694 d 19 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 |
6697 d 11 h |
jermar |
/kernel/trunk/generic/src/synch/ |
When interrupted from sleep, pending timeouts must be unregistered. |
|
1586 |
6697 d 21 h |
jermar |
/kernel/trunk/generic/src/synch/ |
futex_cleanup() implementation. |
|
1583 |
6698 d 0 h |
jermar |
/kernel/trunk/generic/ |
Make ktaskclnp call ipc_cleanup and futex_cleanup. |
|
1580 |
6698 d 3 h |
jermar |
/kernel/trunk/generic/src/ |
Update for task_kill(). |
|
1579 |
6698 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. |
|
1502 |
6700 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 |
6702 d 19 h |
jermar |
/kernel/trunk/generic/src/synch/ |
Allow usage of blocking synchronization primitives in functions that are also called during system initialization. |
|
1460 |
6702 d 23 h |
jermar |
/kernel/trunk/generic/ |
Reference counting for futexes. |
|
1416 |
6709 d 1 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 |
6709 d 2 h |
jermar |
/kernel/trunk/generic/src/synch/ |
Small fixes in futex.c.
PTE_GET_FRAME() returns frame address, not PFN.
Update comments. |
|
1375 |
6714 d 23 h |
jermar |
/kernel/trunk/generic/ |
Fix race in condition variables. |
|
1323 |
6720 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 |
6720 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 |
6728 d 23 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 |
6732 d 23 h |
jermar |
/kernel/trunk/generic/ |
Improve Doxygen-comments. |
|
1248 |
6736 d 18 h |
jermar |
/kernel/trunk/ |
Add some @file doxygen comments and improve already existing comments. |
|
1229 |
6739 d 22 h |
jermar |
/kernel/trunk/ |
Remove the outdated TODO file.
Improve doxygen comments here and there. |
|
1224 |
6740 d 21 h |
cejka |
/kernel/trunk/ |
Fix pointers output format.
Fix format of slab and zones tables. |
|
1158 |
6754 d 20 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 |
6754 d 21 h |
jermar |
/kernel/trunk/generic/ |
Sleeping in a wait queue can be now interrupted with
waitq_interrupt_sleep(). |
|
1153 |
6758 d 23 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 |
6771 d 14 h |
jermar |
/kernel/trunk/generic/ |
Improved futexes. (kernel part) |
|
1109 |
6772 d 13 h |
jermar |
/kernel/trunk/ |
Basic futex. Prototype implementation. |
|
1104 |
6772 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. |
|
1103 |
6772 d 22 h |
jermar |
/kernel/trunk/generic/src/ |
Remove extra before_thread_runs() calls. |
|