C言語なら俺に聞け 156

2020/09/28(月) 14:41:30.00

!extend:checked:vvvvv:1000:512
(新スレ立ての際上記コマンドを2行書き込んでください)
C言語の話題のみ取り扱います C++の話題はC++スレへ
質問には最低限の情報(ソース/コンパイラ/OS)を付ける
数行で収まらないソースは以下を適当に使ってURLを晒す
https://paiza.io/
https://ideone.com/
http://codepad.org/

C11
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1570.pdf

C99
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1256.pdf
http://kikakurui.com/x3/X3010-2003-01.html

C FAQ 日本語訳
http://www.kouno.jp/home/c_faq/

JPCERT C コーディングスタンダード
https://www.jpcert.or.jp/sc-rules/

※前スレ
C言語なら俺に聞け 155
https://mevius.5ch.net/test/read.cgi/tech/1589120427/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2021/01/21(木) 13:40:44.42

もう引っ張ることでも無いやろ

2021/01/21(木) 13:54:25.02

勝手に入ってこられるのが嫌ならブログででもやってろよw
バカすぎる

2021/01/21(木) 22:19:55.22

>>570
エデ・イー？

2021/01/22(金) 12:29:52.09

最近のOSってmallocで実メモリ足りないときはHDD/SSDからとってきてくれるんでしょう？

2021/01/22(金) 12:44:10.92

仮想記憶のことなら全然違うし、全然最近でもないし、swapも埋まればmalloc失敗すると思うけど、何だろう

2021/01/22(金) 12:50:00.55

仮想アドレス空間に隙間がなければ失敗するけどな

2021/01/22(金) 13:07:46.80

>>584
いや
全然違うってこともない
イメージ的にはそれでいい

2021/01/22(金) 14:43:34.68

スタック領域もコード領域も足りなくなったら補助記憶装置にスワップアウトするしmallocとは直接関係はしないよ

2021/01/22(金) 14:52:58.55

コードがスワップアウトしたら実行中のプロセスはどうなるんでしょうか？

2021/01/22(金) 14:59:09.88

コード領域までスワップアウトすることがあるかどうかわからんけど、
あったとしたらタイムスライスの割り当てが戻ってきたときにその退避してたコードも
メモリに戻すことになるだけでしょ。

2021/01/22(金) 15:03:45.51

>>587
mallocと直接関係ある
なんて誰も書いてない

2021/01/22(金) 15:07:21.69

>>588
アクセスした瞬間に例外発生
これを受けてHDD/SSDに退避してあったデータをメインメモリに戻して例外を復帰する

コードデータ関係なく

2021/01/22(金) 15:18:29.37

>>590
>>583を100回音読してこい

2021/01/22(金) 15:22:19.21

主語はOS

2021/01/22(金) 15:25:32.00

mallocは単なるトリガー(の1例)

2021/01/22(金) 16:21:31.38

主語でないと関係しないって？
日本語の勉強からやり直した方がいいと思うよ
結構マジで

2021/01/22(金) 16:28:50.78

非制限用法

2021/01/22(金) 16:30:53.38

直接関係してなかろうと
(例えば)mallocをトリガーとしてスワップすることは事実

2021/01/22(金) 19:42:10.12

>>596
頭大丈夫？
そろそろ黙ったほうが良くね？

2021/01/22(金) 20:55:52.26

確かに直接関係はしないな
syscallというレイヤーが挟まるから

で？それがどうした？

2021/01/22(金) 22:55:39.06

>>597
> (例えば)mallocをトリガーとしてスワップすることは事実
するとは限らんしそもそも仮想記憶のない環境もあるし何が事実だかw

2021/01/22(金) 23:26:46.95

mallocがスワップアウト要求すんのか？　ページアウトですらなく？

2021/01/23(土) 00:33:31.85

mallocは常に成功する、問題はそのメモリにアクセスした時

2021/01/23(土) 00:37:30.76

Cでマルチスレッドなプログラム書くときのデザインパターンというか、オススメの書き方って何かある？

2021/01/23(土) 00:40:17.93

>>603
pthread

◆QZaw55cn4c (ﾜｯﾁｮｲ bfe9-pMYN) · 2021/01/23(土) 00:47:46.15

>>603
私は c++11 以降に移行しました、言語が MT をサポしてくれているのはありがたいです‥

