source: CIVL/text/include/pthread.h@ 370a2bc

1.23 2.0 main test-branch
Last change on this file since 370a2bc was 903c81e, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

added system function _add_thread() for supporting pthread_exit().

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1109 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100755
File size: 737 bytes
Line 
1/*
2 All specification references correspond to pages in the Standard for Information Technology
3Portable Operating System Interface (POSIX)IEEE Computer Society Base Specifications, Issue 7.
4
5Standard modifications to each translation:
6header files are altered
7errors are changed to assertion violations with appropriate messages
8appropriate definitions are changed to input variables
9*/
10
11#ifdef __PTHREAD__
12#else
13#define __PTHREAD__
14
15#include <civlc.h>
16#include <stdio.h>
17#include <stdlib.h>
18#include <assert.h>
19#include <stdbool.h>
20#include <pthread.cvl>
21int pthread_mutex_lock(pthread_mutex_t *mutex);
22void _add_thread(__pthread_pool_t* pool, pthread_t* thread);
23#include <pthread-c.cvl>
24
25int pthread_exit(void *value_ptr);
26
27
28#endif
Note: See TracBrowser for help on using the repository browser.