Line data Source code
1 : /*
2 : * Copyright (c) 2014-2016 ISPRAS (http://www.ispras.ru)
3 : * Institute for System Programming of the Russian Academy of Sciences
4 : *
5 : * Licensed under the Apache License, Version 2.0 (the "License");
6 : * you may not use this file except in compliance with the License.
7 : * You may obtain a copy of the License at
8 : *
9 : * http://www.apache.org/licenses/LICENSE-2.0
10 : *
11 : * Unless required by applicable law or agreed to in writing, software
12 : * distributed under the License is distributed on an "AS IS" BASIS,
13 : * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 : * ee the License for the specific language governing permissions and
15 : * limitations under the License.
16 : */
17 :
18 : #ifndef __VERIFIER_THREAD_H
19 : #define __VERIFIER_THREAD_H
20 :
21 : /* Thread type */
22 : struct ldv_thread;
23 :
24 : /* Set of threads */
25 : struct ldv_thread_set
26 : {
27 : int number;
28 : struct ldv_thread **threads;
29 : };
30 :
31 : /* Create thread */
32 : extern int ldv_thread_create(struct ldv_thread *ldv_thread, void (*function)(void *), void *data);
33 :
34 : /* Create N threads */
35 : extern int ldv_thread_create_N(struct ldv_thread_set *ldv_thread_set, void (*function)(void *), void *data);
36 :
37 : /* Join thread */
38 : extern int ldv_thread_join(struct ldv_thread *ldv_thread, void (*function)(void *));
39 :
40 : /* Join N threads */
41 : extern int ldv_thread_join_N(struct ldv_thread_set *ldv_thread_set, void (*function)(void *));
42 2 :
43 1 : #endif /* __VERIFIER_THREAD_H */
|