2021/01/23(土) 03:11:07.99

>>600
mallocをコールした結果スワップすることがあるのは事実

2021/01/23(土) 03:12:25.03

pthreadやc++11がデザインパターン？

2021/01/23(土) 07:30:28.10

>>606
>>602

2021/01/23(土) 08:27:23.59

>>602
それは実装次第

2021/01/23(土) 08:43:07.74

>>609
だから>>583の様に言い切る奴はアホだ
って話でしょ

2021/01/23(土) 08:50:59.97

>>602
どんな実装でも仮想アドレスに連続領域が確保できなかったらmalloc呼び出し時点で失敗するんじゃないの？

2021/01/23(土) 09:44:47.82

>>611
実際にアクセスする時には仮想連続領域があるかもしれないじゃん

2021/01/23(土) 09:45:23.82

んで、そんな時こそのスワップですよw

2021/01/23(土) 10:27:22.67

>>611
オーバーレイで仮想空間を拡大する実装かもしれんw
オーバーヘッドがでかすぎるしそもそも今時の環境でそこまでする必要があるとは思えないけど

>>612-612
仮想アドレスと物理アドレスの区別ついてる？

2021/01/23(土) 10:29:19.13

>>614
バカなの？

2021/01/23(土) 10:31:56.75

>>611
とりあえず割り当てちゃうんだよ

2021/01/23(土) 10:36:34.75

アプリとかプログラムのcodeだって全部メモリ上にロードされてないからな、アクセスした時に、あっそこにはプログラム無いから今からロードするわ～、って感じだから

2021/01/23(土) 12:00:13.95

>>615
ネタに突っ込んでるのか、仮想アドレスも理解できてないことを指摘されて悔しいのかをはっきりさせてくれw

2021/01/23(土) 12:08:04.07

>>616
仮想アドレスに連続した空き領域が足りないのに、とりあえずで何を割り当てるんだよ

2021/01/23(土) 12:15:26.28

メモリーマップトファイルでペタバイトの巨大なプログラムを実行するんだい

2021/01/23(土) 12:55:57.12

>>614
俺にレス？なんか間違ってるか？

2021/01/23(土) 12:57:17.63

>>621
おっと612か。すまんかった

2021/01/23(土) 15:00:04.42

>>610
言いきってるように見える？
おれには初心者が「大体こんな感じ？」って言っただけにしか見えないんだけど

意味的には大体合ってるのに
全然違う
とか

最近のOSとしか書いてないんだし

技術的な話をしたいならせめてOSを特定しようよ
勝手に特定のOSを前提にした視野が狭い人みたいだから

2021/01/23(土) 15:27:34.50

>>623
ああ、>>583が言い切ってるは言い過ぎだな
その後の>>586がアホだって言い直すわ

2021/01/23(土) 15:31:32.55

いやどう見ても>>584がアホ

2021/01/23(土) 16:34:32.36

スワップファイルが満杯でmallocが失敗なんて状況に陥る前に対策するだろｊｋ

2021/01/23(土) 16:57:50.33

linux って簡単に process 殺すよね
知らんふりも得意

2021/01/23(土) 18:17:32.24

>>625
アホと言うなら具体的にどこがアホって書かないと恥ずかしいだけだぞ
一応ここ技術板だし

**619** (ﾜｯﾁｮｲ 8701-Dpoh) · 2021/01/24(日) 15:57:31.34

>>619
64bit時代に仮想アドレスに連続した空き領域が無くなることなんか現実に無いだろ

2021/01/24(日) 16:53:19.15

>>629
それなら>>616の時点でそう書けばいいだろう。まあC言語の用途を考えれば後付けで64bitに限った話にしようとするのは馬鹿げているが。
で、>>616のとりあえずって結局何だったの？

2021/01/24(日) 17:27:58.38

>>630
常に成功を返す

2021/01/24(日) 17:35:27.66

実際にアクセスしたときにページフォルト起こしてページを割り当てるとして、そのアドレスに
連続した空きがない状態じゃメモリ割り当てても使えないじゃん。

2021/01/24(日) 22:06:29.57

>>632
日本語が変だぞw

2021/01/24(日) 22:09:51.26

PFでメモリ割り当てられなきゃ、リスケジューリングだアホ

2021/01/24(日) 22:14:36.76

割り当てられたとしても使えないと言っているんだが？それとも既に他で使われている領域を上書きするか？

