КДП/Јул 2020 - Историја измена

Andrija: Mala poboljsanja radi citljivosti

2025-09-12T17:13:03Z

Mala poboljsanja radi citljivosti

← Старија измена		Верзија на датум 12. септембар 2025. у 19:13
Ред 61:		Ред 61:
	<syntaxhighlight lang="cpp">		<syntaxhighlight lang="cpp">
	const int N = ...;		const int N = ...;
	enum op_kind{~~REQUEST~~,RELEASE};		enum op_kind{ACQUIRE,RELEASE};
	// Poslednji parametar ukazuje na to da li filozof trazi levu ili desnu viljusku		// Poslednji parametar ukazuje na to da li filozof trazi levu (true) ili desnu (false) viljusku
	chan request(int, op_kind ~~kind~~, bool);		chan request(int, op_kind, bool);
	chan reply[N](bool);		chan reply[N](bool);

Ред 77:		Ред 77:
	receive request(philosopher, kind, left);		receive request(philosopher, kind, left);
	int fork = left ? philosopher : (philosopher + 1) % N;		int fork = left ? philosopher : (philosopher + 1) % N;
	if (kind == ~~REQUEST~~) {		if (kind == ACQUIRE) {
	if (forks[fork] == 0) {		if (forks[fork] == 0) {
	forks[fork] = 1;		forks[fork] = 1;
	send reply[philosopher](true);		send reply[philosopher](true);
	} else {		} else {
	waiting.push(~~make_pair(~~philosopher, fork));		waiting.push({philosopher, fork});
	}		}
	} else if (kind == RELEASE) {		} else if (kind == RELEASE) {
	forks[fork] = 0;		forks[fork] = 0;
	while (!waiting.empty() && forks[waiting.front().second] == 0){		while (!waiting.empty() && forks[waiting.front().second] == 0) {
	send reply[waiting.front().first](true);		send reply[waiting.front().first](true);
	waiting.pop();		waiting.pop();
Ред 99:		Ред 99:
	while(true) {		while(true) {
	// Think		// Think
	send request(id, ~~REQUEST~~, id != 0);		send request(id, ACQUIRE, id != 0);
	receive reply[id](status);		receive reply[id](status);
	send request(id, ~~REQUEST~~, id == 0);		send request(id, ACQUIRE, id == 0);
	receive reply[id](status);		receive reply[id](status);
	// Eat		// Eat

Fedja: kategorija zadatka

2023-02-11T16:58:15Z

kategorija zadatka

← Старија измена		Верзија на датум 11. фебруар 2023. у 18:58
Ред 2:		Ред 2:
	Поставка овог рока може се наћи са [https://rti.etf.bg.ac.rs/rti/ir3kdp/rokovi/2122/KDP_2022_feb.pdf странице предмета.]		Поставка овог рока може се наћи са [https://rti.etf.bg.ac.rs/rti/ir3kdp/rokovi/2122/KDP_2022_feb.pdf странице предмета.]

	== 1. задатак ==		== {{категорија\|1. задатак\|Штафетна_палица}} ==
	{{делимично решено}}		{{делимично решено}}
	=== Поставка ===		=== Поставка ===

Fedja: kategorije zadataka

2023-02-11T02:37:21Z

kategorije zadataka

← Старија измена		Верзија на датум 11. фебруар 2023. у 04:37
Ред 10:		Ред 10:


	== 2. задатак ==		== {{категорија\|2. задатак\|Монитори}} ==
	=== Поставка ===		=== Поставка ===
	Проблем изградње молекула воде (''The H2O Problem''). Написати монитор са ''signal and continue'' дисциплином за решавање овог проблема, под следећим условима. Атоми водоника, када желе да направе молекул воде, позивају мониторску процедуру <code>hReady()</code>, атоми кисеоника позивају мониторску процедуру <code>oReady()</code>. Последњи пристигли атом треба да позове мониторску процедуру <code>makeWater()</code>, након чијег завршетка сва три атома треба да заврше своје одговарајуће <code>hReady()</code> и <code>oReady()</code> процедуре. Не сме бити изгладњивања.		Проблем изградње молекула воде (''The H2O Problem''). Написати монитор са ''signal and continue'' дисциплином за решавање овог проблема, под следећим условима. Атоми водоника, када желе да направе молекул воде, позивају мониторску процедуру <code>hReady()</code>, атоми кисеоника позивају мониторску процедуру <code>oReady()</code>. Последњи пристигли атом треба да позове мониторску процедуру <code>makeWater()</code>, након чијег завршетка сва три атома треба да заврше своје одговарајуће <code>hReady()</code> и <code>oReady()</code> процедуре. Не сме бити изгладњивања.
Ред 53:		Ред 53:
	</syntaxhighlight>		</syntaxhighlight>

	== 3. задатак ==		== {{категорија\|3. задатак\|Активни_монитори}} ==
	=== Поставка ===		=== Поставка ===
	Користећи активне мониторе решити проблем филозофа који ручавају (''The Dining Philosophers''). Филозофи могу да комуницирају искључиво са процесом координатором (централизовано решење). Обезбедити да филозоф који је пре затражио да једе пре и започиње са јелом. Написати код за филозофе и за процес координатор		Користећи активне мониторе решити проблем филозофа који ручавају (''The Dining Philosophers''). Филозофи могу да комуницирају искључиво са процесом координатором (централизовано решење). Обезбедити да филозоф који је пре затражио да једе пре и започиње са јелом. Написати код за филозофе и за процес координатор
Ред 110:		Ред 110:
	</syntaxhighlight>		</syntaxhighlight>

	== 4. задатак ==		== {{категорија\|4. задатак\|CSP}} ==
	{{делимично решено}}		{{делимично решено}}
	=== Поставка ===		=== Поставка ===

KockaAdmiralac: Formatiranje

2023-02-08T19:42:00Z

Formatiranje

← Старија измена		Верзија на датум 8. фебруар 2023. у 21:42
Ред 58:		Ред 58:

	=== Решење ===		=== Решење ===
	Напомена: Због захтева да филозоф који је пре затражио да једе пре и започне са јелом иде се по строго ФИФО редоследу, и филозофи који су се заблокирали на чекању виљушке неће је добити све док сви филозофи који су затражили виљушку пре њих не добију своју, и из тог разлога је потребна while петља код отпуштања виљушке.		Напомена: Због захтева да филозоф који је пре затражио да једе пре и започне са јелом иде се по строго ФИФО редоследу, и филозофи који су се заблокирали на чекању виљушке неће је добити све док сви филозофи који су затражили виљушку пре њих не добију своју, и из тог разлога је потребна while петља код отпуштања виљушке.
	<syntaxhighlight lang="cpp">		<syntaxhighlight lang="cpp">
	const int N = ...;		const int N = ...;
	enum op_kind{REQUEST,RELEASE};		enum op_kind{REQUEST,RELEASE};
	~~chan request(int, op_kind kind, bool);~~ //Poslednji parametar ukazuje na to da li filozof trazi levu ili desnu viljusku		// Poslednji parametar ukazuje na to da li filozof trazi levu ili desnu viljusku
			chan request(int, op_kind kind, bool);
	chan reply[N](bool);		chan reply[N](bool);

	class Coordinator{		class Coordinator {
	public:		public:
			void run() {
	void run(){		int philosopher;
	int philosopher;		op_kind kind;
	op_kind kind;		bool left;
	bool left;		queue<pair<int,int>> waiting;
	queue<pair<int,int>> waiting;		int forks[N] = {};
	int forks[N] = {};		while (true) {
	while(true){		receive request(philosopher, kind, left);
	receive request(philosopher, kind, left);		int fork = left ? philosopher : (philosopher + 1) % N;
	int fork = left ? philosopher : (philosopher+1)%N;		if (kind == REQUEST) {
	if(kind == REQUEST){		if (forks[fork] == 0) {
	if(forks[fork] == 0){		forks[fork] = 1;
	forks[fork] = 1;		send reply[philosopher](true);
	send reply[philosopher](true);		} else {
	}		waiting.push(make_pair(philosopher, fork));
	else{		}
	waiting.push(make_pair(philosopher, fork));		} else if (kind == RELEASE) {
	}		forks[fork] = 0;
	}		while (!waiting.empty() && forks[waiting.front().second] == 0){
	else if(kind == RELEASE){		send reply[waiting.front().first](true);
	forks[fork] = 0;		waiting.pop();
	while(!waiting.empty() && forks[waiting.front().second] == 0){		}
	send reply[waiting.front().first](true);		}
	waiting.pop();		}
	}		}
	}
	}
	}
	}		}

	void philosopher(int id){		void philosopher(int id) {
	bool status;		bool status;
			while(true) {
	while(true){		// Think
			send request(id, REQUEST, id != 0);
	//Think		receive reply[id](status);
			send request(id, REQUEST, id == 0);
	send request(id, REQUEST, id!=0);		receive reply[id](status);
	receive reply[id](status);		// Eat
	send request(id, REQUEST, id==0);		send request(id, RELEASE, id != 0);
	receive reply[id](status);		send request(id, RELEASE, id == 0);
			}
	//Eat

	send request(id, RELEASE, id!=0);
	send request(id, RELEASE, id==0);

	}
	}		}
	</syntaxhighlight>		</syntaxhighlight>

Lukahrvacevic: /* 3. задатак */

2022-07-16T16:33:32Z

3. задатак

@@ Ред 54: / Ред 54: @@
 == 3. задатак ==
 === Поставка ===
 Користећи активне мониторе решити проблем филозофа који ручавају (''The Dining Philosophers''). Филозофи могу да комуницирају искључиво са процесом координатором (централизовано решење). Обезбедити да филозоф који је пре затражио да једе пре и започиње са јелом. Написати код за филозофе и за процес координатор
 === Решење ===
 == 4. задатак ==

KockaAdmiralac: Ticket algoritam u 2. zadatku jer ne možemo da pretpostavimo da su FIFO

2022-05-14T16:57:13Z

Ticket algoritam u 2. zadatku jer ne možemo da pretpostavimo da su FIFO

← Старија измена		Верзија на датум 14. мај 2022. у 18:57
Ред 21:		Ред 21:
	private int hCount = 0;		private int hCount = 0;
	private int oCount = 0;		private int oCount = 0;
			private int hTicket = 1;
			private int oTicket = 1;
	public synchronized void hReady() {		public synchronized void hReady() {
	++hCount;		++hCount;
Ред 30:		Ред 32:
	oQueue.signal();		oQueue.signal();
	} else {		} else {
	hQueue.wait();		hQueue.wait(hTicket++);
	}		}
	}		}
Ред 42:		Ред 44:
	hQueue.signal();		hQueue.signal();
	} else {		} else {
	oQueue.wait();		oQueue.wait(oTicket++);
	}		}
	}		}

KockaAdmiralac: Rešenje drugog zadatka

2022-05-11T19:44:16Z

Rešenje drugog zadatka

Нова страница

{{tocright}}
Поставка овог рока може се наћи са [https://rti.etf.bg.ac.rs/rti/ir3kdp/rokovi/2122/KDP_2022_feb.pdf странице предмета.]

== 1. задатак ==
{{делимично решено}}
=== Поставка ===
Користећи расподељене бинарне семафоре и технику предаје штафетне палице решити проблем читалаца и писаца (''Readers - Writers Problem'').

=== Решење ===

== 2. задатак ==
=== Поставка ===
Проблем изградње молекула воде (''The H2O Problem''). Написати монитор са ''signal and continue'' дисциплином за решавање овог проблема, под следећим условима. Атоми водоника, када желе да направе молекул воде, позивају мониторску процедуру <code>hReady()</code>, атоми кисеоника позивају мониторску процедуру <code>oReady()</code>. Последњи пристигли атом треба да позове мониторску процедуру <code>makeWater()</code>, након чијег завршетка сва три атома треба да заврше своје одговарајуће <code>hReady()</code> и <code>oReady()</code> процедуре. Не сме бити изгладњивања.

=== Решење ===
<syntaxhighlight lang="java">
class TheH2OProblem {
private Condition hQueue = new Condition();
private Condition oQueue = new Condition();
private int hCount = 0;
private int oCount = 0;
public synchronized void hReady() {
++hCount;
if (hCount >= 2 && oCount >= 1) {
makeWater();
hCount -= 2;
oCount -= 1;
hQueue.signal();
oQueue.signal();
} else {
hQueue.wait();
}
}
public synchronized void oReady() {
++oCount;
if (hCount >= 2 && oCount >= 1) {
makeWater();
hCount -= 2;
oCount -= 1;
hQueue.signal();
hQueue.signal();
} else {
oQueue.wait();
}
}
private void makeWater() {
// ...
}
}
</syntaxhighlight>

== 3. задатак ==
{{делимично решено}}
=== Поставка ===
Користећи активне мониторе решити проблем филозофа који ручавају (''The Dining Philosophers''). Филозофи могу да комуницирају искључиво са процесом координатором (централизовано решење). Обезбедити да филозоф који је пре затражио да једе пре и започиње са јелом. Написати код за филозофе и за процес координатор

=== Решење ===

== 4. задатак ==
{{делимично решено}}
=== Поставка ===
Посматра се семафор за регулацију саобраћаја на улици са једним пешачким прелазом. Када пешак стигне до пешачког прелаза, уколико је светло за пешаке зелено, он прелази улицу. Уколико је у моменту његовог доласка светло за пешаке црвено, он чека да се укључи зелено светло. Зелено светло за пешаке се укључује или након К секунди од појаве првог пешака који је затекао црвено светло, или након проласка C аутомобила од последњег активног зеленог светла за пешаке. Зелено светло за пешаке трајања G секунди се пали само уколико је испуњен неки од наведених услова и барем један пешак чека. Потребно је у језику CSP написати процесе пешака, аутомобила и семафора, уколико је познато да у систему постоји N аутомобила и T пешака. Доступна је функција <code>system_current_time</code> која враћа тренутно време система.

=== Решење ===

[[Категорија:КДП]]
[[Категорија:Рокови]]