program współbieżny C

Question

Witam, czy mógłby ktoś mi wytłumaczyć działanie programu poniżej a mianowicie czemu najpierw wypisuje się liczba 2 a nie 1 (podejrzewam że jest to sprawka pthread_join ale jakoś nie mogę ogarnąć ich działania w tym programie) a także czemu ten program jest współbieżny?

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <pthread.h>

void* p (void* l)
{
int i = 0;
for(i;i<10;i++)
{
printf("%d ",1);
fflush(stdout);
usleep(500000);
}
return 0;
}

void* q (void* l)
{
int i = 0;
for(i;i<10;i++)
{
printf("%d ",2);
fflush(stdout);
usleep(500000);
}
return 0;
}

int main(){
	pthread_t w1=0, w2=0;

	pthread_create(&w1, 0, p, 0);
	pthread_create(&w2, 0, q, 0);

	pthread_join(w1, NULL);
	pthread_join(w2, NULL);

	printf("koniec");

	return 0;
}

 

Answer 1

a także czemu ten program jest współbieżny?

Bo... masz dwa wykonujące się wątki? Trochę dziwne pytanie :)

czemu najpierw wypisuje się liczba 2 a nie 1 (podejrzewam że jest to sprawka pthread_join

Nie. Po prostu gdy masz wiele wątków, to system decyduje kiedy który wykonywać; czasem zwyczajnie tak się złoży, że wątek z `2` zostanie wybudzony przed wątkiem z `1` i tyle.

pthread_join po prostu sprawia że główny wątek programu czeka aż oba stworzone przez Ciebie wątki się zakończą.

Comments

Okej tylko czemu ta 2 jest zawsze pierwsza z każdym uruchomieniem programu. Jeśli zmieni się kolejność w kodzie tworzenia wątku na odwrotna to wtedy następuje zmiana kolejności wypisywana i próbuje zrozumieć dlaczego tak się dzieje

---

Trochę jak standardowa odpowiedź adminisratora, ale tak wyszło:

U mnie pierwsza jest 1.

Skopiowałem, skompilowałem i uruchomiłem - u mnie działa inaczej.

1 2 1 2 1 2 2 1 1 2 2 1 1 2 1 2 1 2 1 2
1 2 1 2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1
1 2 1 2 1 2 1 2 1 2 1 2 1 2 2 1 2 1 2 1

Co akurat jest normalne dla wielobieżności. Założenie jest takie, że każda kolejność jest poprawna. Nie zrozumiesz tego - bo to zależy od szczegółów implementacji schedulera procesów w jądrze systemu. Jest wiele różnych algorytmów, każdy ma swoje przewagi z konkretnych sytuacjach, a wady w innych. Żaden nie jest jakoś uniwersalnie "najlepszy", i jednocześnie większość z nich jest wystarczająco dobra (czytaj działa) dla przeciętnych zastosowań.

Jeśli zależy ci na konkretnej kolejności wykonania operacji, to przy programowaniu wielobieżnym musisz o to zadbać sam - stosując odpowiednie mechanizmy synchronizacji procesów/wątków. To całkiem spory kawałek wiedzy.

---

Okej tylko czemu ta 2 jest zawsze pierwsza z każdym uruchomieniem programu.

Nie zawsze; zależy od szczęścia i środowiska w różnych proporcjach. Na przykład u mnie trzy przykładowe wyjścia są:

1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 koniec
1 2 1 2 1 2 1 2 1 2 1 2 2 1 2 1 1 2 2 1 koniec
2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 koniec

 

---

Dzięki wielkie za wyjaśnienie!