2021/01/24(日) 22:18:58.47

>>635
4Kページ割り当てて使えないって何なんだよ・・

2021/01/24(日) 22:24:12.86

アドレスに連続した空きがない状態だよ。最初からその話をしてるんだろ？

2021/01/24(日) 22:28:07.43

>>637
4K＋1byte目をアクセスしたらまたPFだから、MMUの勉強したら？

2021/01/24(日) 22:41:44.60

その4Kの中に要求するサイズの連続領域が取れない場合の話だよ。
いったいなにを「とりあえず」割り当てるんだか。

2021/01/24(日) 23:52:48.21

ページングの話とmallocの領域管理の話がごっちゃになってるな

ページアウトされた領域に空きがあるかどうかはページインしなきゃわからないかもしれないが、そしたら他のページを探しに行くだけ

最終的にどこにも空きがなけりゃmallocがエラーを返す
空き容量が十分あっても希望するサイズの連続領域がないなんてケースは実際にもあり得る

2021/01/25(月) 00:08:13.28

仮想アドレスなんだから使う時まで要らないんだから、mallocは必ず成功する。
昨今のOSは全てそう実装されてる。

2021/01/25(月) 00:11:52.23

オーバーブッキングを平気でするホテルみたいだな

2021/01/25(月) 01:00:15.57

>>641
バカ？

2021/01/25(月) 01:17:43.98

iOSのreusableCellの取得も必ず成功するからforce unwrapできるし

2021/01/25(月) 07:05:04.38

>>641
仮想アドレスを使わないOSもあるんだが
まあ安易に「全て」とか使ってるからレス乞食なんだろうな

2021/01/25(月) 08:02:50.43

>>641
勉強しろと言った本人が理解していないのが丸わかり。
使う時まで要らないのは物理メモリであってmallocの時点で仮想アドレスは割り当てなきゃならん。
もし仮想アドレスに空きがなけりゃ「とりあえず割り当てる」なんてのも無理。

2021/01/25(月) 09:02:02.61

実際「mallocは常に成功する」とか根拠なく信じ込んでる奴にはシステム開発は任せられんよ
あとで痛い目みる

2021/01/25(月) 10:01:03.33

>mallocは常に成功する
Win98SEで失敗したしたことあるわ。

2021/01/25(月) 10:44:35.68

　ハードがMMUで物理的に管理するメモリ上限とか、OSが管理する上限とか、論理上いつか確保出来ない状況は絶対来るの分かっているけれど、そこでエラー起こされると打つ手がない(思い付かない)から、そのまま落ちてもらう。
　俺が知らないだけで、良い回避方法とかあるのかな？

2021/01/25(月) 11:32:21.69

>>649
・オーバーコミット機能はオフにする
・ malloc (等) がエラーを返すかチェックを怠らない
・終了処理にどうしても必要なメモリは事前に確保しておいて他に使わない

2021/01/26(火) 07:53:24.98

非常用のメモリを取っとくのは
大昔から当たり前の手法だね

2021/01/26(火) 09:07:24.49

mallocを信じて生きていけばいいさと　君は叫んだだろう

2021/01/26(火) 10:29:56.18

>>652
https://www.youtube.com/watch?v=dAs2yQUNkdU

2021/01/26(火) 11:06:15.63

メモリ不足だと表示して終了しちゃいかんのか？

2021/01/26(火) 11:51:32.15

>>654
それでいい状況ならそれでいいんだよ。
それじゃ駄目なときの話をしてる。

2021/01/26(火) 12:18:24.13

車を運転してたら
「メモリ不足です」と表示されてブレーキが効かなくなった

冷蔵庫が「メモリ不足です」と表示されて止まっていた

ああメモリ不足ならしょうがない
って思う人いるかな？

2021/01/26(火) 12:24:58.20

航空機搭載システムなんかは動的メモリ割り当て自体を禁止してるそうな
でもアルゴリズムによっては動的メモリ割り当てが本質的なこともあるだろうし
事前割り当てしたところで、自前でmymallocを実装するってだけな気はするし
ミッションクリティカルなアプリがどうやってるかはちゃんと調べないと判らんね

2021/01/26(火) 12:29:47.88

航空機なんて特別な例を出さなくても
身の回りの電気製品でソフト要因のエラーが許される物なんてなかなか無いような気がする

