|
@@ -6,7 +6,13 @@ class Main {
|
|
// Create different mutex
|
|
// Create different mutex
|
|
Mutex mutD = new MutexTypeD();
|
|
Mutex mutD = new MutexTypeD();
|
|
|
|
|
|
|
|
+ Task t0 = new Task("T0", 0, mutD);
|
|
Task t1 = new Task("T1", 1, mutD);
|
|
Task t1 = new Task("T1", 1, mutD);
|
|
|
|
+
|
|
|
|
+ t0.describe();
|
|
t1.describe();
|
|
t1.describe();
|
|
|
|
+
|
|
|
|
+ t0.start();
|
|
|
|
+ t1.start();
|
|
}
|
|
}
|
|
}
|
|
}
|