这是 pj_validate 命令,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
pj_validate - 检查文件严格遵循 Paje 文件格式
概要
pj_验证 [配置[文件]
商品描述
这个 pj_验证(1) 命令检查 paje 跟踪文件 文件 严格遵守Paje
参考文档定义的文件格式(请参阅资源部分
适当的链接)。 这是一个检查 Paje 文件是否有效并且可以使用的有用程序
在并行和分布式应用程序的性能分析中。 如果 文件 是不是
提供,则使用标准输入。
pj_验证 从头开始读取跟踪文件,直到找到文件结尾。 期间
这个流程, pj_验证 依赖 Paje 库在内存中重新创建行为
在跟踪文件中注册的。 这意味着 pj_验证 将全部放入内存
跟踪文件的内容,即使输入非常大。 一旦所有内容
跟踪文件被模拟没有任何错误, pj_验证 以值退出
0(意味着一切正常)。 如果跟踪有效,则 pj_验证 还输出
有关跟踪的信息:跟踪中的容器总数,总数
实体(状态、事件、链接和变量)的数量和包含的类型层次结构
在踪迹中。
配置
pj_验证 接受以下选项:
-n, --不严格
支持事件定义中的旧字段名称。
-F, - 柔性
使用基于 flex/bison 的替代文件阅读器(实验性)。
-q, - 安静的
保持安静(标准输出上没有输出)。
-t, - 时间
打印模拟输入的秒数
-?, - 帮帮我
显示所有可用选项。
- 用法
给出简短的使用信息。
INPUT 商品描述
这个 pj_验证(1) 命令需要遵循 Paje 文件格式的输入(如
在本页资源部分列出的 PDF 文档中描述)。 如果文件是
不提供, pj_验证(1) 将尝试从标准输入读取。
OUTPUT 商品描述
如果输入严格遵循 Paje 文件格式,则输出 pj_验证(1)
命令如下所示:
报告容器:82
举报实体:11417509
报告类型:6
报告类型层次结构:
报告 |0 (17PajeContainerType)
报告 ||ROOT (17PajeContainerType)
报告 || 链接(12PajeLinkType)
报告 || 机器 (17PajeContainerType)
报告| | 进程 (17PajeContainerType)
报告| | 状态 (13PajeStateType)
对于包含 82 个容器的输入,11417509 个实体分布在所有
容器和 6 种类型。 类型层次结构从由 0 标识的默认根开始(a
容器类型),有一个名为 ROOT(也是一种容器类型)的子节点,它有两个子节点:
LINK(一种链接类型)和 MACHINE(一种容器类型)。 MACHINE 有一个子进程(一个
容器类型),它有一个是 STATE(状态类型)的孩子。
即将上线
Paje 跟踪文件的描述:
http://paje.sourceforge.net/download/publication/lang-paje.pdf
主要网站: http://github.com/schnorr/pajeng/
REPORTING BUGS
将 pj_validate 错误报告给http://github.com/schnorr/pajeng/issues>
版权
版权所有 (C) 2012-2014 Lucas M. Schnorr。 免费使用本软件是根据
GNU 通用公共许可证 (GPL) 的条款。
使用 onworks.net 服务在线使用 pj_validate