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
2745 6007 d 8 h decky /trunk/ code cleanup (mostly signed/unsigned)
allow extra compiler warnings
 
2626 6101 d 9 h jermar /trunk/kernel/generic/ Support for 5 payload arguments for IPC irq notifications and the pseudo code.  
2471 6262 d 0 h jermar /trunk/ Greatly improve comments in the IPC layer.
Now I think I finally start to understand our IPC internals :-)
 
2183 6335 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.
 
2098 6401 d 1 h decky /trunk/kernel/generic/ avoid conflict with potential keyword  
2071 6412 d 23 h jermar /trunk/ (c) versus (C)  
2064 6426 d 22 h vana /trunk/ SIMICS added as a simulator kernel runs on  
1933 6504 d 22 h jermar /trunk/kernel/generic/ Implement efficient IPC notification cleanup.  
1932 6504 d 23 h jermar /trunk/kernel/ Do not copy notification config out of the IRQ structure.
Add the notify member, that toggles notifications on and off instead.
This is good for preventing other tasks from registering the notification
while the notification config is stored outside the IRQ structure.
It should also help to implement the cleanup code.
 
1923 6505 d 23 h jermar /trunk/ Replace the old IRQ dispatcher and IPC notifier with new implementation.
Note that all architectures except for sparc64 are now broken
and don't even compile.
 
1875 6545 d 0 h jermar /trunk/ sparc64 work.
- Changes to enable userspace keyboard drivers.
- Fix z8530 initialization (i.e. clear any pending Tx interrupts).
- Experimental support for framebuffers with inverted colors.
 
1787 6603 d 1 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6610 d 2 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6624 d 7 h jermar /kernel/trunk/ Cleanup of comments.  
1702 6631 d 5 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1698 6632 d 0 h jermar /kernel/trunk/generic/src/ipc/ Improve comments.
Replace 'process' with 'task'.
 
1693 6633 d 2 h palkovsky /kernel/trunk/generic/ Modified ipc/irq to be able to pass up to 3 arguments to userspace.  
1628 6637 d 20 h decky /kernel/trunk/ fixes  
1625 6637 d 20 h decky /kernel/trunk/ ppc32 uspace keyboard support  
1595 6638 d 12 h palkovsky /kernel/trunk/ Added kernel circular buffer klog.
Added automatic killing of tasks raising inappropriate exceptions.
TODO: Fix vsnprintf return value(and behaviour according to specs) and remove workaround in klog.
 

Show All