Subversion Repositories HelenOS

Rev

Go to most recent revision | Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
4687 5402 d 11 h jermar /tags/0.4.1/ Tag 0.4.1  
4490 5463 d 13 h decky /trunk/kernel/ remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed)  
4247 5521 d 17 h decky /trunk/kernel/generic/src/synch/ more readable spinning printout  
4220 5525 d 0 h decky /trunk/kernel/ update for string changes  
4137 5541 d 12 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 5542 d 11 h svoboda /trunk/ Make kernel symbol information optional.  
3059 5828 d 18 h decky /trunk/kernel/generic/src/ proper printf formatting  
2211 6251 d 14 h decky /trunk/kernel/generic/src/synch/ reflect the renaming of printflock to printf_lock  
2183 6253 d 16 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 6321 d 15 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6331 d 12 h jermar /trunk/ (c) versus (C)  
1787 6521 d 14 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6528 d 15 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6542 d 20 h jermar /kernel/trunk/ Cleanup of comments.  
1702 6549 d 18 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1667 6554 d 16 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 6579 d 23 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 6580 d 20 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 6592 d 20 h jermar /kernel/trunk/generic/ Improve Doxygen-comments.  
1224 6600 d 18 h cejka /kernel/trunk/ Fix pointers output format.
Fix format of slab and zones tables.
 

Show All