2021/01/26(火) 12:41:48.87

>>657
オーバーフローは危険なのでスタックの使用も禁止します

2021/01/26(火) 12:49:59.07

条件を満たせは静的解析でスタック使用量はわかる
整数型はオーバーフローして危険だから禁止

2021/01/26(火) 13:32:22.24

そういえば何の事例だったかでループも禁止 (停止性の証明が難しいので) とかいうのは聞いたことがあるな。

2021/01/26(火) 13:33:43.60

>>659
再帰禁止とか組み込みなら珍しくないぞ

2021/01/26(火) 14:31:35.84

>>661
ループ禁止でコードを組める気がしないのだが
処理したらCPUリセットするの？

ループ以外に何か禁止な条件があるはず

2021/01/26(火) 14:35:21.22

ヒープ禁止は普通にある
禁止というかそもそもヒープ用にメモリが無いとか
設計方針でヒープモジュールを搭載しないとか
あとは確保オンリーなヒープってのもある

PICとかだとハード的に再帰が難しいとか

2021/01/26(火) 21:31:25.38

JALの航空管制制御のプログラム作ったことあるけど、
1ルーチンコードサイズ4KBまでIBM3090アセンブラ
ループ処理などなく、また呼ばれる
可愛い平さん元気かなぁ・・

2021/01/26(火) 21:32:25.57

手塚さんとかも綺麗だったな・・おれまだ学生だったw

◆QZaw55cn4c (ﾜｯﾁｮｲ bfe9-pMYN) · 2021/01/26(火) 23:53:23.00

>>653
コード進行が凄い曲ですね‥‥ギターコードが書いている楽譜ってないですかね？

2021/01/27(水) 00:01:47.99

上の空で書いていたのか

2021/01/27(水) 07:49:16.31

8/16bit時代のハードみたいに起動時にメモリサイズやエラーチェックしてワークエリアサイズ固定で設計するだけだわな。
そういやぁある記事で80286って工業用途を想定してて、エラーが発生して停止したら電源入れ直す以外に再起動できないとか言ってたな。

2021/01/27(水) 07:52:13.49

>>665
ルーチンの呼び元はループ、もしくはループ相当の動きをしてるわけだよね

ループがなければ無限のサイズのコードじゃ無い限り動き続けるのは不可能じゃ？

2021/01/27(水) 07:59:19.27

>>667
非常に簡単なのしか使ってないんで耳コピ簡単じゃ？

2021/01/27(水) 10:55:52.75

>656
>「メモリ不足です」と表示されてブレーキが効かなくなった
上級国民が大喜びな仕様だな。

メモリ不足になるような仕様を避けるのが当然で、
それでも起きるなら安全に停止できる機能を搭載するだろ。
とりあえず電源喪失状態でもブレーき利くようにするとか。

そういやぁどっかの列車で安全装置の故障で自動停車されなくて事故ったってのあって、
安全装置からの信号がONになった時にブレーキが作動するって仕様になってたのを
安全装置からの信号が来なくなったら（ずっと信号ONって不具合もかあるだろうから通信のやり取りでもあるのかな）
ブレーキ作動させるようになったって聞いたわ。

2021/01/27(水) 11:34:46.40

>>667
Monacaの田中秀和って好き？

2021/01/27(水) 12:05:51.10

>>656
飯塚会長なら言いそうだ

2021/01/27(水) 12:09:55.82

>>662
組み込みが再帰禁止なのは
スタック段数が少な過ぎるからじゃないんですか
>>659 と同じことを言ってるだけと思いますが

2021/01/27(水) 12:12:51.81

>>663
常にHALT＋割り込みのみで書かれたものはあったはず

2021/01/27(水) 12:27:46.11

>>675
その理由もあるけどスタックの見積がやりにくいからという理由もある
>>661に類似だけど停止条件トチッたら容易にスタック食いつぶすし

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-n4Sq) · 2021/01/27(水) 13:33:58.28

>>662
貧乏マイコンは数段程度しかないから関数の中で関数呼ぶのすら危うかったりするな…
高級マイコンは16段の見たことあるが

2021/01/27(水) 13:57:29.31

HALTと割り込みでもいつかはどこかで最初からの繰り返しループにならない？
割り込み中でステート管理して、スタックを操作して最初に戻るとか？
出来ないマイコンもありそうだけど