eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpytanie z mutexówRe: pytanie z mutexów
  • Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
    .pl!news.nask.org.pl!news.unit0.net!news.glorb.com!news-in-01.newsfeed.easynews
    .com!easynews!core-easynews-01!easynews.com!en-nntp-12.dc1.easynews.com.POSTED!
    not-for-mail
    From: A.L. <a...@a...com>
    Newsgroups: pl.comp.programming
    Subject: Re: pytanie z mutexów
    Message-ID: <a...@4...com>
    References: <5...@g...com>
    <51c56394$0$28103$c3e8da3$91613603@news.astraweb.com>
    <f...@4...com>
    <kq70gf$ngh$1@mx1.internetia.pl>
    <3...@4...com>
    <kq7g4r$a05$1@mx1.internetia.pl>
    <f...@4...com>
    <kqi854$v85$1@mx1.internetia.pl>
    <u...@4...com>
    <kqk43i$sfo$1@mx1.internetia.pl>
    User-Agent: ForteAgent/7.00.32.1200
    MIME-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: 8bit
    Lines: 42
    X-Complaints-To: a...@e...com
    Organization: Forte Inc. http://www.forteinc.com/apn/
    X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will
    be unable to process your complaint properly.
    Date: Fri, 28 Jun 2013 15:12:22 -0500
    X-Received-Bytes: 2733
    Xref: news-archive.icm.edu.pl pl.comp.programming:203896
    [ ukryj nagłówki ]

    On Fri, 28 Jun 2013 15:36:11 +0200, Michoo <m...@v...pl> wrote:

    >
    >Też mi się tak wydaje:
    >dyskusja zaczęła się od różnicy czy podstawowym obiektem
    >synchronizacyjnym jest semafor uogólniony czy binarny o semantyce
    >test&set. Semafor uogólniony jest imo równoważny TS + chroniony licznik
    >co więcej na większości sprzętu realizuje się go jako "uogólniony" TS
    >(np wspomniane cmpxchg).
    >

    Ja sadze ze rzonimy sie pogladami na temat co to jest "podstawowy"

    >
    >>
    >> P.S. Zadam to samo zadanko co kiedys: procesy a, b, c, d, e, f
    >>
    >> Wzajemne wykluczanie: (a,c), (c,f), (a,b), (b,e), (b,d), (c,d), (e,f)
    >>
    >> Zaprojeltowac rozwiazanie bez deadlocku i starvation free
    >
    >Ale już Ci na nie odpowiadałem:
    >- tworzysz 6 muteksów (A-F)
    >- sporządzasz dla każdego procesu listę z którymi się wyklucza
    >- sortujesz te listy w kolejności a-f
    >
    >Każdy proces wchodząc do sekcji krytycznej pobiera potrzebne mu blokady
    >w kolejności A-F. Rozwiązuje to problem wzajemnego wykluczania([*]).
    >Problem zagłodzenia nie wystąpi na pewno gdy muteksy budzą w kolejności
    >FIFO, przy braku tej gwarancji do zagłodzenia może dojść[**] więc
    >najlepiej chyba ją zapewnić przez kombinację mutex+lista+condition
    >variable (dopóki !pierwszy na liście).
    >
    >
    >[*] Czyim imieniem nazywamy ten algorytm - nie pamiętam. Jest to daleka
    >wariacja Lamporta.
    >[**] Choćby a i b "wymieniające się" muteksem A mogą zagłodzić c.

    Niezupelnie o to chodzi, bo wejscie w proces a powinno blokowac
    procesy b i c ale nie powinno blokowac procesow d, e, f

    A.L.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: