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
|
/* Copyright (c) 2023-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. */
#include <iostream>
#include <thread>
#include <vector>
// shared collection object
std::vector<int> v = {1, 2, 3, 5, 8, 13};
extern "C" {
extern int sthread_access_begin(void* addr, const char* objname, const char* file, int line, const char* func)
__attribute__((weak));
extern void sthread_access_end(void* addr, const char* objname, const char* file, int line, const char* func)
__attribute__((weak));
}
#define STHREAD_ACCESS(obj) \
for (bool first = sthread_access_begin(static_cast<void*>(obj), #obj, __FILE__, __LINE__, __func__) || true; first; \
sthread_access_end(static_cast<void*>(obj), #obj, __FILE__, __LINE__, __func__), first = false)
static void thread_code()
{
// Add another integer to the vector
STHREAD_ACCESS(&v) v.push_back(21);
}
int main()
{
std::cout << "starting two helpers...\n";
std::thread helper1(thread_code);
std::thread helper2(thread_code);
std::cout << "waiting for helpers to finish..." << std::endl;
helper1.join();
helper2.join();
// Print out the vector
std::cout << "v = { ";
for (int n : v)
std::cout << n << ", ";
std::cout << "}; \n";
}
|
