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
2183 6391 d 21 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.		  
/trunk/kernel/generic/include/mm/as.h
/trunk/kernel/generic/include/synch/mutex.h
/trunk/kernel/generic/include/synch/spinlock.h
/trunk/kernel/generic/src/ipc/ipc.c
/trunk/kernel/generic/src/ipc/irq.c
/trunk/kernel/generic/src/mm/as.c
/trunk/kernel/generic/src/proc/scheduler.c
/trunk/kernel/generic/src/proc/task.c
/trunk/kernel/generic/src/proc/thread.c
/trunk/kernel/generic/src/synch/spinlock.c
/trunk/kernel/generic/src/synch/waitq.c
/trunk/kernel/generic/src/time/timeout.c
2182 6392 d 14 h jancik /branches/arm/kernel/arch/arm32/ Alf: Paging ... not tested  
/branches/arm/kernel/arch/arm32/src/mm/memory_init.c
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/include/mm/memory_init.h
/branches/arm/kernel/arch/arm32/include/mm/page.h
/branches/arm/kernel/arch/arm32/src/arm32.c
/branches/arm/kernel/arch/arm32/src/mm/frame.c
/branches/arm/kernel/arch/arm32/src/mm/page.c
2181 6393 d 17 h konopa /branches/fs/kernel/doc/ New author added  
/branches/fs/kernel/doc/AUTHORS
2180 6393 d 19 h stepan /branches/arm/kernel/arch/arm32/include/ exception vector locations added  
/branches/arm/kernel/arch/arm32/include/exception.h
2179 6393 d 19 h stepan /branches/arm/kernel/arch/arm32/ exception handlers installation & initialization routines  
/branches/arm/kernel/arch/arm32/src/exception.c
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/include/asm.h
2178 6394 d 0 h kebrt /branches/arm/kernel/arch/arm32/include/ istate structure added  
/branches/arm/kernel/arch/arm32/include/exception.h
2177 6394 d 3 h stepan /branches/arm/kernel/arch/arm32/src/ arch/regutils.h changes reflected  
/branches/arm/kernel/arch/arm32/src/interrupt.c
2176 6394 d 3 h stepan /branches/arm/kernel/arch/arm32/include/ status registers manipulation macros  
/branches/arm/kernel/arch/arm32/include/regutils.h
2175 6394 d 18 h jancik /branches/arm/kernel/arch/arm32/ Alf: Disable ASID support  
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/include/mm/as.h
/branches/arm/kernel/arch/arm32/include/mm/asid.h
/branches/arm/kernel/arch/arm32/include/mm/frame.h
/branches/arm/kernel/arch/arm32/src/mm/as.c
2174 6395 d 21 h kebrt /branches/arm/kernel/arch/arm32/include/ atomic_add added  
/branches/arm/kernel/arch/arm32/include/atomic.h
2173 6396 d 4 h kebrt /branches/arm/kernel/arch/arm32/ console added, does not work yet  
/branches/arm/kernel/arch/arm32/include/console.h
/branches/arm/kernel/arch/arm32/include/drivers
/branches/arm/kernel/arch/arm32/include/drivers/msim_gxemul.h
/branches/arm/kernel/arch/arm32/src/console.c
/branches/arm/kernel/arch/arm32/src/drivers
/branches/arm/kernel/arch/arm32/src/drivers/msim_gxemul.c
/branches/arm/kernel/arch/arm32/src/arm32.c
2172 6396 d 4 h kebrt /branches/arm/kernel/arch/arm32/src/ memcpy added  
/branches/arm/kernel/arch/arm32/src/asm.S
2171 6396 d 4 h kebrt /branches/arm/kernel/arch/arm32/ memcpy added  
/branches/arm/kernel/arch/arm32/Makefile.inc
/branches/arm/kernel/arch/arm32/src/dummy.S
2170 6396 d 15 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 6396 d 16 h kebrt /branches/arm/kernel/arch/arm32/src/ debug print added  
/branches/arm/kernel/arch/arm32/src/arm32.c
2168 6396 d 16 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 6396 d 16 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 6396 d 16 h kebrt /branches/arm/kernel/arch/arm32/include/ context added  
/branches/arm/kernel/arch/arm32/include/context.h
2165 6396 d 16 h kebrt /branches/arm/boot/arch/arm32/loader/ indenting  
/branches/arm/boot/arch/arm32/loader/asm.S
2164 6397 d 18 h jancik /branches/arm/tools/ ALf: correction .. wrong version previosly commited  
/branches/arm/tools/cygwin_symlink_patch.sh

←Prev12Next→

Show All