C言語なら俺に聞け 160

2022/12/28(水) 10:40:30.02

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

C17
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4713.pdf

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

C23 最新ドラフト
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3047.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言語なら俺に聞け 159
https://mevius.5ch.net/test/read.cgi/tech/1659623547/

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

2023/02/28(火) 16:44:22.88

>スタックの操作で領域管理
8086系だとスタックレジスタ直接使うと遅いんじゃなかったっけ？
MOV AX、[SP+10]
とかやるより
MOV AX、[TEMP]
...
TEMP: DW 0000h

ってやる方が速いとか。

BASIC時代のマシン語CALL時のレジスタエリアは16バイトってトラウマが・・・。

2023/02/28(火) 21:38:56.96

ダミーセクションって、IBMのメインフレームのアセンブリ言語の DSECTですか？

2023/02/28(火) 21:47:36.63

うん

2023/03/01(水) 20:42:10.06

>>550
auto_reverse
絶対これにしなさい

2023/03/01(水) 23:36:37.44

>>550
cyclic

2023/03/02(木) 00:05:39.48

そういうのはいわゆる自転車小屋の議論になりがち。
そこそこ盛り上がりはすることもあるかもしれないけどあまり意味のある結論は出ないよ。

2023/03/02(木) 03:04:30.24

するか否か、1ビットのフラグの命名に他者を巻き込む議論が本当に必要ですかということか
すなわち名前はflagとかで変数宣言部に日本語コメントでも添えた方が建設的ということだな？違うか？

2023/03/02(木) 07:06:54.36

変数名の付け方は案件による
無論、一般論などない
主観と思い込みで強弁するやつはいるけどね

2023/03/02(木) 09:03:08.54

C-gengo wa mada nihon-go kakenai no?

bool 先頭に戻って検索 = 真 ;

2023/03/02(木) 16:32:03.69

質問の仕方でどういうコード書いてるか垣間見えるのはあるな
int searchtype = FROM_TOPとかBOTTOMとかBACKWARDみたいな持ち方ならそんな質問出ないだろうし

2023/03/02(木) 17:21:24.58

>>551
どのCPUでもダイレクト指定が速いに決まっとりまんがな
レジスタ相対はレジスタにディスプレースメントを加算してからアドレス出力するんだから

2023/03/03(金) 01:19:24.14

>>561
個々の命令の速度で考えればその通りだが今どきの CPU だと
パイプラインに隠れて差が出ない (差があっても観測不能なほどの極小) ってことも普通にあるんじゃないの？

2023/03/03(金) 08:02:43.32

1Hzぐらいの速度で計測すれば何かわかるかもしれない

2023/03/03(金) 08:14:12.93

1Hzだと速度的には1秒周期なので測定の意味がない

2023/03/03(金) 22:40:53.27

もしかするとCPUクロックをそこまで落としてデバッグしたいとかｗ

2023/03/04(土) 06:01:07.88

[sp+10]はメモリアクセス１回だが
[temp]は２回だな
8086だとキャッシュないからメモリのウエイト数の影響をモロに受ける
どciscでパイプラインなんかないし

2023/03/04(土) 19:01:51.83

Cのコードを書くのにアセンブラまで意識するのか、、
立派な心がけあるな
精進しなされ

でも、CPUやコンバイラで違うじゃん、、、

2023/03/04(土) 21:31:31.02

>>566
勘違いしてない？

2023/03/04(土) 21:33:37.98

[sp+10]が１回なら[temp]も１回じゃね
命令のフェッチは数えないんでしょ？

プリフェッチはパイプラインみたいなもんじゃね？

2023/03/04(土) 23:58:44.62

素の8086にsp使えるアドレッシングはないのでbpで…
mov ax, [bp+disp] 命令3～4バイト 8+9クロック
mov ax, [TEMP] 命令4バイト 8+6クロック
と実効アドレスの計算時間に差があったという大昔のお話

2023/03/05(日) 06:15:37.72

>>568
何が？

2023/03/05(日) 06:58:01.26

8086には現在のような深いパイプラインは無いがそれでもEU(Execution Unit : 実行ユニット)とBIU(Bus Interface Unit : バスインタフェースユニット)は独立しており
メモリアクセスと内部のALUはそれぞれ別々に動作する
ある意味初歩的な2段パイプラインとも言える構造で単純なクロックサイクルの加算とはならない

2023/03/05(日) 07:13:34.61

>>571
>[temp]は２回だな
なぜ2回？

2023/03/05(日) 08:11:12.86

