Subversion Repositories HelenOS

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
4605 5656 d 5 h decky /branches/snapshot/ add task snapshoting branch  
4490 5684 d 23 h decky /trunk/kernel/ remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed)  
4247 5743 d 3 h decky /trunk/kernel/generic/src/synch/ more readable spinning printout  
4220 5746 d 11 h decky /trunk/kernel/ update for string changes  
4137 5762 d 22 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 5763 d 21 h svoboda /trunk/ Make kernel symbol information optional.  
3059 6050 d 4 h decky /trunk/kernel/generic/src/ proper printf formatting  
2211 6473 d 1 h decky /trunk/kernel/generic/src/synch/ reflect the renaming of printflock to printf_lock  
2183 6475 d 3 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 6543 d 1 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6552 d 22 h jermar /trunk/ (c) versus (C)  
1787 6743 d 0 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6750 d 2 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6764 d 6 h jermar /kernel/trunk/ Cleanup of comments.  
1702 6771 d 4 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1667 6776 d 3 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 6801 d 9 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 6802 d 6 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 6814 d 6 h jermar /kernel/trunk/generic/ Improve Doxygen-comments.  
1224 6822 d 5 h cejka /kernel/trunk/ Fix pointers output format.
Fix format of slab and zones tables.		  

←Prev12Next→

Show All