Многопоточность, разделяемые данные

[220Volt]

Здравствуйте!

Вопрос ,возможно, не конкретно по winapi, но рядом, потому что тот кто использует win api должен дружить с многопоточностью, имхо.
Дано:
-два потока, имеют разделяемый сегмент памяти (какая-нибудь структура);
-первый поток читает эту структуру, а второй перезаписывает (одновременно).
Вопрос:
Есть ли у меня гарантия, что структура будет содержать корректные данные (идентичные тем, которые записывал второй поток). Т.е. ошибку, возможно, схватит читающий поток, но данные будут записаны правильно. Есть ли у меня такая гарантия?
P.S: тот, кто не уверен, не пишите пожалуйста, очень не хочу запутаться.

[waleri]

Нет, у вас нет таких гарантий, если только вы не используете механизмы синхронизации доступа.

[220Volt]

Ясно, спасибо.

[EUGY]

А я вот считаю с точностью до наоборот.
Если корректность чтения нас не волнует, синхронизация не нужна.
Это и проверить не трудно.

#include <iostream>
#include <process.h>
#include <memory.h>

struct STR
{
	int x;
	int y[100];
};

// общие данные
volatile STR mystr;

void thrdproc(void*)
{	// читающий поток
	while (1)
	{   // корректность чтения нас не волнует
		STR tmp;
		memcpy(&tmp,(const void*)&mystr, sizeof(STR));
	}
}

int main()
{	
	_beginthread(thrdproc, 0, 0);
	
	for (unsigned int i = -1; i --;)
	{
		STR tmp = {i, -1 - i}; 
		// записать
		memcpy((void*)&mystr, &tmp, sizeof(STR));
		// проверить записанное
		if (memcmp((void*)&mystr,&tmp, sizeof(STR)))
		{
			std::cout << "ERROR";
			break;
		}
	}
	return 0;
}

Т.е. ошибку, возможно, схватит читающий поток, но данные будут записаны правильно.

[220Volt]

Благодарю за пример (как-то не додумался сделать тест), попробовал, все гладко.

[waleri]

Беру свои слова обратно - раз вам пофиг, что вы читаете garbage тогда конечно никакой синхронизации не нужно... Только тогда зачем их вообще читать...

[EUGY]

Я понял так, что 220Volt опасается, что пищущий поток запишет некорректно, если вдруг в это же время кто-то прочтет эти адреса. Вот и успокоил человека.
А так-то конечно трудно представить практический смысл.