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

Andrija: исправка грешке

2024-08-28T00:44:33Z

исправка грешке

← Старија измена		Верзија на датум 28. август 2024. у 02:44
Ред 55:		Ред 55:
	struct Trajekt {		struct Trajekt {
	int cap = N;		int cap = N;
	int ~~cur~~ = 0, next = 0, ticketIn = 0, ticketOut = 0;		int curr = 0, next = 0, ticketIn = 0, ticketOut = 0;
	bool ukrcavanje = false, iskrcavanje = false		bool ukrcavanje = false, iskrcavanje = false
	}		}
Ред 94:		Ред 94:
	preveziVozila();		preveziVozila();
	region(t) {		region(t) {
	t.~~ukrcavanje~~ = true;		t.iskrcavanje = true;
	await (!t.~~ukrcavanje~~);		await (!t.iskrcavanje);
	}		}
	vratiSeNazad();		vratiSeNazad();

Fedja: kategorija zadatka

2023-02-11T17:06:19Z

kategorija zadatka

← Старија измена		Верзија на датум 11. фебруар 2023. у 19:06
Ред 2:		Ред 2:
	'''Испит у јунском испитном року 2022. године''' одржан је 14. јуна. Поставка овог рока још увек није доступна са странице предмета.		'''Испит у јунском испитном року 2022. године''' одржан је 14. јуна. Поставка овог рока још увек није доступна са странице предмета.

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

Fedja: kategorija zadatka

2023-02-11T17:03:51Z

kategorija zadatka

← Старија измена		Верзија на датум 11. фебруар 2023. у 19:03
Ред 102:		Ред 102:
	</syntaxhighlight>		</syntaxhighlight>

	== 5. задатак ==		== {{категорија\|5. задатак\|Размена_порука}} ==
	=== Поставка ===		=== Поставка ===
	Користећи синхрону размену порука написати дистрибуирано решење за проблем филозофа који ручавају (''The Dining Philosophers Problem''). Код дистрибуираног решења процеси филозофи комуницирају само са процесима виљушкама и процеси виљушке комуницирају само са процесима филозофима.		Користећи синхрону размену порука написати дистрибуирано решење за проблем филозофа који ручавају (''The Dining Philosophers Problem''). Код дистрибуираног решења процеси филозофи комуницирају само са процесима виљушкама и процеси виљушке комуницирају само са процесима филозофима.

Fedja: kategorije zadataka

2023-02-11T02:47:23Z

kategorije zadataka

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


	== 2. задатак ==		== {{категорија\|2. задатак\|Семафори}} ==
	{{делимично решено}}		{{делимично решено}}
	=== Поставка ===		=== Поставка ===
Ред 17:		Ред 17:
	=== Решење ===		=== Решење ===

	== 3. задатак ==		== {{категорија\|3. задатак\|Монитори}} ==
	=== Поставка ===		=== Поставка ===
	Монитор треба да регулише распоред уласка пацијената на преглед код једног лекара. Сваки регуларно заказани пацијент је пре приступања том монитору добио један од 12 хронолошки поређаних полусатних интервала за тај дан (прављење распореда није део задатка). Пацијент када дође на преглед (не мора да буде тачан) позива мониторску процедуру <code>želim_da_se_pregledam</code> и том приликом доставља ID и почетак полусатног интервала у коме је њему заказан преглед. Ако је лекар заузет, пацијенти на чекању ће се поређати на основу хронолошког редоследа у распореду за тај дан. Лекар позива мониторску процедуру <code>sledeći</code>, која враћа идентификатор следећег пацијента, када жели да прегледа следећег пацијента. Ако нема пацијената у том случају, лекар се поствља у стање чекања из кога излази када наиђе први пацијент. Написати овакав монитор користећи дисциплину ''Signal and Wait'' и условне променљиве код којих нема приоритетних редова чекања. Монитор не треба да садржи синхронизацију везану за крај прегледа.		Монитор треба да регулише распоред уласка пацијената на преглед код једног лекара. Сваки регуларно заказани пацијент је пре приступања том монитору добио један од 12 хронолошки поређаних полусатних интервала за тај дан (прављење распореда није део задатка). Пацијент када дође на преглед (не мора да буде тачан) позива мониторску процедуру <code>želim_da_se_pregledam</code> и том приликом доставља ID и почетак полусатног интервала у коме је њему заказан преглед. Ако је лекар заузет, пацијенти на чекању ће се поређати на основу хронолошког редоследа у распореду за тај дан. Лекар позива мониторску процедуру <code>sledeći</code>, која враћа идентификатор следећег пацијента, када жели да прегледа следећег пацијента. Ако нема пацијената у том случају, лекар се поствља у стање чекања из кога излази када наиђе први пацијент. Написати овакав монитор користећи дисциплину ''Signal and Wait'' и условне променљиве код којих нема приоритетних редова чекања. Монитор не треба да садржи синхронизацију везану за крај прегледа.
