| [1] | 1 | /*
|
|---|
| 2 | * sys_thread_create.c - creates a new user thread
|
|---|
| [289] | 3 | *
|
|---|
| [437] | 4 | * Author Alain Greiner (2016,2017,2018)
|
|---|
| [1] | 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 |
|
|---|
| [14] | 24 | #include <kernel_config.h>
|
|---|
| [457] | 25 | #include <hal_kernel_types.h>
|
|---|
| [23] | 26 | #include <hal_uspace.h>
|
|---|
| [1] | 27 | #include <printk.h>
|
|---|
| 28 | #include <errno.h>
|
|---|
| 29 | #include <core.h>
|
|---|
| 30 | #include <cluster.h>
|
|---|
| 31 | #include <list.h>
|
|---|
| 32 | #include <xlist.h>
|
|---|
| 33 | #include <thread.h>
|
|---|
| 34 | #include <scheduler.h>
|
|---|
| 35 | #include <kmem.h>
|
|---|
| 36 | #include <process.h>
|
|---|
| 37 | #include <dqdt.h>
|
|---|
| [23] | 38 | #include <rpc.h>
|
|---|
| [1] | 39 |
|
|---|
| [506] | 40 | #include <syscalls.h>
|
|---|
| [1] | 41 |
|
|---|
| [566] | 42 | /////////////////////////////////////////////////////////
|
|---|
| 43 | int sys_thread_create( trdid_t * trdid_ptr,
|
|---|
| 44 | struct pthread_attr_s * user_attr,
|
|---|
| 45 | void * start_func,
|
|---|
| 46 | void * start_args )
|
|---|
| [1] | 47 | {
|
|---|
| [407] | 48 | pthread_attr_t kern_attr; // copy of pthread attributes in kernel space
|
|---|
| [1] | 49 | thread_t * parent; // pointer on thread executing the pthread_create
|
|---|
| [566] | 50 | xptr_t parent_xp; // extended pointer on calling thread
|
|---|
| 51 | cxy_t child_cxy; // created child thread cluster identifier
|
|---|
| [289] | 52 | thread_t * child_ptr; // pointer on created child thread
|
|---|
| 53 | xptr_t child_xp; // extended pointer on created thread
|
|---|
| 54 | trdid_t trdid; // created thread identifier
|
|---|
| 55 | process_t * process; // pointer on local process descriptor
|
|---|
| [440] | 56 | vseg_t * vseg; // required for user space checking
|
|---|
| [289] | 57 | error_t error;
|
|---|
| [1] | 58 |
|
|---|
| [407] | 59 | // get parent thead pointer, extended pointer, and process
|
|---|
| [1] | 60 | parent = CURRENT_THREAD;
|
|---|
| [289] | 61 | parent_xp = XPTR( local_cxy , parent );
|
|---|
| [1] | 62 | process = parent->process;
|
|---|
| 63 |
|
|---|
| [438] | 64 | #if DEBUG_SYS_THREAD_CREATE
|
|---|
| [437] | 65 | uint64_t tm_start;
|
|---|
| 66 | uint64_t tm_end;
|
|---|
| 67 | tm_start = hal_get_cycles();
|
|---|
| [438] | 68 | if( DEBUG_SYS_THREAD_CREATE < tm_start )
|
|---|
| [566] | 69 | printk("\n[DBG] %s : thread %x in process %x enter / cycle %d\n",
|
|---|
| 70 | __FUNCTION__, parent->trdid, process->pid, (uint32_t)tm_start );
|
|---|
| [437] | 71 | #endif
|
|---|
| 72 |
|
|---|
| [440] | 73 | // check trdid buffer in user space
|
|---|
| [566] | 74 | error = vmm_get_vseg( process , (intptr_t)trdid_ptr , &vseg );
|
|---|
| [440] | 75 |
|
|---|
| 76 | if ( error )
|
|---|
| 77 | {
|
|---|
| 78 |
|
|---|
| 79 | #if DEBUG_SYSCALLS_ERROR
|
|---|
| [566] | 80 | printk("\n[ERROR] in %s : thread %x in process %x / trdid buffer %x unmapped %x\n",
|
|---|
| 81 | __FUNCTION__, parent->trdid, process->pid, (intptr_t)trdid_ptr );
|
|---|
| [440] | 82 | vmm_display( process , false );
|
|---|
| 83 | #endif
|
|---|
| 84 | parent->errno = EINVAL;
|
|---|
| 85 | return -1;
|
|---|
| 86 | }
|
|---|
| 87 |
|
|---|
| 88 | // check user_attr buffer in user space & copy to kernel space
|
|---|
| [407] | 89 | if( user_attr != NULL )
|
|---|
| 90 | {
|
|---|
| [440] | 91 | error = vmm_get_vseg( process , (intptr_t)user_attr , &vseg );
|
|---|
| [23] | 92 |
|
|---|
| [407] | 93 | if( error )
|
|---|
| 94 | {
|
|---|
| [437] | 95 |
|
|---|
| [438] | 96 | #if DEBUG_SYSCALLS_ERROR
|
|---|
| [566] | 97 | printk("\n[ERROR] in %s : thread %x in process %x / user_attr buffer unmapped %x\n",
|
|---|
| 98 | __FUNCTION__, parent->trdid, process->pid, (intptr_t)user_attr );
|
|---|
| [440] | 99 | vmm_display( process , false );
|
|---|
| [437] | 100 | #endif
|
|---|
| [407] | 101 | parent->errno = EINVAL;
|
|---|
| 102 | return -1;
|
|---|
| 103 | }
|
|---|
| 104 |
|
|---|
| 105 | hal_copy_from_uspace( &kern_attr , user_attr , sizeof(pthread_attr_t) );
|
|---|
| 106 | }
|
|---|
| [23] | 107 |
|
|---|
| [289] | 108 | // check start_func in user space
|
|---|
| [440] | 109 | error = vmm_get_vseg( process , (intptr_t)start_func , &vseg );
|
|---|
| [23] | 110 |
|
|---|
| [440] | 111 | if( error )
|
|---|
| 112 | {
|
|---|
| [437] | 113 |
|
|---|
| [438] | 114 | #if DEBUG_SYSCALLS_ERROR
|
|---|
| [566] | 115 | printk("\n[ERROR] in %s : thread %x in process %x / start_func unmapped %x\n",
|
|---|
| 116 | __FUNCTION__, parent->trdid, process->pid, (intptr_t)start_func );
|
|---|
| [440] | 117 | vmm_display( process , false );
|
|---|
| [437] | 118 | #endif
|
|---|
| [440] | 119 | parent->errno = EINVAL;
|
|---|
| 120 | return -1;
|
|---|
| [1] | 121 | }
|
|---|
| 122 |
|
|---|
| [506] | 123 | // check start_args buffer in user space
|
|---|
| 124 | if( start_args != NULL )
|
|---|
| [440] | 125 | {
|
|---|
| [506] | 126 | error = vmm_get_vseg( process , (intptr_t)start_args , &vseg );
|
|---|
| [1] | 127 |
|
|---|
| [440] | 128 | if( error )
|
|---|
| 129 | {
|
|---|
| [437] | 130 |
|
|---|
| [438] | 131 | #if DEBUG_SYSCALLS_ERROR
|
|---|
| [566] | 132 | printk("\n[ERROR] in %s : thread %x in process %x / start_args buffer unmapped %x\n",
|
|---|
| 133 | __FUNCTION__, parent->trdid, process->pid, (intptr_t)start_args );
|
|---|
| [440] | 134 | vmm_display( process , false );
|
|---|
| [437] | 135 | #endif
|
|---|
| [440] | 136 | parent->errno = EINVAL;
|
|---|
| 137 | return -1;
|
|---|
| 138 | }
|
|---|
| [23] | 139 | }
|
|---|
| 140 |
|
|---|
| [566] | 141 | // define attributes and child_cxy
|
|---|
| [407] | 142 | if( user_attr != NULL ) // user defined attributes
|
|---|
| 143 | {
|
|---|
| [566] | 144 | // check / get child_cxy
|
|---|
| [407] | 145 | if( kern_attr.attributes & PT_ATTR_CLUSTER_DEFINED )
|
|---|
| 146 | {
|
|---|
| 147 | if( cluster_is_undefined( kern_attr.cxy ) )
|
|---|
| 148 | {
|
|---|
| [437] | 149 |
|
|---|
| [438] | 150 | #if DEBUG_SYSCALLS_ERROR
|
|---|
| [566] | 151 | printk("\n[ERROR] in %s : thread %x in process %x / illegal target cluster %x\n",
|
|---|
| 152 | __FUNCTION__, parent->trdid, process->pid, kern_attr.cxy );
|
|---|
| [437] | 153 | #endif
|
|---|
| [407] | 154 | parent->errno = EINVAL;
|
|---|
| 155 | return -1;
|
|---|
| 156 | }
|
|---|
| [566] | 157 | child_cxy = kern_attr.cxy;
|
|---|
| [289] | 158 | }
|
|---|
| [407] | 159 | else
|
|---|
| 160 | {
|
|---|
| [566] | 161 | child_cxy = dqdt_get_cluster_for_process();
|
|---|
| [407] | 162 | }
|
|---|
| [289] | 163 | }
|
|---|
| [407] | 164 | else // set default attributes
|
|---|
| [289] | 165 | {
|
|---|
| [407] | 166 | kern_attr.attributes = PT_ATTR_DETACH | PT_ATTR_CLUSTER_DEFINED;
|
|---|
| [566] | 167 | child_cxy = dqdt_get_cluster_for_process();
|
|---|
| [289] | 168 | }
|
|---|
| [1] | 169 |
|
|---|
| [289] | 170 | // create the thread, using a RPC if required
|
|---|
| [407] | 171 | // this returns "error", "child_ptr", and "child_xp"
|
|---|
| [1] | 172 |
|
|---|
| [566] | 173 | if( child_cxy == local_cxy ) // target cluster is local
|
|---|
| [289] | 174 | {
|
|---|
| 175 | // create thread in local cluster
|
|---|
| 176 | error = thread_user_create( process->pid,
|
|---|
| 177 | start_func,
|
|---|
| [506] | 178 | start_args,
|
|---|
| [407] | 179 | &kern_attr,
|
|---|
| [289] | 180 | &child_ptr );
|
|---|
| [1] | 181 |
|
|---|
| [289] | 182 | child_xp = XPTR( local_cxy , child_ptr );
|
|---|
| 183 | }
|
|---|
| 184 | else // target cluster is remote
|
|---|
| 185 | {
|
|---|
| [566] | 186 | rpc_thread_user_create_client( child_cxy,
|
|---|
| [289] | 187 | process->pid,
|
|---|
| 188 | start_func,
|
|---|
| [506] | 189 | start_args,
|
|---|
| [407] | 190 | &kern_attr,
|
|---|
| [289] | 191 | &child_xp,
|
|---|
| 192 | &error );
|
|---|
| [23] | 193 |
|
|---|
| [289] | 194 | child_ptr = (thread_t *)GET_PTR( child_xp );
|
|---|
| 195 | }
|
|---|
| [1] | 196 |
|
|---|
| [289] | 197 | // check successful thread creation
|
|---|
| 198 | if( error )
|
|---|
| 199 | {
|
|---|
| [437] | 200 |
|
|---|
| [438] | 201 | #if DEBUG_SYSCALLS_ERROR
|
|---|
| [566] | 202 | printk("\n[ERROR] in %s : thread %x in process %x cannot create new thread\n",
|
|---|
| [440] | 203 | __FUNCTION__ , parent->trdid, process->pid );
|
|---|
| [437] | 204 | #endif
|
|---|
| [440] | 205 | parent->errno = ENOMEM;
|
|---|
| 206 | return -1;
|
|---|
| [289] | 207 | }
|
|---|
| [1] | 208 |
|
|---|
| [289] | 209 | // returns trdid to user space
|
|---|
| [566] | 210 | trdid = hal_remote_l32( XPTR( child_cxy , &child_ptr->trdid ) );
|
|---|
| 211 | hal_copy_to_uspace( trdid_ptr , &trdid , sizeof(pthread_t) );
|
|---|
| [1] | 212 |
|
|---|
| [407] | 213 | // activate new thread
|
|---|
| 214 | thread_unblock( child_xp , THREAD_BLOCKED_GLOBAL );
|
|---|
| 215 |
|
|---|
| 216 | hal_fence();
|
|---|
| 217 |
|
|---|
| [438] | 218 | #if DEBUG_SYS_THREAD_CREATE
|
|---|
| [437] | 219 | tm_end = hal_get_cycles();
|
|---|
| [438] | 220 | if( DEBUG_SYS_THREAD_CREATE < tm_end )
|
|---|
| [566] | 221 | printk("\n[DBG] %s : thread %x in process %x created thread %x / cycle %d\n",
|
|---|
| 222 | __FUNCTION__, parent->trdid, process->pid, child_ptr->trdid, (uint32_t)tm_end );
|
|---|
| [437] | 223 | #endif
|
|---|
| [1] | 224 |
|
|---|
| 225 | return 0;
|
|---|
| 226 |
|
|---|
| [407] | 227 | } // end sys_thread_create()
|
|---|
| 228 |
|
|---|