Subversion Repositories HelenOS

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
4605 5611 d 6 h decky /branches/snapshot/ add task snapshoting branch  
4490 5640 d 1 h decky /trunk/kernel/ remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed)  
4247 5698 d 4 h decky /trunk/kernel/generic/src/synch/ more readable spinning printout  
4220 5701 d 12 h decky /trunk/kernel/ update for string changes  
4137 5718 d 0 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 5718 d 22 h svoboda /trunk/ Make kernel symbol information optional.  
3059 6005 d 5 h decky /trunk/kernel/generic/src/ proper printf formatting  
2211 6428 d 2 h decky /trunk/kernel/generic/src/synch/ reflect the renaming of printflock to printf_lock  
2183 6430 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.
 
2087 6498 d 3 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6508 d 0 h jermar /trunk/ (c) versus (C)  
1787 6698 d 2 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6705 d 3 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6719 d 8 h jermar /kernel/trunk/ Cleanup of comments.  
1702 6726 d 6 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1667 6731 d 4 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 6756 d 11 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 6757 d 8 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 6769 d 8 h jermar /kernel/trunk/generic/ Improve Doxygen-comments.  
1224 6777 d 6 h cejka /kernel/trunk/ Fix pointers output format.
Fix format of slab and zones tables.
 

Show All