-
Data: 2013-07-01 13:54:05
Temat: Re: pytanie z mutexów
Od: Edek <e...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Dnia pamiętnego Mon, 01 Jul 2013 12:05:05 +0200, Michoo wyjmując peta
oznajmił:
> On 01.07.2013 01:47, Edek wrote:
>> Schematy współpracy: skoro się wykluczają mogą w ramach wykluczenia
>> przekazywać dane. Albo mogą mieć kolejki, które są liśćmi w drzewie
>> kolejności locków, więc są pomijalne dla poprawności.
>
> Mogą. Właśnie od "mogą" zależy bardzo dużo jeżeli chodzi o wątki. Jeżeli
Tak dla rozróżnienia: wątki są w domenie logiki i "mogą" używa się różnie.
Ja mówię o tym, że niektóre elementy "mogą" być dodane bez zmiany
głównego algorytmu, co można udowodnić. Ty mówisz o "może" w sensie
takim jak że deadlock "może" się zdarzyć - co już oznacza zwykły błąd.
To pierwsze jest kwestią logiki ograniczeń, to drugie kwestią złego
dowodu lub jego braku.
>> Tak jakby z zagłodzeniem było kiedykolwiek inaczej. Problem polega
>> na tym, że problem jest jeden i algorytm jest jeden, ale musi
>> spełniać oba warunki: działać, czyli być bez race'ów i deadlocków, i ma
>> nie zagłodzić.
>
> 3 producentów na 2 procesorach plus konsument wymagający po 500
> jednostek na cykl pracy. Optymalnie ze względu na przepustowość będzie
> generowanie po 500 jednostek (opóźnienie 1000, ale brak strat na
> przełączanie). Optymalnie ze względu na czas odpowiedzi będzie dążenie
> do opóźnienia 750 - jeżeli konsument czeka dłużej to znaczy, ze jest
> głodzony.
Nie znałem takiej definicji. Jak się to sprawdza albo dowodzi? Naprawdę
pytam bo nie wiem.
A, i odnosiłem się tylko do ostatniego zdania:
>>> Ogólnie wchodzimy
>>> opuszczamy już tutaj problem synchronizacji a wchodzimy w sferę
>>> szeregowania zadań.
--
Edek
Następne wpisy z tego wątku
- 01.07.13 14:14 Edek
- 01.07.13 15:10 Edek
- 01.07.13 15:53 A.L.
- 01.07.13 18:24 Michoo
- 01.07.13 18:30 Michoo
- 01.07.13 18:36 Michoo
- 01.07.13 19:08 Edek
- 01.07.13 21:47 Edek
- 01.07.13 22:01 Edek
- 02.07.13 18:16 Michoo
- 02.07.13 19:56 Edek
- 02.07.13 21:18 Michoo
- 02.07.13 23:06 Edek
- 03.07.13 02:29 Michoo
- 03.07.13 04:08 Edek
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-03-15 China-Kraków => Key Account Manager IT <=
- 2025-03-14 Spalił się autobus :-)
- 2025-03-14 Policjanci z Piątku
- 2025-03-14 Lublin => JavaScript / Node / Fullstack Developer <=
- 2025-03-14 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=
- 2025-03-14 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-03-14 VAT-R Umowa najmu na adres zamieszkania
- 2025-03-14 Gliwice => IT Expert (Network Systems area) <=
- 2025-03-14 Warszawa => Junior Rekruter <=
- 2025-03-14 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-14 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-14 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-03-13 Raspberry Pi 3 Model B+
- 2025-03-13 Kuchenka elektryczna
- 2025-03-12 test