Ред 47:		Ред 47:
	</syntaxhighlight>		</syntaxhighlight>

	== 4. задатак ==		== {{категорија\|4. задатак\|Региони}} ==
	=== Поставка ===		=== Поставка ===
	Трајект за превоз аутомобила, камиона и аутобуса превози возила са обале на обалу. Трајект поседује N позиција које су линеарно постављене једна иза друге. Камион заузима три, аутобус две, а аутомобил једну позицију. Возила чекају на трајект у реду и на њега улазе једно по једно по редоследу у којем чекају у реду, док на трајекту има места. Када наредно возило у реду за трајект нема места да се укрца или када је трајект пун, трајект започиње превоз возила на другу обалу. На другој обали возила се искрцавају у редоследу супротном од редоследа у којем су се укрцала. Када се сва возила искрцају, празан трајект се враћа на почетну обалу. Користећи регионе написати програм који решава овај проблем.		Трајект за превоз аутомобила, камиона и аутобуса превози возила са обале на обалу. Трајект поседује N позиција које су линеарно постављене једна иза друге. Камион заузима три, аутобус две, а аутомобил једну позицију. Возила чекају на трајект у реду и на њега улазе једно по једно по редоследу у којем чекају у реду, док на трајекту има места. Када наредно возило у реду за трајект нема места да се укрца или када је трајект пун, трајект започиње превоз возила на другу обалу. На другој обали возила се искрцавају у редоследу супротном од редоследа у којем су се укрцала. Када се сва возила искрцају, празан трајект се враћа на почетну обалу. Користећи регионе написати програм који решава овај проблем.
Ред 136:		Ред 136:
	</syntaxhighlight>		</syntaxhighlight>

	== 6. задатак ==		== {{категорија\|6. задатак\|C-Linda}} ==
	=== Поставка ===		=== Поставка ===
	Постоји P произвођача и C потрошача који деле заједнички бафер капацитета B (''Atomic broadcast problem''). Произвођачи генеришу производ по производ на које чекају свих C потрошача. Сваки потрошач мора да прими производе у тачно оном редоследу у коме су произведени, мада различити потрошачи могу у исто време да узимају различите производе. Решити проблем користећи ''C-Linda'', тако да се ни у ком тренутку у заједничком простору не нађе више од B производа.		Постоји P произвођача и C потрошача који деле заједнички бафер капацитета B (''Atomic broadcast problem''). Произвођачи генеришу производ по производ на које чекају свих C потрошача. Сваки потрошач мора да прими производе у тачно оном редоследу у коме су произведени, мада различити потрошачи могу у исто време да узимају различите производе. Решити проблем користећи ''C-Linda'', тако да се ни у ком тренутку у заједничком простору не нађе више од B производа.

KockaAdmiralac: Formatiranje

2023-02-08T19:21:13Z

Formatiranje

