Changeset 615767b for doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/pthread.cpp

Timestamp:

Oct 1, 2020, 3:54:39 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

91131689

Parents:

ebec8ed (diff), dd53f75 (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 into master

File:

• doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/pthread.cpp (moved) (moved from doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/thread_pthread.h) (3 diffs)

doc/theses/thierry_delisle_PhD/code/readQ_example/thrdlib/pthread.cpp

@@ -1 @@
-#pragma once
-
 #include <pthread.h>
 #include <errno.h>
@@ -56 +54 @@
 #undef CHECKED
 
-#if defined(__cforall) || defined(__cpluplus)
+//--------------------
+// Basic types
+struct pthread_runner_t {
+        pthread_t handle;
+        __bin_sem_t sem;
+};
+typedef pthread_runner_t * thread_t;
+
+static_assert(sizeof(thread_t) == sizeof(void*), "thread_t musst be of same size as void*");
+
 extern "C" {
-#endif
-        //--------------------
-        // Basic types
-        struct pthread_runner_t {
-                pthread_t handle;
-                __bin_sem_t sem;
-        };
-        typedef pthread_runner_t * thread_t;
-
         //--------------------
         // Basic thread support
@@ -98 +96 @@
         //--------------------
         // Basic kernel features
-        void thrdlib_setproccnt( int ) {
-
-        }
-
-
-#if defined(__cforall) || defined(__cpluplus)
+        void thrdlib_init( int ) {}
 }
-#endif