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
|
/* Copyright (c) 2006-2025. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
import java.util.Vector;
import org.simgrid.s4u.*;
/* This worker uses a classical mutex */
class worker extends Actor {
Mutex mutex;
int idx;
public worker(Mutex mutex, int idx)
{
this.mutex = mutex;
this.idx = idx;
}
public void run()
{
// lock the mutex before enter in the critical section
mutex.lock();
Engine.info("Hello Java, I'm ready to compute after locking.");
// And finally add it to the results
synchro_mutex.result.set(idx, synchro_mutex.result.get(idx) + 1);
Engine.info("I'm done, good bye");
// You have to unlock the mutex manually.
// Beware of exceptions preventing your unlock() from being executed!
mutex.unlock();
}
}
public class synchro_mutex {
static int cfg_actor_count = 6;
static Vector<Integer> result = new Vector<>(cfg_actor_count);
public static void main(String[] args)
{
Engine e = new Engine(args);
e.load_platform(args[0]);
/* Create the requested amount of actors pairs. Each pair has a specific mutex and cell in `result`. */
for (int i = 0; i < cfg_actor_count; i++) {
result.add(0);
Mutex mutex = Mutex.create();
e.host_by_name("Jupiter").add_actor("worker", new worker(mutex, i));
e.host_by_name("Tremblay").add_actor("worker", new worker(mutex, i));
}
e.run();
for (int i = 0; i < cfg_actor_count; i++)
Engine.info("Result[%d] -> %d", i, result.get(i));
// The following call is useless in your code, but our continuous integration uses it to track memleaks
e.force_garbage_collection();
}
}
|
