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

Sirenfia: /* Решење */

2026-02-17T12:18:10Z

Решење

← Старија измена		Верзија на датум 17. фебруар 2026. у 14:18
Ред 69:		Ред 69:

	=== Решење ===		=== Решење ===
			<syntaxhighlight lang="cpp">
			const K = ...;

			monitor Bridge {
			int waitingS = 0, waitingN = 0;
			int cnt = 0; // тренутан број аутића на мосту
			int dir = 0; // 0 - нико не чека и нико није на мосту, 1 - тренутно прелазе кола са севера, 2 - са југа
			cond go;

			void EnterNorth() {
			waitingN++;
			// Чекај ако прелазе кола са југа или ако је на мосту већ К аутића
			while(dir == 2 \|\| cnt == K) wait(go);
			waitingN--; dir = 1; cnt++;
			}

			void ExitNorth() {
			cnt--;
			if(cnt == 0) { // мост је слободан
			if(waitingS > 0) dir = 2; // прво проверава супротан смер и препушта мост њима ако неко чека
			else if(waitingN > 0) dir = 1;
			else dir = 0;

			signal(go);
			}
			}

			}
			</syntaxhighlight>

	== {{категорија\|3. задатак\|CSP}} ==		== {{категорија\|3. задатак\|CSP}} ==

Sirenfia: /* Решење */

2026-02-16T11:12:46Z

Решење

@@ Ред 7: / Ред 7: @@
 Имплементирати и објасните основну разлику и разлоге за постојање те разлике између имплементација бафера коначног капацитета (<code>bounded buffer</code>) за случајеве 1 произвођач и 1 потрошач, као и M произвођача и N потрошача помоћу семафора. У складу са објашњењем, прикажите разлике и за случајеве M произвођача и 1 потрошач, као и 1 произвођач и N потрошача.
 === Решење ===
 == {{категорија|2. задатак|Монитори}} ==

Andrija: Избачено "задатак није решен"

2025-08-20T02:57:32Z

Избачено "задатак није решен"

← Старија измена		Верзија на датум 20. август 2025. у 04:57
Ред 16:		Ред 16:

	== {{категорија\|3. задатак\|CSP}} ==		== {{категорија\|3. задатак\|CSP}} ==
	~~{{делимично решено}}~~
	=== Поставка ===		=== Поставка ===
	Решити проблем читалаца и писаца користећи ''CSP''. Решење треба да обезбеди да када стигне захтев од писца за тражење дозволе за започињање писања не треба прихватати захтеве за започињање било од читалаца било од писаца док тај писац не заврши са писањем.		Решити проблем читалаца и писаца користећи ''CSP''. Решење треба да обезбеди да када стигне захтев од писца за тражење дозволе за започињање писања не треба прихватати захтеве за започињање било од читалаца било од писаца док тај писац не заврши са писањем.

Andrija: Решење 3. задатка

2025-08-20T02:56:09Z

Решење 3. задатка

