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
2800 5943 d 11 h svoboda /branches/tracing/kernel/generic/ [tracing] fix initialiation of answerbox->task in ipc_answerbox_init  
2799 5943 d 11 h svoboda /branches/tracing/ Revert all changes in tracing branch (sync to r2785 of trunk)  
2787 5952 d 4 h decky /branches/tracing/ add dynamic linking, debugging and tracing branch  
2745 5981 d 8 h decky /trunk/ code cleanup (mostly signed/unsigned)
allow extra compiler warnings		  
2712 6007 d 6 h decky /trunk/kernel/ prettyprint output  
2632 6068 d 19 h decky /trunk/kernel/generic/src/proc/ try to kill the tasks fewer times by introducing a delay in iterations  
2504 6194 d 1 h jermar /trunk/kernel/generic/ Give the AVL tree walkers the possibility to take an argument.
Each walker is now supposed to return a bool value to support walk termination.

Switch over from the tasks_btree B+tree to tasks_tree AVL tree.
This makes the fix for ticket #48 complete.		  
2446 6252 d 4 h jermar /trunk/kernel/generic/ More efficient and simpler task termination.

Based on the assumption, that after its creation, only the task itself can create more threads for itself,
the last thread with userspace context to execute thread_exit() will perform futex and IPC cleanup. When
the task has no threads, it is destroyed. Both the cleanup and destruction is controlled by reference
counting.

As for userspace threads, even though there could be a global garbage collector for joining threads, it is
much simpler if the uinit thread detaches itself before switching to userspace.

task_kill() is now an idempotent operation. It just instructs the threads within a task to exit.

Change in the name of a thread state: Undead -> JoinMe.		  
2436 6254 d 0 h jermar /trunk/ Fix two memory leaks.

In kernel, kernel_uarg structure needs to be deallocated when a thread
with userspace context is destroyed.

In userspace, the return value of the SYS_THREAD_CREATE must be checked
for error conditions and in case of error, uarg and stack must be freed
up.		  
2227 6305 d 14 h decky /trunk/kernel/ start shutdown infrastructure  
2216 6307 d 0 h decky /trunk/ make thread ID 64 bit (task ID is 64 bit already)
cleanup thread syscalls		  
2183 6309 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.		  
2118 6368 d 5 h decky /trunk/kernel/generic/src/ explicit typecast, fix signed/unsigned comparison  
2109 6369 d 8 h jermar /trunk/kernel/generic/ Revert thread_interrupt_sleep() to waitq_interrupt_sleep().
I'd prefer that this, IMO, waitq related stuff stays together.		  
2089 6376 d 7 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes		  
2087 6377 d 2 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6386 d 23 h jermar /trunk/ (c) versus (C)  
2050 6416 d 10 h decky /trunk/kernel/ benchmarking with statistics (initial)  
2048 6419 d 1 h jermar /trunk/ Formatting and indentation changes.  
2042 6421 d 3 h decky /trunk/kernel/ introduce uncounted threads, whose accounting doesn't affect accumulated task accounting
run tests in kconsole thread again		  
2041 6421 d 4 h decky /trunk/kernel/generic/src/proc/ revert 2040  
2040 6421 d 6 h decky /trunk/kernel/generic/src/proc/ add forgotten btree_remove()  
2039 6421 d 7 h decky /trunk/kernel/generic/ accumulate task accounting, run tests as separate kernel task  
2035 6422 d 5 h decky /trunk/kernel/generic/src/ more fancy kconsole output  
2000 6437 d 9 h decky /trunk/kernel/ move files to more proper locations  
1880 6515 d 23 h jermar /trunk/ Small improvements here and there.  
1864 6522 d 20 h jermar /trunk/ sparc64 update.
- Prototype userspace layer implementation that
at least relates to sparc64 and compiles cleanly.
- Fixes for kernel's preemptible_handler and code
related to running userspace.
- Enable userspace. Several dozen instructions
are now run in userspace! We are pretty near
the userspace milestone for sparc64.		  
1839 6552 d 4 h decky /trunk/kernel/generic/ finish security context isolation  
1820 6559 d 21 h decky /trunk/kernel/generic/ initial security context support  
1787 6577 d 2 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6584 d 3 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6598 d 8 h jermar /kernel/trunk/ Cleanup of comments.  
1735 6600 d 9 h decky /kernel/trunk/ make kernel prints case consistent  
1702 6605 d 6 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1687 6608 d 6 h jermar /kernel/trunk/generic/src/proc/ Fix double thread_join() in ktaskgc.
In thread_create(), lock TASK with interrupts disabled again.
thread_join_timeout() can use ordinary waitq_sleep_timeout().		  
1684 6608 d 10 h jermar /kernel/trunk/ #ifdef more debugging printf()'s.  
1676 6609 d 6 h jermar /kernel/trunk/generic/src/proc/ Forgotten interrupts_restore().  
1661 6610 d 11 h jermar /kernel/trunk/generic/ Collect Undead threads while waiting to join uinit.
Rename ktaskkill to ktaskgc.		  
1636 6611 d 19 h jermar /kernel/trunk/ Move comment.

Do TLB shootdown also when allocating new ASID.		  
1600 6612 d 11 h jermar /kernel/trunk/generic/src/proc/ Prevent task killing of kernel by returning EPERM on such a request.