source: trunk/kernel/syscalls/sys_thread_exit.c @ 576

Last change on this file since 576 was 566, checked in by alain, 6 years ago

Complete restructuration of kernel locks.

File size: 3.5 KB
Line 
1/*
2 * sys_thread_exit.c - terminates the execution of calling thread
3 *
4 * Authors   Alain Greiner (2016,2017,2018)
5 *
6 * Copyright (c) UPMC Sorbonne Universites
7 *
8 * This file is part of ALMOS-MKH.
9 *
10 * ALMOS-MKH is free software; you can redistribute it and/or modify it
11 * under the terms of the GNU General Public License as published by
12 * the Free Software Foundation; version 2.0 of the License.
13 *
14 * ALMOS-MKH is distributed in the hope that it will be useful, but
15 * WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17 * General Public License for more details.
18 *
19 * You should have received a copy of the GNU General Public License
20 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
21 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
22 */
23
24#include <hal_kernel_types.h>
25#include <hal_irqmask.h>
26#include <thread.h>
27#include <process.h>
28#include <core.h>
29#include <vmm.h>
30#include <scheduler.h>
31#include <printk.h>
32
33#include <syscalls.h>
34
35////////////////////////////////////////
36int sys_thread_exit( void * exit_value )
37{
38    reg_t       save_sr;    // required to enable IRQs
39    xptr_t      owner_xp;   // extended pointer on owner process
40 
41        thread_t  * this      = CURRENT_THREAD;
42    trdid_t     trdid     = this->trdid;
43    process_t * process   = this->process;
44    pid_t       pid       = process->pid;
45    cxy_t       owner_cxy = CXY_FROM_PID( pid );
46
47    // check exit_value argument
48    if( exit_value != NULL )
49    {
50
51#if DEBUG_SYSCALLS_ERROR
52printk("\n[ERROR] in %s : exit_value argument must be NULL / thread %x in process %x\n",
53__FUNCTION__ , this , pid );
54#endif
55        this->errno = EINVAL;
56        return -1;
57    }
58
59#if DEBUG_SYS_THREAD_EXIT
60uint64_t     tm_start;
61uint64_t     tm_end;
62tm_start = hal_get_cycles();
63if( DEBUG_SYS_THREAD_EXIT < tm_start )
64printk("\n[DBG] %s : thread %x in process %x enter / cycle %d\n",
65__FUNCTION__ , this->trdid, pid , (uint32_t)tm_start );
66#endif
67
68    // If calling thread is the main thread, the process must be deleted.
69    // This require to delete all process threads and synchronise with parent process
70    if( (local_cxy == owner_cxy) && (LTID_FROM_TRDID(trdid) == 0) )
71    {
72        // get extended pointer on owner cluster
73        owner_xp = cluster_get_owner_process_from_pid( pid );
74
75        // mark for delete all threads but the main
76        hal_enable_irq( &save_sr );
77        process_sigaction( pid , DELETE_ALL_THREADS );
78        hal_restore_irq( save_sr );
79
80        // remove process from TXT list
81        process_txt_detach( owner_xp );
82
83        // block the main thread
84        thread_block( XPTR( local_cxy , this ) , THREAD_BLOCKED_GLOBAL );
85
86        // atomically update owner process descriptor term_state to ask
87        // the parent process sys_wait() function to delete the main thread
88        hal_remote_atomic_or( XPTR( local_cxy , &process->term_state ) ,
89                              PROCESS_TERM_EXIT );
90    }
91    else
92    {
93        // block calling thread and mark it for delete,
94        thread_delete( XPTR( local_cxy , this ) , pid , false );
95    }
96
97#if DEBUG_SYS_THREAD_EXIT
98tm_end = hal_get_cycles();
99if( DEBUG_SYS_THREAD_EXIT < tm_end )
100printk("\n[DBG] %s : thread %x in process %x exit / cost %d / cycle %d\n",
101__FUNCTION__, this->trdid, pid, (uint32_t)(tm_end - tm_start), (uint32_t)tm_end );
102#endif
103
104    // deschedule <=> suicide, because blocked by thread_delete()
105    sched_yield( "suicide after thread_exit" );
106   
107    return 0;   // never executed but required by compiler
108
109}  // end sys_thread exit
Note: See TracBrowser for help on using the repository browser.