I Iterated Omedelbar ögonblicksbild modell (IIS ) minnet består av en sekvens av en-shot Omedelbar ögonblicksbild (IS ) objekt. Varje IS-objekt kan nås med en operation som atomärt skriver ett värde och returnerar en ögonblicksbild av dess innehåll. Varje process kan komma åt varje IS-objekt högst en gång. Processer kommer åt sekvensen av IS-objekt, en efter en, asynkront, på ett vänta-fritt sätt; ett antal processer kan krascha. Det har visats av Borowsky och Gafni m.fl. att denna modell är mycket användbar för att studera den vanliga läs/skriva delade minnesmodellen. Dess intresse ligger i den eleganta rekursiva strukturen av sina körningar, därav av lättheten att analysera den runt om. På ett mycket intressant sätt har Borowsky och Gafni visat att IIS-modellen och läs- och skrivmodellen är likvärdiga med den väntande möjligheten att lösa beslutsuppgifter. I detta dokument utvidgar vi fördelarna med IIS-modellen till delvis synkrona system. Med tanke på en delad minnesmodell berikad med en feldetektor, vad är en likvärdig IIS-modell? Papperet visar att ett elegant sätt att fånga kraften i en feldetektor och andra delvis synkrona system i IIS-modellen är genom att på lämpligt sätt begränsa dess uppsättning körningar, vilket ger upphov till den Iterated Restrikted Omedelbara Snapshot-modellen (IRIS ). Nyttan med det föreslagna tillvägagångssättet är nya resultat (inklusive nya bevis på befintliga resultat) när vi överväger IRIS-modellen istället för motsvarande läs- och skrivmodell berikad med en given feldetektor direkt. Som en studie fall, papperet anser ett system berikat med begränsat-skopet noggrannhet feldetektorer, där det finns en kluster av processer sådan att så småningom någon korrekt process så småningom aldrig misstänks av någon process i den kluster. Papperet ger ett nytt bevis på k-set avtalet Herlihy och Pensos nedre gräns för delat minne system förstärkt med en begränsad-scope noggrannhet feldetektor. Beviset bygger på en utvidgning av Borowsky-Gafni IIS-simuleringen till att omfatta feldetektorer, följt av en mycket enkel topologisk argumentation. Med IRIS-modellen har vi lyckats fånga den partiella synkroniseringen av ett feldetektorberikat system via ett helt asynkront, runt avrundat system. Vi hoppas därför ha bidragit till en bättre förståelse av feltolerant distribuerad dator. Algoritmisk reduktion, Asynkront system, Distribuerad algoritm, Distribuerad Computability, Feldetektorer, Feltolerans, Rundbaserad beräkning, Delat minne, Topologi.
Begreppet "fånga kraften" hos en feldetektor utforskades i REF för system med delat minne.
The Iterated Restricted Immediate Snapshot Model
{'venue': 'Computing and Combinatorics', 'journal': 'Computing and Combinatorics', 'mag_field_of_study': ['Mathematics', 'Computer Science']}