peace 0.0.15

zero stress automation
Documentation 
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

# Data Race - C#

```cs
~ using System;
~ using System.Threading;
~
~ public class Program {
~     class Data {
~         public int Value { get; set; }
~     }
~
~     public static void Main() {
Data data = new Data { Value = 0 };

Action inc0 = () => { for (int i = 0; i < 50000; i++) { data.Value += 1; } };
Action inc1 = () => { for (int i = 0; i < 50000; i++) { data.Value += 1; } };

Thread thread0 = new Thread(new ThreadStart(inc0));
Thread thread1 = new Thread(new ThreadStart(inc1));

thread0.Start();
thread1.Start();

thread0.Join();
thread1.Join();

Console.WriteLine($"value: {data.Value}");
~     }
~ }
```

```bash
# build and execute
~ (
~   mkdir -p /tmp/target/cs
~   mono-csc \
~     doc/src/learning_material/why_rust/constraints/data_race.cs \
~     -out:/tmp/target/cs/data_race.exe
~   /tmp/target/cs/data_race.exe
~ )
```

<!-- If you're very patient, you can get 100,000 -->