https://vik.wiki/index.php?action=history&feed=atom&title=Form%C3%A1lis_m%C3%B3dszerek_-_H%C3%A1zi_feladat_29-35 2026-06-01T09:50:28Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=Form%C3%A1lis_m%C3%B3dszerek_-_H%C3%A1zi_feladat_29-35&diff=137257&oldid=prev 2012-10-21T19:57:24Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModHazi29tol35}} &lt;br&gt; ==29.== ==30. Vérkeringés== Konzulens: Sisak Áron, email: sa438@hszk.bme.hu ==31.== ==32.== ==33.== ==34. Hib…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModHazi29tol35}}<br /> <br /> &lt;br&gt;<br /> <br /> ==29.==<br /> ==30. Vérkeringés==<br /> Konzulens: Sisak Áron, email: sa438@hszk.bme.hu<br /> <br /> ==31.==<br /> ==32.==<br /> ==33.==<br /> ==34. Hibás FTP szerver==<br /> Konzulens: Vágó Dávid, [http://users.hszk.bme.hu/~vd419/form/ honlap], email: vd419@hszk.bme.hu<br /> <br /> ===Jó tudni===<br /> <br /> [[FormModHazi8tol14|Lásd a 10. feladatnál leírtakat]], továbbá:<br /> * Az elemezhetőség végett tényleg lehet brutálisan egyszerűsíteni a modellt. Nálam a végére két processz maradt az ötből, melyekkel maximum két műveletet tudott végrehajtani a felhasználó az automatikus kiléptetés előtt. A Promelás modell ellenőrzésekor volt olyan LTL, amelynél csak egy processzt vizsgáltam. Olyan ellenőrzéseket nem is csináltam, ami több mint egy percig tartott volna a gépemen.<br /> * A merevlemez hibáját nálam egy nyelő tranzíció jelentette, ami esetenként elnyelte a winyóba &quot;dobott&quot; tokent. Az nem a legjobb megoldás, ha a javított verzióban elhagyod ezt a tranzíciót (hiszen ez lényegében ugyanaz, mintha kicserélnéd a winyót egy újra). Szebb, ha ebből a tranzícióból továbbvezeted a tokent valamilyen hibakezelő ágként. (Mondjuk nekem az előző verziót is elfogadták.)<br /> * Állítólag az is megfelelő (csak hogy egyszerű legyen), ha nem pont az a processz száll el, amelyik belefutott a hibás szektorba, hanem bármelyik másik, amelyik ugyanazt a winyót használja<br /> * Nálam a sima állpotgéppel sem volt probléma, nem UML-t rajzoltam.<br /> -- [[KarakoMiklos|palacsint]] - 2006.05.22.<br /> <br /> ==35.==<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user