From b465891332abe0fe1e589f4ef870610b0b1d578b Mon Sep 17 00:00:00 2001
From: Jakub Adamski <s444341@instalka-Standard-PC-i440FX-PIIX-1996>
Date: Sat, 8 Dec 2018 22:58:07 +0100
Subject: [PATCH] zad dom 8

---
 Zadania_domowe/zajecia8/zad1.cm  |  54 +++++++++++++++++++++++++++
 Zadania_domowe/zajecia8/zad1.lst |  59 ++++++++++++++++++++++++++++++
 Zadania_domowe/zajecia8/zad1.pco | Bin 0 -> 5336 bytes
 zajecia7/zad1.cm                 |   7 ++--
 zajecia7/zad1.lst                |  61 +++++++++++++++----------------
 zajecia7/zad1.pco                | Bin 5053 -> 4946 bytes
 6 files changed, 146 insertions(+), 35 deletions(-)
 create mode 100644 Zadania_domowe/zajecia8/zad1.cm
 create mode 100644 Zadania_domowe/zajecia8/zad1.lst
 create mode 100644 Zadania_domowe/zajecia8/zad1.pco

diff --git a/Zadania_domowe/zajecia8/zad1.cm b/Zadania_domowe/zajecia8/zad1.cm
new file mode 100644
index 0000000..3475282
--- /dev/null
+++ b/Zadania_domowe/zajecia8/zad1.cm
@@ -0,0 +1,54 @@
+const int N = 5;
+semaphore s2;
+semaphore s;
+monitor m{
+	condition c;
+	int buffer[N];
+	int write_pos;
+	int read_pos;
+
+	void queue_add(int item){
+		buffer[write_pos] = item;
+		write_pos = (write_pos + 1) % N;
+	}
+
+	int queue_get(){
+		int item;
+		item = buffer[read_pos];
+		read_pos = (read_pos + 1) % N;
+		return item;
+	}
+
+	init{
+		write_pos = 0;
+		read_pos = 0;
+	}
+}
+
+void prod(int i, int n){
+	for(i; i<=n; i=i+1){
+		wait(s2);
+		queue_add(i);
+		signal(s);
+	}
+}
+
+void kons(int n){
+	int i;
+	int liczba;
+	for(i = 1; i<=n; i=i+1){
+		wait(s);
+		liczba=queue_get();
+		signal(s2);
+		cout << "Pobralem " <<liczba<< endl;
+	}
+}
+
+main()
+{
+	initialsem(s2, 5);
+	initialsem(s, 0);
+	cobegin {
+		prod(1, 5); prod(6, 10); prod(11, 15);  kons(15);
+	}
+}
diff --git a/Zadania_domowe/zajecia8/zad1.lst b/Zadania_domowe/zajecia8/zad1.lst
new file mode 100644
index 0000000..6bdecdb
--- /dev/null
+++ b/Zadania_domowe/zajecia8/zad1.lst
@@ -0,0 +1,59 @@
+BACI System: C-- to PCODE Compiler in C, 11:30   1 Oct 2012
+Source file: zad1.cm  Sat Dec  8 22:41:39 2018
+ line  pc
+   1    0  const int N = 5;
+   2    0  semaphore s2;
+   3    0  semaphore s;
+   4    0  monitor m{
+   5    0  	condition c;
+   6    0  	int buffer[N];
+   7    0  	int write_pos;
+   8    0  	int read_pos;
+   9    0  	int bf;
+  10    0  
+  11    0  	void queue_add(int item){
+  12    1  		buffer[write_pos] = item;
+  13    6  		write_pos = (write_pos + 1) % N;
+  14   13  	}
+  15   15  
+  16   15  	int queue_get(){
+  17   16  		int item;
+  18   16  		item = buffer[read_pos];
+  19   22  		read_pos = (read_pos + 1) % N;
+  20   29  		return item;
+  21   33  	}
+  22   35  
+  23   35  	init{
+  24   35  		write_pos = 0;
+  25   38  		read_pos = 0;
+  26   41  		bf=0;
+  27   44  	}
+  28   45  }
+  29   45  
+  30   45  void prod(int i, int n){
+  31   45  	for(i; i<=n; i=i+1){
+  32   56  		wait(s2);
+  33   58  		queue_add(i);
+  34   62  		signal(s);
+  35   64  	}
+  36   65  }
+  37   66  
+  38   66  void kons(int n){
+  39   66  	int i;
+  40   66  	int liczba;
+  41   66  	for(i = 1; i<=n; i=i+1){
+  42   80  		wait(s);
+  43   82  		liczba=queue_get();
+  44   87  		signal(s2);
+  45   89  		cout << "Pobralem " <<liczba<< endl;
+  46   93  	}
+  47   94  }
+  48   95  
+  49   95  main()
+  50   96  {
+  51   96  	initialsem(s2, 5);
+  52   99  	initialsem(s, 0);
+  53  102  	cobegin {
+  54  103  		prod(1, 5); prod(6, 10); prod(11, 15);  kons(15);
+  55  122  	}
+  56  123  }
diff --git a/Zadania_domowe/zajecia8/zad1.pco b/Zadania_domowe/zajecia8/zad1.pco
new file mode 100644
index 0000000000000000000000000000000000000000..b3aaa2a40b1f0608152732bf7da0dd6e2e44c53a
GIT binary patch
literal 5336
zcmb_g%W~UB5X_lhF?U5NE(nmIZnkWvR7u$`$rqnopa{x{NrIsu+w#|^duDgBOS+Ov
zaKK|Q)6?_7KJfCz^^M#;KMw8gO0F+2W$5Mo^}AQE<+|S;x@~)uZZFrrigQ=9sfajv
zcRxrmb;abae>&c`vVqo>{AkwhxBH#QT{Fn5_FklxqPQwywxoJJfwe2<fXEN?HZ-ek
zJCQByWJ87TJUvfD=(OeoZ={06g$Lfq9FhW8ec;JCNM;bKM6ITfltG8eic>*tM5Yee
zsX@e91gj{4ML{gD2&*OF6g2p9xJh)t*}=Smp0|Q82aDXh17~6-I`A{gk-<67hKrm-
zT#lS$6wHrfl$s5VqJRW`^86IAn2m9PA>Zc=3%ZEN=m06mIYVaLN$jXa0nT}T*ae9W
z@>76wo}U7oPrNfX>fKT@5#NvyhuCLloS8ot<C@K2b(Uwwtx|(W>@((hj1*DKa?aEN
z=bWKFjaJAHdOwX6Rwdr&RweT{T7h8+&Pje~1<of{;H;LBb4kvz7VPkny)jDA2_-m}
zS<myy(Nb~dv;yZbV->6_vWpCfToH9drX=T#j8)*A*S%t%Gw&5VkG@Lc#C}$Xh`nMz
zQyL?!$T{Nhd)MB{_{?F>E|*Ic19{FH*4~E#3ERfpPz;<o-_u|8H3#RBVFf;OaL&KV
zdE~6Vkg+*1k_r+TeDm1nWH)k#)q-3`2{<qCl-Fy)evb88me2v`kzoyn3vl*9;)Wx@
zf)*n(CE%PhT!3?4uf-YXMb;bh<wR<7&T?4OPgbuw=2<B$U`5Vj1<~_0^E}oIan<CU
z)vE?-p2M288oeX-ny6U?YoKy835pY0=6MF6C5RRD?$ZVdIBPd}cu2B5FTilger9Z=
z4mfK@C~*aKVs98tNb=r5m6y!(=p9ik`83AmCT@zSq+U}<z&W#WQ*vSL10Ofd^IX9S
z?-Lv%gL5LG4mfKq3}+4rGn&@IO~E;-Ag!3^(L1d2dC-9~=fNDA^I(q5c`!$2caO;U
z-W|VyL;~-e2TzdCI1@ENu3?pNcEI60nBY*trp;p4d63;1^UQgWb59}x=g}9&OvibU
zqkp0U&ib`P97Lu4L@gdSuU^0XaP#Ko^{v<nsoSsH?|9Lz+x^gOI;_udY`gszk$&};
z$nbn<MUL%8_Wg0!Z27kRigUB3>aO2QGxWRe9t#(a2p1QZ{nOAMFE1`2;Gq=l6Y}>a
z(ePA)#!fWRuAnXQR%PjFv`|-gb&7-$M-5D_NXX=4mIEr7!0=Lw)Pu(`JaPibM}109
zT1XoTGv6svdas<|5-Z!2!*X!WCb8CKM2K3EP;oAC^CQg)6mX;x!%O`r61sc!wAok#
z1U$1g3%38ykWvqdgs<Y;u^ZY?hkneLSsPLkk<Xk;_%TNhiiEG}*f#47$d;?A-Fb96
z2n4P~;>fYmeSo^~Ck~3ClTzPyZ=9^Yz88oD@!wDFQ~Rk|uRTuax>PsquoT<pok&nY
zmQEVsyi%#eP)}>e5zaV0v_s(JvuRyr42+-M>)9s$(6{6S_5X<zNFI*;m?BNJF-Y^2
z^3zCl*_qW24c3LI;x)}mn%^Y45SQ9$7oZ9E5y9W+hUY)Jz?L7r&lCwg{-xhPW?(*>
zX>?Ypgr6?$vgpu+XPnME`X`dpF5paamM5Ef{{3q?i;gqYw!8naYLfT}k0Z_Rxg;GU
zm?zFYy9PV{^ss3x^O}w`in`3BgUnQj^YYJk*MDU5*S2{agr`Gul*429qm{2bgMlV4
zOoDb*2iQzmFdQ26P>(!0EVFEi@Z*Sns-6Lsx;A^;5*gZBZ#C9;Y-rsw$Ezj<i$WVF
zY?}-n9ep&an(ug*^E5*I&k-m>MPA(AzWA6$-|fHaEZuH#k#@_;TDJW+k<Z=3XMsdB
zB56k8pJ4v%9hjT+i>&l73*_AXoE~={Zg1ZH?y0=*SI1_H(d?H~!Z-WF(;#o~S4W!T
zv3Z`@nggZ6lEX0h%SZOjE*8voS^ggo0c|_&8Q3qLb-Q|cc<A;I_@lJp+GObZJu``)
zJ{$9~!9u3p_Y@j`J?jr0AGry%8LYuffDME%tQl%c`0v{^SZhCYn1Ds}^)mrBGky<X
z7zIBFABSob*v8qP0Z)(Xd%q#^CRoh-UAY&~ZD|!U4E9wzWX=exn_dq(V{qKzh9vNx
zg>6-X2HkRB8a3#a+tMhY+jQtE>BTlCMy#Y4-IsaLl3sK>6$JFcy;A_??p!xPQ9v);
z14RLYOGko|In^DI2d&6MH#b259=2}@0`SmnO8~9F!=;6)z{BZ}r(gme;m;zIe2IS+
F{{UQ$RnY(d

literal 0
HcmV?d00001

diff --git a/zajecia7/zad1.cm b/zajecia7/zad1.cm
index 4baa14a..30d7019 100644
--- a/zajecia7/zad1.cm
+++ b/zajecia7/zad1.cm
@@ -17,10 +17,9 @@ int queue_get()
     return item;
 }
 
-void prod(int n){
-	int i = 0;
+void prod(int i, int n){
 	int cnt = 1;
-	for(i = 0; i < n; i=i+1){
+	for(i; i <= n; i=i+1){
 		wait(s2);
 		queue_add(cnt);
 		cnt = cnt +1;
@@ -44,6 +43,6 @@ main()
 initialsem(s2, 5);
 initialsem(s, 0);
 	cobegin {
-		prod(50); kons(50);
+		prod(1, 25); kons(25);
 	}
 }
diff --git a/zajecia7/zad1.lst b/zajecia7/zad1.lst
index 20c2e65..3e5b0c8 100644
--- a/zajecia7/zad1.lst
+++ b/zajecia7/zad1.lst
@@ -1,5 +1,5 @@
 BACI System: C-- to PCODE Compiler in C, 11:30   1 Oct 2012
-Source file: zad1.cm  Mon Nov 26 16:14:36 2018
+Source file: zad1.cm  Sat Dec  8 22:50:54 2018
  line  pc
    1    0  semaphore s2;
    2    0  semaphore s;
@@ -20,33 +20,32 @@ Source file: zad1.cm  Mon Nov 26 16:14:36 2018
   17   26      return item;
   18   30  }
   19   31  
-  20   31  void prod(int n){
-  21   31  	int i = 0;
-  22   34  	int cnt = 1;
-  23   37  	for(i = 0; i < n; i=i+1){
-  24   51  		wait(s2);
-  25   53  		queue_add(cnt);
-  26   57  		cnt = cnt +1;
-  27   62  		signal(s);
-  28   64  	}
-  29   65  }
-  30   66  
-  31   66  void kons(int n){
-  32   66  	int i = 0;
-  33   69  	int liczba;
-  34   69  	for(i = 0; i < n; i = i+1){
-  35   83  		wait(s);
-  36   85  		liczba = queue_get();
-  37   90  		signal(s2);
-  38   92  		cout << "Pobralem" <<liczba<< endl;
-  39   96  	}
-  40   97  }
-  41   98  
-  42   98  main()
-  43   99  {
-  44   99  initialsem(s2, 5);
-  45  102  initialsem(s, 0);
-  46  105  	cobegin {
-  47  106  		prod(50); kons(50);
-  48  114  	}
-  49  115  }
+  20   31  void prod(int i, int n){
+  21   31  	int cnt = 1;
+  22   34  	for(i; i <= n; i=i+1){
+  23   45  		wait(s2);
+  24   47  		queue_add(cnt);
+  25   51  		cnt = cnt +1;
+  26   56  		signal(s);
+  27   58  	}
+  28   59  }
+  29   60  
+  30   60  void kons(int n){
+  31   60  	int i = 0;
+  32   63  	int liczba;
+  33   63  	for(i = 0; i < n; i = i+1){
+  34   77  		wait(s);
+  35   79  		liczba = queue_get();
+  36   84  		signal(s2);
+  37   86  		cout << "Pobralem" <<liczba<< endl;
+  38   90  	}
+  39   91  }
+  40   92  
+  41   92  main()
+  42   93  {
+  43   93  initialsem(s2, 5);
+  44   96  initialsem(s, 0);
+  45   99  	cobegin {
+  46  100  		prod(1, 25); kons(25);
+  47  109  	}
+  48  110  }
diff --git a/zajecia7/zad1.pco b/zajecia7/zad1.pco
index 0468d1157db6e9c28f7b2c4fe3bbb194ae199649..176424d8b87db679fb3d0831da7919b5650cfb84 100644
GIT binary patch
literal 4946
zcmb_g+j84B5bd+RV&7eN1YUIUTjC@gPdiD+&P$&%v_v^<BvO^>B+l3OoLzzd#I!T*
z6k|i=5;%MIV2KM~zPP@TyXVKgK3vK5<)!qU{C55B)oZ!#4##F+pQLH!`bTl@DxZsp
zlXsh5vboD<ciq!zQ_BvmuH;*_bw6zmB6n3Uuj-A+O0w*#oL`j%o3Cc*?c5R&X)$ko
zb-%A?vPVDJvB6hX&odD^<-b)KEDksPH_H;141d8ghb8xI)Lg<+z_=QFu}$eA6rMN>
z-)pphZ-$<OFNZe3DB;hOf@PhwfiH*dC9I*11C7+X14f?UIC56Up0lH8wP=Od9XW?c
zSFnI{8ap-417}3)!1>HO*#%_aWV}m|iJHcqfo~dn2F_6%#Ll}k_6(d;?-_Mg@8%G_
zm=}7Z6>%n<GjLW#v}=yIn2<SD8$yAF-2*bllp042F@o%o@=>)C@A;^+niuE=&P9?x
zIXLThsKauNHh3Nw7KkDrb@p);qt2rR7b(MHqH{6fTtMgGD=%hJr1=be3hK=NQJ;dG
zLlhWyjY+9!1;q;LOy1TDQIzBybcTi{8z(wzUL-grdZck-COFHVa*`Y6m>UKUU(5~u
zk5QC~&N-B4#-(r5g53i{jNk(7B0kV(0iDxKSTM@87dW5wns8o_bBLY3$TwJ^;R2kg
zeu!d0ojGRea1B+L@Epc;iLqD`BjK|I=Li|TmJ^+q6P=e6&P#9(z81tGJN0D_VPU2u
z`LkqR1U_K6!d=KH2US<#9OVx(b4AWc{;Y79D!&5f$UAYUO`_NeTsSZIhG>)OOg?zd
znZnbA1$R2G1N=<Z<V=5RSwi_WIH&ou24}{mZJcA9F*nQ%OPU)P<u!E<-Vw!``gt6<
zg$10`j9P>9SubLY3}rrZb8;SI$Lj0m;2hyNSim`0vJw_>j>cjE3sK{-aC2~uklBVh
zkKPproFg0}lS_(2&KxtZv*S9bGjgzu`K*#GXO8P&@Wn{E4ko$bbgY7gE3|>1vtHnQ
z)(f1Oi-8aNC<<*XH?Lm5eSh=j=Jl=E{-bHP^;bM-wsqS#y9T=-lzr2F66x;$5b2+f
zwaBU7N!y(c)t*o5&#0>{n;yDWs=hlk8*B^smR?+3c29kMy1cl6fyD?gZT+=bl&C&M
zvc*q{1dSf?pB8InwaPwVC%v_cc|bDih&`q-xHIT~MoLhLg#36rLDGcy4v)BZ%vCwT
zaR0R1nb;mu)6XV4n*_dtYP_T9kON;%O<#XFb|FghXAEK<@pUpDj1GoVU2PK}n+gX`
zaqswAU(tc9MhC;6PxVv%q1tYJa6?2>wPK_pF72a8c)t)Ew%BorvnTFt*H)h^&iB$d
zJ=FaOX3S&V<GfHmx<wuH7CJFi|0hmxc06@KBJv_plvpRbjv}=QCQ_Uv8|@cY|4Ao^
z(Z(RW9yEyconj*qQOwS<<9xMggVy@kmY~1QC-ZQgncVMx>e@#|@D(Rflvt;D9F>P|
zh!ReKo<x_tWs%AW%Sk>VbtZ}rN4<Zk6LNgtY`)!BJ~aH=;*>C$Dt@jLXZk~hvuj)^
z9!fkq@$8_eT=-GU!<?s9YeM78U*BE-lB^Z`>aiDA$Lb`<$L3otpILJbA%tIW?AILd
znaaWilSO}(6t-bD9S>{3@CGOYea0cSO(TAFj5Tm<<ZZuTi!`38Suyn)5mGLSSu#Fl
zh370UZf{@wo<!KRUv<^1_xO=|&&5yn-4~IM&BI55MWdED>LI>i$h?;7AkItm&gh5S
z)CRt~dw+ZL_UD1hZ{7W=+Si94&iUT7$ERN2;1h&Yr&IMjvn3p(ffd}K_<cg!>M)Lp
zTvGkvg9QQg!-n^3-y^p5{nNuk(>~zy$Bs*V-*hcS#utj6`PgA!P`4e8rl8e0jrf#N
z1GmI7yr5>l9?;JsX28aA*j*Wt<524%d4P7<*m{=Mg@YQ;d>KLQ)NdFWzm({aaKOlN
z8lu-E!_M3ea=rz5==sYV$b*M1A7VxxcDf(DkVibT<m6$yZEKO!tsX4~P##r9&k^20
zx4QlJ2D;^5-@DD}mYep`K)2kpj|Qq9zqti@=#G5=EyzPR<K93XYkLJ1n&)-hW_!>A
YJls5P0Uo-k9b15h|E5KZ%VIVA3moMg4gdfE

literal 5053
zcmb_gO>^5e5basN0(aLPfnTD0a~!ARY3pR{Tzbk-66LUwNL8jB+rPf=?GgkarJYG9
zm@!Q)v2Wi#Eb+lNmsdCD{^hZ+w-@H>{M_`N`Ed3A?X|h;w!3Ci?@iO1tDlXv7wOa(
zW6k?zZ<47^CimT8zpTv~y)MjawX(k~x5oU@wdS^aGD%@<abdHIv|#sg0&klnfQXw$
z>#N14o|w%N57+GQ%*)Hf7zX8^UJ_U=e(+B%GgyF{c*_)))b$Z_4oe1OIeM{A?jQu7
zIEC{XEi)j)bBJZp2N=0zp`>7$M|}{>;!zH(BMu8_#L+D<(g??rvw%9zmXS3K!H~Np
zXP;>a3pmHQTX0T2XJl%@`6xQsd1T-u{1qV+HO`%*7w4XUbI=F5^H-dE0?u)Clt!2-
z7$)GX(OvGz3FicyMG+yM!ixo&Qneu!Sm-W!2~GhEI0p>r1&^4IsO7y-2`M-SUKn>&
z@v#><doRWU=fI1xz&VbU(L=~Nh8b_X1sZ1HoDqG@D+6a4d$APk1D(AZIT&VRJ&(v^
zJ&zWk1`O$SQqS25=Nz1UtPFYO1eDzM0t;)I@kY)$IRkyLpvH1mrOy;P=iqEvi|U2E
za$@)~1;aennO;PVaexu$Re)Grs|7sbu_(ydXMtD+BS*>?k<J+y7OZD_j+qwZEI2|6
zl~BYwL$Ly!kD@d0$ZLjQK^E|uop7Epvd<l{X5{QGU^oNkxPE5Tne`z7=g@El&VEeG
z6qZ<LBF8$@a-wqy&auwr3Fi`=eXJSgv67r6cNG8@)<#r6CHd-O+!$~!$$6|O3w=s(
z4(ca^h0mk<DZx2beoj;$9XNC97mfQIoH+-%j_4EX3_f#k=B(ss!UE1xLjyc4k<K%E
zAx>OBbHt&Jf@3Xoo{zPm=82u+Ca8@Z7V7MyPhnwgI2;HA3pfW}>;uk6UeuZDJI;0*
z>zu#~oIOrX9B>YlCm(VNmA706gYhaRmg``Q!*wvmk##V}A-l194WhG_Wv(ANa~%wF
zpP^60S-ikGsst;My<+9Wavk&x>BV(0_ToCoDt7@V%t}ybW4n2Kef#m|-Ocr#(Vb1x
zuIgtzXjXOGH|qxbDzr`0elez7{AEo4va5~R*K5;u`)#%1)A|Y5YQ?Tw?5e81+cryV
zIQX`oot<}wzTTgoox#AS1f+<Ed$kBrv7oeqo+x|JHs%q3aZ?YyitGcPM{?0Lf*@hU
z9%C5%Qt1CiicrZ3qkVgVBn9ye9-(*0RXD-0IIPzywu6*X*9lW!`EQ^q?;tw}_jTX&
z^`~9uv($LXAmkC=N8`clVA$8yDgx4pZ{QSqhxaI6w15)~e;?{Y{i#~5<QXp-?^LZ2
zX}}O4(Ft!Za>M35Y}!lxLhsOWtT^9z<@8YZBbYJ|br0)8;>b%MX2+T02XR8M-M;e@
zkr#=gg*xedkf}~Ef#M|DieGs7UphgICIsRAph2kbDfaOj%$ac6daVUi7u$cWCyj7i
znVcNHbnRnAi_<e&s8cwO!cVq8(bxg{2kC^;In_y-f2U5U@lCUQT~tASx;TBOPMqnt
z6;8!r8)nvUbi&y|bmB6Preiwgd04y9_~!TbSHDGT#in}f4KKTDZ+4H(Yi*u*<s3o?
zx8Uf14Zvq2i);(<L;edXY$|j*=8MIqZ-6k6XB=YPBDzWxKWy7|cc6<jo{9SY84+SG
zf|)ZvVTI>xmv?uUe?}QL?X#?U^#=b;z2V|#Hr-caJ~t1a4J?wi3A09gK^v0L0D2AU
zQlc|^9s`cs{l~kT+g}GNAG*c9+SJ>hj``lSyF+i@;p2v>_WSB(qDweN11q>f^2>*5
ztL-=@=A68SPay;xrV#C}UpiLx;_&d$v=8{OvgT6XH(g7S@$F-+G1k}@)NMy&nBbfS
zEg3O$1B_290<H#}VB9RC1{?;4-IXG7Z^<t+Y}x}GQaMMD1`c>Q^Cbk;?+NOX@Ec63
z@1S5LI6UZyZ~#rP4>vsiInabW<Q(UEkcS+<oPj)e)*4;NgGa5=!1TkZCMAzTD_wY`
z3@ay#0W@V;IYu}G!^-a885ovZeHSHVSnk<J1H*F5?hHKsn($T5$U`>l184>wx)*l_
m@UYV$mkc~)mpy`lhaF~Z$t431+2xKsz{7n$V~_J}KKTc}fh`RH