Q&A
ありがとうございます。
組み込み系をではく、普通のシステムを勉強したいので、そのように解釈したいと存じます。
組み込み系ではない普通のLinuxの場合には、定数はアドレス空間のrodataというセクションに置き、ROMのように書き込みを不可とする設定を敷いて対応していると理解できました。
とある書籍に、
「文字列リテラルやconst定数は、ROMを消費する」
というような記述がありました。
これをどう解釈すべきでしょうか。
例えばlinuxでc言語の、
void main(){ char string[] = "hello"; }
を実行した場合、文字列リテラルはこのプログラム(プロセス)の仮想アドレス空間の一角(main関数のスタックフレームでもヒープでもない他のどこか)に入るのではないのか。
と考えてしまいます。
そもそもここで言うところのROMとはRAMと実体が別のものなのか...
下記のサイトでは、
https://www.dospara.co.jp/5info/cts_str_pc_ram
ROMとは、半導体などを用いた記憶素子および記憶装置の一つで、製造時などに一度だけデータを書き込むことができ、利用時には記録されたデータの読み出しのみが可能なものを呼びます。
とあります。
このROMに書き込むということなのでしょうか。
このあたり勉強不足で理解に苦しんでおります。
回答3件
0
具体的にハードウェアのどこに対応付けなければならないということは C の言語仕様で決められてはいません。 スタックとヒープという言葉も言語仕様には現れません。 オブジェクトが維持される寿命に関しての保証 (処理系に対する要求) があるだけです。
その上で一般的な話をするのであれば、普通のパソコンでは文字列リテラル (書き換えが禁止されたオブジェクト) が割り当てられる場所は RAM と同じものです。 ただし、現代のハードウェアは様々な複雑高度な管理機構を持っていて、メモリにページ単位で属性を付けることも出来ます。 文字列リテラルを割り当てたメモリに書き込み禁止属性を付けているということはあるでしょう。
そしてもちろんハードウェア的に書き換え不可能な ROM であったとしても言語仕様的には OK です。
言語仕様とそれを実現するための仕組みは別のレイヤの話なので混同しないようにしてください。
投稿2022/04/25 03:28
総合スコア5466
0
「文字列リテラルやconst定数は、ROMを消費する」
これをどう解釈すべきでしょうか。
「文字列リテラルを書き換えることはできない」と解釈してください。
ROMというのはハードウェアの話で、一般の人がPC上でプログラミングして実行する場合には関係ありません。
Linux の場合は文字列リテラルは rodata というセクションに配置されます。OSがプログラムをメモリにロードするとき、このセクションのメモリページには書き込みができないよう設定します。
投稿2022/04/25 03:27
総合スコア20927
0
ベストアンサー
下記のいずれかです。
・その著者の勘違い
・その著者はコードセグメントないしコードブロックの事をROMと呼ぶ習慣がある
・機器組み込みプログラムなどで、プログラムがROMに書き込まれて機器に組み込まれる場合、文字列リテラルもROM領域に書き込まれると言うことの説明
投稿2022/04/25 03:26
総合スコア84677
お世話になっております。
まさに3点目のことを著者は言いたかったのではないかと感じました。
組み込みの場合、主記憶装置のみで行くケースもあると聞きましたが、
ROMを使用する場合、rom(フラッシュメモリ等)がSSDのような外部記憶装置の代わりを担うというような認識でよろしいでしょうか?
それであれば、ROMを消費するという意味が分かります。
つまり、単にプログラムの容量がその分だけ増えますよということが言いたかったのか...
あとすみません。
なぜ、普通のローカル変数などはROMを消費するという中に入れていなかったのでしょうか?
組み込みシステムの説明の中で出てきたのならそうですね。
ROMには書き込めない(※)ので、SSDとかとは違います。
変数はRAMに置かれます。
※「ファームウェアアップデート可能」という機器であれば、ROMの更新も可能ですが、変数に書き込むような気軽さではないですね。
ありがとうございます。
組み込み系を軽く触れた書籍ですので間違いないかと存じます。
ROMとは簡単に言えばSSD等の読み出しだけできるバージョンの外部記憶装置といった感じでしょうか...
組み込み系について少し調べてみますと、
おっしゃる通りプログラムの不変の部分は全てROMに置き、そのほかの変動するものはRAMに置くと説明がありました。
確かに、最初に一度作成したコードを変更しない前提なのが組み込み系だと思いますので、ROMにそうした不変のものを置くことはROMが書き込みが不可能であるという点と上手くマッチするため合理的なのだと理解することができました。
いいえ。外部記憶では無く、メモリーの一種です。CPUの実行する命令はメモリー上に無いといけないと言うことをご存じない？
電源を入れて最初に動くプログラムはROMに書いておく必要があります。PCだとBIOSとかUEFIはROMに書かれています（上に書いた「ファームウェアアップデート可能」なので更新可能ですが）。PCだとその後外部記憶からOSを読み込みます。
ご訂正ありがとうございます。
CPUの実行する命令はメモリー上に無いといけないということは存じておりましたが、
少し混同してしまっていました。
ROMをメモリの一種だと理解訂正しますと、つじつまが合いました。
PCだとその後外部記憶からOSを読み込むが、組込みの場合には組込み用のLinuxやプログラム諸々、定数もROM上に置く(メモリにロードした状態にしておく)ということですね。
普通のPCだと、定数でも変数でもRAMに入るが、組込みの場合にはROMに定数を、変数をRAMに置くということをしっかり覚えておきます。
普通のPCのように、組み込み用でないOSだと、組み込みでROMに相当するメモリエリアは、OSが書き込み禁止にします（メモリ管理ユニットにそういう指示をする）。
なので、
char *p = "abc";
p[0] = 'A';
みたいなことをするとこけます。
ありがとうございます。
両者をきっちり区別することができました。
-------------------------------------------------------------------------------------------
定数は組み込みかそうでないかで実現方法が異なる。
組み込みでない場合は、RAMのROMに相当するメモリエリアを書き込み禁止にすることで、書き込み禁止とする
組み込みの場合は、ROMに置けばROMなので必然書き込み禁止となる
「文字列リテラルやconst定数は、ROMを消費する」という意味はこういうこと。
-------------------------------------------------------------------------------------------
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。
2022/04/25 09:06 編集