Linuxは単一のイベント干渉にどのように抵抗しますか?

Linuxは単一のイベント干渉にどのように抵抗しますか?

私は大学が報告する報告書で単一事件の騒乱に関する情報を収集しています。
私のトピックに関する有用な記事をたくさん見つけましたが、SEUに対するオペレーティングシステムの抵抗のためにパニックになりました。私はリアルタイムシステムで使用するLinuxを選択しました。
このオペレーティングシステムには、ほとんどの問題を解決できるインストール可能または組み込みのフォールトトレラントモジュールがあると思います。ただし、Linux(ハードウェアではない)で動作する方法に関する新しい記事/文書は見つかりません。
私が見つけたものを共有します。

  • これ1995年のFT-Linuxの一部のADです。
  • これそしてこれ複雑すぎてPopcorn Linuxに基づいています。

原理は同じであると確信していますが、Linuxソースコード(コアに実装されている場合)またはLinuxでFTのユーティリティ名のコメントを含むいくつかのコード例を探したいと思います。そしてそれを実行する方法。
あるいは、すべてのFTシステムが市販されており、オープンソースではない可能性があります。それとも十分注意を払わないのでしょうか?

ベストアンサー1

Linuxカーネルには単一イベント妨害(SEU)に対するフォールトトレランスが組み込まれていますが、「ほとんどの問題」は扱いません。これは特定のFPGAドライバでのみ実装されます。

LinuxカーネルメーリングリストのEメールチェーンにあります。http://lml.iu.edu/hypermail/linux/kernel/1810.2/06092.htmlSEUの許容誤差は数年前にコアに追加されたようですが、Zynq FPGA専用です。私が知る限り、PCAPからICAPに切り替えるコードブロックはdrivers/fpga/zynq-fpga.c(以下を参照)に追加されました。 Mike Looijmansが述べたICAPのユースケースの1つは、「自己修復ロジック」を介してSEUに抵抗することです。

/* Release 'PR' control back to the ICAP */
zynq_fpga_write(priv, CTRL_OFFSET,
zynq_fpga_read(priv, CTRL_OFFSET) & ~CTRL_PCAP_PR_MASK);

私はコードよりもメーリングリストについてもっとよく知っていますが、混乱する部分があれば明確にしようとします。

おすすめ記事