Subversion Repositories HelenOS

Rev

Go to most recent revision | Hide changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff Changes
2170 6330 d 20 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.
 
/trunk/kernel/arch/ia64/src/mm/as.c
/trunk/kernel/arch/mips32/src/mm/as.c
/trunk/kernel/arch/ppc32/src/mm/as.c
/trunk/kernel/arch/ppc64/src/mm/as.c
/trunk/kernel/arch/sparc64/src/mm/as.c
/trunk/kernel/genarch/src/mm/asid.c
/trunk/kernel/generic/include/mm/as.h
/trunk/kernel/generic/src/mm/as.c
2169 6330 d 21 h kebrt /branches/arm/kernel/arch/arm32/src/ debug print added  
/branches/arm/kernel/arch/arm32/src/arm32.c
2168 6330 d 21 h kebrt /branches/arm/kernel/arch/arm32/ context save/restore added  
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/src/context.S
/branches/arm/kernel/arch/arm32/src/start.S
2167 6330 d 21 h kebrt /branches/arm/kernel/arch/arm32/src/ debugging printf added  
/branches/arm/kernel/arch/arm32/src/aux_print
/branches/arm/kernel/arch/arm32/src/aux_print/README
/branches/arm/kernel/arch/arm32/src/aux_print/gentypes.h
/branches/arm/kernel/arch/arm32/src/aux_print/io.c
/branches/arm/kernel/arch/arm32/src/aux_print/printf.c
/branches/arm/kernel/arch/arm32/src/aux_print/printf.h
/branches/arm/kernel/arch/arm32/src/aux_print/stdarg.h
/branches/arm/kernel/arch/arm32/src/aux_print/types.h
/branches/arm/kernel/arch/arm32/src/arm32.c
2166 6330 d 21 h kebrt /branches/arm/kernel/arch/arm32/include/ context added  
/branches/arm/kernel/arch/arm32/include/context.h
2165 6330 d 21 h kebrt /branches/arm/boot/arch/arm32/loader/ indenting  
/branches/arm/boot/arch/arm32/loader/asm.S
2164 6331 d 22 h jancik /branches/arm/tools/ ALf: correction .. wrong version previosly commited  
/branches/arm/tools/cygwin_symlink_patch.sh
2163 6331 d 23 h jancik /branches/arm/kernel/arch/arm32/ Alf : TLB support  
/branches/arm/kernel/arch/arm32/src/mm/tlb.c
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/src/dummy.S
2162 6332 d 6 h stepan /branches/arm/kernel/arch/arm32/ interrupt enabling/disabling  
/branches/arm/kernel/arch/arm32/include/regutils.h
/branches/arm/kernel/arch/arm32/src/interrupt.c
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/src/dummy.S
2161 6332 d 23 h jermar /trunk/kernel/arch/sparc64/src/mm/ Fix TSB bug during TSB refill.
When one wants to enable a TSB entry, he or she should set the
entry invalid bit to false, as opposed to setting it to true.
 
/trunk/kernel/arch/sparc64/src/mm/tsb.c
2160 6332 d 23 h decky /trunk/boot/arch/ remove duplicate dependency  
/trunk/boot/arch/mips32/loader/Makefile
/trunk/boot/arch/ppc32/loader/Makefile
/trunk/boot/arch/ppc64/loader/Makefile
/trunk/boot/arch/sparc64/loader/Makefile
2159 6333 d 3 h kebrt /branches/arm/kernel/arch/arm32/ kernel_image_start, arch_pre_main added  
/branches/arm/kernel/arch/arm32/include/asm
/branches/arm/kernel/arch/arm32/include/asm/boot.h
/branches/arm/kernel/arch/arm32/include/boot.h
/branches/arm/kernel/arch/arm32/src/arm32.c
/branches/arm/kernel/arch/arm32/src/start.S
2158 6333 d 4 h kebrt /branches/arm/boot/arch/arm32/loader/ __builtin_memcpy used  
/branches/arm/boot/arch/arm32/loader/asm.h
2157 6333 d 6 h jancik /branches/arm/tools/ Cygwin with TurtoiseSVN has problem with symlinks ... this script solves this.

Run this after downloading sources and before compilation.

Alf
 
