Changeset 6f8c46d for libcfa/src

Timestamp:

Jun 15, 2021, 11:34:45 AM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

4f1b8f3f

Parents:

b6749fd (diff), 07033ce (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

libcfa/src

Files:

• Makefile.am (modified) (3 diffs)
• concurrency/kernel.cfa (modified) (2 diffs)
• concurrency/locks.hfa (modified) (3 diffs)
• device/cpu.cfa (added)
• device/cpu.hfa (added)
• interpose.cfa (modified) (1 diff)
• startup.cfa (modified) (2 diffs)

libcfa/src/Makefile.am

@@ -69 +69 @@
         common.hfa \
         fstream.hfa \
-        strstream.hfa \
         heap.hfa \
         iostream.hfa \
@@ -78 +77 @@
         rational.hfa \
         stdlib.hfa \
+        strstream.hfa \
         time.hfa \
         bits/weakso_locks.hfa \
@@ -83 +83 @@
         containers/pair.hfa \
         containers/result.hfa \
-        containers/vector.hfa
+        containers/vector.hfa \
+        device/cpu.hfa
 
 libsrc = ${inst_headers_src} ${inst_headers_src:.hfa=.cfa} \

libcfa/src/concurrency/kernel.cfa

@@ -422 +422 @@
                 __cfactx_switch( &proc_cor->context, &thrd_dst->context );
                 // when __cfactx_switch returns we are back in the processor coroutine
+
+
 
                 /* paranoid */ verify( 0x0D15EA5E0D15EA5Ep == thrd_dst->canary );
@@ -522 +524 @@
 
         /* paranoid */ verify( ! __preemption_enabled() );
-        /* paranoid */ verifyf( ((uintptr_t)thrd_src->context.SP) < ((uintptr_t)__get_stack(thrd_src->curr_cor)->base ), "ERROR : Returning $thread %p has been corrupted.\n StackPointer too small.\n", thrd_src );
-        /* paranoid */ verifyf( ((uintptr_t)thrd_src->context.SP) > ((uintptr_t)__get_stack(thrd_src->curr_cor)->limit), "ERROR : Returning $thread %p has been corrupted.\n StackPointer too large.\n", thrd_src );
+        /* paranoid */ verifyf( ((uintptr_t)thrd_src->context.SP) < ((uintptr_t)__get_stack(thrd_src->curr_cor)->base ) || thrd_src->corctx_flag, "ERROR : Returning $thread %p has been corrupted.\n StackPointer too small.\n", thrd_src );
+        /* paranoid */ verifyf( ((uintptr_t)thrd_src->context.SP) > ((uintptr_t)__get_stack(thrd_src->curr_cor)->limit) || thrd_src->corctx_flag, "ERROR : Returning $thread %p has been corrupted.\n StackPointer too large.\n", thrd_src );
 }
 

libcfa/src/concurrency/locks.hfa

@@ -21 +21 @@
 #include "bits/weakso_locks.hfa"
 #include "containers/queueLockFree.hfa"
-
+#include "limits.hfa"
 #include "thread.hfa"
 
@@ -85 +85 @@
         bool tryP(BinaryBenaphore & this) {
                 ssize_t c = this.counter;
+                /* paranoid */ verify( c > MIN );
                 return (c >= 1) && __atomic_compare_exchange_n(&this.counter, &c, c-1, false, __ATOMIC_SEQ_CST, __ATOMIC_RELAXED);
         }
@@ -92 +93 @@
                 ssize_t c = 0;
                 for () {
+                        /* paranoid */ verify( this.counter < MAX );
                         if (__atomic_compare_exchange_n(&this.counter, &c, c+1, false, __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST)) {
                                 if (c == 0) return true;

libcfa/src/interpose.cfa

@@ -95 +95 @@
 
 extern "C" {
-        void __cfaabi_interpose_startup(void)  __attribute__(( constructor( STARTUP_PRIORITY_CORE ) ));
         void __cfaabi_interpose_startup( void ) {
                 const char *version = 0p;

libcfa/src/startup.cfa

@@ -20 +20 @@
 
 extern "C" {
-    void __cfaabi_appready_startup( void ) __attribute__(( constructor( STARTUP_PRIORITY_APPREADY ) ));
-    void __cfaabi_appready_startup( void ) {
+        void __cfaabi_appready_startup( void ) __attribute__(( constructor( STARTUP_PRIORITY_APPREADY ) ));
+        void __cfaabi_appready_startup( void ) {
                 tzset();                                                                                // initialize time global variables
                 setlocale( LC_NUMERIC, getenv("LANG") );
@@ -28 +28 @@
                 heapAppStart();
                 #endif // __CFA_DEBUG__
-    } // __cfaabi_appready_startup
+        } // __cfaabi_appready_startup
 
-    void __cfaabi_appready_shutdown( void ) __attribute__(( destructor( STARTUP_PRIORITY_APPREADY ) ));
-    void __cfaabi_appready_shutdown( void ) {
+        void __cfaabi_appready_shutdown( void ) __attribute__(( destructor( STARTUP_PRIORITY_APPREADY ) ));
+        void __cfaabi_appready_shutdown( void ) {
                 #ifdef __CFA_DEBUG__
                 extern void heapAppStop();
                 heapAppStop();
                 #endif // __CFA_DEBUG__
-    } // __cfaabi_appready_shutdown
+        } // __cfaabi_appready_shutdown
 
-    void disable_interrupts() __attribute__(( weak )) {}
-    void enable_interrupts() __attribute__(( weak )) {}
+        void disable_interrupts() __attribute__(( weak )) {}
+        void enable_interrupts() __attribute__(( weak )) {}
+
+
+        extern void __cfaabi_interpose_startup( void );
+        extern void __cfaabi_device_startup   ( void );
+        extern void __cfaabi_device_shutdown  ( void );
+
+        void __cfaabi_core_startup( void ) __attribute__(( constructor( STARTUP_PRIORITY_CORE ) ));
+        void __cfaabi_core_startup( void ) {
+                __cfaabi_interpose_startup();
+                __cfaabi_device_startup();
+        } // __cfaabi_core_startup
+
+        void __cfaabi_core_shutdown( void ) __attribute__(( destructor( STARTUP_PRIORITY_CORE ) ));
+        void __cfaabi_core_shutdown( void ) {
+                __cfaabi_device_shutdown();
+        } // __cfaabi_core_shutdown
 } // extern "C"