問題タブ [termination]

この質問は、次のようなスクリプトに適用されます。

脚本

現在の動作

コンソールを押すとCtrl+Cスクリプトは終了しますが、すでに実行中のgrepプロセスは終了しません。

まず第一に「適切」です。なぜなら、クラスからスレッドを起動するのは悪い習慣だと人々が言うと思うからです。:)だから、デストラクタで無限スレッドを停止する最良の方法は何だろうと思っています。フラグ shutdown が設定されているときに、スレッドが try で呼び出して例外をスローする関数をラッピングしますか? 古き良きint / enum？良い新しい std::atomic int? 他の何か？今私は使用します：

スレッドが実行する関数は次のとおりです。

currentStatus は列挙型です:

プロセスが終了する時間をキャッチしようとしています（たとえば、タスクマネージャーでプロセスを強制終了することにより）。（終了したプロセス内で）検出したとき、何らかの作業を行うために終了する前に。私のアプリケーションは、itslef によって終了しません (エンドレス ループ)

私が試した：1）atexit 2）SetUnhandledExceptionFilter

実行中のアプリケーションを単純に閉じるためにデバッグ実行を試みましたが、最終的に余分なタスクを実行するまでには至りませんでした。

ヘルプ、

さまざまなプログラミング言語でのさまざまな種類の行終端の規則については確かです。私は 2 つのタイプがあることを知っています。私の質問は、 python: 、 c/c++: 、 java:1: line feed, 2: carriage-return, line feed.などのさまざまなプログラミング言語で readline が行末をどのように処理するのですか? これら 2 種類の終端に敏感な場合、どうすればそれらを別々に扱うことができますか?a = fd.readline();file.getline (buffer,100);line = buf.readLine();

スナップショットを取りたいEC2インスタンスがあり、将来のスポットインスタンスのAMIとして使用します。このインスタンスのボリュームを作成した方法により、現在、終了時に削除しないように設定されています。
終了時に削除して、スポットインスタンスに使用できるようにし、手動で削除する必要のある残りのボリュームがぶら下がらないようにします。

AWSマニュアル、スタック交換、グーグルなどを組み合わせましたが、「終了時に削除」フラグへの参照しか見つかりませんが、その使用方法の説明はありません。

アプリケーションを呼び出す外部アプリケーションがあり、ジョブが完了するとアプリケーションを終了することになっています。この外部アプリケーションからのログは、それがWM_CLOSE私のアプリで使用していると主張しています。

WM_CLOSEアプリケーションでメッセージをインターセプトして、クリーンアップ操作を実行するにはどうすればよいですか？クラスでラッピングしてみat_exit()ましたが、アプローチが間違っていると思います。

構造帰納法を使用して定義された関数を Agda の終了チェッカーで受け入れることができません。

この問題を示す最も単純な例として、次の例を作成しました。次の の定義sizeは拒否されますが、厳密に小さいコンポーネントで常に再帰します。

この問題の一般的な解決策はありますか? Recursorデータ型に対してを作成する必要がありますか? はいの場合、どうすればよいですか？Recursor（ forを定義する方法の例があれば、List Aそれで十分なヒントが得られると思いますか？）

はい、私はそれUndecidableInstancesが悪いことを知っています。モジュールを必要としないようにモジュールを設計するのに本当に苦労しましたが、次のようなものがあります。

それを変更すると、API が大幅に醜くなります。私は決して派生FooしBarないので、ループを作る方法はありません。

一方、有効にUndecidableInstancesすると、ばかげた間違いを見落としやすくなります。たとえば、次のように誤って書くことができます。

z右側には決して表示されません。

質問:モジュール内でローカルに使用することは可能UndecidableInstancesですか? つまり、通常の終了規則が解除される場所を明示的にマークしますか?

もちろん、終了には役立ちませんが、この拡張機能を使用する決定をより多くの情報に基づいて行うことができます。

質問 2:UndecidableInstances終了を保証しないが、2 番目のコード スニペットのようないくつかの境界線のケースを禁止するよりも弱いものはありますか?

私は他のアプリケーションを実行できるようにJavaでアプリを書いています。そのために、Processクラスオブジェクトを使用しましたが、使用すると、アプリはプロセスが終了するのを待ってから終了します。Javaで外部アプリケーションを実行する方法はありますが、終了するのを待ちませんか？

C ++プロジェクトのmakefileの一部は、diffコマンドを使用して、最近ビルドされたコードによって出力された2つのファイルを比較します。問題は、ファイルが異なる場合、スクリプトが失敗せず、続行する必要があることです。比較する必要のあるファイルは他にもあります。ビルドスクリプトを終了する前に、それらすべてを確認する必要があります。たとえば、このようなもの、

ファイルは同じであるため、最初の行では問題は発生しません。2行目は異なるファイルを比較し、違いが表示されると、

スクリプトが停止します。どうすれば続行できますか？