File: main.m

package info (click to toggle)
llvm-toolchain-11 1%3A11.0.1-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 995,808 kB
  • sloc: cpp: 4,767,656; ansic: 760,916; asm: 477,436; python: 170,940; objc: 69,804; lisp: 29,914; sh: 23,855; f90: 18,173; pascal: 7,551; perl: 7,471; ml: 5,603; awk: 3,489; makefile: 2,573; xml: 915; cs: 573; fortran: 503; javascript: 452
file content (129 lines) | stat: -rw-r--r-- 2,653 bytes parent folder | download | duplicates (23)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
#import <Foundation/Foundation.h>
#import <pthread.h>

long my_global;

void *Thread1(void *arg) {
    my_global = 42;
    return NULL;
}

void *Thread2(void *arg) {
    my_global = 144;
    return NULL;
}

void TestDataRace1() {
    pthread_t t1, t2;
    pthread_create(&t1, NULL, Thread1, NULL);
    pthread_create(&t2, NULL, Thread2, NULL);
    
    pthread_join(t1, NULL);
    pthread_join(t2, NULL);
}

void TestInvalidMutex() {
    pthread_mutex_t m = {0};
    pthread_mutex_lock(&m);
    
    pthread_mutex_init(&m, NULL);
    pthread_mutex_lock(&m);
    pthread_mutex_unlock(&m);
    pthread_mutex_destroy(&m);
    pthread_mutex_lock(&m);
}

void TestMutexWrongLock() {
    pthread_mutex_t m = {0};
    pthread_mutex_init(&m, NULL);
    pthread_mutex_unlock(&m);
}

long some_global;

void TestDataRaceBlocks1() {
    dispatch_queue_t q = dispatch_queue_create("my.queue", DISPATCH_QUEUE_CONCURRENT);
    
    for (int i = 0; i < 2; i++) {
        dispatch_async(q, ^{
            some_global++;  // race 1
            
            usleep(100000);  // force the blocks to be on different threads
        });
    }
    
    usleep(100000);
    dispatch_barrier_sync(q, ^{ });
}

void TestDataRaceBlocks2() {
    dispatch_queue_t q = dispatch_queue_create("my.queue2", DISPATCH_QUEUE_CONCURRENT);
    
    char *c;
    
    c = malloc((rand() % 1000) + 10);
    for (int i = 0; i < 2; i++) {
        dispatch_async(q, ^{
            c[0] = 'x';  // race 2
            fprintf(stderr, "tid: %p\n", pthread_self());
            usleep(100000);  // force the blocks to be on different threads
        });
    }
    dispatch_barrier_sync(q, ^{ });
    
    free(c);
}

void TestUseAfterFree() {
    char *c;
    
    c = malloc((rand() % 1000) + 10);
    free(c);
    c[0] = 'x';
}

void TestRacePipe() {
    dispatch_queue_t q = dispatch_queue_create("my.queue3", DISPATCH_QUEUE_CONCURRENT);
    
    int a[2];
    pipe(a);
    int fd = a[0];
    
    for (int i = 0; i < 2; i++) {
        dispatch_async(q, ^{
            write(fd, "abc", 3);
            usleep(100000);  // force the blocks to be on different threads
        });
        dispatch_async(q, ^{
            close(fd);
            usleep(100000);
        });
    }
    
    dispatch_barrier_sync(q, ^{ });
}

void TestThreadLeak() {
    pthread_t t1;
    pthread_create(&t1, NULL, Thread1, NULL);
}

int main(int argc, const char * argv[]) {
    TestDataRace1();
    
    TestInvalidMutex();
    
    TestMutexWrongLock();
    
    TestDataRaceBlocks1();
    
    TestDataRaceBlocks2();
    
    TestUseAfterFree();
    
    TestRacePipe();
    
    TestThreadLeak();

    return 0;
}