|
@@ -1,130 +1,140 @@
|
|
| 1 |
// Copyright 2021 Jeisson Hidalgo <jeisson.hidalgo@ucr.ac.cr> CC-BY 4.0
|
| 2 |
|
| 3 |
#include <assert.h>
|
| 4 |
#include <inttypes.h>
|
| 5 |
#include <pthread.h>
|
| 6 |
#include <stdint.h>
|
| 7 |
#include <stdio.h>
|
| 8 |
#include <stdlib.h>
|
| 9 |
#include <time.h>
|
| 10 |
#include <unistd.h>
|
| 11 |
|
| 12 |
// thread_shared_data_t
|
| 13 |
typedef struct shared_data {
|
| 14 |
-
uint64_t
|
|
|
|
| 15 |
uint64_t thread_count;
|
| 16 |
} shared_data_t;
|
| 17 |
|
| 18 |
// thread_private_data_t
|
| 19 |
typedef struct private_data {
|
| 20 |
uint64_t thread_number; // rank
|
| 21 |
shared_data_t* shared_data;
|
| 22 |
} private_data_t;
|
| 23 |
|
| 24 |
/**
|
| 25 |
* @brief ...
|
| 26 |
*/
|
| 27 |
-
void*
|
| 28 |
int create_threads(shared_data_t* shared_data);
|
| 29 |
|
| 30 |
// procedure main(argc, argv[])
|
| 31 |
int main(int argc, char* argv[]) {
|
| 32 |
int error = EXIT_SUCCESS;
|
| 33 |
// create thread_count as result of converting argv[1] to integer
|
| 34 |
// thread_count := integer(argv[1])
|
| 35 |
uint64_t thread_count = sysconf(_SC_NPROCESSORS_ONLN);
|
| 36 |
if (argc == 2) {
|
| 37 |
if (sscanf(argv[1], "%" SCNu64, &thread_count) == 1) {
|
| 38 |
} else {
|
| 39 |
fprintf(stderr, "Error: invalid thread count\n");
|
| 40 |
return 11;
|
| 41 |
}
|
| 42 |
}
|
| 43 |
|
| 44 |
shared_data_t* shared_data = (shared_data_t*)calloc(1, sizeof(shared_data_t));
|
| 45 |
if (shared_data) {
|
| 46 |
-
shared_data->
|
|
|
|
|
|
|
| 47 |
shared_data->thread_count = thread_count;
|
| 48 |
|
| 49 |
struct timespec start_time, finish_time;
|
| 50 |
clock_gettime(CLOCK_MONOTONIC, &start_time);
|
| 51 |
|
| 52 |
error = create_threads(shared_data);
|
| 53 |
|
| 54 |
clock_gettime(CLOCK_MONOTONIC, &finish_time);
|
| 55 |
double elapsed_time = finish_time.tv_sec - start_time.tv_sec +
|
| 56 |
(finish_time.tv_nsec - start_time.tv_nsec) * 1e-9;
|
| 57 |
|
| 58 |
printf("Execution time: %.9lfs\n", elapsed_time);
|
| 59 |
|
|
|
|
| 60 |
free(shared_data);
|
| 61 |
} else {
|
|
|
|
|
|
|
|
|
|
|
|
|
| 62 |
fprintf(stderr, "Error: could not allocate shared data\n");
|
| 63 |
return 12;
|
| 64 |
}
|
| 65 |
return error;
|
| 66 |
} // end procedure
|
| 67 |
|
| 68 |
|
| 69 |
int create_threads(shared_data_t* shared_data) {
|
| 70 |
int error = EXIT_SUCCESS;
|
| 71 |
// for thread_number := 0 to thread_count do
|
| 72 |
pthread_t* threads = (pthread_t*)
|
| 73 |
malloc(shared_data->thread_count * sizeof(pthread_t));
|
| 74 |
private_data_t* private_data = (private_data_t*)
|
| 75 |
calloc(shared_data->thread_count, sizeof(private_data_t));
|
| 76 |
if (threads && private_data) {
|
| 77 |
for (uint64_t thread_number = 0; thread_number < shared_data->thread_count
|
| 78 |
; ++thread_number) {
|
| 79 |
private_data[thread_number].thread_number = thread_number;
|
| 80 |
private_data[thread_number].shared_data = shared_data;
|
| 81 |
// create_thread(greet, thread_number)
|
| 82 |
-
error = pthread_create(&threads[thread_number], /*attr*/ NULL,
|
| 83 |
, /*arg*/ &private_data[thread_number]);
|
| 84 |
if (error == EXIT_SUCCESS) {
|
| 85 |
} else {
|
| 86 |
fprintf(stderr, "Error: could not create secondary thread\n");
|
| 87 |
error = 21;
|
| 88 |
break;
|
| 89 |
}
|
| 90 |
}
|
| 91 |
|
| 92 |
// print "Hello from main thread"
|
| 93 |
printf("Hello from main thread\n");
|
| 94 |
|
| 95 |
for (uint64_t thread_number = 0; thread_number < shared_data->thread_count
|
| 96 |
; ++thread_number) {
|
| 97 |
pthread_join(threads[thread_number], /*value_ptr*/ NULL);
|
| 98 |
}
|
| 99 |
|
| 100 |
free(private_data);
|
| 101 |
free(threads);
|
| 102 |
} else {
|
| 103 |
fprintf(stderr, "Error: could not allocate %" PRIu64 " threads\n"
|
| 104 |
, shared_data->thread_count);
|
| 105 |
error = 22;
|
| 106 |
}
|
| 107 |
|
| 108 |
return error;
|
| 109 |
}
|
| 110 |
|
| 111 |
// procedure greet:
|
| 112 |
-
void*
|
| 113 |
assert(data);
|
| 114 |
private_data_t* private_data = (private_data_t*) data;
|
| 115 |
shared_data_t* shared_data = private_data->shared_data;
|
| 116 |
|
| 117 |
-
//
|
| 118 |
-
|
| 119 |
-
|
| 120 |
-
|
| 121 |
-
|
|
|
|
|
|
|
|
|
|
| 122 |
// print "Hello from secondary thread"
|
| 123 |
-
printf("
|
| 124 |
-
, private_data->thread_number, shared_data->thread_count);
|
| 125 |
-
|
| 126 |
-
// Allow subsequent thread to do the task
|
| 127 |
-
++shared_data->next_thread;
|
| 128 |
|
|
|
|
|
|
|
| 129 |
return NULL;
|
| 130 |
} // end procedure
|
| 1 |
// Copyright 2021 Jeisson Hidalgo <jeisson.hidalgo@ucr.ac.cr> CC-BY 4.0
|
| 2 |
|
| 3 |
#include <assert.h>
|
| 4 |
#include <inttypes.h>
|
| 5 |
#include <pthread.h>
|
| 6 |
#include <stdint.h>
|
| 7 |
#include <stdio.h>
|
| 8 |
#include <stdlib.h>
|
| 9 |
#include <time.h>
|
| 10 |
#include <unistd.h>
|
| 11 |
|
| 12 |
// thread_shared_data_t
|
| 13 |
typedef struct shared_data {
|
| 14 |
+
uint64_t position;
|
| 15 |
+
pthread_mutex_t can_access_position;
|
| 16 |
uint64_t thread_count;
|
| 17 |
} shared_data_t;
|
| 18 |
|
| 19 |
// thread_private_data_t
|
| 20 |
typedef struct private_data {
|
| 21 |
uint64_t thread_number; // rank
|
| 22 |
shared_data_t* shared_data;
|
| 23 |
} private_data_t;
|
| 24 |
|
| 25 |
/**
|
| 26 |
* @brief ...
|
| 27 |
*/
|
| 28 |
+
void* race(void* data);
|
| 29 |
int create_threads(shared_data_t* shared_data);
|
| 30 |
|
| 31 |
// procedure main(argc, argv[])
|
| 32 |
int main(int argc, char* argv[]) {
|
| 33 |
int error = EXIT_SUCCESS;
|
| 34 |
// create thread_count as result of converting argv[1] to integer
|
| 35 |
// thread_count := integer(argv[1])
|
| 36 |
uint64_t thread_count = sysconf(_SC_NPROCESSORS_ONLN);
|
| 37 |
if (argc == 2) {
|
| 38 |
if (sscanf(argv[1], "%" SCNu64, &thread_count) == 1) {
|
| 39 |
} else {
|
| 40 |
fprintf(stderr, "Error: invalid thread count\n");
|
| 41 |
return 11;
|
| 42 |
}
|
| 43 |
}
|
| 44 |
|
| 45 |
shared_data_t* shared_data = (shared_data_t*)calloc(1, sizeof(shared_data_t));
|
| 46 |
if (shared_data) {
|
| 47 |
+
shared_data->position = 0;
|
| 48 |
+
error = pthread_mutex_init(&shared_data->can_access_position, /*attr*/NULL);
|
| 49 |
+
if (error == EXIT_SUCCESS) {
|
| 50 |
shared_data->thread_count = thread_count;
|
| 51 |
|
| 52 |
struct timespec start_time, finish_time;
|
| 53 |
clock_gettime(CLOCK_MONOTONIC, &start_time);
|
| 54 |
|
| 55 |
error = create_threads(shared_data);
|
| 56 |
|
| 57 |
clock_gettime(CLOCK_MONOTONIC, &finish_time);
|
| 58 |
double elapsed_time = finish_time.tv_sec - start_time.tv_sec +
|
| 59 |
(finish_time.tv_nsec - start_time.tv_nsec) * 1e-9;
|
| 60 |
|
| 61 |
printf("Execution time: %.9lfs\n", elapsed_time);
|
| 62 |
|
| 63 |
+
pthread_mutex_destroy(&shared_data->can_access_position);
|
| 64 |
free(shared_data);
|
| 65 |
} else {
|
| 66 |
+
fprintf(stderr, "Error: could not init mutex\n");
|
| 67 |
+
return 13;
|
| 68 |
+
}
|
| 69 |
+
} else {
|
| 70 |
fprintf(stderr, "Error: could not allocate shared data\n");
|
| 71 |
return 12;
|
| 72 |
}
|
| 73 |
return error;
|
| 74 |
} // end procedure
|
| 75 |
|
| 76 |
|
| 77 |
int create_threads(shared_data_t* shared_data) {
|
| 78 |
int error = EXIT_SUCCESS;
|
| 79 |
// for thread_number := 0 to thread_count do
|
| 80 |
pthread_t* threads = (pthread_t*)
|
| 81 |
malloc(shared_data->thread_count * sizeof(pthread_t));
|
| 82 |
private_data_t* private_data = (private_data_t*)
|
| 83 |
calloc(shared_data->thread_count, sizeof(private_data_t));
|
| 84 |
if (threads && private_data) {
|
| 85 |
for (uint64_t thread_number = 0; thread_number < shared_data->thread_count
|
| 86 |
; ++thread_number) {
|
| 87 |
private_data[thread_number].thread_number = thread_number;
|
| 88 |
private_data[thread_number].shared_data = shared_data;
|
| 89 |
// create_thread(greet, thread_number)
|
| 90 |
+
error = pthread_create(&threads[thread_number], /*attr*/ NULL, race
|
| 91 |
, /*arg*/ &private_data[thread_number]);
|
| 92 |
if (error == EXIT_SUCCESS) {
|
| 93 |
} else {
|
| 94 |
fprintf(stderr, "Error: could not create secondary thread\n");
|
| 95 |
error = 21;
|
| 96 |
break;
|
| 97 |
}
|
| 98 |
}
|
| 99 |
|
| 100 |
// print "Hello from main thread"
|
| 101 |
printf("Hello from main thread\n");
|
| 102 |
|
| 103 |
for (uint64_t thread_number = 0; thread_number < shared_data->thread_count
|
| 104 |
; ++thread_number) {
|
| 105 |
pthread_join(threads[thread_number], /*value_ptr*/ NULL);
|
| 106 |
}
|
| 107 |
|
| 108 |
free(private_data);
|
| 109 |
free(threads);
|
| 110 |
} else {
|
| 111 |
fprintf(stderr, "Error: could not allocate %" PRIu64 " threads\n"
|
| 112 |
, shared_data->thread_count);
|
| 113 |
error = 22;
|
| 114 |
}
|
| 115 |
|
| 116 |
return error;
|
| 117 |
}
|
| 118 |
|
| 119 |
// procedure greet:
|
| 120 |
+
void* race(void* data) {
|
| 121 |
assert(data);
|
| 122 |
private_data_t* private_data = (private_data_t*) data;
|
| 123 |
shared_data_t* shared_data = private_data->shared_data;
|
| 124 |
|
| 125 |
+
// lock(can_access_position)
|
| 126 |
+
pthread_mutex_lock(&shared_data->can_access_position);
|
| 127 |
+
// race condition/data race/condición de carrera:
|
| 128 |
+
// modificación concurrente de memoria compartida
|
| 129 |
+
// position := position + 1
|
| 130 |
+
++shared_data->position;
|
| 131 |
+
// my_position := position
|
| 132 |
+
uint64_t my_position = shared_data->position;
|
| 133 |
// print "Hello from secondary thread"
|
| 134 |
+
printf("Thread %" PRIu64 "/%" PRIu64 ": I arrived at position %" PRIu64 "\n"
|
| 135 |
+
, private_data->thread_number, shared_data->thread_count, my_position);
|
|
|
|
|
|
|
|
|
|
| 136 |
|
| 137 |
+
// unlock(can_access_position)
|
| 138 |
+
pthread_mutex_unlock(&shared_data->can_access_position);
|
| 139 |
return NULL;
|
| 140 |
} // end procedure
|