>>573
temp: dw 0000h
つまりtempはメモリに置かれている
tempのREADで１回、
[]によるインダイレクトでもう１回
だろ

2023/03/05(日) 12:43:47.21

>>567
昔昔はそういうものだったんよ。
Cは、
・プログラマの責任において何でもできる
・コンパイラはプログラマの意思に忠実であれ（余計な最適化なんかするんじゃねえ！）
ってこと。だから、
a=a+1;と、a++;は違う。
前者は加算命令、後者はインクリメント命令になってほしいというのが、プログラマの意志。
ただ、Cが色々な場で広く使われるようになって、最適化を進めるしかなくなったから、そんなのどうでもいいことになったけど。

2023/03/05(日) 12:47:05.12

>>574
だからさ……それを２回っていうなら、[sp+10]も２回だろ

2023/03/05(日) 13:30:59.36

>>576
何で？
即値はフェッチ時点で取り込まれているのに

2023/03/05(日) 15:05:57.71

>>577
tempもtemp自体は即値だよ
[sp+10]と[temp]の違いはレジスタ相対かどうかだけ

2023/03/05(日) 15:07:29.13

>>575
ま、しかし、昔はコンパイラの最適化がしょぼかったというのもあるな。
CPU (特に 8 bit CPU とか) がC言語等のいわゆる高級言語を全く意識して作られていないというのが最大の問題だったのかも知れないが。

2023/03/05(日) 15:41:40.37

>>578
DWディレクティブで定義してるんだからリテラルの類だよ
命令コードと一緒にフェッチされる即値とは根本的に違う

2023/03/05(日) 16:48:35.64

>>577
CPU仕様によるが
68000では8ビット範囲以内のディスプレースメントは命令中に含まれてたが
8086はどうだっけ…

2023/03/05(日) 17:03:05.50

>>581
いやここはCPU仕様には関係ないぞ
68kにしたってdc.lディレクティブで置いた定数はディスプレースメントじゃないし

2023/03/05(日) 17:27:59.49

間違い、>>581は6809の話だった…

ややこしくなってるが
MOV AX、[SP+10]
がｓｐレジスタから10バイト後を読むなら
MOV AX、[TEMP]
はアドレスTEMPを読む意味だろ

8086ニーモニックをよく知らないが

2023/03/05(日) 17:44:11.51

>>583
6809にしたってFDBディレクティブで置いた定数はディスプレースメントじゃないし

2023/03/05(日) 18:29:27.81

#include <stdio.h>
#include <math.h>

void main(void){
double a, b, c;
double x1;

a = 4;
b = -3;
c = 1;
x1 = (-b + sqrt(pow(b,2) - 4*a*c)) / (2 * a);
printf("%f\n", x1);
}

printfが-nanて表示します。これはどういう意味でしょうか？

2023/03/05(日) 18:43:57.85

>>585
コンバイラかて人間や
こんなつまらん二次方程式の解をなんぞ解きたくない

そう言う意思表示や

2023/03/05(日) 18:53:30.15

>>585

printf("(%f)\n",pow(b,2) - 4*a*c);

2023/03/05(日) 19:03:21.29

あー、なんかわかってきました
そういうことか
サンクス

2023/03/05(日) 19:07:20.35

>>585
sqrt に負数を渡した場合には定義域エラーとなり、定義域エラーのときは処理系定義の値を返す。
その処理系では処理系定義の値というのがｎan だということになる。
言語仕様では詳細は規定されていないけれど
一般に浮動小数点の表現として使われる IEEE 754 などでは非数 (not a number) を表現のひとつとして持ち、
意味のある計算結果にならなかったときは非数がセットされる。
not a number の略で NaN 。

処理系によっては定義域エラーをハンドリングする方法を用意してあることもあるけど、
発生させないように事前にチェックしたほうが基本的には簡単だと思う。

2023/03/05(日) 19:21:09.18

よくわからないんだが
>>574が勘違いだな

TEMP: dw 0000h
はデータ0000hをメモリに置いてそのアドレスをTEMPと定義するという命令(アセンブラ疑似命令)

MOV AX,TEMP
はAXレジスタにそのアドレス値を入れる
MOV AX,[TEMP]
はAXレジスタにそのアドレスの内容(0000H)を入れる

さらに[0000H]の内容を読むにはもう1命令必要になる…はず

6809なら1命令で読めるがあまり使われなかったと思うどっちにしろ遅くなるので

2023/03/05(日) 19:26:59.51

6809の用語でいうとメモリ間接参照アドレッシングだな

2023/03/05(日) 19:30:46.77

