Benutzung und Auswertung von void **retval in pthread_join()

[botty]

Probiers mal damit.

#include <stdio.h>
#include <pthread.h>
#include <assert.h>

int bla;

void *func(void *arg) {
	printf("Thread started\nBye\n");
	
	bla = 0;
	
	while(1) 
		pthread_testcancel();
	
	return &bla;
}

int main(void) {
	pthread_t id;
	
	void *ret;
	
	assert(sizeof(void *) == sizeof(int));
	
	pthread_create(&id, 0, func, 0);
	
	printf("PTHREAD_CANCELED=%d\n", (int)PTHREAD_CANCELED);
	
	printf("Cancel\n");
	pthread_cancel(id);
	
	printf("Join\n");
	pthread_join(id, &ret);
	
	printf("%p\t%d\n", ret, ret == PTHREAD_CANCELED);

	printf("%d\n", (int)ret);
	
	return 0;
}

Gruß botty

Edit: assert() ergänzt.

[HaWe]

danke, das ist jetzt interessant.

erstmal dein O-Ton:

// thread canceled

#include <stdio.h>
#include <pthread.h>
#include <assert.h>

int bla;

void *func(void *arg) {
	printf("Thread started\nBye\n");
	
	bla = 0;
	
	while(1) 
		pthread_testcancel();
	
	return &bla;
}


int main(void) {
	pthread_t id;
	
	void *ret;
	
	assert(sizeof(void *) == sizeof(int));
	
	pthread_create(&id, 0, func, 0);
	
	printf("PTHREAD_CANCELED=%d\n", (int)PTHREAD_CANCELED);
	
	printf("Cancel\n");
	pthread_cancel(id);
	
	printf("Join\n");
	pthread_join(id, &ret);
	
	printf("%p\t%d\n", ret, ret == PTHREAD_CANCELED);

	printf("%d\n", (int)ret);
	
}

ergibt

PTHREAD_CANCELED=-1
Cancel
Thread started
Bye
Join
0xffffffff	1
-1


------------------
(program exited with code: 0)
Press return to continue

eine kleine Änderung, wenn sich der Thread selbst beendet:

// thread self-terminated

#include <stdio.h>
#include <pthread.h>
#include <assert.h>

int bla;

void *func(void *arg) {
	printf("Thread started\nBye\n");
	
	bla = 0;
	
	//while(1) 
		pthread_testcancel();
	
	return &bla;
}

int main(void) {
	pthread_t id;
	
	void *ret;
    
    assert(sizeof(void *) == sizeof(int));
	
	pthread_create(&id, 0, func, 0);
	
	printf("PTHREAD_CANCELED=%d\n", (int)PTHREAD_CANCELED);
	
	printf("auto terminated\n");
	//pthread_cancel(id);
	
	printf("Join\n");
	pthread_join(id, &ret);
	
	printf("%p\t%d\n", ret, ret == PTHREAD_CANCELED);

	printf("%d\n", (int)ret);
	
	return 0;
}

PTHREAD_CANCELED=-1
auto terminated
Join
Thread started
Bye
0x20b18	0
133912


------------------
(program exited with code: 0)
Press return to continue

erstmal fiel mir auf, dass du den Rückgabewert nur mit * und nicht mit ** deklariert hast, wie es in der pthread Deklaration stand und wie ich es dann übernommen habe.

Dann fällt auf, dass PTHREAD_CANCELED als default immer -1 zu haben scheint (als int gecastet).
EDIT:
Weiterhin erhält der return-Wert seinen Wert -1, wenn tatsächlich gecancelt wurde.

Dann ist seltsam, dass bei Selbst-Terminierung im 2. Beispiel zwar per bla eine Null zurückgegeben worden sein müsste bzw. zu sein scheint,

A-Bär:
EDIT:
Frage 1) der return-Wert jetzt nicht Null ist (wie ich erwartet hätte), sondern 133912
-wieso?

Und dann noch eine Frage zum Schluss:
Frage 2) was macht assert, denn ich habe es vorher ohne assert laufen lassen, da gab es exakt dieselben Screen-Ausgaben?

[botty]

Sorry, da ist mir ein Fehler unterlaufen:
Die Variable "bla" ist Blödsinn es muss in "func()" lauten:

#include <stdio.h>
#include <pthread.h>
#include <assert.h>

void *func(void *arg) {
	printf("Thread started\nBye\n");
	
	//while(1) 
		pthread_testcancel();
	
	return (void*)0;
}

letztlich benutzen wir in diesem Fall den Zeiger als Integer.

Das ** in der Deklaration von pthread_join ist notwendig, da in die Variable ret in main geschrieben werden soll. Da wir in C nur Call-By-Value haben müssen wir einen Zeiger auf die Variable ret hineingeben, über den dann diese verändert wird. In Pascal würde man einen VAR Parameter verwenden (Call-By-Reference), dass gibt's aber nicht in C.

PTHREAD_CANCELED ist ein Makro was auf meiner Linuxbuchse zu "((void*)-1) expandiert. Würde man den Cast nicht im Makro haben, würde der Compiler ständig meckern. Kannst ja mal beim obigen return den cast wegnehmen, dann siehst du es.

assert ist ein Mechanismus, mit dem du in Programmen Bedingungen fomulieren kannst, die wahr sein müssen. Wenn sie zu falsch ausgewertet werden, dann bricht das Programm an der Stelle mit einer Fehlermeldung ab. Da ich lustig von "void *" auf "int" caste, wollte ich sicher sein, dass auf Deinem System diese Bedingung wahr ist (ich habe hier nur eine normale 32-Bit Linuxbüchse in einer Virtualbox laufen). Gegentest wäre im assert statt "int" mal "double" einzusetzen, dann siehst du was passiert.

Gruss botty

[HaWe]

ganz große KLasse, danke, so funktioniert es!
0 bei Selbstterminierung,
-1 bei pthread_cancel

und bei besonderen Ereignissen/Events kann ich eine eigene RETVAL definieren und per
return (void*)RETVAL;
jetzt auch übermitteln und nach pthread_join() dann auswerten.

Ganz toll,
vielen lieben Dank!