/branches/arm/tools/cygwin_symlink_patch.sh
2156 6333 d 6 h kebrt /branches/arm/boot/generic/ link added  
/branches/arm/boot/generic/genarch
2155 6333 d 8 h kebrt /branches/arm/kernel/arch/arm32/ kernel init now only halts the simulator  
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/src/start.S
2154 6333 d 8 h kebrt /branches/arm/boot/arch/arm32/loader/ jump to kernel fixed  
/branches/arm/boot/arch/arm32/loader/boot.S
2153 6333 d 8 h kebrt /branches/arm/boot/arch/arm32/loader/ memcpy changed to gcc-generated  
/branches/arm/boot/arch/arm32/loader/asm.S
/branches/arm/boot/arch/arm32/loader/asm.h
2152 6333 d 8 h kebrt /branches/arm/boot/arch/arm32/loader/ comments  
/branches/arm/boot/arch/arm32/loader/main.c
2151 6333 d 8 h kebrt /branches/arm/boot/arch/arm32/loader/ missing dependencies  
/branches/arm/boot/arch/arm32/loader/Makefile
2150 6333 d 10 h kebrt /branches/arm/boot/genarch/ softint added to boot  
/branches/arm/boot/genarch/division.c
/branches/arm/boot/genarch/include
/branches/arm/boot/genarch/include/softint
2149 6333 d 16 h jancik /branches/arm/kernel/arch/arm32/include/  
/branches/arm/kernel/arch/arm32/include/mm/page.h
/branches/arm/kernel/arch/arm32/include/types.h
2148 6333 d 16 h jancik /branches/arm/kernel/doc/  
/branches/arm/kernel/doc/AUTHORS
2147 6333 d 16 h jancik /branches/arm/kernel/arch/arm32/include/ alf: Page table structure  
/branches/arm/kernel/arch/arm32/include/mm/page.h
/branches/arm/kernel/arch/arm32/include/types.h
2146 6333 d 19 h kebrt /branches/arm/kernel/arch/arm32/ small changes for gxemul (elf->binary), OUTPUT_ARCH added  
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/_link.ld.in
/branches/arm/kernel/arch/arm32/src/start.S
2145 6333 d 19 h kebrt /branches/arm/boot/arch/arm32/ first version of arm boot loader, still cannot jump to kernel  
/branches/arm/boot/arch/arm32/loader
/branches/arm/boot/arch/arm32/loader/Makefile
/branches/arm/boot/arch/arm32/loader/asm.S
/branches/arm/boot/arch/arm32/loader/asm.h
/branches/arm/boot/arch/arm32/loader/boot.S
/branches/arm/boot/arch/arm32/loader/io.c
/branches/arm/boot/arch/arm32/loader/main.c
/branches/arm/boot/arch/arm32/loader/main.h
/branches/arm/boot/arch/arm32/loader/pack
/branches/arm/boot/arch/arm32/loader/types.h
/branches/arm/boot/arch/arm32/Makefile.inc
2144 6333 d 20 h jermar /trunk/kernel/arch/sparc64/src/mm/ Fix TSB size.  
/trunk/kernel/arch/sparc64/src/mm/as.c
2143 6334 d 2 h jermar /trunk/kernel/arch/sparc64/include/ Remove unneeded enum member.  
/trunk/kernel/arch/sparc64/include/interrupt.h
2142 6334 d 3 h jermar /trunk/kernel/generic/include/mm/ Remove out of date comment.  
/trunk/kernel/generic/include/mm/as.h
2141 6334 d 18 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.
 