ちなみに1命令で読むのはダイレクトページ参照アドレッシングな
6809ではあまり使われなかったけど、6502などではこれが使えないと実質何も出来ない

2023/03/05(日) 23:40:03.63

>>585
nanは、何処かでnanになると、その後の演算全てがnanになる
なのでsqrtのnanが伝搬してprintfがnanを表示した
ゲーム(特に3D)は、油断するとnanを伝搬させてしまう事があって、キャラがグチャグチャに壊れて表示されるのは、それが原因
nanを伝搬させるとデバッグが大変なので、nanを出さないように細心の注意が必要だ
sqrtとか特に割り算(/)に気を付けないといけない

**デフォルトの名無しさん** (ｽﾌｯ Sd33-RL4O) · 2023/03/06(月) 02:42:50.81

>>593
え、割り算でNaN出る？と一瞬思ったけど、0.0/0.0かな？多分
珍しいケースに思える

非ゼロ/0.0でinfが出るのは関数の根を簡易に求めるのに重宝するけど(逆数が極)、NaNが出る可能性にまでは気を配って無かったのでナイス指摘

**デフォルトの名無しさん** (ｽﾌｯ Sd33-RL4O) · 2023/03/06(月) 02:51:49.35

>>589
IEEEはほぼCの為に制定されたようなものでは？
fpuなんて改造してナンボな本場のnumber cruncher達(ほぼFORTRAN/Fortran)は最近までIEEEなんて最近までガン無視だったわけで
今は標準モジュールにIEEEサポート入って普及してるけど

2023/03/06(月) 02:52:25.09

>>594
3Dだとベクトルのノーマライズをしょっちゅうするけど、これはベクトルの長さで割るけど、事前に長さのチェックが漏れてると、ゼロで割ることになる
そういう特殊な状況は確かに稀なんで、リリースに残ってしまうことがある

2023/03/06(月) 03:02:31.96

>>594
良く考えたら、rsqrtがnanを返してる気がする…

2023/03/06(月) 03:14:56.83

>>596
俺環ではDBL_MIN/0.0でもちゃんとinf吐くから、ノーマライズされるべきベクトル(分母)が正確に0.0というのはdoubleでは考えにくいような…
3Dだとsingle以下のfloat16/8とか使うと聞くから、極端に精度が低過いと起きるのかしら？

2023/03/06(月) 07:22:56.30

分子、でした

>>597
かもね

あと0.0/0.0以外の四則でもnanが出るケースは他にも思い付く(今思い付いた)
inf/infとか

まあ実数関数求根/方程式を解く目的なら(精度上での)解に達した証がinfだから、発生した時点で必ずbreakするし、事実上到達し得ない計算だけど

定義域がパッチワークみたいな複素関数で一々入力のチェックなんてやってられないし、nanには静かに伝播してもらわないと困るけど
とにかく欠損値の無い有限の実数値だけが欲しいだけ(例えばグラフィック)なら、fenv.h/signal.hで例外をヲチしてSIGFPE投げるとか、あるならsnanモードにするとか

2023/03/06(月) 14:19:01.34

この糖質3歩手前みたいな文章はいつもの彼かね
>>385とか>>523とかと雰囲気が同じだが

2023/03/06(月) 22:43:56.50

このような状態を「思考障害」と呼び、Cプログラマの2割ほどが患っていると言われています

2023/03/07(火) 07:51:33.34

次の議題は『gotoは活用すべきか全面廃止するべきか』でうわぁなにをするやめ・・・

2023/03/07(火) 13:35:22.89

行き先はhellで

2023/03/07(火) 19:20:42.99

いいか？C言語について俺に聞け
VAX11でcのコンバイラをcで作ろうとしたのはワシだ
当時のyacc lexに謎の挙動があって嫌気がさして失敗したが、、？

2023/03/07(火) 19:38:38.87

創造主を作ったのは、オレだ、みたいな

2023/03/07(火) 22:59:35.82

インド料理屋で、NANを頼みました。

2023/03/07(火) 23:06:20.52

>>605
そういえばID論ってのがあって、何か高度な存在が人間や宇宙を作ったってやつだが(昔ながらの神が作ったというのと似ているが神ではない)、
それならばその高度な存在はどのようにして作られたのか？それはまた別の高度な存在によって作られたのか？
とするとその存在も別のもっと高度な何かに作られたのか？という具合に無間ループになってしまう。

2023/03/07(火) 23:18:55.74

ID論てのは地球のたった数億年で生命が生まれたのが信じがたいってだけで、
元の生命はどこかでもっと時間をかけて生まれたんじゃないかという話。

