b'\n_START_ARTICLE_\nKryteria Popka-Goldberga\n_START_SECTION_\nTwierdzenie\n_START_PARAGRAPH_\nZ t\xc4\x85 wiedz\xc4\x85 mo\xc5\xbcemy pozna\xc4\x87 twierdzenie przedstawione przez Popka i Goldberga:_NEWLINE_Dla ka\xc5\xbcdego standardowego komputera trzeciej generacji wirtualna maszyna mo\xc5\xbce zosta\xc4\x87 skonstruowana, je\xc5\x9bli zbi\xc3\xb3r instrukcji wra\xc5\xbcliwych jest podzbiorem zbioru instrukcji uprzywilejowanych._NEWLINE_Z tego\xc5\xbc twierdzenia wynika tyle, i\xc5\xbc ka\xc5\xbcda operacja, kt\xc3\xb3ra mog\xc5\x82a spowodowa\xc4\x87 niepoprawne dzia\xc5\x82anie maszyny wirtualnej, powoduje przerwanie lub wywo\xc5\x82anie systemowe, dzi\xc4\x99ki czemu maszyna mo\xc5\xbce podj\xc4\x85\xc4\x87 odpowiednie kroki. Ca\xc5\x82a reszta instrukcji nieuprzywilejowanych jest przekazywana po prostu do fizycznego sprz\xc4\x99tu, aby uzyska\xc4\x87 odpowiedni\xc4\x85 wydajno\xc5\x9b\xc4\x87._NEWLINE_Okazuje si\xc4\x99 jednak, \xc5\xbce mo\xc5\xbcna zbudowa\xc4\x87 maszyn\xc4\x99 wirtualizuj\xc4\x85c\xc4\x85 architektur\xc4\x99 nie spe\xc5\x82niaj\xc4\x85c\xc4\x85 za\xc5\x82o\xc5\xbce\xc5\x84 twierdzenia, cho\xc4\x87 zwykle powoduje to utrat\xc4\x99 wydajno\xc5\x9bci lub nak\xc5\x82ada inne ograniczenia. Przyk\xc5\x82adami s\xc4\x85 parawirtualizacja oraz dynamiczna rekompilacja z wykrywaniem wra\xc5\xbcliwych instrukcji.'