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
3593 5663 d 13 h rimsky /branches/sparc/ Merged latest trunk changes into sparc branch.  
3492 5697 d 17 h rimsky /branches/sparc/ Changes in trunk merged into the sparc branch. SILO's ramdisk issue solved by the CONFIG_RD_EXTERNAL option.  
3397 5729 d 22 h rimsky /branches/sparc/ Merged recent changes from trunk into the Sparc branch.  
3343 5753 d 19 h decky /branches/sparc/ add sparc branch  
3222 5795 d 20 h svoboda /trunk/ Merge program-loader related stuff from dynload branch to trunk. (huge)  
3186 5810 d 17 h jermar /trunk/kernel/ Support for active mutexes. Active mutexes implement busy waiting, pretty much
in the same way as spinlocks, but can be passed to condition variables, which is
the motivation for this enhancement.
 
3137 5820 d 0 h jermar /trunk/kernel/generic/src/proc/ Maintain cache coherence after sys_task_spawn() copies ELF image from user space.  
3063 5830 d 21 h decky /trunk/kernel/generic/src/proc/ support for SYS_SPAWN syscall
proper printf formatting
change the way init tasks are created
 
2802 5890 d 1 h jermar /trunk/kernel/generic/ Fix initialization of answerbox->task in ipc_answerbox_init.
Contributed by Jiri Svoboda.
 
2745 5928 d 0 h decky /trunk/ code cleanup (mostly signed/unsigned)
allow extra compiler warnings
 
2712 5953 d 22 h decky /trunk/kernel/ prettyprint output  
2632 6015 d 11 h decky /trunk/kernel/generic/src/proc/ try to kill the tasks fewer times by introducing a delay in iterations  
2504 6140 d 17 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 6198 d 20 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 6200 d 16 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 6252 d 6 h decky /trunk/kernel/ start shutdown infrastructure  
2216 6253 d 16 h decky /trunk/ make thread ID 64 bit (task ID is 64 bit already)
cleanup thread syscalls
 
2183 6255 d 20 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 21 h decky /trunk/kernel/generic/src/ explicit typecast, fix signed/unsigned comparison  
2109 6316 d 0 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 23 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2087 6323 d 18 h jermar /trunk/kernel/ Indentaion and formatting changes even Martin will like :-)  
2071 6333 d 15 h jermar /trunk/ (c) versus (C)  
2050 6363 d 2 h decky /trunk/kernel/ benchmarking with statistics (initial)  
2048 6365 d 17 h jermar /trunk/ Formatting and indentation changes.  
2042 6367 d 19 h decky /trunk/kernel/ introduce uncounted threads, whose accounting doesn't affect accumulated task accounting
run tests in kconsole thread again
 
2041 6367 d 20 h decky /trunk/kernel/generic/src/proc/ revert 2040  
2040 6367 d 22 h decky /trunk/kernel/generic/src/proc/ add forgotten btree_remove()  
2039 6367 d 23 h decky /trunk/kernel/generic/ accumulate task accounting, run tests as separate kernel task  
2035 6368 d 21 h decky /trunk/kernel/generic/src/ more fancy kconsole output  
2000 6384 d 1 h decky /trunk/kernel/ move files to more proper locations  
1880 6462 d 15 h jermar /trunk/ Small improvements here and there.  
1864 6469 d 12 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 20 h decky /trunk/kernel/generic/ finish security context isolation  
1820 6506 d 13 h decky /trunk/kernel/generic/ initial security context support  
1787 6523 d 18 h decky / move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot  
1780 6530 d 19 h jermar /kernel/trunk/ Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.).  
1757 6545 d 0 h jermar /kernel/trunk/ Cleanup of comments.  
1735 6547 d 1 h decky /kernel/trunk/ make kernel prints case consistent  
1702 6551 d 22 h cejka /kernel/trunk/ Kernel doxygen comments updated.