Jest to polecenie pj_validate, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
pj_validate - sprawdza, czy plik jest zgodny z formatem pliku Paje
STRESZCZENIE
pj_validate [OPCJE] [FILE]
OPIS
Kurs pj_validate(1) polecenie sprawdza, czy plik śledzenia paje FILE ściśle przestrzega Paje
format pliku zdefiniowany w dokumentacji referencyjnej (patrz sekcja ZASOBY dla pliku
odpowiedni link). Jest to przydatny program do sprawdzania, czy plik Paje jest ważny i można go użyć
w analizie wydajności aplikacji równoległych i rozproszonych. Jeśli FILE nie jest
podane, wówczas używane jest standardowe wejście.
pj_validate odczytuje plik śledzenia od początku do końca pliku. Podczas
ten proces, pj_validate opiera się na bibliotece Paje, aby odtworzyć w pamięci zachowanie
zarejestrowany w pliku śledzenia. To znaczy że pj_validate zapamiętuję wszystko
zawartość pliku śledzenia, nawet jeśli dane wejściowe są bardzo duże. Gdy cała zawartość
plik śledzenia jest symulowany bez żadnych błędów, pj_validate wychodzi z wartością
0 (co oznacza, że wszystko jest w porządku). Jeśli ślad jest prawidłowy, plik pj_validate także wyjścia
informacje dotyczące śledzenia: całkowita liczba kontenerów w śladzie, suma
liczba jednostek (stanów, zdarzeń, łączy i zmiennych) oraz zawarta w nich hierarchia typów
w śladzie.
OPCJE
pj_validate akceptuje następujące opcje:
-N, --nie-ścisłe
Obsługa starych nazw pól w definicjach zdarzeń.
-F, --przewód
Użyj alternatywnego czytnika plików opartego na flex/bison (eksperymentalnie).
-Q, --cichy
Zachowaj ciszę (brak wyjścia na standardowe wyjście).
-T, --czas
Wydrukuj liczbę sekund, aby symulować wprowadzanie danych
-?, --help
Pokaż wszystkie dostępne opcje.
--stosowanie
Podaj krótką wiadomość dotyczącą użytkowania.
WEJŚCIE OPIS
Kurs pj_validate(1) polecenie oczekuje danych wejściowych zgodnych z formatem pliku Paje (as
opisane w dokumencie PDF wymienionym w sekcji ZASOBY tej strony). Jeśli PLIK jest
nie zapewniono, pj_validate(1) spróbuje odczytać ze standardowego wejścia.
WYDAJNOŚĆ OPIS
Jeśli dane wejściowe są ściśle zgodne z formatem pliku Paje, dane wyjściowe pliku pj_validate(1)
polecenie wygląda tak:
raport Kontenery: 82
Podmioty raportu: 11417509
Typy raportów: 6
Hierarchia typów raportów:
raport |0 (17PajeContainerType)
raport ||ROOT (17PajeContainerType)
raport || LINK (12PajeLinkType)
raport || MASZYNA (17PajeContainerType)
raport | | PROCES (17PajeContainerType)
raport | | STAN (13PajeStateType)
dla danych wejściowych zawierających 82 kontenery, 11417509 jednostek jest rozmieszczonych pomiędzy wszystkimi
pojemniki i 6 rodzajów. Hierarchia typów zaczyna się od domyślnego katalogu głównego identyfikowanego przez 0 (a
typ kontenera), z jednym dzieckiem o nazwie ROOT (również typ kontenera), który ma dwoje dzieci:
LINK (typ łącza) i MACHINE (typ kontenera). MASZYNA ma jedno dziecko PROCESS (a
typ kontenera), który ma jedno dziecko, które jest STATEM (typ stanu).
ZASOBY
Opis pliku śledzenia Paje:
http://paje.sourceforge.net/download/publication/lang-paje.pdf
Strona główna: http://github.com/schnorr/pajeng/
RAPORTOWANIE ROBAKI
Zgłaszaj błędy pj_validate na adreshttp://github.com/schnorr/pajeng/issues>
PRAWA AUTORSKIE
Prawa autorskie (C) 2012-2014 Lucas M. Schnorr. Bezpłatne korzystanie z tego oprogramowania jest przyznawane w ramach
warunki Powszechnej Licencji Publicznej GNU (GPL).
Użyj pj_validate online, korzystając z usług onworks.net