Kritická sekce pro jednotlivé atributy tridy – C / C++ – Fórum – Programujte.com

Dobry den,

 potřebuju ve třídách, které musím udělat thread-safe, udělat kritickou sekci pro kazdy atribut (abych zlepsil miru paralelizace). Kdyz se bude s atributem pracovat, vleze se jen do jeho kriticke sekce a nebude se kvuli nemu zamykat cela trida.

Kvuli toho bych chtel napsat takovou tridu, ktera by proste mela metodu Lock(object atribut).

Problem je, ze ta trida musi byt taky Thread safe. A kdyz ji budu muset zamykat taky, tak bude celkem na nic, protoze ty vlakna budou brzdit v ni. 

Nenapada pls nekoho, jak to provest?

Dekuju

Keďže vravíš, že je to trieda, tak predpokladám, že k atribútom sa pristupuje pomocou jej rozhrania (getteri a setteri), tak čo keby si spravil uzamykanie vrámci nich?

Tys to nepochopil, takto to praveze udelane je, ale proc kdyz jedno vlakno vola GetX() a druhe GetY() by se mely ty vlakna blokovat, kdyz se jedna o odlisne atributy? Ted mam 1kritickou sekci pro kazdkou tridu a je zbytecne, aby byla zamcena cela trida kvuli praci s jedinym atributem.

Chci udelat jakby to, abych mel pro kazdy atribut ve tride deklarovanou pro nej kritickou sekci. Jenomze: ja musim upravit vice trid a kdyz ma jedna trida treba 50 atributu, tak je to takove naprd psat to cele rucne (deklarovat 50 kritickych sekci)

Proto bych chtel napsat tridu, ktera by mela proste jen metodu Lock(object obj) a Unlock(object obj), jenomze to neni takova prca, aspon pro me - nemuzu pripustit, aby se ty vlakna uvnitr ni zase dostavali do kolize.

Treba v C# je prikaz

lock(promenna)

{

zde je promenna chranena

}

A to prave chci naprogramovat.

Já totiž moc C++ neovládám, potřebuju prostě udělat něco, co bude fungovat jako křižovatka - zavolam Lock(object obj), a ono to hned bude vedet: "aha jedna se o tenhle objekt, musim ho presmerovt presne na tuhle cast pole kritickych sekci" - bez jakehokoliv vyhledavani == bez nutnosti zamykat samotnou tridu pro zamykani. Jakokdyby potrebuju dynamicky enum, do ktereho pridam ATRIBUT a ono to hned bude vedet, ze mu nalezi treba cislo 3.

Mozes skusit nieco taketo:

#include <iostream>
#include <vector>
#include <mutex>
#include <future>
#include <chrono>
#include <thread>

//pointer na data ktory uzamkne mutex
template <class T, class M = std::mutex>
class lock_ptr{
		T* ptr;
		M &m;
	public:
		T* operator->(){return ptr;}
		T& operator*(){return *ptr;}
		
		lock_ptr(T* t, M& m):ptr(t), m(m){
			m.lock();
		}
		~lock_ptr(){
			m.unlock();
		}
};

template <class T, class M = std::mutex>
lock_ptr<T, M> make_lock_ptr(T* t, M& m){return lock_ptr<T, M>(t, m);}

class C{
		std::vector<int> a;
		std::mutex	m_a;
		
		std::vector<int> b;
		std::mutex	m_b;
	
	public:
		lock_ptr<std::vector<int>> lock_a(){return make_lock_ptr(&a, m_a);}
		lock_ptr<std::vector<int>> lock_b(){return make_lock_ptr(&b, m_b);}
};


int main(){
	C c;
	
	
	auto a1 = std::async(std::launch::async, [&c](){
		auto x = c.lock_a(); 
		std::this_thread::sleep_for( std::chrono::seconds(2) );
		for(int i = 0; i < 10000; ++i)
			x->push_back(i);
			
		std::cerr << "a1 end\n";
	});
	
	
		
	auto a2 = std::async(std::launch::async, [&c](){
		auto x = c.lock_b();
		for(int i = 10; i > 0; --i)
			x->push_back(i);
			
		std::cerr << "a2 end\n";
		
	});
	
	
	
	auto a3 = std::async(std::launch::async, [&c](){
		auto x = c.lock_a();
			
		std::cerr << "a3 end\n";
		
	});
	
		
}