Dies ist der Befehl pj_validate, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
pj_validate – prüft, ob eine Datei strikt dem Paje-Dateiformat entspricht
ZUSAMMENFASSUNG
pj_validate [OPTIONAL] [FILE]
BESCHREIBUNG
Das pj_validate(1) Der Befehl prüft, ob die Trace-Datei vorhanden ist FILE folgt strikt dem Paje
Dateiformat, wie in der Referenzdokumentation definiert (siehe Abschnitt RESSOURCEN für die
entsprechenden Link). Es ist ein nützliches Programm, um zu überprüfen, ob eine Paje-Datei gültig ist und verwendet werden kann
bei der Leistungsanalyse paralleler und verteilter Anwendungen. Wenn FILE ist nicht
vorausgesetzt, dann wird die Standardeingabe verwendet.
pj_validate liest die Trace-Datei vom Anfang bis zum Ende der Datei. Während
dieser Prozess, pj_validate verlässt sich auf die Paje-Bibliothek, um das Verhalten im Speicher wiederherzustellen
das in der Trace-Datei registriert ist. Das bedeutet, dass pj_validate wird alles in Erinnerung behalten
den Inhalt der Trace-Datei, auch wenn die Eingabe sehr groß ist. Sobald der gesamte Inhalt von
die Trace-Datei wird fehlerfrei simuliert, pj_validate Exits mit einem Wert von
0 (was bedeutet, dass alles in Ordnung ist). Wenn die Ablaufverfolgung gültig ist, wird die pj_validate gibt auch aus
Informationen zum Trace: die Gesamtzahl der Container im Trace, die Gesamtzahl
Anzahl der Entitäten (Zustände, Ereignisse, Links und Variablen) und die enthaltene Typhierarchie
in der Spur.
OPTIONAL
pj_validate akzeptiert die folgenden Optionen:
-nicht, --nicht streng
Unterstützen Sie alte Feldnamen in Ereignisdefinitionen.
-F, --biegen
Verwenden Sie einen alternativen Dateireader basierend auf Flex/Bison (experimentell).
-Q, --ruhig
Seien Sie ruhig (keine Ausgabe auf stdout).
-T, --Zeit
Gibt die Anzahl der Sekunden aus, um die Eingabe zu simulieren
-?, --help
Alle verfügbaren Optionen anzeigen.
--Verwendungszweck
Geben Sie eine kurze Nutzungsnachricht ab.
SPEISUNG BESCHREIBUNG
Das pj_validate(1) Der Befehl erwartet eine Eingabe, die dem Paje-Dateiformat folgt (wie
beschrieben im PDF-Dokument im Abschnitt RESSOURCEN dieser Seite). Wenn DATEI ist
nicht vorgesehen, pj_validate(1) wird versuchen, von der Standardeingabe zu lesen.
AUSGABE BESCHREIBUNG
Wenn die Eingabe strikt dem Paje-Dateiformat folgt, ist die Ausgabe der pj_validate(1)
Befehl sieht so aus:
Bericht Container: 82
Berichtsentitäten: 11417509
Berichtstypen: 6
Berichtstyphierarchie:
Bericht |0 (17PajeContainerType)
Bericht ||ROOT (17PajeContainerType)
Bericht || LINK (12PajeLinkType)
Bericht || MASCHINE (17PajeContainerType)
Bericht | | PROZESS (17PajeContainerType)
Bericht | | STATE (13PajeStateType)
Für eine Eingabe, die 82 Container enthält, sind 11417509 Entitäten auf alle verteilt
Behälter und 6 Typen. Die Typhierarchie beginnt mit dem Standardstamm, der durch 0 identifiziert wird (a
Containertyp), mit einem untergeordneten Element namens ROOT (ebenfalls ein Containertyp), das zwei untergeordnete Elemente hat:
LINK (ein Linktyp) und MACHINE (ein Containertyp). MACHINE hat einen untergeordneten PROCESS (a
Containertyp), der ein einziges untergeordnetes Element hat, das ein STATE (Zustandstyp) ist.
RESSOURCEN
Beschreibung der Paje-Trace-Datei:
http://paje.sourceforge.net/download/publication/lang-paje.pdf
Hauptwebsite: http://github.com/schnorr/pajeng/
REPORTING Fehler
Melden Sie pj_validate-Fehler anhttp://github.com/schnorr/pajeng/issues>
URHEBERRECHT
Copyright (C) 2012-2014 Lucas M. Schnorr. Die kostenlose Nutzung dieser Software wird im Rahmen der gewährt
Bedingungen der GNU General Public License (GPL).
Verwenden Sie pj_validate online über die Dienste von onworks.net