← Старија измена		Верзија на датум 20. август 2025. у 04:56
Ред 21:		Ред 21:

	=== Решење ===		=== Решење ===
			<syntaxhighlight lang="pascal">
			[reader(i:1..N)::READER \|\| writer(i:1..M)::WRITER \|\| conductor::CONDUCTOR]

			READER :: *[
			conductor!request
			conductor!pass
			// reading
			conductor!done
			]

			WRITER :: *[
			conductor!request
			conductor!pass
			// writing
			conductor!done
			]

			CONDUCTOR :: [
			read_count: integer = 0
			write_count: integer = 0
			queue: (0..C) integer
			who: (0..C) char
			head: integer = 0
			tail: integer = 0
			*[
			head == tail, write_count == 0, (i:1..N) reader(i)?request ->
			reader(i)!pass
			read_count++
			□
			head == tail, write_count == 0, read_count == 0, (i:1..M) writer(i)?request ->
			writer(i)!pass
			write_count++
			□
			(head + 1) % N != tail, write_count + read_count != 0, (i:1..N) reader(i)?request ->
			queue(head) = i
			who(head) = 'r'
			head = (head + 1) % N
			□
			(head + 1) % N != tail, write_count + read_count != 0, (i:1..M) writer(i)?request ->
			queue(head) = i
			who(head) = 'w'
			head = (head + 1) % N
			□
			read_count == 1, (i:1..N) reader(i)?done ->
			read_count--
			*[
			head != tail, write_count == 0, who[tail] == 'r' ->
			reader(queue(tail))!pass
			tail = (tail + 1) % N
			read_count++
			□
			head != tail, write_count == 0, read_count == 0, who[tail] == 'w' ->
			writer(queue(tail))!pass
			tail = (tail + 1) % N
			write_count++
			]
			□
			read_count != 1, (i:1..N) reader(i)?done ->
			read_count--
			□
			(i:1..M) writer(i)?done ->
			write_count--
			*[
			head != tail, write_count == 0, who[tail] == 'r' ->
			reader(queue(tail))!pass
			tail = (tail + 1) % N
			read_count++
			□
			head != tail, write_count == 0, read_count == 0, who[tail] == 'w' ->
			writer(queue(tail))!pass
			tail = (tail + 1) % N
			write_count++
			]
			]
			]
			</syntaxhighlight>

	== {{категорија\|4. задатак\|C-Linda}} ==		== {{категорија\|4. задатак\|C-Linda}} ==

Aleksa: Додаћу наредних дана и решења

2023-02-19T20:53:13Z

Додаћу наредних дана и решења

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

{{tocright}}
'''Испит у јануарском испитном року 2023. године''' одржан је 18. јанаура. Поставка је доступна на [https://rti.etf.bg.ac.rs/rti/ir3kdp/rokovi/2223/IR3KDP_2023_jan.pdf страници предмета].

== {{категорија|1. задатак|Семафори}} ==
{{делимично решено}}
=== Поставка ===
Имплементирати и објасните основну разлику и разлоге за постојање те разлике између имплементација бафера коначног капацитета (<code>bounded buffer</code>) за случајеве 1 произвођач и 1 потрошач, као и M произвођача и N потрошача помоћу семафора. У складу са објашњењем, прикажите разлике и за случајеве M произвођача и 1 потрошач, као и 1 произвођач и N потрошача.
=== Решење ===

== {{категорија|2. задатак|Монитори}} ==
{{делимично решено}}
=== Поставка ===
Аутомобили који долазе са севера и југа морају да пређу реку преко неког старог моста (<code>Old Bridge problem</code>). На мосту постоји само једна возна трака, па сви аутомобили на мосту морају да се крећу у истом смеру. Због оптерећења моста које мост може да поднесе, број аутомобила који се налазе на мосту не сме да пређе K (K > 0). Написати монитор са <code>signal and continue</code> дисциплином који решава дати проблем.

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

== {{категорија|3. задатак|CSP}} ==
{{делимично решено}}
=== Поставка ===
Решити проблем читалаца и писаца користећи ''CSP''. Решење треба да обезбеди да када стигне захтев од писца за тражење дозволе за започињање писања не треба прихватати захтеве за започињање било од читалаца било од писаца док тај писац не заврши са писањем.

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

== {{категорија|4. задатак|C-Linda}} ==
=== Поставка ===
Трајект за превоз возила превози возила са обале на обалу. Трајект поседује M трака од којих свака има N позиција које су линеарно постављене једна иза друге. Возило заузима једну позицију. Возило приликом доласка стаје у ред за случајно изабрану траку и чека на укрцавање. Нема могућности за престројавањем. Возила улазе у своју траку једно по једно по редоследу у којем чекају у траци, док на трајекту има места. Када је пун, трајект започиње превоз возила на другу обалу. На другој обали возила се искрцавају из своје траке у редоследу супротном од редоследа у којем су се укрцала у своју траку. Када се сва возила искрцају, празан трајект се враћа на почетну обалу. Користећи ''C-Linda'' написати програм који решава овај проблем.

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

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