| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 2183 |
6271 d 13 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. |
|
| 2170 |
6276 d 7 h |
jermar |
/trunk/kernel/ |
Simplify synchronization in as_switch().
The function was oversynchronized, which
was causing deadlocks on the address
space mutex.
Now, address spaces can only be switched
when the asidlock is held. This also protects
stealing of ASIDs. No other synchronization
is necessary. |
|
| 2141 |
6280 d 6 h |
jermar |
/trunk/ |
The Ultimate Solution To Illegal Virtual Aliases.
It is better to avoid them completely than to fight them.
Switch the sparc64 port to 16K pages. The TLBs and TSBs
continue to operate with 8K pages only. Page tables and
other generic parts operate with 16K pages.
Because the MMU doesn't support 16K directly, each 16K
page is emulated by a pair of 8K pages. With 16K pages,
illegal aliases cannot be created in 16K D-cache. |
|
| 2134 |
6281 d 10 h |
jermar |
/trunk/kernel/ |
Reworked handling of illegal virtual aliases caused by frame reuse.
We moved the incomplete handling from backend's frame method to
backend's page_fault method. The page_fault method is the one that
can create an illegal alias if it writes the userspace frame using
kernel address with a different page color than the page to which is
this frame mapped in userspace. When we detect this, we do D-cache
shootdown on all processors (!!!).
If we add code that accesses userspace memory from kernel address
space, we will have to check for illegal virtual aliases at all such
places.
I tested this on a 4-way simulated E6500 and a real-world Ultra 5,
which has unfortunatelly only one processor.
This solves ticket #26. |
|
| 2133 |
6281 d 10 h |
jermar |
/trunk/kernel/generic/src/mm/ |
Coding style and indentation fixes. |
|
| 2132 |
6282 d 17 h |
jermar |
/trunk/kernel/generic/src/mm/ |
Fix coding style in the address space area backends. |
|
| 2128 |
6323 d 10 h |
jermar |
/trunk/ |
Add arm32 architecture. The 32 suffix is used to specify that 16-bit Thumb
instructions are not used. The arm32 code is mostly composed of placeholders
that need to be replaced by real implementation. So far, the arm32 tree
only compiles. If run under GXEmul simulator, an infinit loop at the
kernel entry point will be entered. |
|
| 2127 |
6323 d 20 h |
decky |
/trunk/kernel/generic/src/lib/ |
add forgotten implementation |
|
| 2126 |
6324 d 7 h |
decky |
/trunk/kernel/ |
small cleanup, more work coming |
|
| 2125 |
6324 d 10 h |
decky |
/trunk/ |
experimental support for Objective C
(disabled by default) |
|
| 2124 |
6324 d 11 h |
decky |
/trunk/kernel/generic/ |
implement simple realloc() |
|
| 2123 |
6330 d 14 h |
decky |
/trunk/kernel/generic/src/mm/ |
add forgotten unsigned |
|
| 2122 |
6330 d 14 h |
decky |
/trunk/kernel/generic/ |
explicit typecast, fix signed/unsigned comparison |
|
| 2121 |
6330 d 14 h |
decky |
/trunk/kernel/generic/src/mm/ |
remove anonymous structure, add static qualifier |
|
| 2119 |
6330 d 14 h |
decky |
/trunk/kernel/generic/src/syscall/ |
explicit typecast |
|
| 2118 |
6330 d 15 h |
decky |
/trunk/kernel/generic/src/ |
explicit typecast, fix signed/unsigned comparison |
|
| 2117 |
6330 d 15 h |
decky |
/trunk/kernel/generic/src/ddi/ |
explicit typecast |
|
| 2116 |
6330 d 15 h |
decky |
/trunk/kernel/generic/src/ddi/ |
explicit typecast |
|
| 2115 |
6330 d 15 h |
decky |
/trunk/kernel/generic/src/cpu/ |
fix signed/unsigned comparison |
|
| 2114 |
6330 d 15 h |
decky |
/trunk/kernel/generic/src/console/ |
explicit typecast |
|
| 2113 |
6330 d 17 h |
decky |
/trunk/kernel/generic/src/console/ |
explicit typecast, fix signed/unsigned comparison |
|
| 2112 |
6330 d 17 h |
decky |
/trunk/kernel/generic/src/adt/ |
explicit typecast, fix signed/unsigned comparison |
|
| 2111 |
6330 d 17 h |
decky |
/trunk/kernel/generic/src/adt/ |
fix signed/unsigned comparison |
|
| 2109 |
6331 d 18 h |
jermar |
/trunk/kernel/generic/ |
Revert thread_interrupt_sleep() to waitq_interrupt_sleep().
I'd prefer that this, IMO, waitq related stuff stays together. |
|
| 2108 |
6331 d 18 h |
jermar |
/trunk/kernel/generic/src/console/ |
Cleanup kconsole.c |
|
| 2107 |
6332 d 8 h |
jermar |
/trunk/ |
When clock() is called by an external interrupt dispatched by the IRQ dispatcher,
no spinlock can be held or the kernel will not be preemptive. This fixes Ticket #24.
Formating and indentation fixes. |
|
| 2106 |
6332 d 16 h |
jermar |
/trunk/kernel/ |
Merge as_t structure into one and leave the differring parts in as_genarch_t.
Indentation and formatting changes in header files. |
|
| 2104 |
6336 d 18 h |
decky |
/trunk/kernel/generic/src/lib/ |
more fine order of magnitude display |
|
| 2098 |
6337 d 11 h |
decky |
/trunk/kernel/generic/ |
avoid conflict with potential keyword |
|
| 2094 |
6337 d 12 h |
decky |
/trunk/kernel/generic/ |
avoid conflict with potential keyword |
|
| 2089 |
6338 d 16 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2087 |
6339 d 12 h |
jermar |
/trunk/kernel/ |
Indentaion and formatting changes even Martin will like :-) |
|
| 2083 |
6344 d 16 h |
decky |
/trunk/kernel/ |
typedef elimination |
|
| 2076 |
6347 d 17 h |
jermar |
/trunk/kernel/ |
Beat the implicit illegal virtual alias created by reusing userspace frames.
In the anonymous and ELF backends, if the architecture has virtually indexed D-cache,
selectively flush cachelines belonging to the frame being freed.
This fixes Ticket #20. |
|
| 2071 |
6349 d 9 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2070 |
6349 d 17 h |
jermar |
/trunk/ |
Rather big indentation and formatting changes.
More inteligent long line wrapping. |
|
| 2069 |
6351 d 7 h |
jermar |
/trunk/ |
Improve formatting. |
|
| 2068 |
6356 d 16 h |
jermar |
/trunk/kernel/ |
Formatting and indentation fixes. |
|
| 2067 |
6359 d 15 h |
jermar |
/trunk/kernel/ |
More formatting changes. |
|
| 2066 |
6361 d 14 h |
jermar |
/trunk/kernel/generic/src/main/ |
Formatting changes.
Bump year in kernel copyright. |
|