问题标签 [ctl]

我目前正在设置 ac# 应用程序以允许我控制 Windows 2012 服务器上的应用程序。

建筑学：

主服务器 - Postgres x64 9.3 从 Windows 服务作为读/写数据库运行，具有热备用模式和复制槽。

从服务器 - Postgres x64 9.3 通过复制槽从 Windows 服务作为只读热备用服务器运行。

我计划使用以下代码停止服务：

但是，我想知道这对于两个数据库的完整性是否安全。

我知道 pg_ctl 具有关闭模式，其中“智能”模式在停止数据库之前等待活动进程并关闭连接等。停止windows服务也一样吗？是的，我显然可以使用 pg_ctl 来实现这一点，但是我要求的兴趣与其他任何事情一样多。

是否存在需要减轻任何活动复制的风险，或者服务是否会保持活动状态直到服务器同步？“停止”的时间将在数据库没有承受大量写入负载的时候完成，因此应该基本上是同步的。我也可以在启动“停止”代码之前对此进行测试。

目的是让复制的从属“活动”，但在主服务器停止时仍处于只读从属模式。

提前致谢

我有一个动态生成控制文件的 sql 脚本文件。它接受 mm/dd/yyyy 日期格式的日期字段。sqlldr 正在从 csv 文件加载日期，但它也接受日期格式，例如“mm\dd\yyyy”或“mm.dd.yyyy”。我如何让它只接受 MM/DD/YYYY？

我正在尝试在控制文件的 when 子句中使用 OR 条件，这是我在控制文件中的代码：

我收到一个错误：SQL*Loader-350: 第 5 行的语法错误。

请建议我一个正确的语法。

我正在使用 NuSMV，并且正在尝试编写实时 CTL 属性。
我想知道是否有办法从状态设置步骤，例如：
((s.state = on) ABG (0..5 s.state = off))

读作：if (s.state=on) is true，从此状态和其他 5 个步骤的属性(s.state= off) is true。
我试图写这样的东西，但它不起作用。你能帮助我吗？

否则，是否可以从不是第一个状态开始检查相同的属性？

我是 NuSMV 和 CTL 的新手，正在尝试简单的示例。我有 3 个状态 A、B 和 C，并且有一个从 A-> B 的转换

我在 NuSMV 中对其进行建模，并想检查是否存在从 B 到 A 的任何执行路径。尽管我没有定义这种转换，但规范给了我反例。

谁能告诉这有什么问题？

我如何编写“A 是否可以从 B 到达”的规范？- 这应该返回 false，因为没有定义转换

我得到了上述原子命题 {a,b,c} 的系统。

然后我的意思是说某些 LTL 公式是否成立（例如♢☐c）。

我了解 LTL 公式的含义（最终 c 永远成立），但我不知道如何阅读图表并将其与 LTL 相关联。

我假设它就像一个流程图，我们从左上角开始，/{a}可以通过不同的状态。但是每一个除以 是什么意思a？

我一直在尝试根据某些条件从 csv 文件中加载一些数据，并且我受到在 when 子句（Oracle ctl）中使用“OR”控件的限制，前 11 个条件的数据加载但之后不加载任何数据前 11 个条件

以下是代码示例

----------数据加载器------------

--------------数据加载器执行-----

我的 CSV 文件如下所示

有时空列可能出现在不同的位置，我们可以向 ctl 文件建议任何内容，以便它只能跳过逗号分隔的空列吗？

当我尝试在SMV中检查“EG（！s11included＆！s10included）”时，它被报告为错误并给出了一个反例如下，我认为相反它支持这个CTL规范。我的 CTL 规范有问题吗？

CSV文件的内容如下所示：

我想添加30-Nov-15一列table1和

到 3 列table2使用单个 CTL 文件。请帮忙。