2023/03/08(水) 00:40:31.06

興味深いお話ですがスレ違いです

2023/03/08(水) 08:33:16.96

Cインタプリタなら昔作った
当時こういうの流行ってたし
いくつか書籍化もされてる

2023/03/08(水) 08:47:42.99

どうせならB作ればよかったのに

2023/03/08(水) 09:22:43.28

>>607
ブートストラップローダという名前がついたのと似てるなｗ
コンピュータ起動時に次々と自分より大きいローダを読み込んで起動する様が「自分の靴紐を持ち上げて空を飛ぶ」ような無茶に思えるから

2023/03/08(水) 12:12:57.95

鉄則

1 困った時のGOTO勝利
2 CALL関数はマクロ展開のヘッダファイル
3 SQL呼び出しはstructの前に敗北
4 while こそループの王　forは邪教
5 そこでbreakするな
6 switch文が見えたらバグの腐海

2023/03/08(水) 12:52:17.24

でもswitchの巨大状態ループ便利なんよね
バグの温床かもしれんけどメンテは凄く楽

2023/03/09(木) 09:47:34.15

あれやって条件成立まって　あれやって　を状態遷移しながらぶん回すときは
状態変数を int にして巨大switch にしたくなる

けど　こことここの間に新たな状態差し込みたいってときに　状態変数値どうしよう？　っておよよする

2023/03/09(木) 09:53:04.07

状態変数は列挙型にしておけば状態の追加や修正に合わせて具体的な値は勝手に変わる

2023/03/09(木) 10:05:04.42

>>616
おおよそそれが一番良い解法なんだろうけど
次の状態へ　ってのを同じ記述でいきたいよね　と　（return sts+1）

2023/03/09(木) 10:37:21.41

FSMだね
古典的なハード設計では常套手段

2023/03/09(木) 10:42:55.43

状態マシンの欠点は割込みや並列処理の扱いが非常に厄介なところ
複数箇所から状態変数を更新される可能性を考慮すると泥沼に嵌る

2023/03/09(木) 10:48:34.22

更新処理は一カ所にして、順番待ちにするのが吉

2023/03/09(木) 10:54:14.30

通常処理のメインループと外部割込みの割込みハンドラ(特に緊急割込み処理)を同じキューで順番に更新すると処理が破綻しないか？

2023/03/09(木) 11:08:05.83

ノンプリエンプティブなマルチは今でも普通にやる
問題なきゃそれが楽だから

2023/03/09(木) 11:12:46.89

組込みではプリエンプティブが一般的
応答性最優先でCPUの実行権を強制的に奪わないと最悪の場合は事故に繋がる

2023/03/09(木) 13:56:50.62

問題なきゃって言ってるのに最悪の場合って・・・

2023/03/09(木) 14:41:35.25

組込みシステムのタスクスケジューラーでノンプリエンプティブマルチタスクって地雷源もいいところだろ
自殺願望でもあるのか

2023/03/09(木) 16:23:16.50

組み込みと一言で括られてプリエンティブで良い悪いの議論をされるの抵抗ある人がここにいるけど俺以外でもかなり多いんじゃないかな
プリエンティブはタスクスイッチ自体が割り込み禁止を伴うクリティカル処理だからそれが組み込みに適しているとはいい難い
タスクスイッチのレジスタ退避復帰で何十サイクルも消費して待ってる割り込みが処理できずにいるのが許容できかは案件により過ぎる
片やノンプリでは少なくとも割り込みを汚さない
従って俺はどんな案件でも通用するノンプリでまず検討する事を推奨したい。プリエンでもタイミング的に問題ないねとなったら移行すればいい
いきなりプリエンありきで作る方が自殺行為に見える

2023/03/09(木) 16:36:55.55

タイミング的に問題ないという判断の前提が一定時間以内に必ず応答出来るという保証が必要
応答時間が保証されないノンプリエンプティブ環境でシステム設計とか殆ど不可能にしか思えない

2023/03/09(木) 16:39:33.97

割り込みにも大別してすぐに応答が必要なもの、メインのキューに回してもよい優先度低のものの2種類存在する
プリエンティブを採用できるかどうかは前者の応答にどれだけの遅延が許容されるかという事になる
割り込みハンドラを普通にCで書くとハンドラ内で使用するレジスタの退避コードが適当に生成されるが、
許容時間によってはインラインアセンブラで最小限のレジスタで書かざるを得ない場合がある
そういう案件だとプリエンティブの採用はありえない

2023/03/09(木) 16:41:41.13

あーこれってノンプリエンプティブを何か誤解してる奴が話に参加してるってだけか
理解したわぁ