← Старија измена		Верзија на датум 8. фебруар 2023. у 21:21
Ред 23:		Ред 23:
	=== Решење ===		=== Решење ===
	<syntaxhighlight lang="java">		<syntaxhighlight lang="java">

	// pretpostavka da je ID 0-11		// pretpostavka da je ID 0-11
	class Monitor{		class Monitor {
	private Condition[] awaitPatient[12], awaitDoctor;		private Condition[] awaitPatient[12], awaitDoctor;
	private boolean[] patientChecked[12]; // da li je pacijent pregledan, potreban zbog signal&wait		private boolean[] patientChecked[12]; // da li je pacijent pregledan, potreban zbog signal&wait
	private PriorityQueue<<int,int>> pq; // prioritetni red slot,ID, sortiran po slotu		private PriorityQueue<<int,int>> pq; // prioritetni red slot, ID, sortiran po slotu

	public ~~synchornized~~ void zelim_da_se_pregledam(int ID, int slot){		public synchronized void zelim_da_se_pregledam(int ID, int slot) {
	pq.add(slot,ID);		pq.add(slot,ID);
	awaitDoctor.signal();		awaitDoctor.signal();
	// potrebno jer signal&wait predaje kontrolu pa je pacijent u medjuvremenu mozda pregledan		// potrebno jer signal&wait predaje kontrolu pa je pacijent u medjuvremenu mozda pregledan
	if(patientChecked[ID]==false) awaitPatient[ID].wait();		if (patientChecked[ID] == false) awaitPatient[ID].wait();
	}		}

	public synchronized int sledeci(){		public synchronized int sledeci() {
	if(pq.size()==0) awaitDoctor.wait();		if (pq.size() == 0) awaitDoctor.wait();
	int id = pq.pop().first;		int id = pq.pop().first;
	pq.remove();		pq.remove();
	patientChecked[id] = true;		patientChecked[id] = true;
	awaitPatient[id].signal()		awaitPatient[id].signal();
	return id;		return id;
	}		}
			}
	</syntaxhighlight>		</syntaxhighlight>

Ред 54:		Ред 53:
	=== Решење ===		=== Решење ===
	<syntaxhighlight lang="cpp">		<syntaxhighlight lang="cpp">
			struct Trajekt {
	struct Trajekt{		int cap = N;
	int cap = N;		int cur = 0, next = 0, ticketIn = 0, ticketOut = 0;
	int cur=0, next=0, ticketIn = 0, ticketOut = 0;		bool ukrcavanje = false, iskrcavanje = false
	~~boolean~~ ukrcavanje = false, iskrcavanje = false
	}		}

	Trajekt t;		Trajekt t;

	void vozilo(int space){		void vozilo(int space) {
	int myTicketIn, myTicketOut;		int myTicketIn, myTicketOut;
	~~regiot~~(t){		region(t) {
	myTicketIn = t.ticketIn++;		myTicketIn = t.ticketIn++;
	await(t.ukrcavanje~~+=true~~ && t.ticketIn==myTicketIn)		await (t.ukrcavanje && t.ticketIn == myTicketIn);
	if(t.cap - t.curr < space){		if (t.cap - t.curr < space) {
	// ukoliko nema mesta za mene, posalji trajekt pa sacekaj da se vrati		// ukoliko nema mesta za mene, posalji trajekt pa sacekaj da se vrati
	t.ukrcavanje = false;		t.ukrcavanje = false;
	await(t.ukrcavanje~~==true~~)		await (t.ukrcavanje);
	}		}
	t.curr+=space;		t.curr += space;
	myTicketOut = ++t.ticketOut;		myTicketOut = ++t.ticketOut;
	t.next++;		t.next++;
	if(t.curr==t.cap)		if (t.curr == t.cap)
	t.ukrcavanje=false;		t.ukrcavanje = false;
	}		}
	// prevozimo se		// prevozimo se
	region(t){		region(t) {
	await(t.iskrcavanje~~==true~~ && myTicketOut==t.ticketOut)		await (t.iskrcavanje && myTicketOut == t.ticketOut);
	if(--t.ticketOut == 0)		if (--t.ticketOut == 0)
	// ukoliko sam poslednji, posalji trajekt nazad		// ukoliko sam poslednji, posalji trajekt nazad
	t.iskrcavanje = false		t.iskrcavanje = false
	}		}
	}		}

	void trajekt(){		void trajekt() {
	while(1){		while (1) {
	region(t){		region(t) {
	t.ukrcavanje = true		t.ukrcavanje = true
	await(t.ukrcavanje ~~== false~~)		await (!t.ukrcavanje);
	}		}
	preveziVozila()		preveziVozila();
	region(t){		region(t) {
	t.ukrcavanje = true		t.ukrcavanje = true;
	await(t.ukrcavanje ~~== false~~)		await (!t.ukrcavanje);
	}		}
	vratiSeNazad()		vratiSeNazad();
	}		}
	}		}
	</syntaxhighlight>		</syntaxhighlight>

IvnSvc: /* 3. задатак */ скинут нерешени таг

2022-07-25T02:41:25Z

3. задатак: скинут нерешени таг

← Старија измена		Верзија на датум 25. јул 2022. у 04:41
Ред 18:		Ред 18:

	== 3. задатак ==		== 3. задатак ==
	~~{{делимично решено}}~~
	=== Поставка ===		=== Поставка ===
	Монитор треба да регулише распоред уласка пацијената на преглед код једног лекара. Сваки регуларно заказани пацијент је пре приступања том монитору добио један од 12 хронолошки поређаних полусатних интервала за тај дан (прављење распореда није део задатка). Пацијент када дође на преглед (не мора да буде тачан) позива мониторску процедуру <code>želim_da_se_pregledam</code> и том приликом доставља ID и почетак полусатног интервала у коме је њему заказан преглед. Ако је лекар заузет, пацијенти на чекању ће се поређати на основу хронолошког редоследа у распореду за тај дан. Лекар позива мониторску процедуру <code>sledeći</code>, која враћа идентификатор следећег пацијента, када жели да прегледа следећег пацијента. Ако нема пацијената у том случају, лекар се поствља у стање чекања из кога излази када наиђе први пацијент. Написати овакав монитор користећи дисциплину ''Signal and Wait'' и условне променљиве код којих нема приоритетних редова чекања. Монитор не треба да садржи синхронизацију везану за крај прегледа.		Монитор треба да регулише распоред уласка пацијената на преглед код једног лекара. Сваки регуларно заказани пацијент је пре приступања том монитору добио један од 12 хронолошки поређаних полусатних интервала за тај дан (прављење распореда није део задатка). Пацијент када дође на преглед (не мора да буде тачан) позива мониторску процедуру <code>želim_da_se_pregledam</code> и том приликом доставља ID и почетак полусатног интервала у коме је њему заказан преглед. Ако је лекар заузет, пацијенти на чекању ће се поређати на основу хронолошког редоследа у распореду за тај дан. Лекар позива мониторску процедуру <code>sledeći</code>, која враћа идентификатор следећег пацијента, када жели да прегледа следећег пацијента. Ако нема пацијената у том случају, лекар се поствља у стање чекања из кога излази када наиђе први пацијент. Написати овакав монитор користећи дисциплину ''Signal and Wait'' и условне променљиве код којих нема приоритетних редова чекања. Монитор не треба да садржи синхронизацију везану за крај прегледа.

IvnSvc: /* 4. задатак */ скинут нерешени таг

2022-07-25T02:41:05Z

4. задатак: скинут нерешени таг

← Старија измена		Верзија на датум 25. јул 2022. у 04:41
Ред 50:		Ред 50:

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

IvnSvc: /* Решење */

2022-07-25T02:40:13Z

Решење

← Старија измена		Верзија на датум 25. јул 2022. у 04:40
Ред 23:		Ред 23:

	=== Решење ===		=== Решење ===
			<syntaxhighlight lang="java">

			// pretpostavka da je ID 0-11
			class Monitor{
			private Condition[] awaitPatient[12], awaitDoctor;
			private boolean[] patientChecked[12]; // da li je pacijent pregledan, potreban zbog signal&wait
			private PriorityQueue<<int,int>> pq; // prioritetni red slot,ID, sortiran po slotu

			public synchornized void zelim_da_se_pregledam(int ID, int slot){
			pq.add(slot,ID);
			awaitDoctor.signal();
			// potrebno jer signal&wait predaje kontrolu pa je pacijent u medjuvremenu mozda pregledan
			if(patientChecked[ID]==false) awaitPatient[ID].wait();
			}

			public synchronized int sledeci(){
			if(pq.size()==0) awaitDoctor.wait();
			int id = pq.pop().first;
			pq.remove();
			patientChecked[id] = true;
			awaitPatient[id].signal()
			return id;
			}

			</syntaxhighlight>

	== 4. задатак ==		== 4. задатак ==

IvnSvc: /* Решење */

2022-07-25T02:30:29Z

Решење

← Старија измена		Верзија на датум 25. јул 2022. у 04:30
Ред 30:		Ред 30:

	=== Решење ===		=== Решење ===
			<syntaxhighlight lang="cpp">

			struct Trajekt{
			int cap = N;
			int cur=0, next=0, ticketIn = 0, ticketOut = 0;
			boolean ukrcavanje = false, iskrcavanje = false
			}

			Trajekt t;

			void vozilo(int space){
			int myTicketIn, myTicketOut;
			regiot(t){
			myTicketIn = t.ticketIn++;
			await(t.ukrcavanje+=true && t.ticketIn==myTicketIn)
			if(t.cap - t.curr < space){
			// ukoliko nema mesta za mene, posalji trajekt pa sacekaj da se vrati
			t.ukrcavanje = false;
			await(t.ukrcavanje==true)
			}
			t.curr+=space;
			myTicketOut = ++t.ticketOut;
			t.next++;
			if(t.curr==t.cap)
			t.ukrcavanje=false;
			}
			// prevozimo se
			region(t){
			await(t.iskrcavanje==true && myTicketOut==t.ticketOut)
			if(--t.ticketOut == 0)
			// ukoliko sam poslednji, posalji trajekt nazad
			t.iskrcavanje = false
			}
			}

			void trajekt(){
			while(1){
			region(t){
			t.ukrcavanje = true
			await(t.ukrcavanje == false)
			}
			preveziVozila()
			region(t){
			t.ukrcavanje = true
			await(t.ukrcavanje == false)
			}
			vratiSeNazad()
			}
			}
			</syntaxhighlight>

	== 5. задатак ==		== 5. задатак ==

KockaAdmiralac: Ispravke 6. zadatka na osnovu mojih greški na ispitu

2022-06-23T09:56:57Z

Ispravke 6. zadatka na osnovu mojih greški na ispitu

← Старија измена		Верзија на датум 23. јун 2022. у 11:56
Ред 93:		Ред 93:
	in("producer index", &index);		in("producer index", &index);
	out("product", index, p);		out("product", index, p);
	out("consumer count", C);		out("consumer count", index, C);
	out("producer index", (index + 1) % B);		out("producer index", (index + 1) % B);
	int size;		int size;
Ред 127:		Ред 127:
	} else {		} else {
	rd("product", index, &p);		rd("product", index, &p);
	out("consumer count", count-1);		out("consumer count", index, count-1);
	out("buffer full");		out("buffer full");
	}		}
Ред 133:		Ред 133:
	consume(p);		consume(p);
	}		}
			}

			void initialize() {
			out("buffer empty");
			out("size", 0);
			out("producer index", 0);
	}		}
	</syntaxhighlight>		</syntaxhighlight>