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
2446 6198 d 0 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 6199 d 20 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 6251 d 10 h decky /trunk/kernel/ start shutdown infrastructure  
2216 6252 d 20 h decky /trunk/ make thread ID 64 bit (task ID is 64 bit already)
cleanup thread syscalls
 
2183 6255 d 0 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 6314 d 1 h decky /trunk/kernel/generic/src/ explicit typecast, fix signed/unsigned comparison  
2109 6315 d 4 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 6322 d 3 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2087 6322 d 22 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6332 d 19 h jermar /trunk/ (c) versus (C)  
2050 6362 d 6 h decky /trunk/kernel/ benchmarking with statistics (initial)  
2048 6364 d 21 h jermar /trunk/ Formatting and indentation changes.  
2042 6366 d 23 h decky /trunk/kernel/ introduce uncounted threads, whose accounting doesn't affect accumulated task accounting
run tests in kconsole thread again
 
2041 6367 d 0 h decky /trunk/kernel/generic/src/proc/ revert 2040  
2040 6367 d 2 h decky /trunk/kernel/generic/src/proc/ add forgotten btree_remove()  
2039 6367 d 3 h decky /trunk/kernel/generic/ accumulate task accounting, run tests as separate kernel task  
2035 6368 d 1 h decky /trunk/kernel/generic/src/ more fancy kconsole output  
2000 6383 d 5 h decky /trunk/kernel/ move files to more proper locations  
1880 6461 d 19 h jermar /trunk/ Small improvements here and there.  
1864 6468 d 16 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 6498 d 0 h decky /trunk/kernel/generic/ finish security context isolation  
1820 6505 d 17 h decky /trunk/kernel/generic/ initial security context support  
1787 6522 d 22 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6529 d 23 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6544 d 4 h jermar /kernel/trunk/ Cleanup of comments.  
1735 6546 d 5 h decky /kernel/trunk/ make kernel prints case consistent  
1702 6551 d 2 h cejka /kernel/trunk/ Kernel doxygen comments updated.  
1687 6554 d 2 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 6554 d 6 h jermar /kernel/trunk/ #ifdef more debugging printf()'s.  
1676 6555 d 2 h jermar /kernel/trunk/generic/src/proc/ Forgotten interrupts_restore().  
1661 6556 d 7 h jermar /kernel/trunk/generic/ Collect Undead threads while waiting to join uinit.
Rename ktaskkill to ktaskgc.
 
1636 6557 d 15 h jermar /kernel/trunk/ Move comment.

Do TLB shootdown also when allocating new ASID.
 
1600 6558 d 7 h jermar /kernel/trunk/generic/src/proc/ Prevent task killing of kernel by returning EPERM on such a request.  
1597 6558 d 8 h palkovsky /kernel/trunk/ Added possibility to interrupt task at exit from interrupt routine.  
1589 6558 d 21 h jermar /kernel/trunk/generic/src/ Improve comments regarding liveliness of threads and tasks.  
1588 6558 d 22 h jermar /kernel/trunk/generic/src/ In task_kill(), remove the task from the tasks_btree before proceeding.
Thus, when the kernel finds the task in the tasks_btree and locks it before
releasing tasks_lock, it is guaranteed that the task will not be destroyed
until the lock is held. If the kernel needs to unlock the task, do some operation
and lock it again, it should increase its refcount before doing so. In that case,
when releasing the lock, it must decrement the refcount and if it reaches
zero, it must call task_destroy().
 
1587 6558 d 23 h jermar /kernel/trunk/ task_destroy() implementation, fixes in as_destroy() and task_kill().
This is the first version of HelenOS that would perform complete cleanup leading from thread to destruction of address space.
 
1585 6559 d 2 h jermar /kernel/trunk/generic/ Kill task when its main thread exits.  
1583 6559 d 5 h jermar /kernel/trunk/generic/ Make ktaskclnp call ipc_cleanup and futex_cleanup.  
1580 6559 d 8 h jermar /kernel/trunk/generic/src/ Update for task_kill().