source: trunk/kernel/libk/remote_mutex.c @ 636

Last change on this file since 636 was 635, checked in by alain, 5 years ago

This version is a major evolution: The physical memory allocators,
defined in the kmem.c, ppm.c, and kcm.c files have been modified
to support remote accesses. The RPCs that were previously user
to allocate physical memory in a remote cluster have been removed.
This has been done to cure a dead-lock in case of concurrent page-faults.

This version 2.2 has been tested on a (4 clusters / 2 cores per cluster)
TSAR architecture, for both the "sort" and the "fft" applications.

File size: 12.8 KB
RevLine 
[23]1/*
[563]2 * remote_mutex.c - POSIX mutex implementation.
[23]3 *
[635]4 * Authors   Alain   Greiner (2016,2017,2018,2019)
[23]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
[563]24#include <kernel_config.h>
[457]25#include <hal_kernel_types.h>
[23]26#include <hal_remote.h>
27#include <thread.h>
[563]28#include <xlist.h>
[23]29#include <scheduler.h>
[563]30#include <remote_busylock.h>
[23]31#include <remote_mutex.h>
32
[563]33
[23]34/////////////////////////////////////////////////
35xptr_t remote_mutex_from_ident( intptr_t  ident )
36{
37    // get pointer on local process_descriptor
38    process_t * process = CURRENT_THREAD->process;
39
40    // get extended pointer on reference process
41    xptr_t      ref_xp = process->ref_xp;
42
43    // get cluster and local pointer on reference process
44    cxy_t          ref_cxy = GET_CXY( ref_xp );
45    process_t    * ref_ptr = (process_t *)GET_PTR( ref_xp );
46
[563]47    // get extended pointers on mutexes list 
[23]48    xptr_t root_xp = XPTR( ref_cxy , &ref_ptr->mutex_root );
[563]49    xptr_t lock_xp = XPTR( ref_cxy , &ref_ptr->sync_lock );
50
51    // get lock protecting synchro lists
52    remote_queuelock_acquire( lock_xp );
53 
[23]54    // scan reference process mutex list
55    xptr_t           iter_xp;
56    xptr_t           mutex_xp;
57    cxy_t            mutex_cxy;
58    remote_mutex_t * mutex_ptr;
59    intptr_t         current;
60    bool_t           found = false;
61           
62    XLIST_FOREACH( root_xp , iter_xp )
63    {
64        mutex_xp  = XLIST_ELEMENT( iter_xp , remote_mutex_t , list );
65        mutex_cxy = GET_CXY( mutex_xp );
66        mutex_ptr = (remote_mutex_t *)GET_PTR( mutex_xp );
67        current     = (intptr_t)hal_remote_lpt( XPTR( mutex_cxy , &mutex_ptr->ident ) );   
68        if( ident == current )
69        {
70            found = true;
71            break;
72        }
73    }
74
[563]75    // relese lock protecting synchros lists
76    remote_queuelock_release( lock_xp );
77 
[23]78    if( found == false )  return XPTR_NULL;
79    else                  return mutex_xp;
80
81}  // end remote_mutex_from_ident()
82
83/////////////////////////////////////////////
84error_t remote_mutex_create( intptr_t ident )
85{ 
86    remote_mutex_t * mutex_ptr;
[635]87    kmem_req_t       req;   
[23]88
89    // get pointer on local process descriptor
90    process_t * process = CURRENT_THREAD->process;
91
92    // get extended pointer on reference process
93    xptr_t      ref_xp = process->ref_xp;
94
95    // get reference process cluster and local pointer
96    cxy_t       ref_cxy = GET_CXY( ref_xp );
97    process_t * ref_ptr = (process_t *)GET_PTR( ref_xp );
98
[635]99    // allocate memory for mutex descriptor in reference cluster
100    req.type    = KMEM_KCM;
101    req.order   = bits_log2( sizeof(remote_mutex_t) );
102    req.flags   = AF_ZERO | AF_KERNEL;
103    mutex_ptr   = kmem_remote_alloc( ref_cxy , &req );
104
105    if( mutex_ptr == NULL )
[23]106    {
[635]107       printk("\n[ERROR] in %s : cannot create mutex\n", __FUNCTION__);
108       return -1;
[23]109    }
110
111    // initialise mutex
[563]112    hal_remote_s32 ( XPTR( ref_cxy , &mutex_ptr->taken )   , 0 );
[23]113    hal_remote_spt( XPTR( ref_cxy , &mutex_ptr->ident )   , (void *)ident );
114    xlist_entry_init( XPTR( ref_cxy , &mutex_ptr->list ) );
115    xlist_root_init( XPTR( ref_cxy , &mutex_ptr->root ) );
[563]116    hal_remote_s64( XPTR( ref_cxy , &mutex_ptr->owner ) , XPTR_NULL );
117    remote_busylock_init( XPTR( ref_cxy , &mutex_ptr->lock ), LOCK_MUTEX_STATE );
[23]118
[563]119    // get root of mutexes list in process, and list_entry in mutex
[23]120    xptr_t root_xp = XPTR( ref_cxy , &ref_ptr->mutex_root );
121    xptr_t xp_list = XPTR( ref_cxy , &mutex_ptr->list );
122
[563]123    // get lock protecting user synchros lists
124    remote_queuelock_acquire( XPTR( ref_cxy , &ref_ptr->sync_lock ) );
125
126    // register mutex in process descriptor
[23]127    xlist_add_first( root_xp , xp_list );
128
[563]129    // release lock protecting user synchros lists
130    remote_queuelock_release( XPTR( ref_cxy , &ref_ptr->sync_lock ) );
131
132#if DEBUG_MUTEX
133thread_t * this = CURRENT_THREAD;
[611]134if( (uint32_t)hal_get_cycles() > DEBUG_MUTEX )
[619]135printk("\n[%s] : thread[%x,%x] created mutex(%x,%x)\n",
136__FUNCTION__, this->process->pid, this->trdid, local_cxy, mutex_ptr );
[563]137#endif
138
139
[23]140    return 0;
141
142}  // end remote_mutex_create()
143
144////////////////////////////////////////////
145void remote_mutex_destroy( xptr_t mutex_xp )
146{
[635]147    kmem_req_t  req;
148
[23]149    // get pointer on local process descriptor
150    process_t * process = CURRENT_THREAD->process;
151
152    // get extended pointer on reference process
153    xptr_t      ref_xp = process->ref_xp;
154
155    // get reference process cluster and local pointer
156    cxy_t       ref_cxy = GET_CXY( ref_xp );
157    process_t * ref_ptr = (process_t *)GET_PTR( ref_xp );
158
159    // get mutex cluster and local pointer
160    cxy_t            mutex_cxy = GET_CXY( mutex_xp );
161    remote_mutex_t * mutex_ptr = (remote_mutex_t *)GET_PTR( mutex_xp );
162
[563]163    // get lock protecting user synchros lists
164    remote_queuelock_acquire( XPTR( ref_cxy , &ref_ptr->sync_lock ) );
165
[23]166    // remove mutex from reference process xlist
167    xlist_unlink( XPTR( mutex_cxy , &mutex_ptr->list ) );
168
[563]169    // release lock protecting user synchros lists
170    remote_queuelock_release( XPTR( ref_cxy , &ref_ptr->sync_lock ) );
171
[619]172    // release memory allocated for mutex descriptor
[635]173    req.type = KMEM_KCM;
174    req.ptr  = mutex_ptr;
175    kmem_remote_free( mutex_cxy , &req );
[23]176
177}  // end remote_mutex_destroy()
178
179/////////////////////////////////////////
180void remote_mutex_lock( xptr_t mutex_xp )
181{ 
[581]182    // get cluster and pointers on calling thread
183    cxy_t            caller_cxy = local_cxy;
184    thread_t       * caller_ptr = CURRENT_THREAD;
185    xptr_t           caller_xp  = XPTR( caller_cxy , caller_ptr );
186
187    // check calling thread can yield
188    thread_assert_can_yield( caller_ptr , __FUNCTION__ );
189
[563]190    // get cluster and local pointer on mutex
191    remote_mutex_t * mutex_ptr = GET_PTR( mutex_xp );
[23]192    cxy_t            mutex_cxy = GET_CXY( mutex_xp );
193
[563]194    // get extended pointers on mutex fields
195    xptr_t           taken_xp = XPTR( mutex_cxy , &mutex_ptr->taken );
196    xptr_t           owner_xp = XPTR( mutex_cxy , &mutex_ptr->owner );
197    xptr_t           root_xp  = XPTR( mutex_cxy , &mutex_ptr->root );
198    xptr_t           lock_xp  = XPTR( mutex_cxy , &mutex_ptr->lock );
[23]199
[563]200    while( 1 )
[23]201    {
[563]202        // get busylock protecting mutex state
203        remote_busylock_acquire( lock_xp );
[23]204
[563]205        // test mutex state
206        if( hal_remote_l32( taken_xp ) == 0 )                 // success
207        {
208            // register calling thread as mutex owner
209            hal_remote_s64( owner_xp , caller_xp );
[23]210
[563]211            // update mutex state
212            hal_remote_s32( taken_xp , 1 );
[23]213
[563]214#if DEBUG_MUTEX
215thread_t * this = CURRENT_THREAD;
216if( (uint32_t)hal_get_cycles() > DEBUG_MUTEX )
[619]217printk("\n[%s] thread[%x,%x] SUCCESS on mutex(%x,%x)\n",
218__FUNCTION__, this->process->pid, this->trdid, mutex_cxy, mutex_ptr );
[563]219#endif
[23]220
[563]221            // release busylock protecting mutex state
222            remote_busylock_release( lock_xp ); 
[23]223
[563]224             return;
225        }
226        else                                                 //  already taken
227        {
228            // block the calling thread   
229            thread_block( caller_xp , THREAD_BLOCKED_USERSYNC );
[23]230
[563]231            // register calling thread in mutex waiting queue
232            xptr_t entry_xp = XPTR( caller_cxy , &caller_ptr->wait_xlist );
233            xlist_add_last( root_xp , entry_xp );
234
235#if DEBUG_MUTEX
236thread_t * this = CURRENT_THREAD;
237if( (uint32_t)hal_get_cycles() > DEBUG_MUTEX )
[619]238printk("\n[%s] thread[%x,%x] BLOCKED on mutex(%x,%x)\n",
239__FUNCTION__, this->process->pid, this->trdid, mutex_cxy, mutex_ptr );
[563]240#endif
241
242            // release busylock protecting mutex state
243            remote_busylock_release( lock_xp ); 
244
245            // deschedule calling thread
246            sched_yield("blocked on mutex");
247        }
248    } 
[23]249}  // end remote_mutex_lock()
250
[563]251//////////////////////////////////////////////
252error_t remote_mutex_unlock( xptr_t mutex_xp )
[23]253{
[563]254    // memory barrier before mutex release
255    hal_fence();
[23]256
[563]257    // get cluster and local pointer on mutex
258    remote_mutex_t * mutex_ptr = GET_PTR( mutex_xp );
[23]259    cxy_t            mutex_cxy = GET_CXY( mutex_xp );
260
[563]261    // get cluster and pointers on calling thread
262    cxy_t            caller_cxy = local_cxy;
263    thread_t       * caller_ptr = CURRENT_THREAD;
264    xptr_t           caller_xp  = XPTR( caller_cxy , caller_ptr );
[23]265
[563]266    // get extended pointers on mutex fields
267    xptr_t           taken_xp = XPTR( mutex_cxy , &mutex_ptr->taken );
[23]268    xptr_t           owner_xp = XPTR( mutex_cxy , &mutex_ptr->owner );
269    xptr_t           root_xp  = XPTR( mutex_cxy , &mutex_ptr->root );
[563]270    xptr_t           lock_xp  = XPTR( mutex_cxy , &mutex_ptr->lock );
271
272    // get busylock protecting mutex state
273    remote_busylock_acquire( lock_xp );
[23]274   
[563]275    // check calling thread is mutex owner
276    if( hal_remote_l64( owner_xp ) != caller_xp )
277    {
278        // release busylock protecting mutex state
279        remote_busylock_release( lock_xp );
[23]280
[563]281        return 0xFFFFFFFF;
282    }
[23]283
[563]284#if DEBUG_MUTEX
285thread_t * this = CURRENT_THREAD;
286if( (uint32_t)hal_get_cycles() > DEBUG_MUTEX )
[619]287printk("\n[%s] thread[%x,%x] EXIT / mutex(%x,%x)\n",
288__FUNCTION__, this->process->pid, this->trdid, mutex_cxy, mutex_ptr );
[563]289#endif
290
291    // update owner field,
292    hal_remote_s64( owner_xp , XPTR_NULL );
293
294    // update taken field
295    hal_remote_s32( taken_xp , 0 );
296
297    // unblock first waiting thread if waiting list non empty
298    if( xlist_is_empty( root_xp ) == false )
[23]299    {
300        // get extended pointer on first waiting thread
[563]301        xptr_t     thread_xp  = XLIST_FIRST( root_xp , thread_t , wait_xlist );
302        thread_t * thread_ptr = GET_PTR( thread_xp );
303        cxy_t      thread_cxy = GET_CXY( thread_xp );
[23]304
[563]305#if DEBUG_MUTEX
306if( (uint32_t)hal_get_cycles() > DEBUG_MUTEX )
307{
308trdid_t     trdid   = hal_remote_l32( XPTR( thread_cxy , &thread_ptr->trdid ) );
309process_t * process = hal_remote_lpt( XPTR( thread_cxy , &thread_ptr->process ) );
310pid_t       pid     = hal_remote_l32( XPTR( thread_cxy , &process->pid ) );
[619]311printk("\n[%s] thread[%x,%x] UNBLOCK thread %x in process %d / mutex(%x,%x)\n",
312__FUNCTION__, this->process->pid, this->trdid, trdid, pid, mutex_cxy, mutex_ptr );
[563]313}
314#endif
[23]315
[563]316        // remove this thread from waiting queue
317        xlist_unlink( XPTR( thread_cxy , &thread_ptr->wait_xlist ) );
318
[23]319        // unblock first waiting thread
320        thread_unblock( thread_xp , THREAD_BLOCKED_USERSYNC ); 
321    }
[563]322   
323    // release busylock protecting mutex state
324    remote_busylock_release( lock_xp );
325
326    return 0;
327
328}  // end remote_mutex_unlock()
329
330///////////////////////////////////////////////
331error_t remote_mutex_trylock( xptr_t mutex_xp )
332{
333    // get cluster and local pointer on mutex
334    remote_mutex_t * mutex_ptr = GET_PTR( mutex_xp );
335    cxy_t            mutex_cxy = GET_CXY( mutex_xp );
336
337    // get cluster and pointers on calling thread
338    cxy_t            caller_cxy = local_cxy;
339    thread_t       * caller_ptr = CURRENT_THREAD;
340    xptr_t           caller_xp  = XPTR( caller_cxy , caller_ptr );
341
342    // get extended pointers on mutex fields
343    xptr_t           taken_xp = XPTR( mutex_cxy , &mutex_ptr->taken );
344    xptr_t           owner_xp = XPTR( mutex_cxy , &mutex_ptr->owner );
345    xptr_t           lock_xp  = XPTR( mutex_cxy , &mutex_ptr->lock );
346
347    // get busylock protecting mutex state
348    remote_busylock_acquire( lock_xp );
349
350    // test mutex state
351    if( hal_remote_l32( taken_xp ) == 0 )                 // success
[23]352    {
[563]353        // register calling thread as mutex owner
354        hal_remote_s64( owner_xp , caller_xp );
355
356        // update mutex state
357        hal_remote_s32( taken_xp , 1 );
358
359#if DEBUG_MUTEX
360thread_t * this = CURRENT_THREAD;
361if( (uint32_t)hal_get_cycles() > DEBUG_QUEUELOCK )
[619]362printk("\n[%s] SUCCESS for thread[%x,%x] / mutex(%x,%x)\n",
363__FUNCTION__, this->process->pid, this->trdid, mutex_cxy, mutex_ptr );
[563]364#endif
365        // release busylock protecting mutex state
366        remote_busylock_release( lock_xp ); 
367
368        return 0;
[23]369    }
[563]370    else                                                 //  already taken
371    {
[23]372
[563]373#if DEBUG_MUTEX
374thread_t * this = CURRENT_THREAD;
375if( (uint32_t)hal_get_cycles() > DEBUG_QUEUELOCK )
[619]376printk("\n[%s] FAILURE for thread[%x,%x] / mutex(%x,%x)\n",
377__FUNCTION__, this->process->pid, this->trdid, mutex_cxy, mutex_ptr );
[563]378#endif
379        // release busylock protecting mutex state
380        remote_busylock_release( lock_xp ); 
[23]381
[563]382        return 0xFFFFFFFF;
383    }
384}  // end remote_mutex_trylock()
Note: See TracBrowser for help on using the repository browser.