Subversion Repositories HelenOS

Rev

Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
4647 5592 d 23 h jermar /branches/arm/ Branch out a new arm branch.  
4490 5634 d 22 h decky /trunk/kernel/ remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed)  
4247 5693 d 1 h decky /trunk/kernel/generic/src/synch/ more readable spinning printout  
4220 5696 d 9 h decky /trunk/kernel/ update for string changes  
4137 5712 d 21 h svoboda /trunk/kernel/ Make optionality of symbol information less intrusive per Jakub's request. Also, improve symtab function names and update their semantics.  
4132 5713 d 19 h svoboda /trunk/ Make kernel symbol information optional.  
3059 6000 d 2 h decky /trunk/kernel/generic/src/ proper printf formatting  
2211 6422 d 23 h decky /trunk/kernel/generic/src/synch/ reflect the renaming of printflock to printf_lock  
2183 6425 d 1 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.
 
2087 6493 d 0 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6502 d 21 h jermar /trunk/ (c) versus (C)  
1787 6692 d 23 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6700 d 0 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6714 d 5 h jermar /kernel/trunk/ Cleanup of comments.  
1702 6721 d 3 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1667 6726 d 1 h jermar /kernel/trunk/ Print spurious interrupt messages only when compiled with CONFIG_DEBUG.
Print warning about looping spinlock only after 100000000 unsuccessfull attempts to gain the spinlock.
 
1323 6751 d 8 h jermar /kernel/trunk/ Increase "timeout" for debugging spinlock so that false positive
deadlock reports are suppressed on real hardware.

Also add one HT configuration to hardware compatibility list.
 
1313 6752 d 5 h jermar /kernel/trunk/ Do not report possible deadlock on fb_lock.
This issue was causing troubles in connection
with slow framebuffer in simulated environment
when false positives triggered an infinite
recursion of attempts to report deadlock on
fb_lock using printf() and fb_putchar().
 
1264 6764 d 5 h jermar /kernel/trunk/generic/ Improve Doxygen-comments.  
1224 6772 d 3 h cejka /kernel/trunk/ Fix pointers output format.
Fix format of slab and zones tables.
 

Show All