「社内の個室トイレの空き状況をスマホやPCで確認できるシステム、富士通九州システムズが開発」記事へのコメント

ハードリアルタイム・システム

[Anonymous Coward]

必要な時に規定の時間内に処理が完了されることが保証されていなければ成り立たないシステムの典型例ですね.

# 処理遅れの経験は黒歴史

Re:ハードリアルタイム・システム

[shesee (27226)]

FIFOバッファに詰め込みすぎるから

Re:ハードリアルタイム・システム

[tobihime (45169)]

大盛定食でバッファオーバーフロー起こす人をどげんかせんといかん。

# 人によってはWOMと化しているし

Re:ハードリアルタイム・システム

[annoymouse coward (11178)]

バッファでマージンを確保しだすと，ハードリアルタイムシステムは破綻します

うんこの例でかんがえましょう

どんどん入力データを食べて，出力としてうんこを出すシステムです
うんこがあふれると漏らします．破綻します．

仮にAさんとBさんの二人を考えます

AさんはFIFOバッファを精々１回とか２回分しか確保しません
つまり消化中のうんこの素とか，最終的なうんこを置く場所だけを腸内に用意します

一方Bさんは３日分のうんこ用FIFOバッファを腸内に用意します．最大３日は便秘でも問題ありません

では，うんこを漏らしにくいのはAさんでしょうか？Bさんでしょうか？

ハードリアルタイムシステムと考えると，実はAさんのほうがうんこを漏らしにくいです

喩え話の延長で，Aさんは快便で健康，Bさんは便秘気味で不健康と考えると
感覚的にも納得いくと思います
つまりBさんは３日間は持ちますが，４日目にうんこが溢れます．漏らします
漏らして初めて，そういや最近便秘だったなー，溜め込んでたなー，体調悪かったーな，と反省します

一方Aさんは，うんこが完成したらすぐにうんこを出すしかないのですが，
たとえばうんこが出るべきタイミングでうんこが出ないと言った体調異常をすぐに察知できます
それにより食事を変えるなどして漏らすリスクを回避したり，予め対策を立てることができます

本質的にも，うんこを出すべきタイミングで，うんこが出ない時点で，この系は破綻しています
つまりAさんのような系で，毎日決まった時間にうんこを出し
うんこが出ない場合はそれをエラーとして検知して，相応の対処をするほうが
系全体ではリクスが少なくなります．これがハードリアルタイム系の考え方です

Bさんのほうは，３日間という根拠のないバッファ，マージンを設けてしまったがために
結果的に「うんこが出ない」という異常を「いつもの便秘」という形で正常系と見逃してしまい
結果うんこ漏らしリスクを高めてしまっています

このようにバッファでマージンを確保しだすと，ハードリアルタイムシステムは設計としても動作としても破綻します

Re:

[Anonymous Coward]

AさんとBさんでデッドラインの管理手法が違うんだからそらそうだろう。
バッファの多寡の問題じゃないよ

Re:

[Anonymous Coward]

消化器「ああ＾～もう溜まらねえぜ」