問題タブ [ctl]

現在、Windows 2012 サーバーでアプリケーションを制御できるように ac# アプリをセットアップしています。

建築：

マスター サーバー - Windows サービスから読み取り/書き込みデータベースとして実行される Postgres x64 9.3。ホット スタンバイ モードとレプリケーション スロットを備えています。

スレーブ サーバー - レプリケーション スロットを介して読み取り専用のホットスタンバイ サーバーとして Windows サービスから実行される Postgres x64 9.3。

次のコードを使用してサービスを停止する予定です。

ただし、両方のデータベースの整合性に関してこれが安全かどうか疑問に思っていました。

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.
このようなことを書き込もうとしましたが、うまくいきません。手伝って頂けますか？

そうでなければ、最初ではない状態から同じプロパティをチェックすることは可能ですか?

私のCSVファイルは次のようになります

空の列が異なる位置にある場合があります。コンマ区切りの空の列のみをスキップできるように、ctl ファイルに何か提案できますか?

SMV で「EG (!s11included & !s10included)」をチェックしようとすると、false と報告され、次のように反例が示されます。これは、逆にこの CTL 仕様をサポートしていると思います。CTL 仕様に何か問題がありますか?