Ett grundläggande problem när det gäller felsökning och övervakning är att upptäcka om ett systems tillstånd uppfyller vissa krav. Om systemet är distribuerat, gör den därav följande osäkerheten i systemets tillstånd sådan avskärmning i allmänhet odefinierad. I detta dokument presenteras tre algoritmer för att upptäcka globala predikat på ett väldefinierat sätt. Dessa algoritmer gör det genom att tolka predikterar med avseende på den kommunikation som har oecurrccd i systemet. Kort sagt, den första algoritmen bestämmer att predikatet möjligen var sant någon gång i det förflutna den andra bestämmer att predikatet var definitivt sant i det förflutna medan den tredje algoritmen fastställer att predikatet för närvarande är sant, men för att göra så kan det fördröja utförandet av vissa processer. Vårt tillvägagångssätt står i kontrast till det betydande arbete som använder tidsmässiga predikat (dvs. predikat uttryckta över processhistorier) för distribuerad övervakning. Temporala predikat är kraftfullare, men också mer komplexa att använda. I många fall betraktas villkoret att programmeraren vill övervaka helt enkelt och intuitivt som ett predikat över systemets "instanta" tillstånd. Genom att använda en eventuell/definitiv/för närvarande tolkning blir en sådan predikat väldefinierad, utan att den behöver omarbetas med hjälp av tidsmässiga formler. Dessutom kan våra algoritmer vara effektivare än tekniker som använder en uppfattning om uttrycklig tid eller processhistorik. I avsnitt 1 anges protokollen och i avsnitt 2 beskrivs hur de fungerar. Detta arbete uppkom som en del av A4eta, en verktygslåda som stöder distribuerad systemövervakning och styrning. Den arkitektur som Meta tar upp är mer allmän än den som behövs för felsökning, eftersom vi också är intresserade av att severat övervakning komponenter reagerar på ett konsekvent och feltolerant sätt. Avsnitt 3 diskuterar hur algoritmerna i detta papper kan användas för att ge en brytpunkt och spårpunkt anläggning för Meta.
I REF upptäcks en predikat genom att utforska den fullständiga lattice av konsekventa snitt på ett brett första sätt.
Consistent detection of global predicates
{'venue': "PADD '91", 'journal': None, 'mag_field_of_study': ['Computer Science']}