Subversion Repositories HelenOS

Rev

Go to most recent revision | Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
2141 6272 d 7 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 6273 d 11 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.
 
2089 6330 d 17 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2071 6341 d 10 h jermar /trunk/ (c) versus (C)  
2058 6367 d 19 h jermar /trunk/kernel/arch/sparc64/src/ Improve comments.  
2055 6368 d 23 h jermar /trunk/kernel/arch/sparc64/src/ sparc64 work:
- No need to lock kernel stack and userspace window buffer into DTLB.
 
2054 6369 d 9 h jermar /trunk/kernel/ Fix important comment in kernel/arch/sparc64/src/proc/scheduler.c.

Improve framebuffer code.

Formatting and indentation fixes.
 
2015 6380 d 10 h jermar /trunk/ Rework support for virtually indexed cache.
Instead of repeatedly flushing the data cache, which was a huge overkill, refuse to create an illegal address alias
in the kernel (again) and allocate appropriate page color in userspace instead. Extend the detection also to
SYS_PHYSMEM_MAP syscall.

Add support for tracking physical memory areas mappable by SYS_PHYSMEM_MAP.

Lots of coding style changes.
 
2009 6385 d 10 h jermar /trunk/kernel/ Initial support for handling illegal virtual aliases on sparc64.  
1977 6403 d 7 h jermar /trunk/ Fix bad indentation in ofw.c

sparc64 work:
o Fix copyright in main.c
o Move code from unused parts of the trap table.
 
1946 6431 d 8 h jermar /trunk/kernel/arch/sparc64/ sparc64 work.
- Improve panic screen on data_access_exception
by dumping contents of DSFSR and DSFAR.
- Change the FHC enable interrupt code to only
set the IMAP_V bit.
 
1923 6434 d 10 h jermar /trunk/ Replace the old IRQ dispatcher and IPC notifier with new implementation.
Note that all architectures except for sparc64 are now broken
and don't even compile.
 
1922 6435 d 18 h jermar /trunk/kernel/ More IRQ stuff.
Modify the IRQ hash table functions to support lookup based on inr and devno.
Add method member to irq_t.
 
1920 6436 d 19 h jermar /trunk/kernel/ Move the new IRQ redirector to ddi/.
Add function for assigning unique device numbers.
Change sparc64/drivers/kbd.c to assign devno to keyboard.
 
1919 6437 d 10 h jermar /trunk/kernel/ Prototypical implementation of new IRQ redirector in sparc64.
The new code can support shared IRQs in kernel (and multiple IRQs per device).
Userspace support is yet to be written.
The only architecture that uses this code is actually sparc64 only.
 
1917 6441 d 11 h jermar /trunk/ sparc64 work:
- hw_map() can now support up to 8M requests
- CPU stacks are now locked in DTLB of the respective processor
- kernel in the boot phase no longer relies on the stack provided by OpenFirmware
- instead of of doing FLUSHW during kernel startup, simply set the
window state registers to the wanted state
- NWINDOW -> NWINDOWS
- Add/fix some comments and copyrights.
 
1916 6442 d 10 h jermar /trunk/kernel/arch/sparc64/src/trap/ Small change of code organization.
No functional difference.
 
1915 6442 d 11 h jermar /trunk/kernel/ A quote from from SPARC V9 specification:

The Y register is deprecated; it is provided only for compatibility with previous versions
of the architecture. It should not be used in new SPARC-V9 software. It is
recommended that all instructions that reference the Y register (i.e., SMUL,
SMULcc, UMUL, UMULcc, MULScc, SDIV, SDIVcc, UDIV, UDIVcc, RDY, and
WRY) be avoided. See the appropriate pages in Appendix A, “Instruction Definitions,”
for suitable substitute instructions.

Still gcc is generating code which uses Y and some of the instructions above.
This change modifies the preemptible_handler() to preserve the Y register
across preemption.
 
1909 6448 d 10 h jermar /trunk/ Extend the OFW device tree node with a void pointer. The boot loader is
supposed to reset all pointers in all nodes. The kernel uses the pointer
to recognize that a particular device has already been visited and initialized.

Read interrupt mapping from the OFW device tree for FHC devices (z8530) and
EBUS devices (ns16550). In case of FHC devices, remove hardwired values from
the code and use only values read from the tree. FHC initialization is started
when a FHC device wants to map its interrupt. In case of EBUS devices, map
the interrupt to INO. Interrupt enabling in the interrupt controller for that
specific interrupt is not implemented yet.
 
1904 6452 d 15 h jermar /trunk/kernel/ IPI/cross-call support for sparc64.
SMP on sparc64 is now fully supported.
 
1896 6458 d 9 h jermar /trunk/ Convert sparc64 to detect keyboard and determine
its physical address by walking the memory representation
of the OpenFirmware device tree.

