https://512.cz/index.php?action=history&feed=atom&title=Probl%C3%A9m_kritick%C3%A9_sekceProblém kritické sekce - Historie editací2026-10-21T20:35:31ZHistorie editací této stránkyMediaWiki 1.17.0https://512.cz/index.php?title=Probl%C3%A9m_kritick%C3%A9_sekce&diff=428&oldid=prevAcolade: kategorizace2014-02-20T06:46:49Z<p>kategorizace</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Starší verze</td>
<td colspan='2' style="background-color: white; color:black;">Verze z 20. 2. 2014, 06:46</td>
</tr><tr><td colspan="2" class="diff-lineno">Řádka 1:</td>
<td colspan="2" class="diff-lineno">Řádka 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Časový souběh ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Časový souběh ==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td colspan="2" class="diff-lineno">Řádka 24:</td>
<td colspan="2" class="diff-lineno">Řádka 23:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{fav-kiv-bzinf}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{fav-kiv-bzinf}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[Kategorie:fav-kiv-bzinf]]</ins></div></td></tr>
</table>Acoladehttps://512.cz/index.php?title=Probl%C3%A9m_kritick%C3%A9_sekce&diff=280&oldid=prevTester: /* Kritická sekce */2011-08-29T13:59:03Z<p><span class="autocomment">Kritická sekce</span></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Starší verze</td>
<td colspan='2' style="background-color: white; color:black;">Verze z 29. 8. 2011, 13:59</td>
</tr><tr><td colspan="2" class="diff-lineno">Řádka 22:</td>
<td colspan="2" class="diff-lineno">Řádka 22:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># Proces běžící mimo svou kritickou sekci nesmí blokovat jiné procesy</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># Proces běžící mimo svou kritickou sekci nesmí blokovat jiné procesy</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># Žádný proces nesmí na vstup do své kritické sekce čekat nekonečně dlouho</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># Žádný proces nesmí na vstup do své kritické sekce čekat nekonečně dlouho</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">{{fav-kiv-bzinf}}</ins></div></td></tr>
</table>Testerhttps://512.cz/index.php?title=Probl%C3%A9m_kritick%C3%A9_sekce&diff=279&oldid=prevTester v 29. 8. 2011, 13:482011-08-29T13:48:38Z<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Starší verze</td>
<td colspan='2' style="background-color: white; color:black;">Verze z 29. 8. 2011, 13:48</td>
</tr><tr><td colspan="2" class="diff-lineno">Řádka 1:</td>
<td colspan="2" class="diff-lineno">Řádka 1:</td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">== Časový souběh ==</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Pokud procesy sdílejí společnou paměť, kterou čtou a zapisují, může nastat časový souběh. Hledání časových souběhů v reálných programech není jednoduché, protože časový souběh se obvykle projevuje nedeterministicky a programy běží po většinu času bez problémů.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Pokud procesy sdílejí společnou paměť, kterou čtou a zapisují, může nastat časový souběh. Hledání časových souběhů v reálných programech není jednoduché, protože časový souběh se obvykle projevuje nedeterministicky a programy běží po většinu času bez problémů.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">Problém kritické sekce nastává v situacích</del>, <del class="diffchange diffchange-inline">kdy:</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Příklad - Přístup do souboru</ins></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">- Procesy soupeří o zdroj</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">- Ke zdroji nemůže přistupovat více než jeden </del>proces <del class="diffchange diffchange-inline">v daném čase</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* 2 procesy chtějí vytvořit soubor a zapsat do něj</ins></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">- Každý </del>proces <del class="diffchange diffchange-inline">může existovat bez ostatních</del>, <del class="diffchange diffchange-inline">interakce je nutná </del>pouze <del class="diffchange diffchange-inline">pro zajištění serializace přistupu ke zdroji</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* 1. proces – zjistí</ins>, <ins class="diffchange diffchange-inline">že soubor není</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* ... přeplánování ...</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* 2. </ins>proces <ins class="diffchange diffchange-inline">– zjistí, že soubor není, vytvoří a zapíše</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* 1. </ins>proces <ins class="diffchange diffchange-inline">– pokračuje</ins>, <ins class="diffchange diffchange-inline">vytvoří a zapíše znehodnotí činnost druhého procesu</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Řešení - časový souběh by nenastal, pokud by čtení+modifikace proběhli atomicky, tj. jako jedna nedělitelná operace. Zařídit HW většinou není praktické. SW řešení - v jednom okamžiku dovolíme číst a zapisovat společná data </ins>pouze <ins class="diffchange diffchange-inline">jednomu procesu.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">== Kritická sekce ==</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">Řešení - časový souběh by nenastal</del>, <del class="diffchange diffchange-inline">pokud by čtení+modifikace proběhli atomicky, tj. jako jedna nedělitelná operace. Zařídit HW většinou není praktické. </del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">= místo programu</ins>, <ins class="diffchange diffchange-inline">kde je prováděn přístup ke společným datům</ins></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">SW řešení - v jednom okamžiku dovolíme číst a zapisovat společná data pouze jednomu procesu.</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Dobré řešení musí mít 3 vlastnosti:</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Dobré řešení musí mít 3 vlastnosti:</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">1. </del>Vzájemné vyloučení: žádné 2 procesy nesmějí být současně uvnitř své kritické sekce</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"># </ins>Vzájemné vyloučení: žádné 2 procesy nesmějí být současně uvnitř své kritické sekce</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">2. </del>Proces běžící mimo svou kritickou sekci nesmí blokovat jiné procesy</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"># </ins>Proces běžící mimo svou kritickou sekci nesmí blokovat jiné procesy</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">3. </del>Žádný proces nesmí na vstup do své kritické sekce čekat nekonečně dlouho</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"># </ins>Žádný proces nesmí na vstup do své kritické sekce čekat nekonečně dlouho</div></td></tr>
</table>Testerhttps://512.cz/index.php?title=Probl%C3%A9m_kritick%C3%A9_sekce&diff=85&oldid=prevTester: Založena nová stránka: Pokud procesy sdílejí společnou paměť, kterou čtou a zapisují, může nastat časový souběh. Hledání časových souběhů v reálných programech není jednoduch...2011-08-08T15:22:06Z<p>Založena nová stránka: Pokud procesy sdílejí společnou paměť, kterou čtou a zapisují, může nastat časový souběh. Hledání časových souběhů v reálných programech není jednoduch...</p>
<p><b>Nová stránka</b></p><div>Pokud procesy sdílejí společnou paměť, kterou čtou a zapisují, může nastat časový souběh. Hledání časových souběhů v reálných programech není jednoduché, protože časový souběh se obvykle projevuje nedeterministicky a programy běží po většinu času bez problémů.<br />
<br />
Problém kritické sekce nastává v situacích, kdy:<br />
- Procesy soupeří o zdroj<br />
- Ke zdroji nemůže přistupovat více než jeden proces v daném čase<br />
- Každý proces může existovat bez ostatních, interakce je nutná pouze pro zajištění serializace přistupu ke zdroji<br />
<br />
Řešení - časový souběh by nenastal, pokud by čtení+modifikace proběhli atomicky, tj. jako jedna nedělitelná operace. Zařídit HW většinou není praktické. <br />
SW řešení - v jednom okamžiku dovolíme číst a zapisovat společná data pouze jednomu procesu.<br />
<br />
Dobré řešení musí mít 3 vlastnosti:<br />
1. Vzájemné vyloučení: žádné 2 procesy nesmějí být současně uvnitř své kritické sekce<br />
2. Proces běžící mimo svou kritickou sekci nesmí blokovat jiné procesy<br />
3. Žádný proces nesmí na vstup do své kritické sekce čekat nekonečně dlouho</div>Tester