/trunk/kernel/arch/sparc64/src/mm/cache.S
/trunk/kernel/arch/sparc64/src/mm/cache.c
/trunk/kernel/arch/sparc64/src/mm/cache_asm.S
/trunk/boot/arch/sparc64/loader/asm.h
/trunk/kernel/arch/sparc64/Makefile.inc
/trunk/kernel/arch/sparc64/include/cpu.h
/trunk/kernel/arch/sparc64/include/mm/as.h
/trunk/kernel/arch/sparc64/include/mm/cache.h
/trunk/kernel/arch/sparc64/include/mm/frame.h
/trunk/kernel/arch/sparc64/include/mm/page.h
/trunk/kernel/arch/sparc64/include/mm/tsb.h
/trunk/kernel/arch/sparc64/include/stack.h
/trunk/kernel/arch/sparc64/src/cpu/cpu.c
/trunk/kernel/arch/sparc64/src/mm/as.c
/trunk/kernel/arch/sparc64/src/mm/page.c
/trunk/kernel/arch/sparc64/src/mm/tlb.c
/trunk/kernel/arch/sparc64/src/mm/tsb.c
/trunk/kernel/arch/sparc64/src/smp/ipi.c
/trunk/kernel/arch/sparc64/src/trap/interrupt.c
/trunk/kernel/genarch/src/fb/fb.c
/trunk/kernel/genarch/src/mm/page_ht.c
/trunk/kernel/generic/src/console/klog.c
/trunk/kernel/generic/src/ddi/ddi.c
/trunk/kernel/generic/src/lib/rd.c
/trunk/kernel/generic/src/mm/as.c
/trunk/kernel/generic/src/mm/backend_anon.c
/trunk/kernel/generic/src/mm/backend_elf.c
/trunk/kernel/generic/src/time/clock.c
/trunk/uspace/fb/ega.c
/trunk/uspace/fb/fb.c
/trunk/uspace/fb/main.c
/trunk/uspace/klog/klog.c
/trunk/uspace/libc/arch/sparc64/_link.ld.in
/trunk/uspace/libc/arch/sparc64/include/config.h
/trunk/uspace/libc/arch/sparc64/include/stack.h
/trunk/uspace/libc/generic/as.c
/trunk/uspace/libc/generic/mman.c
/trunk/uspace/libc/generic/time.c
/trunk/uspace/libc/include/as.h
/trunk/uspace/ns/ns.c
/trunk/uspace/rd/rd.c
2140 6334 d 19 h decky /branches/gc/ add garbage collector branch  
/branches/gc
2139 6334 d 19 h decky /trunk/contrib/toolchain/ move to GCC 4.1.2, make scripts really host platform independent
remove orphaned libobjc
 
/trunk/contrib/toolchain/toolchain.amd64.sh
/trunk/contrib/toolchain/toolchain.arm32.sh
/trunk/contrib/toolchain/toolchain.ia32.sh
/trunk/contrib/toolchain/toolchain.ia64.sh
/trunk/contrib/toolchain/toolchain.mipseb32.sh
/trunk/contrib/toolchain/toolchain.mipsel32.sh
/trunk/contrib/toolchain/toolchain.ppc32.sh
/trunk/contrib/toolchain/toolchain.ppc64.sh
/trunk/contrib/toolchain/toolchain.sparc64.sh
2138 6334 d 22 h decky /trunk/contrib/toolchain/ revert previous change (libobjc is actually HOST platform dependent)  
/trunk/contrib/toolchain/toolchain.ia32.sh
2137 6334 d 22 h kebrt /branches/arm/contrib/toolchain/ typo  
/branches/arm/contrib/toolchain/toolchain.arm32.sh
2136 6334 d 22 h kebrt /branches/arm/kernel/doc/ new developer  
/branches/arm/kernel/doc/AUTHORS
2135 6335 d 3 h stepan /branches/arm/kernel/doc/ test commit  
/branches/arm/kernel/doc/AUTHORS
2134 6335 d 22 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.
 
/trunk/kernel/arch/sparc64/include/cpu.h
/trunk/kernel/arch/sparc64/include/interrupt.h
/trunk/kernel/arch/sparc64/include/mm/cache.h
/trunk/kernel/arch/sparc64/src/cpu/cpu.c
/trunk/kernel/arch/sparc64/src/mm/cache.c
/trunk/kernel/arch/sparc64/src/mm/tlb.c
/trunk/kernel/arch/sparc64/src/smp/ipi.c
/trunk/kernel/arch/sparc64/src/trap/interrupt.c
/trunk/kernel/generic/src/mm/backend_anon.c
/trunk/kernel/generic/src/mm/backend_elf.c
2133 6335 d 23 h jermar /trunk/kernel/generic/src/mm/ Coding style and indentation fixes.  
/trunk/kernel/generic/src/mm/as.c
/trunk/kernel/generic/src/mm/frame.c
/trunk/kernel/generic/src/mm/tlb.c
2132 6337 d 5 h jermar /trunk/kernel/generic/src/mm/ Fix coding style in the address space area backends.  
/trunk/kernel/generic/src/mm/backend_anon.c
/trunk/kernel/generic/src/mm/backend_elf.c
/trunk/kernel/generic/src/mm/backend_phys.c
2131 6338 d 1 h decky /branches/ add development branches  
/branches
/branches/arm
/branches/fs
/branches/rcu