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 6290 d 4 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 6290 d 21 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 6292 d 0 h konopa /branches/fs/kernel/doc/ New author added  
/branches/fs/kernel/doc/AUTHORS
2180 6292 d 2 h stepan /branches/arm/kernel/arch/arm32/include/ exception vector locations added  
/branches/arm/kernel/arch/arm32/include/exception.h
2179 6292 d 2 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 6292 d 7 h kebrt /branches/arm/kernel/arch/arm32/include/ istate structure added  
/branches/arm/kernel/arch/arm32/include/exception.h
2177 6292 d 10 h stepan /branches/arm/kernel/arch/arm32/src/ arch/regutils.h changes reflected  
/branches/arm/kernel/arch/arm32/src/interrupt.c
2176 6292 d 10 h stepan /branches/arm/kernel/arch/arm32/include/ status registers manipulation macros  
/branches/arm/kernel/arch/arm32/include/regutils.h
2175 6293 d 1 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 6294 d 4 h kebrt /branches/arm/kernel/arch/arm32/include/ atomic_add added  
/branches/arm/kernel/arch/arm32/include/atomic.h
2173 6294 d 11 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 6294 d 11 h kebrt /branches/arm/kernel/arch/arm32/src/ memcpy added  
/branches/arm/kernel/arch/arm32/src/asm.S
2171 6294 d 11 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 6294 d 22 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 6294 d 23 h kebrt /branches/arm/kernel/arch/arm32/src/ debug print added  
/branches/arm/kernel/arch/arm32/src/arm32.c
2168 6294 d 23 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 6294 d 23 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 6294 d 23 h kebrt /branches/arm/kernel/arch/arm32/include/ context added  
/branches/arm/kernel/arch/arm32/include/context.h
2165 6294 d 23 h kebrt /branches/arm/boot/arch/arm32/loader/ indenting  
/branches/arm/boot/arch/arm32/loader/asm.S
2164 6296 d 1 h jancik /branches/arm/tools/ ALf: correction .. wrong version previosly commited  
/branches/arm/tools/cygwin_symlink_patch.sh

Show All