Add bus-specific functions that know how to apply the
"ranges" property to one component of the "reg" property.
Buses supported so far include FHC, EBUS and PCI.
 
1888 6466 d 14 h jermar /trunk/ C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64.
 
1883 6467 d 17 h jermar /trunk/kernel/arch/sparc64/ More sparc64 FPU trap handlers.  
1882 6467 d 18 h jermar /trunk/kernel/ Support for sparc64 FPU context.  
1880 6470 d 9 h jermar /trunk/ Small improvements here and there.  
1876 6471 d 21 h jermar /trunk/kernel/arch/sparc64/src/trap/ Fixes for sparc64's preemptible_handler().
Resynchronize CWP with that of TL=0.
 
1875 6473 d 11 h jermar /trunk/ sparc64 work.
- Changes to enable userspace keyboard drivers.
- Fix z8530 initialization (i.e. clear any pending Tx interrupts).
- Experimental support for framebuffers with inverted colors.
 
1870 6475 d 10 h jermar /trunk/kernel/ Handle more sparc64 traps and improve handling of already handled traps.  
1865 6476 d 12 h jermar /trunk/kernel/ sparc64 kernel fixes  
1864 6477 d 7 h jermar /trunk/ sparc64 update.
- Prototype userspace layer implementation that
at least relates to sparc64 and compiles cleanly.
- Fixes for kernel's preemptible_handler and code
related to running userspace.
- Enable userspace. Several dozen instructions
are now run in userspace! We are pretty near
the userspace milestone for sparc64.
 
1863 6479 d 10 h jermar /trunk/ Allow architectures to decide between inlined and not inlined version of syscall wrapper.
Implement inlined syscall wrapper for sparc64.
 
1862 6479 d 14 h jermar /trunk/kernel/ sparc64 work.
Kernel syscall support.
Modify the preemptive_handler for the use by syscalls.
 
1861 6479 d 17 h jermar /trunk/kernel/arch/sparc64/ Convert sparc64 traps using SIMPLE_HANDLER to using PREEMPTIBLE_HANDLER.  
1860 6480 d 12 h jermar /trunk/kernel/ A lot of untested sparc64 stuff:
- Write ASID to hardware when a thread is about to run in userspace.
- Add userspace() and switch_to_userspace() functions.
- Handle special cases when the userspace spill/fill handler causes MMU trap.
- Resolve some TODOs in the existing sparc64 code.
- sparc64 has now C99 compliant header guards.
- Formatting and indentation fixes.
 
1858 6480 d 20 h jermar /trunk/kernel/arch/sparc64/src/trap/ sparc64 work.
Handle situation when there are more valid windows than NWINDOW - 2 during
the return to userspace in preemtpible_handler().
 
1857 6481 d 15 h jermar /trunk/kernel/arch/sparc64/ sparc64 work.
More bits needed to reach the userspace milestone were added.
The preemptible_handler(), still a prototype, now contains all functionality it needs.
Some sanitation was added to functions expecting page-aligned pointers to
userspace window buffer.
 
1856 6481 d 19 h jermar /trunk/kernel/ sparc64 work.
- Modify before_thread_runs_arch() to store addresses of the kernel stack and
userspace window buffer, resp., to registers %g6 and %g7, resp, in the
alternate and interrupt global sets.
- Modify after_thread_ran_arch() to sample %g7 from the alternate globals.
- Implement trap handler for spilling register windows into userspace window buffer.
- Implement assembly language functions to access %g6 and %g7 registers in the alternate sets.
- Initialize the trap table so that there are now also spill_1_normal, spill_2_normal,
spill_0_other and fill_1_normal handlers. These handlers are used in different situations
and for different purposes.
 
1855 6482 d 15 h jermar /trunk/kernel/ sparc64 work.

Fix bug introduced in revision 1852. When fixing CWP,
the input registers of the current window (i.e. output
registers of the window belonging to the interrupted
context) must be preserved. Preserve those registers
in memory. Sure there exist more efficient ways how to
copy the inputs.

Simplify before_thread_runs_arch(), resp. after_thread_ran_arch(),
and make them install, resp. uninstall, DTLB locked mapping for
eventual userspace window buffer.
 
1852 6485 d 12 h jermar /trunk/kernel/ sparc64 work.
Bunch of changes in preparation for sparc64 mm and userspace support.
Fix alignment of hardcoded_* variables in linker script.
 
1851 6490 d 17 h jermar /trunk/kernel/ sparc64 work.
Define the istate structure.
Move the identity-mapping handler to assembly.
Make the preemptible handler more general so that TL=1 MMU exceptions can make use of it.

Little bit of formatting and indentation.