source: libcfa/src/concurrency/kernel/startup.cfa @ 734908c

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 734908c was a3821fa, checked in by Thierry Delisle <tdelisle@…>, 6 months ago

Changed enable interrupts:

  • no longer save the caller for debugging
  • now polls based on parameter passed in
  • Property mode set to 100644
File size: 23.6 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2020 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// kernel/startup.cfa --
8//
9// Author           : Thierry Delisle
10// Created On       : Thu Jul 30 15:12:54 2020
11// Last Modified By :
12// Last Modified On :
13// Update Count     :
14//
15
16#define __cforall_thread__
17
18// C Includes
19#include <errno.h>              // errno
20#include <string.h>             // strerror
21#include <unistd.h>             // sysconf
22extern "C" {
23      #include <limits.h>       // PTHREAD_STACK_MIN
24        #include <sys/eventfd.h>  // eventfd
25      #include <sys/mman.h>     // mprotect
26      #include <sys/resource.h> // getrlimit
27}
28
29// CFA Includes
30#include "kernel_private.hfa"
31#include "startup.hfa"          // STARTUP_PRIORITY_XXX
32#include "math.hfa"
33
34#define CFA_PROCESSOR_USE_MMAP 0
35
36//-----------------------------------------------------------------------------
37// Some assembly required
38#if defined( __i386 )
39        #define CtxGet( ctx ) __asm__ volatile ( \
40                "movl %%esp,%0\n" \
41                "movl %%ebp,%1\n" \
42                : "=rm" (ctx.SP), \
43                  "=rm" (ctx.FP) \
44        )
45#elif defined( __x86_64 )
46        #define CtxGet( ctx ) __asm__ volatile ( \
47                "movq %%rsp,%0\n" \
48                "movq %%rbp,%1\n" \
49                : "=rm" (ctx.SP), \
50                  "=rm" (ctx.FP) \
51        )
52#elif defined( __aarch64__ )
53        #define CtxGet( ctx ) __asm__ volatile ( \
54                "mov %0, sp\n" \
55                "mov %1, fp\n" \
56                : "=rm" (ctx.SP), \
57                  "=rm" (ctx.FP) \
58        )
59#else
60        #error unknown hardware architecture
61#endif
62
63//-----------------------------------------------------------------------------
64// Start and stop routine for the kernel, declared first to make sure they run first
65static void __kernel_startup (void) __attribute__(( constructor( STARTUP_PRIORITY_KERNEL ) ));
66static void __kernel_shutdown(void) __attribute__(( destructor ( STARTUP_PRIORITY_KERNEL ) ));
67
68//-----------------------------------------------------------------------------
69// Static Forward Declarations
70struct current_stack_info_t;
71
72static void * __invoke_processor(void * arg);
73static void __kernel_first_resume( processor * this );
74static void __kernel_last_resume ( processor * this );
75static void init(processor & this, const char name[], cluster & _cltr, $thread * initT);
76static void deinit(processor & this);
77static void doregister( struct cluster & cltr );
78static void unregister( struct cluster & cltr );
79static void ?{}( $coroutine & this, current_stack_info_t * info);
80static void ?{}( $thread & this, current_stack_info_t * info);
81static void ?{}(processorCtx_t & this) {}
82static void ?{}(processorCtx_t & this, processor * proc, current_stack_info_t * info);
83
84#if defined(__CFA_WITH_VERIFY__)
85        static bool verify_fwd_bck_rng(void);
86#endif
87
88//-----------------------------------------------------------------------------
89// Forward Declarations for other modules
90extern void __kernel_alarm_startup(void);
91extern void __kernel_alarm_shutdown(void);
92
93//-----------------------------------------------------------------------------
94// Other Forward Declarations
95extern void __wake_proc(processor *);
96
97//-----------------------------------------------------------------------------
98// Kernel storage
99KERNEL_STORAGE(cluster,              mainCluster);
100KERNEL_STORAGE(processor,            mainProcessor);
101KERNEL_STORAGE($thread,              mainThread);
102KERNEL_STORAGE(__stack_t,            mainThreadCtx);
103KERNEL_STORAGE(__scheduler_RWLock_t, __scheduler_lock);
104#if !defined(__CFA_NO_STATISTICS__)
105KERNEL_STORAGE(__stats_t, mainProcStats);
106#endif
107
108cluster              * mainCluster;
109processor            * mainProcessor;
110$thread              * mainThread;
111__scheduler_RWLock_t * __scheduler_lock;
112
113extern "C" {
114        struct { __dllist_t(cluster) list; __spinlock_t lock; } __cfa_dbg_global_clusters;
115}
116
117extern size_t __page_size;
118extern int __map_prot;
119
120//-----------------------------------------------------------------------------
121// Global state
122thread_local struct KernelThreadData __cfaabi_tls __attribute__ ((tls_model ( "initial-exec" ))) @= {
123        NULL,                                                                                           // cannot use 0p
124        NULL,
125        NULL,
126        NULL,
127        { 1, false, false },
128};
129
130//-----------------------------------------------------------------------------
131// Struct to steal stack
132struct current_stack_info_t {
133        __stack_t * storage;  // pointer to stack object
134        void * base;          // base of stack
135        void * limit;         // stack grows towards stack limit
136        void * context;       // address of cfa_context_t
137};
138
139void ?{}( current_stack_info_t & this ) {
140        __stack_context_t ctx;
141        CtxGet( ctx );
142        this.base = ctx.FP;
143
144        rlimit r;
145        getrlimit( RLIMIT_STACK, &r);
146        size_t size = r.rlim_cur;
147
148        this.limit = (void *)(((intptr_t)this.base) - size);
149        this.context = &storage_mainThreadCtx;
150}
151
152
153
154//=============================================================================================
155// Kernel Setup logic
156//=============================================================================================
157//-----------------------------------------------------------------------------
158// Kernel boot procedures
159static void __kernel_startup(void) {
160        /* paranoid */ verify( ! __preemption_enabled() );
161        __cfadbg_print_safe(runtime_core, "Kernel : Starting\n");
162
163        __cfa_dbg_global_clusters.list{ __get };
164        __cfa_dbg_global_clusters.lock{};
165
166        /* paranoid */ verify( verify_fwd_bck_rng() );
167
168        // Initialize the global scheduler lock
169        __scheduler_lock = (__scheduler_RWLock_t*)&storage___scheduler_lock;
170        (*__scheduler_lock){};
171
172        // Initialize the main cluster
173        mainCluster = (cluster *)&storage_mainCluster;
174        (*mainCluster){"Main Cluster", 0};
175
176        __cfadbg_print_safe(runtime_core, "Kernel : Main cluster ready\n");
177
178        // Start by initializing the main thread
179        // SKULLDUGGERY: the mainThread steals the process main thread
180        // which will then be scheduled by the mainProcessor normally
181        mainThread = ($thread *)&storage_mainThread;
182        current_stack_info_t info;
183        info.storage = (__stack_t*)&storage_mainThreadCtx;
184        (*mainThread){ &info };
185
186        __cfadbg_print_safe(runtime_core, "Kernel : Main thread ready\n");
187
188
189
190        // Construct the processor context of the main processor
191        void ?{}(processorCtx_t & this, processor * proc) {
192                (this.__cor){ "Processor" };
193                this.__cor.starter = 0p;
194                this.proc = proc;
195        }
196
197        void ?{}(processor & this) with( this ) {
198                ( this.terminated ){};
199                ( this.runner ){};
200                init( this, "Main Processor", *mainCluster, 0p );
201                kernel_thread = pthread_self();
202
203                runner{ &this };
204                __cfadbg_print_safe(runtime_core, "Kernel : constructed main processor context %p\n", &runner);
205        }
206
207        // Initialize the main processor and the main processor ctx
208        // (the coroutine that contains the processing control flow)
209        mainProcessor = (processor *)&storage_mainProcessor;
210        (*mainProcessor){};
211
212        //initialize the global state variables
213        __cfaabi_tls.this_processor = mainProcessor;
214        __cfaabi_tls.this_proc_id   = (__processor_id_t*)mainProcessor;
215        __cfaabi_tls.this_thread    = mainThread;
216
217        #if !defined( __CFA_NO_STATISTICS__ )
218                __cfaabi_tls.this_stats = (__stats_t *)& storage_mainProcStats;
219                __init_stats( __cfaabi_tls.this_stats );
220        #endif
221
222        // Enable preemption
223        __kernel_alarm_startup();
224
225        // Add the main thread to the ready queue
226        // once resume is called on mainProcessor->runner the mainThread needs to be scheduled like any normal thread
227        __schedule_thread(mainThread);
228
229        // SKULLDUGGERY: Force a context switch to the main processor to set the main thread's context to the current UNIX
230        // context. Hence, the main thread does not begin through __cfactx_invoke_thread, like all other threads. The trick here is that
231        // mainThread is on the ready queue when this call is made.
232        __kernel_first_resume( __cfaabi_tls.this_processor );
233
234
235        // THE SYSTEM IS NOW COMPLETELY RUNNING
236
237        __cfadbg_print_safe(runtime_core, "Kernel : Started\n--------------------------------------------------\n\n");
238
239        /* paranoid */ verify( ! __preemption_enabled() );
240        enable_interrupts();
241        /* paranoid */ verify( __preemption_enabled() );
242
243}
244
245static void __kernel_shutdown(void) {
246        /* paranoid */ verify( __preemption_enabled() );
247        disable_interrupts();
248        /* paranoid */ verify( ! __preemption_enabled() );
249
250        __cfadbg_print_safe(runtime_core, "\n--------------------------------------------------\nKernel : Shutting down\n");
251
252        // SKULLDUGGERY: Notify the mainProcessor it needs to terminates.
253        // When its coroutine terminates, it return control to the mainThread
254        // which is currently here
255        __atomic_store_n(&mainProcessor->do_terminate, true, __ATOMIC_RELEASE);
256        __kernel_last_resume( __cfaabi_tls.this_processor );
257        mainThread->self_cor.state = Halted;
258
259        // THE SYSTEM IS NOW COMPLETELY STOPPED
260
261        // Disable preemption
262        __kernel_alarm_shutdown();
263
264        #if !defined( __CFA_NO_STATISTICS__ )
265                __stats_t * st = (__stats_t *)& storage_mainProcStats;
266                __tally_stats(mainCluster->stats, st);
267                if( 0 != mainProcessor->print_stats ) {
268                        __print_stats( st, mainProcessor->print_stats, "Processor ", mainProcessor->name, (void*)mainProcessor );
269                }
270                #if defined(CFA_STATS_ARRAY)
271                        __flush_stat( st, "Processor", mainProcessor );
272                #endif
273        #endif
274
275        // Destroy the main processor and its context in reverse order of construction
276        // These were manually constructed so we need manually destroy them
277        void ^?{}(processor & this) with( this ){
278                deinit( this );
279
280                /* paranoid */ verify( this.do_terminate == true );
281                __cfaabi_dbg_print_safe("Kernel : destroyed main processor context %p\n", &runner);
282        }
283
284        ^(*mainProcessor){};
285
286        // Final step, destroy the main thread since it is no longer needed
287
288        // Since we provided a stack to this taxk it will not destroy anything
289        /* paranoid */ verify(mainThread->self_cor.stack.storage == (__stack_t*)(((uintptr_t)&storage_mainThreadCtx)| 0x1));
290        ^(*mainThread){};
291
292        ^(*mainCluster){};
293
294        ^(*__scheduler_lock){};
295
296        ^(__cfa_dbg_global_clusters.list){};
297        ^(__cfa_dbg_global_clusters.lock){};
298
299        __cfadbg_print_safe(runtime_core, "Kernel : Shutdown complete\n");
300}
301
302//=============================================================================================
303// Kernel Initial Scheduling logic
304//=============================================================================================
305
306// Context invoker for processors
307// This is the entry point for processors (kernel threads) *except* for the main processor
308// It effectively constructs a coroutine by stealing the pthread stack
309static void * __invoke_processor(void * arg) {
310        #if !defined( __CFA_NO_STATISTICS__ )
311                __stats_t local_stats;
312                __init_stats( &local_stats );
313                __cfaabi_tls.this_stats = &local_stats;
314        #endif
315
316        processor * proc = (processor *) arg;
317        __cfaabi_tls.this_processor = proc;
318        __cfaabi_tls.this_proc_id   = (__processor_id_t*)proc;
319        __cfaabi_tls.this_thread    = 0p;
320        __cfaabi_tls.preemption_state.[enabled, disable_count] = [false, 1];
321        // SKULLDUGGERY: We want to create a context for the processor coroutine
322        // which is needed for the 2-step context switch. However, there is no reason
323        // to waste the perfectly valid stack create by pthread.
324        current_stack_info_t info;
325        __stack_t ctx;
326        info.storage = &ctx;
327        (proc->runner){ proc, &info };
328
329        __cfaabi_dbg_print_safe("Coroutine : created stack %p\n", get_coroutine(proc->runner)->stack.storage);
330
331        //Set global state
332        __cfaabi_tls.this_thread = 0p;
333
334        //We now have a proper context from which to schedule threads
335        __cfadbg_print_safe(runtime_core, "Kernel : core %p created (%p, %p)\n", proc, &proc->runner, &ctx);
336
337        // SKULLDUGGERY: Since the coroutine doesn't have its own stack, we can't
338        // resume it to start it like it normally would, it will just context switch
339        // back to here. Instead directly call the main since we already are on the
340        // appropriate stack.
341        get_coroutine(proc->runner)->state = Active;
342        main( proc->runner );
343        get_coroutine(proc->runner)->state = Halted;
344
345        // Main routine of the core returned, the core is now fully terminated
346        __cfadbg_print_safe(runtime_core, "Kernel : core %p main ended (%p)\n", proc, &proc->runner);
347
348        #if !defined(__CFA_NO_STATISTICS__)
349                __tally_stats(proc->cltr->stats, &local_stats);
350                if( 0 != proc->print_stats ) {
351                        __print_stats( &local_stats, proc->print_stats, "Processor ", proc->name, (void*)proc );
352                }
353                #if defined(CFA_STATS_ARRAY)
354                        __flush_stat( &local_stats, "Processor", proc );
355                #endif
356        #endif
357
358        return 0p;
359}
360
361static void __kernel_first_resume( processor * this ) {
362        $thread * src = mainThread;
363        $coroutine * dst = get_coroutine(this->runner);
364
365        /* paranoid */ verify( ! __preemption_enabled() );
366
367        __cfaabi_tls.this_thread->curr_cor = dst;
368        __stack_prepare( &dst->stack, 65000 );
369        __cfactx_start(main, dst, this->runner, __cfactx_invoke_coroutine);
370
371        /* paranoid */ verify( ! __preemption_enabled() );
372
373        dst->last = &src->self_cor;
374        dst->starter = dst->starter ? dst->starter : &src->self_cor;
375
376        // make sure the current state is still correct
377        /* paranoid */ verify(src->state == Ready);
378
379        // context switch to specified coroutine
380        verify( dst->context.SP );
381        __cfactx_switch( &src->context, &dst->context );
382        // when __cfactx_switch returns we are back in the src coroutine
383
384        mainThread->curr_cor = &mainThread->self_cor;
385
386        // make sure the current state has been update
387        /* paranoid */ verify(src->state == Active);
388
389        /* paranoid */ verify( ! __preemption_enabled() );
390}
391
392// KERNEL_ONLY
393static void __kernel_last_resume( processor * this ) {
394        $coroutine * src = &mainThread->self_cor;
395        $coroutine * dst = get_coroutine(this->runner);
396
397        /* paranoid */ verify( ! __preemption_enabled() );
398        /* paranoid */ verify( dst->starter == src );
399        /* paranoid */ verify( dst->context.SP );
400
401        // SKULLDUGGERY in debug the processors check that the
402        // stack is still within the limit of the stack limits after running a thread.
403        // that check doesn't make sense if we context switch to the processor using the
404        // coroutine semantics. Since this is a special case, use the current context
405        // info to populate these fields.
406        __cfaabi_dbg_debug_do(
407                __stack_context_t ctx;
408                CtxGet( ctx );
409                mainThread->context.SP = ctx.SP;
410                mainThread->context.FP = ctx.FP;
411        )
412
413        // context switch to the processor
414        __cfactx_switch( &src->context, &dst->context );
415}
416
417
418//=============================================================================================
419// Kernel Object Constructors logic
420//=============================================================================================
421//-----------------------------------------------------------------------------
422// Main thread construction
423static void ?{}( $coroutine & this, current_stack_info_t * info) with( this ) {
424        stack.storage = info->storage;
425        with(*stack.storage) {
426                limit     = info->limit;
427                base      = info->base;
428        }
429        __attribute__((may_alias)) intptr_t * istorage = (intptr_t*) &stack.storage;
430        *istorage |= 0x1;
431        name = "Main Thread";
432        state = Start;
433        starter = 0p;
434        last = 0p;
435        cancellation = 0p;
436}
437
438static void ?{}( $thread & this, current_stack_info_t * info) with( this ) {
439        ticket = TICKET_RUNNING;
440        state = Start;
441        self_cor{ info };
442        curr_cor = &self_cor;
443        curr_cluster = mainCluster;
444        self_mon.owner = &this;
445        self_mon.recursion = 1;
446        self_mon_p = &self_mon;
447        link.next = 0p;
448        link.prev = 0p;
449        #if defined( __CFA_WITH_VERIFY__ )
450                canary = 0x0D15EA5E0D15EA5Ep;
451        #endif
452
453        node.next = 0p;
454        node.prev = 0p;
455        doregister(curr_cluster, this);
456
457        monitors{ &self_mon_p, 1, (fptr_t)0 };
458}
459
460//-----------------------------------------------------------------------------
461// Processor
462// Construct the processor context of non-main processors
463static void ?{}(processorCtx_t & this, processor * proc, current_stack_info_t * info) {
464        (this.__cor){ info };
465        this.proc = proc;
466}
467
468static void init(processor & this, const char name[], cluster & _cltr, $thread * initT) with( this ) {
469        this.name = name;
470        this.cltr = &_cltr;
471        this.rdq.its = 0;
472        this.rdq.itr = 0;
473        this.rdq.id  = -1u;
474        this.rdq.target = -1u;
475        this.rdq.cutoff = -1ull;
476        do_terminate = false;
477        preemption_alarm = 0p;
478        pending_preemption = false;
479
480        this.io.ctx = 0p;
481        this.io.pending = false;
482        this.io.dirty   = false;
483
484        this.init.thrd = initT;
485
486        this.idle = eventfd(0, 0);
487        if (idle < 0) {
488                abort("KERNEL ERROR: PROCESSOR EVENTFD - %s\n", strerror(errno));
489        }
490
491        #if !defined(__CFA_NO_STATISTICS__)
492                print_stats = 0;
493                print_halts = false;
494        #endif
495
496        // Register and Lock the RWlock so no-one pushes/pops while we are changing the queue
497        uint_fast32_t last_size = ready_mutate_register((__processor_id_t*)&this);
498                this.cltr->procs.total += 1u;
499                insert_last(this.cltr->procs.actives, this);
500
501                // Adjust the ready queue size
502                ready_queue_grow( cltr );
503
504        // Unlock the RWlock
505        ready_mutate_unlock( last_size );
506
507        __cfadbg_print_safe(runtime_core, "Kernel : core %p created\n", &this);
508}
509
510// Not a ctor, it just preps the destruction but should not destroy members
511static void deinit(processor & this) {
512        // Lock the RWlock so no-one pushes/pops while we are changing the queue
513        uint_fast32_t last_size = ready_mutate_lock();
514                this.cltr->procs.total -= 1u;
515                remove(this);
516
517                // Adjust the ready queue size
518                ready_queue_shrink( this.cltr );
519
520        // Unlock the RWlock and unregister: we don't need the read_lock any more
521        ready_mutate_unregister((__processor_id_t*)&this, last_size );
522
523        close(this.idle);
524}
525
526void ?{}(processor & this, const char name[], cluster & _cltr, $thread * initT) {
527        ( this.terminated ){};
528        ( this.runner ){};
529
530        disable_interrupts();
531                init( this, name, _cltr, initT );
532        enable_interrupts();
533
534        __cfadbg_print_safe(runtime_core, "Kernel : Starting core %p\n", &this);
535
536        this.stack = __create_pthread( &this.kernel_thread, __invoke_processor, (void *)&this );
537}
538
539void ?{}(processor & this, const char name[], cluster & _cltr) {
540        (this){name, _cltr, 0p};
541}
542
543extern size_t __page_size;
544void ^?{}(processor & this) with( this ){
545        if( ! __atomic_load_n(&do_terminate, __ATOMIC_ACQUIRE) ) {
546                __cfadbg_print_safe(runtime_core, "Kernel : core %p signaling termination\n", &this);
547
548                __atomic_store_n(&do_terminate, true, __ATOMIC_RELAXED);
549                __wake_proc( &this );
550
551                wait( terminated );
552                /* paranoid */ verify( active_processor() != &this);
553        }
554
555        __destroy_pthread( kernel_thread, this.stack, 0p );
556
557        disable_interrupts();
558                deinit( this );
559        enable_interrupts();
560}
561
562//-----------------------------------------------------------------------------
563// Cluster
564static void ?{}(__cluster_proc_list & this) {
565        this.lock  = 0;
566        this.idle  = 0;
567        this.total = 0;
568}
569
570void ?{}(cluster & this, const char name[], Duration preemption_rate, unsigned num_io, const io_context_params & io_params) with( this ) {
571        this.name = name;
572        this.preemption_rate = preemption_rate;
573        ready_queue{};
574
575        #if !defined(__CFA_NO_STATISTICS__)
576                print_stats = 0;
577                stats = alloc();
578                __init_stats( stats );
579        #endif
580
581        threads{ __get };
582
583        io.arbiter = create();
584        io.params = io_params;
585
586        doregister(this);
587
588        // Lock the RWlock so no-one pushes/pops while we are changing the queue
589        disable_interrupts();
590        uint_fast32_t last_size = ready_mutate_lock();
591
592                // Adjust the ready queue size
593                ready_queue_grow( &this );
594
595        // Unlock the RWlock
596        ready_mutate_unlock( last_size );
597        enable_interrupts( false ); // Don't poll, could be in main cluster
598}
599
600void ^?{}(cluster & this) {
601        destroy(this.io.arbiter);
602
603        // Lock the RWlock so no-one pushes/pops while we are changing the queue
604        disable_interrupts();
605        uint_fast32_t last_size = ready_mutate_lock();
606
607                // Adjust the ready queue size
608                ready_queue_shrink( &this );
609
610        // Unlock the RWlock
611        ready_mutate_unlock( last_size );
612        enable_interrupts( false ); // Don't poll, could be in main cluster
613
614        #if !defined(__CFA_NO_STATISTICS__)
615                if( 0 != this.print_stats ) {
616                        __print_stats( this.stats, this.print_stats, "Cluster", this.name, (void*)&this );
617                }
618                #if defined(CFA_STATS_ARRAY)
619                        __flush_stat( this.stats, "Cluster", &this );
620                #endif
621                free( this.stats );
622        #endif
623
624        unregister(this);
625}
626
627//=============================================================================================
628// Miscellaneous Initialization
629//=============================================================================================
630//-----------------------------------------------------------------------------
631// Global Queues
632static void doregister( cluster     & cltr ) {
633        lock      ( __cfa_dbg_global_clusters.lock __cfaabi_dbg_ctx2);
634        push_front( __cfa_dbg_global_clusters.list, cltr );
635        unlock    ( __cfa_dbg_global_clusters.lock );
636}
637
638static void unregister( cluster     & cltr ) {
639        lock  ( __cfa_dbg_global_clusters.lock __cfaabi_dbg_ctx2);
640        remove( __cfa_dbg_global_clusters.list, cltr );
641        unlock( __cfa_dbg_global_clusters.lock );
642}
643
644void doregister( cluster * cltr, $thread & thrd ) {
645        lock      (cltr->thread_list_lock __cfaabi_dbg_ctx2);
646        cltr->nthreads += 1;
647        push_front(cltr->threads, thrd);
648        unlock    (cltr->thread_list_lock);
649}
650
651void unregister( cluster * cltr, $thread & thrd ) {
652        lock  (cltr->thread_list_lock __cfaabi_dbg_ctx2);
653        remove(cltr->threads, thrd );
654        cltr->nthreads -= 1;
655        unlock(cltr->thread_list_lock);
656}
657
658static void check( int ret, const char func[] ) {
659        if ( ret ) {                                                                            // pthread routines return errno values
660                abort( "%s : internal error, error(%d) %s.", func, ret, strerror( ret ) );
661        } // if
662} // Abort
663
664void * __create_pthread( pthread_t * pthread, void * (*start)(void *), void * arg ) {
665        pthread_attr_t attr;
666
667        check( pthread_attr_init( &attr ), "pthread_attr_init" ); // initialize attribute
668
669        size_t stacksize;
670        // default stack size, normally defined by shell limit
671        check( pthread_attr_getstacksize( &attr, &stacksize ), "pthread_attr_getstacksize" );
672        assert( stacksize >= PTHREAD_STACK_MIN );
673
674        void * stack;
675        #if CFA_PROCESSOR_USE_MMAP
676                stacksize = ceiling( stacksize, __page_size ) + __page_size;
677                stack = mmap(0p, stacksize, __map_prot, MAP_PRIVATE | MAP_ANONYMOUS, 0, 0);
678                if(stack == ((void*)-1)) {
679                        abort( "pthread stack creation : internal error, mmap failure, error(%d) %s.", errno, strerror( errno ) );
680                }
681                if ( mprotect( stack, __page_size, PROT_NONE ) == -1 ) {
682                        abort( "pthread stack creation : internal error, mprotect failure, error(%d) %s.", errno, strerror( errno ) );
683                } // if
684        #else
685                __cfaabi_dbg_debug_do(
686                        stack = memalign( __page_size, stacksize + __page_size );
687                        // pthread has no mechanism to create the guard page in user supplied stack.
688                        if ( mprotect( stack, __page_size, PROT_NONE ) == -1 ) {
689                                abort( "mprotect : internal error, mprotect failure, error(%d) %s.", errno, strerror( errno ) );
690                        } // if
691                );
692                __cfaabi_dbg_no_debug_do(
693                        stack = malloc( stacksize );
694                );
695        #endif
696
697
698        check( pthread_attr_setstack( &attr, stack, stacksize ), "pthread_attr_setstack" );
699
700        check( pthread_create( pthread, &attr, start, arg ), "pthread_create" );
701        return stack;
702}
703
704void __destroy_pthread( pthread_t pthread, void * stack, void ** retval ) {
705        int err = pthread_join( pthread, retval );
706        if( err != 0 ) abort("KERNEL ERROR: joining pthread %p caused error %s\n", (void*)pthread, strerror(err));
707
708        #if CFA_PROCESSOR_USE_MMAP
709                pthread_attr_t attr;
710
711                check( pthread_attr_init( &attr ), "pthread_attr_init" ); // initialize attribute
712
713                size_t stacksize;
714                // default stack size, normally defined by shell limit
715                check( pthread_attr_getstacksize( &attr, &stacksize ), "pthread_attr_getstacksize" );
716                assert( stacksize >= PTHREAD_STACK_MIN );
717                stacksize += __page_size;
718
719                if(munmap(stack, stacksize) == -1) {
720                        abort( "pthread stack destruction : internal error, munmap failure, error(%d) %s.", errno, strerror( errno ) );
721                }
722        #else
723                __cfaabi_dbg_debug_do(
724                        // pthread has no mechanism to create the guard page in user supplied stack.
725                        if ( mprotect( stack, __page_size, __map_prot ) == -1 ) {
726                                abort( "mprotect : internal error, mprotect failure, error(%d) %s.", errno, strerror( errno ) );
727                        } // if
728                );
729                free( stack );
730        #endif
731}
732
733#if defined(__CFA_WITH_VERIFY__)
734static bool verify_fwd_bck_rng(void) {
735        __cfaabi_tls.ready_rng.fwd_seed = 25214903917_l64u * (rdtscl() ^ (uintptr_t)&verify_fwd_bck_rng);
736
737        unsigned values[10];
738        for(i; 10) {
739                values[i] = __tls_rand_fwd();
740        }
741
742        __tls_rand_advance_bck();
743
744        for ( i; 9 -~= 0 ) {
745                if(values[i] != __tls_rand_bck()) {
746                        return false;
747                }
748        }
749
750        return true;
751}
752#endif
Note: See TracBrowser for help on using the repository browser.