2023/03/09(木) 16:45:38.25

623 625 627 これ同じ人か
もうちょっと勉強してから参加しようね

2023/03/09(木) 16:48:44.72

いやその通りだよ
保証出来るようにアセンブラすら併用せざるを得ないのが泥沼の組込み開発
それでも駄目ならソフトウェアでなく専用ハードで物理的に処置する方向を検討する

2023/03/09(木) 16:57:03.69

ちなみにとある産業用モータドライバー基板開発のお話し

2023/03/09(木) 17:02:44.72

>>631
タイミング調整にアセンブラ併記は組み込み案件でなくても普通に行われてるでしょ
それと専用ハードって簡単に言うけど、大抵の組み込み案件ってハードの部品点数減らしていく傾向だから非現実的な提案にしか見えないよ
簡単に用意できるなら苦労しないし廃業だわ

2023/03/09(木) 17:08:56.67

そもそも俺が今相手してる奴って全員ID変えてどちら様だよ
議論もまともにできず論点ずらしにも失敗してお前ほんと今みじめだぞ

2023/03/09(木) 17:11:58.61

よくみたらこれﾜｯﾁｮｲスレじゃん全部ばれてて草

**デフォルトの名無しさん** · 2023/03/09(木) 17:14:52.84

623はともかく 625と627はワッチョイ同じじゃん

2023/03/09(木) 17:20:18.66

要はトータルコストの問題
この件は高価な材料(主にレアアース)を多量に使用したモーターを安価な代替品に置き換えて
同等の能力を発揮させるために高度な電子制御(いわゆるベクトル電流制御)で駆動するのが狙いだった
実際メインのマイコン処理だけでは追い付かずセンサ周りの処理は別チップのDSPを採用してる
結果的に制御系のコストは増加したが全体としては前システムの約7割程度の費用に抑えられた
長文失礼

2023/03/09(木) 17:22:17.10

>>623も言ってることおかしいけど別回線か何かだろ
そもそも組み込みはその最悪ケースを見積もりながら設計していくって前提知識がないし

2023/03/09(木) 17:22:30.90

自動運転車での危険回避行動のロジックとか、聞けるのかと楽しみにしてたのに

2023/03/09(木) 17:34:00.29

電気・電子
https://rio2016.5ch.net/denki/

2023/03/09(木) 17:41:37.81

ハード絡みの話が出るのは仕方ないだろ
COBOLじゃないんだから

2023/03/09(木) 17:50:21.11

>>637
これを1行で要約するとヤバいなあ…設計見積もりガバガバで採用したマイコンで処理できなくてハード追加調達して結果的に動いたわろたってことだろ
最近のH3失敗もだけど予算まともでもこういう経験値の奴らで作られる可能性を考えると寒いなあ
暖ったけえ話を知りたい

2023/03/09(木) 17:54:10.14

若いのに頭固いっていうのかな
他人の言うことを聞く耳持たず自分の思い込みを自画自賛してるよな

2023/03/09(木) 18:26:27.17

このスレの年齢層はとても高い

2023/03/09(木) 18:29:05.52

精神年齢は？

2023/03/09(木) 18:33:49.17

疑心暗鬼で個人攻撃
プログラムではなくてﾜｯﾁｮｲを語る
世も末だな

2023/03/09(木) 20:35:29.98

最悪の場合は事故さん(>>623)がなんか被害妄想を始めてるけど
俺の主張は>>626以降で出してるから後は興味ないんだわ
反論があるならすればいいがせめてこのスレと関係ある技術的な話をしてね

2023/03/09(木) 20:49:30.54

組込みマイコンでは常識的なレジスタバンク切替やコンテキストスイッチングのことに触れずに
レジスタ退避や復帰でサイクル消費するとか言ってる時点で組込み開発の経験が無いんだろうな
ということは分かる
余程の簡易的なものを除けばメインと割込みでいちいちスタック経由でレジスタ退避するような
間抜けなマイコンは無いだろ
それはx86のような汎用CPUの構造だ

2023/03/09(木) 21:04:47.03

似たような意見が出てきたので補足するとバンク切替なら大体2,3クロックでレジスタセット丸ごと切り替わるから割込みのオーバーヘッド自体は大した負荷にはならない
反面x86の様な大規模なレジスタ群は持てないのでそもそもの用途と構造が違う

2023/03/10(金) 06:51:36.78

ドヤってるけど大したこと言ってないな

2023/03/10(金) 07:19:22.02

そう言うなら後出しではなくて自分から大したこと語ってくれ