開発環境でカーネルパニックを起こす事が度々あったので、自動で再起動がかかるように設定。 設定ファイルの編集 /etc/sysctl.confを開く
カーネルパニック時に自動で再起動させる - Qiita
開発環境でカーネルパニックを起こす事が度々あったので、自動で再起動がかかるように設定。 設定ファイルの編集 /etc/sysctl.confを開く
【RHEL7】sysctlのカーネルパニックオプション - のぴぴのメモ
sysctlのカーネルパニックオプション panicの整理 panic系パラメータの関係 それぞれのパラメータの挙動 kernel.panic kernel.panic_on_unrecovered_nmi kernel.unknown_nmi_panic kernel.panic_on_io_nmi kernel.panic_on_warn kernel.softlockup_panic kernel.hung_task_panic kernel.panic_on_stackoverflow vm.panic_on_oom sysctlのカーネルパニックオプション ちょいとカーネルパニックをどう設定すればよいかという話があって、ためしにsyscltをpanicでgrepすると、意外にというかpanicに関するパラメータがバラバラ出てきてどうすればよいかイマイチわからない。 # sysct
Raspberry PiにハードウェアWatchdogを設定してみましょう
Raspberry PiとRaspbian OSには、Watchdog Timer（ウォッチドッグタイマー、以下Watchdogと記します）と呼ばれる機構が入っています。これは、システムが動作していないと判断された時に、自動的にRaspberry PiがOS再起動をを行うというものです。 Raspbian Jessieより前のバージョンでは、Watchdogを設定するためにすでに確立したやり方があったようです。しかし、Raspbian Jessieになってからは、モジュールの名前が変わったりしたほか、Watchdogを有効にさせる方法も変わったりしていて、これというやり方がすぐには見つからないようです。Raspberry Piのフォーラムでもいくつか投稿があるようですが、その中で他の方法に比べてとてもシンプルな方法が投稿されていました。この投稿の内容をを実際に試したところ、うまく動作しまし
いますぐ実践! Linuxシステム管理
「いますぐ実践! Linux システム管理」はこちらです。 メルマガの解除、バックナンバーなども、以下からどうぞ。 https://www.usupi.org/sysad/ (まぐまぐ ID:149633) その他、作者に関するページは、概ね以下にございます。 https://www.usupi.org/kuri/ (まぐまぐ ID:126454) http://usupi.seesaa.net/ (栗日記ブログ) https://twitter.com/kuriking/ (twitter) https://facebook.com/kuriking3 (facebook) https://jp.pinterest.com/kuriking/pinterest) https://www.instagram.com/kuri_king_/ (instagram) [バックナンバーのトップへ
システム監視ツール - watchdog - HirosigeTの日記
watchdogとはシステムを監視し、異常が発生したのを観測した場合マシンを再起動するソフトウェアである。異常観測後の動作はリブートのみである。特定の機能、例えばapacheを再起動するなどということはできない。 ■インストール # yum install watchdog ---略--- Installed: watchdog.i386 0:5.6-1.el5 Complete! ■構成 /usr/sbin/watchdog /usr/man/man5/watchdog.conf.5 /usr/man/man8/watchdog.8 /etc/watchdog.conf ■watchdog.confの設定 例として以下のような内容を設定する。 Apacheのpidファイルを10秒間隔で監視し、ファイルが存在していれば/dev/watchdogというファイルに書き込む。pidファイルが無い
Microsoft、GitHubを買収完了 現地時間4日に正式発表へ
▼ iPhone 15/15 Proの予約は公式オンラインショップから！ Apple ドコモ au ソフトバンク 楽天モバイル ここ数日、Microsoftが「GitHub」を買収するのではないかとの憶測が広まっていたが、どうやらこの買収劇はすでに最終局面を迎えていたようだ。 Bloombergによると、GitHubはMicrosoftの買収に合意。この買収に関する発表を、現地時間4日にも正式発表する運びとなっているという。 MicrosoftがGitHubを買収、まもなく正式発表へ GitHubは、ソフトウェア開発プロジェクトのソースコードを複数ユーザーで管理するのに便利な機能が多数備わったGitホスティングサービス。世界で2,400万人が使用しており、JavaScriptやPythonといった多数の言語のソースコードリポジトリーがホストされている。 このGitHubを積極的に利用してい
私と型システムとポエム
最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Watchdog install on Jessie - Raspberry Pi Forums
Raspberry Pi 3/ Zero / Zero W等で watchdogを有効化する - Qiita
