C++相談室 part137

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん (ﾜｯﾁｮｲ 12c3-4saf)
垢版 |
2018/08/27(月) 16:02:00.94ID:vY3QDx2y0
次スレを立てる時は本文の1行目に以下を追加して下さい。
!extend:on:vvvvv:1000:512

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part137
https://mevius.5ch.net/test/read.cgi/tech/1531558382/

このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.103【環境依存OK】
https://mevius.5ch.net/test/read.cgi/tech/1530384293/

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

----- テンプレ ここまで -----
VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured
2018/09/06(木) 18:25:26.14ID:c/F3wcvdM
>>263
関数内の最適化のみで考えればいいだけなんだからきりはあるだろ
つまりインライン展開なし、LOTなし

ABIを意識するのは全然特殊じゃない
言語間のよびだしはざらだし、
クラッシュダンプにスタックトレース残すためにあえてインライン抑制したりする
お前が経験不足なだけだよ
2018/09/06(木) 18:41:01.02ID:IzfX8EX20
>>264
そっちの脳内でどんな前提を置いてるかなんて知らんがな。
2018/09/06(木) 19:48:52.61ID:c/F3wcvdM
>>265
コテハンの割に薄いやつだ

もとの質問は関数から値の返し方についてどちらが速いかという質問なんだから、
関数のインライン展開がないと仮定すれば、定性的に答えられる問いだ
かつその仮定は別に現実ばなれしてるわけでもない

それをお前はその知識が有用であることも知らずに考えるだけ無駄とかぶったぎってるわけだ

このスレは相談室
無駄なのはそういうお前の存在ではとおれは思うわけ
267デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/06(木) 20:12:24.70ID:64ZwjQvb0
malloc()したﾋｰﾌﾟはfree()解放するのは当然
ｳﾝｺしたあと水で流さないぐらい行儀が悪い
2018/09/06(木) 20:23:27.14ID:itCyrIVk0
メモリーリークは基本的に自分でNEWすることで起こる。
最近のC++では基本的に自分でNEWすることはほとんどない。
動的なメモリが欲しければvectorを使う。
後は、ポインタにインスタンスを確保しないで関数に投げるとかもやってはいけない。メモリを破壊することになる。
あと、どうしてもnewが必要だったりGCが必要な時はスマポを使う。

そういう作法でやると、ユーザーコードでnewすることはほぼない。
2018/09/06(木) 20:47:20.81ID:itCyrIVk0
えーっと、関数にポインタを投げる時はその関数の仕様を精査して扱わないとほんとやばい。
2018/09/06(木) 21:04:04.33ID:bw6Oo6uj0
newとdeleteを使いこなせない補助輪付C++グラマってのも問題だけど
2018/09/06(木) 21:10:02.71ID:iyjSCMca0
スマポはGCじゃねえよ ぼけ
2018/09/06(木) 21:14:09.31ID:itCyrIVk0
shared_pointerは参照カウントっていうGC機構ですよ？
2018/09/06(木) 21:17:21.85ID:itCyrIVk0
>>270
2018/09/06(木) 21:18:00.66ID:itCyrIVk0
おっと。
>>270
補助輪があろうがバグ出すよりマシだと思うよ。それと保険的な意味もあるし。
2018/09/06(木) 21:18:22.90ID:iyjSCMca0
CGってそもそも何だ？
アプリが「今、解放しろ」というタイミングで動くのをGCというならfreeもGCだぞ
276デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/06(木) 21:20:24.16ID:64ZwjQvb0
いつ解放されるか分からないとか
そもそもｵﾌﾞｼﾞｪｸﾄの外部でﾎﾟｲﾝﾀの生存期間を制御できてないｺｰﾄﾞがﾔﾊﾞｲわ
2018/09/06(木) 21:24:58.09ID:itCyrIVk0
>>275
そういう、広義解釈は話題が滅茶苦茶になるのでやめましょう。
GCはガベージコレクションだよ。freeは解放関数だよ。
シェアードポインターの解放タイミングは普通コントールしないのでGCだと思ってます。
というか、開放タイミングが未定だからシェアードポインタ使うんじゃないですか？
2018/09/06(木) 21:27:59.96ID:itCyrIVk0
それは全能でないとバグが出ちゃうのでこういう機構が発明されました。
書くときは大まかには寿命は把握しているとは思うのですが、細部までは精査しないことが多いんじゃないでしょうか。
自分のクローンに共有オブジェクトを持たせるときとか普通に書くと滅茶苦茶大変ですよ？
2018/09/06(木) 21:37:24.49ID:iyjSCMca0
>>277
広義解釈してるのはおまえだよ
シェアードポインタの解放タイミングはデストラクタだろうがよ
freeと何がどこが違うんだよ
おまえどこまでオレオレ空想してるんだ？
2018/09/06(木) 21:38:17.39ID:itCyrIVk0
>>276
それはある程度アクセス権の範囲を考えれば何とかなりそうな予感。
それと開放した後のメモリ叩かれた時とどっちがいいか相談ってことで。
2018/09/06(木) 21:41:02.92ID:itCyrIVk0
>>279
複数の共有がある場合、一個のデストラクタが走った程度では解放されませんよ？
freeは別にデストラクタに仕込む必要ないじゃないですか。
それと、複数の共有がある場合適切にfreeできますか？
2018/09/06(木) 21:42:45.15ID:JT+LXegNM
コレクションしてないのになんでgcなんだよ。アホすぎる
2018/09/06(木) 21:43:23.10ID:bw6Oo6uj0
シェアードはマルチタスクには不向きだし
2018/09/06(木) 21:49:40.12ID:itCyrIVk0
コレクションサイズが1のコンテナはないのですね。まぁ、冗談は置いといて。
物事を知ってるなら後は任せました。無知でごめんなさい。
2018/09/06(木) 21:51:04.10ID:itCyrIVk0
>>283
マルチスレッドならアトミックにできた気がしますけど、どうでしたっけ。
マルチプロセスならそもそもメモリ空間が違うのでお門違いですね。
2018/09/06(木) 22:00:46.00ID:N2ZzCqNY0
>>272
参照カウンタは普通GCに含めないのでは？
2018/09/06(木) 22:02:22.60ID:itCyrIVk0
https://ja.wikipedia.org/wiki/参照カウント
こういう記事を見つけました。
2018/09/06(木) 22:04:19.65ID:itCyrIVk0
ホントお前ら人殺すことばっか考えてるよな。
そういうのは良いから初心者殺すのマジやめて。
2018/09/06(木) 22:04:41.28ID:vgkXomJH0
gcの一実装として参照カウンタ方式があるだけで、スマポはgcじゃない。
2018/09/06(木) 22:06:33.66ID:itCyrIVk0
それならそれでいいです。
2018/09/06(木) 23:18:28.17ID:8cSq8zHP0
>>288
横からでスマンが、他の初心者に偉そうに大嘘教えてるやつを初心者とは普通呼ばない
都合のいいときだけ初心者ヅラはだめよ
2018/09/06(木) 23:34:23.61ID:3bNAvGWPM
>>262
ありがとうございます
forの中で何回も関数呼び出すので前者が良さそうですね
2018/09/06(木) 23:34:43.07ID:itCyrIVk0
>>291
嘘の範囲を限定しないと俺大罪人じゃないですか。
まぁ、いいや。

メモリーエラーで落ちろ。
2018/09/06(木) 23:34:53.93ID:N2ZzCqNY0
>>289
スマートポインターのうち std::shared_ptr は参照カウンタを内蔵しているのだから
①参照カウンタが GC、故に、std::shared_ptr も GC
②参照カウンタが GC でない、故に、std::shared_ptr は GC でない
①②のどちらかしかない
参照カウンタが GC なのにスマートポインタが GC でない、というのは矛盾しているのでは？

私は「参照カウンタは GC じゃない」と思う
2018/09/06(木) 23:48:27.91ID:8cSq8zHP0
>>293
>>251
もちろんインライン展開される場合は除く（展開されたら多分同じコードになると思うが

あと
>>255の質問に対して>>268は不適切、>>268から話が変な方向に行ってる
OpenCV使ってるって言ってるし、間違った使い方してリーク（>>255がnewしたのではない部分）
の可能性の方が高いと思うけどね
2018/09/06(木) 23:52:47.61ID:HW23dE280
>>294
なにも矛盾してないよ。

GCの一実装として参照カウント方式を使ったものがある。
スマホの中に参照カウントを使ったものがある。
だからといってGC=スマポじゃない。

エンジンで走る車があって、エンジンで飛ぶ飛行機があっても、車は飛行機じゃないのと一緒
2018/09/07(金) 00:04:30.19ID:WaHB6+zk0
>>296
＞エンジンで走る車があって、エンジンで飛ぶ飛行機があっても、車は飛行機じゃないのと一緒
is-a の話の例えに has-a の話を使うのは論理的ではありませんね
「車 has エンジン、飛行機 has エンジン」の話と「参照カウンタ is GC、スマポ is ＧＣ」の話は別ですよ
2018/09/07(金) 00:12:24.59ID:YR0a2VfT0
>>297
いやgc=参照カウンタなんて言ってないんだけど。
gcに参照カウント方式を使っているものがあるといってるの。はじめからhas_a関係しか言及してない。
2018/09/07(金) 00:15:18.97ID:WaHB6+zk0
>>298
＞いやgc=参照カウンタなんて言ってないんだけど。
そこに「＝」記号を使うのがおかしいのでは？
真偽は別として、記号を使うのなら ⊂ とか ∈ じゃないですか？
2018/09/07(金) 00:17:33.32ID:EL+7DMJm0
参照カウンタは GC だろ。
2018/09/07(金) 00:22:54.57ID:EL+7DMJm0
>>266
元々の質問はどちらが速いかではない。
2018/09/07(金) 00:53:47.67ID:WaHB6+zk0
>>300
では std::shared_ptr も GC でしょうか？
2018/09/07(金) 01:28:57.33ID:EL+7DMJm0
>>302
私は std::shared_ptr を GC だと思ってるよ。
解放のタイミングがコンパイル時に確定しないようなのは GC だろってくらいのカジュアルな認識だけど。
基準の妥当性はともかくとして、とにかく私はそういう基準で考えてる。

QZ 氏の中で std::shared_ptr と GC を隔てるのは何だと思ってるの？
2018/09/07(金) 02:17:04.39ID:obwFdGuS0
Qt5触ってみてるけど生ポインタばっか使ってて気持ち悪い、これでいいのか？
2018/09/07(金) 07:52:15.03ID:KDtg+GuV0
GC ⊇ shared_ptr
2018/09/07(金) 08:31:14.42ID:M/DU9wQ1M
>>304
生は触って気持ちいいものしかないよ
2018/09/07(金) 11:18:53.99ID:f8oqes6vH
parentクラスがあってそれを継承したchildクラスがあります。
vector<parent*> getParentlist(){//省略}でこんな感じでparentクラスのポインタのリストを返す関数があります。
それでここからが質問なのですが、
vector<child*> childList = (vector<child*>)getparentlist();
こういうコードがあってびっくりしています。
機能はしているみたいですがこれ作法的にオッケーなんでしょうか。
ダウンキャストは良くないと聞いていたりそもそもこれダウンキャストなのかとかちょっと分からないんです。
よろしくおねがいします。
2018/09/07(金) 11:20:41.99ID:/+XJI6DP0
>>281
話が通じてないなあ。。。
デストラクタでuse_count見てるのは当たり前だろ
シェアードポインタの話だぜ？

解放のタイミングがアプリのロジックに従属してるかどうかって話なのに
何を言い出すかと思えば
2018/09/07(金) 12:35:44.17ID:KEvh9jix0
>>307
試せる限りのコンパイラではそもそもコンパイルエラーだったけどなぁ
vector<parent *> &getParentlist();
じゃなくて？？
その上で
(vector<child *> &)getParentlist();
なら通るよ、通るし普通に使えるはず
2018/09/07(金) 13:23:59.20ID:f8oqes6vH
>>309
失礼しました。ポインタ抜けてました
vector<parent*>* getParentlist(){//省略}
で
vector<child*>* childList = (vector<child*>*)getparentlist();
こんな感じです
2018/09/07(金) 13:38:44.48ID:KEvh9jix0
おいおい・・・ｗ

ポインタでも同じことだ、そのキャストをreinterpret_castだと考えたらわかるはず
それでわからないならC++の継承の仕組みを勉強すべき
2018/09/07(金) 16:38:51.51ID:EL+7DMJm0
基底方向へのキャストの実態は
サブオブジェクトまでのオフセット分だけアドレスをずらす操作なので、
>>310 のような場合にはそれは実現できない。
単に無理やり型を合わせているだけになってしまっている。
C++ 的にはあかんやつ。

ただ、実際に動いている理由をあえて考察するなら、
child が parent を単一継承した場合などには parent が child の先頭に配置されるようなメモリレイアウトにコンパイルされる可能性が高く、
アドレスをずらす量が 0 で済んでしまうので
型を読み替えるだけでも不整合が顕在化せずに動作してしまうということは有りうる。
あくまでも、処理系がやってることが偶然に組み合わさって動いているというだけなので、やめといた方がよい。
2018/09/07(金) 17:46:14.93ID:KEvh9jix0
そこまでご丁寧に説明してやるのなら、「Cスタイルのキャストは使うな」、を教えるべきじゃねーの？
2018/09/07(金) 18:34:49.58ID:mMEjLB3K0
parent * が child * なのかも分からないのに強引にキャストするのか
そこまで型無視するなら void * でいいんじゃない 知らんけど
2018/09/07(金) 20:57:02.69ID:EL+7DMJm0
>>313
せやな。
2018/09/07(金) 20:57:32.70ID:EL+7DMJm0
C++ スタイルのキャストを、特に入門者の内は static_cast だけ使っておけばまあまあ大丈夫。
static_cast でエラーになるような変換は C++ 的にはだいたいイケてないやつ。
2018/09/07(金) 20:59:50.93ID:/+XJI6DP0
アホか
dynamic_castが使えないくせに初心者皆伝なんぞやれん
2018/09/07(金) 22:12:33.50ID:WaHB6+zk0
>>303
＞私は std::shared_ptr を GC だと思ってるよ。
…GC発祥の地 lisp の使い手のはちみつさんがそうおっしゃるのなら、私の中の定義も書き換えないといけませんね
mark and sweep GC って、プログラム本体とは関係のないところで、それこそメモリの死にビットをも使ったりして、ごそごそやる、というイメージがあります

＞解放のタイミングがコンパイル時に確定しないようなのは GC だろってくらいのカジュアルな認識
＞std::shared_ptr と GC を隔てるのは何

「解放のタイミングを図る機構が表のプログラムとは独立している」
くらいでしょうか？表のプログラムからの参照が途切れることと free() されることに直接の関係性がない mark and sweep とその発展型のみを GC とみなしています
といって、GC の本は一冊しか持っていません
2018/09/07(金) 22:36:10.40ID:OXR/kEGJ0
は○ち○餃子はLisperか

言語選びは慎重にな！
ttps://postd.cc/lisping-at-jpl/
2018/09/07(金) 22:37:40.84ID:EL+7DMJm0
>>318
定義がひとつでなきゃならないとは思ってないよ。
だから自分なりに一貫した考え方があるのなら、それはそれでいいんじゃないかな。

ただ、「表の機構と分離されているか」という考え方だと、それは抽象化の仕方であって、メカニズム (アルゴリズム) の基準ではないね。
その基準だと std::shared_ptr が GC ではないとは言えても参照カウンタが GC ではないとは言えない。
2018/09/07(金) 22:45:54.86ID:Gz5E8uWmd
お返事遅れました>>213です
Overlappedの設定をCreateNamedPipe時点に引数として渡す構造体ことで同期制御を実現できました
ありがとうございました

メモリリーク探しきつい....
2018/09/07(金) 22:58:55.32ID:nLV7kBrTa
すみません質問があります

メインスレッドと通信スレッドがいて、
通信スレッドはメインスレッドのオブジェクトポインタ持ってます
メインスレッドはクラス化されており、スレッド用のstatic関数以外にもメンバ関数を持っています

通信スレッドがデータ受信して、メインスレッドの別のメンバ関数を呼び出した時、
メインスレッドで実行していた処理はどうなるのでしょうか？

メインスレッドで実行していた処理はあくまでもstaticな関数の処理で、staticでない他のメンバ関数は別に処理されるのでしょうか？
2018/09/07(金) 23:04:25.63ID:EL+7DMJm0
>>322
説明が分かり難いなぁ。

通信スレッドとやらから呼び出した関数は通信スレッド上で走っているし、
メインスレッドはメインスレッドで走っている。
2018/09/07(金) 23:21:53.12ID:nLV7kBrTa
>>323
分かりずらくて申し訳ありません..
もし通信スレッドで呼び出した別のメンバ関数内でメンバ変数を変更した場合、
メインスレッドでもメンバ変数の変更値を参照できるのでしょうか
2018/09/07(金) 23:22:52.89ID:RvuhpJx80
スレッドとメモリの関係がよく分かってないようだ
2018/09/07(金) 23:23:07.46ID:OXR/kEGJ0
微妙な質問ｷﾀ
2018/09/07(金) 23:23:45.59ID:KDtg+GuV0
解放のタイミングがコンパイル時に確定しないのは shared_ptr でも同じでしょ。
任意のshared_ptrインスタンスを別のインスタンスにコピーした場合、解放のタイミングはコンパイル時に確定できない。
2018/09/07(金) 23:25:23.60ID:RvuhpJx80
vectorがconstexpr対応できるならshared_ptrもできそう
329デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/07(金) 23:26:09.70ID:B/yxkRYZ0
staticなﾒﾝﾊﾞ関数ではstaticなﾒﾝﾊﾞ変数しか参照できない
staticでないﾒﾝﾊﾞ関数はstaticな変数もstaticでない変数も参照できる

staticなﾒﾝﾊﾞ関数とstaticでないﾒﾝﾊﾞ関数が作用しあうのであれば、
当然staticな変数になる

はっきりいってな
staticな変数はｸﾞﾛｰﾊﾞﾙ変数と同じだからな
とうぜん同じ実体の変数を参照することになる
2018/09/07(金) 23:26:58.48ID:OXR/kEGJ0
>>329は視野が広い人じゃなかったのか！？
331デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/07(金) 23:29:06.23ID:B/yxkRYZ0
> スレッド用のstatic関数以外にもメンバ関数を持っています

> 通信スレッドがデータ受信して、メインスレッドの別のメンバ関数を呼び出した
> 通信スレッドで呼び出した別のメンバ関数内でメンバ変数を変更した

まず低学歴知恵遅れは質問を読解する能力がない
2018/09/07(金) 23:35:54.69ID:OXR/kEGJ0
こりゃーもう>>324には>>331に回答してもらうしか
2018/09/07(金) 23:38:50.05ID:EL+7DMJm0
>>324
出来るが、データ競合が起こらないように気を付けよう。
2018/09/07(金) 23:41:24.38ID:EL+7DMJm0
質問者が状況を理解してない説明をしてるから本当に回答になってるのかイマイチわからぬ。
無理に言葉にしようとせずにコードを示してくれた方がいいんだがなぁ。
335デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/07(金) 23:41:30.87ID:B/yxkRYZ0
ﾊﾞｶじゃなければ
普通にｱﾄﾞﾚｽが固定されてるstaticなﾒﾝﾊﾞ関数のｱﾄﾞﾚｽを
ｽﾚｯﾄﾞを開始させるｱﾄﾞﾚｽにしてると推定できるからな
336デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/07(金) 23:46:20.44ID:B/yxkRYZ0
このｽﾚのﾊﾞｶどもはｽﾚｯﾄﾞなんか
なんも分かってないからな

質問するﾔﾂもﾊﾞｶになにを聞いてもﾑﾀﾞだからな
そこの理解は必要
2018/09/07(金) 23:56:01.03ID:OXR/kEGJ0
>>335
>ｽﾚｯﾄﾞを開始させるｱﾄﾞﾚｽ
さすあに
スレッドを起こす質問に解釈しやがった；；

>>322の
>メインスレッドはクラス化されており
>通信スレッドはメインスレッドのオブジェクトポインタ持ってます
と、>>324の
>メインスレッドでもメンバ変数の変更値を参照できるのでしょうか
からすると通信スレッドで変更したメモリをメインスレッドでも参照できるのかという質問かとｵﾓﾀわ；；；
338デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/07(金) 23:58:34.82ID:B/yxkRYZ0
> 通信スレッドはメインスレッドのオブジェクトポインタ持ってます

まず一番最初に書いてることが読めてない
致命的な頭のﾜﾙｻといっていい
339デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/08(土) 00:00:18.18ID:j/6nk0eH0
普通にﾒｲﾝｽﾚｯﾄﾞのﾒﾝﾊﾞ関数呼び出して
ﾒｲﾝｽﾚｯﾄﾞのﾒﾝﾊﾞ変数を変更すると読めるからな

こんだけｺﾐｭﾆｹｰｼｮﾝﾚﾍﾞﾙが低いと
実生活でも支障があるﾚﾍﾞﾙといっていい
2018/09/08(土) 00:03:28.41ID:VqyCCBP80
>>330
半角クンは自分の見たいものしか見えない、すなわち常に半角クンの中ではすべてのものを見通している視野100%ということなのだろう
2018/09/08(土) 00:04:14.21ID:49ssh0n4a
>>333
mutexしときます
いろいろアドバイスありがとうございます
>>329ですね
342デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/08(土) 00:06:40.10ID:j/6nk0eH0
まずなこのｽﾚの低学歴知恵遅れたちは
自分たちがどんだけ低学歴知恵遅れかという自覚がない

致命的といっていい
2018/09/08(土) 00:18:54.01ID:6MRSNGru0
低学歴知恵遅れなので質問の解釈に関する>>337と>>339の違いがわからんが、

それはそうとして、当初の疑問に戻るが視野の広い>>342は
>とうぜん同じ実体の変数を参照することになる
には一切注釈をつけなくて良かったの？
344デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/08(土) 00:20:24.81ID:j/6nk0eH0
また低学歴知恵遅れが負け惜しみ意味不明なこといってるしな
低学歴知恵遅れの負けず嫌いは異常だからな
345デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/08(土) 00:22:38.67ID:j/6nk0eH0
低学歴知恵遅れほど自尊心だけは高い
ｺﾚは底辺に多い

そして自分がｺﾞﾐｸｽﾞの低学歴知恵遅れである自覚もない

つまり救いようがない
346デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/08(土) 00:30:51.48ID:j/6nk0eH0
低学歴知恵遅れの底辺ｺﾞﾐｸｽﾞほど自己評価だけは高い

その根拠のない自己評価の高さは
どこからくるものなかははっきりとは分からない

低学歴知恵遅れの底辺ｺﾞﾐｸｽﾞほどそういう傾向がある
それは経験からかなり相関が高いと確信している
2018/09/08(土) 00:31:21.19ID:t7GfMYxV0
みなさん厳しいですね…
私は質問側ですが、そして今 schme スレで質問を丸投げしちゃっていますが、わからないときは、なにがわからないかわからない、という感じだったりしています

>>324
なにか断片的でいいからコード例をあげていただくと嬉しいです、例えば https://ideone.com/VvdMRl
348デフォルトの名無しさん (ﾜｯﾁｮｲ 8b80-f65Y)
垢版 |
2018/09/08(土) 00:45:27.68ID:j/6nk0eH0
むしろこのｽﾚの低学歴知恵遅れの底辺ｺﾞﾐｸｽﾞたちは
質問してるﾔﾂのﾚﾍﾞﾙにすら到達してない
2018/09/08(土) 00:46:44.54ID:49ssh0n4a
>>347
pthread使ってる以外はほぼ同等な考え方です
実例作っていただきありがとうございます。
2018/09/08(土) 01:03:30.65ID:6MRSNGru0
>>326で書いたとおりスレッドAで変更したメモリをスレッドBで正しく参照できるのか否かというのは
微妙な問題なんじゃ

>>347のコードでf::nの書き換えと参照が正しく動くのは
20行目のC::f()呼び出しで呼び出されたstd::coutがメモリバリア的な効果を果たしたに過ぎないかもしれん
（中でmutexとかcritical sectionとかなシステムコールを呼んでいるなら普通のOSならメモリバリアが効く

と自尊心だけは高い低学歴知恵遅れなので難癖をつけておく
実証はしない
2018/09/08(土) 01:10:28.57ID:6MRSNGru0
>>347のコードがそもそもC::nがvolatile宣言されていないのに安全に動いている理由は…
と始めると荒れる…！

それはともかくスレッド間のメモリの読み書きを>>341のmutexでガードするというのは大変良い心がけです
多少遅いかもしれないが遵守する限り泥沼に踏み込まずに済む
2018/09/08(土) 01:32:58.78ID:LCjnyCTn0
>>322
メインスレッドとサブスレッドで並列に起動して同じ変数を書き換えた場合、書き換えレースになる。
ロックっていう機構があるのでそれを参照。
2018/09/08(土) 01:41:37.02ID:t7GfMYxV0
>>351
よろしければ教えていただけますか？

＞20行目のC::f()呼び出しで呼び出されたstd::coutがメモリバリア的な効果を果たした
メモリバリアって要するに x86 の lfence, sfence, mfence のことですか？
これはCPUキャッシュがメインメモリに吐き出されることを保証するものですか？
これらの命令は Pentiumu2 あたりにはなかったと思います、でも Pen2 とか特に Celeron-BP6(abit) で普通にデュアルプロセッサできていたのはどうしてでしょうか？
2018/09/08(土) 02:36:49.43ID:6MRSNGru0
>>353
>これはCPUキャッシュがメインメモリに吐き出されることを保証するものですか？
ちげう
実行したコアのライトコマンドキューかリードコマンドキュー上の命令をその場で全部実行してしまうというもの
キャッシュのinvalidateやfillが起きるかどうかとは別の話（結果的に起きることもあるが常にではない
キャッシュと関係あるみたいな説明のページがあることは承知しているが苦情は漏れに言わないでﾎｽｲ

>これらの命令は Pentiumu2 あたりにはなかったと思います、でも Pen2 とか特に Celeron-BP6(abit) で普通にデュアルプロセッサできていたのはどうしてでしょうか？
古代の話は知らん
OoO（アウトオブオーダー実行）はすでにあったはずなので、ライトコマンドキューやリードコマンドキューもすでにあった
全くの推測だが、キャッシュのinvalidate操作が（invalidateを常に伴うため効率の悪い）メモリバリアと同じ効果があったとかではないかいや知らんけど
2018/09/08(土) 02:52:26.13ID:6MRSNGru0
ちなIA（Intel Architecture）のうちでも常識的なコア数のやつは
コア間のキャッシュコヒーレンシをハードウェアで勝手に取ってくれるので、
コア間のメモリ参照の不整合はメモリバリアだけ注意したら逝ける（キャッシュの存在は透過的
2018/09/08(土) 02:58:07.14ID:VmsJpbI+0
>>353
こないだ atomic を使ってたけど、
atomic について調べたならそこらへんの話もどこかに書いてなかったか？
C++ 用語ではバリアでなくてフェンスって言ってるけど。
2018/09/08(土) 03:04:22.19ID:RizVmglH0
メメリバリアやフェンスの意味を知るにはcpuのメモリモデルの理解が必要

https://yohhoy.hatenablog.jp/entry/2014/12/21/171035
2018/09/08(土) 03:04:32.58ID:t7GfMYxV0
>>354
＞実行したコアのライトコマンドキューかリードコマンドキュー上の命令をその場で全部実行してしまうというもの
＞キャッシュのinvalidateやfillが起きるかどうかとは別の話（結果的に起きることもあるが常にではない

なるほど…ちょっとだけ理解が進んだかもしれません
「はるか遠くにあるメインメモリに変更が反映されるかどうか」はプログラムの書き手にはあまり関係がなく、
「各コアから見る限りにおいて、各コアが発したライトあるいはリードの結果すべてが反映され、各コアからはみえている」と考えればいいのですね

これらのメモリの可視性について http://www.cs.tsukuba.ac.jp/~yas/cs/csys-2013/2013-10-15/ 等を熟考しています
mutex や cond にその方面での効用があるとは…、pthread のメモリ可視性に関する効果はあまり意識していませんでした

重要なヒントをくださりありがとうございます
2018/09/08(土) 03:17:34.12ID:t7GfMYxV0
>>356
ええ、atomic に関係する話をいろいろと読んではいたのですが、正直なところ、あまりよくわからなかったことを告白します
acquire とか release とか、いまひとつイメージできなかった…
atomic の各メンバ関数の memory_order は C++デフォルト引数として sequence-consist(ency) を与えていることはわかりましたので「最強にしているから、まあいいか」くらいですましていました

>>354
＞実行したコアのライトコマンドキューかリードコマンドキュー上の命令をその場で全部実行してしまうというもの
この記述が一番しっくりきました
2018/09/08(土) 04:20:01.69ID:t7GfMYxV0
>>352
＞書き換えレース
ええと、これを読んで reset-set flip-flop の禁止入力「R=S=1」のことを思い出してしまったんですが、それはさておき

複数のコアが同一メモリに対して「同時に書き込み」する、というのは、このフリップフロップ禁止入力と同じ意味あいですか？
つまり「どっちの書き込みが後になるか、予想がつかないから禁止」…①

それとも、「複数のコアが本当に同時に書き込んでしまった場合、結果が不定になる」…②
（昔のフロッピーディスク供給のソフトウェアプロテクトの方法としての「コロコロビット」＝読み出すたびに 0/1 が変わる）という意味なのか

いや、①も②も同じような意味なのかもしれませんが、
>>215 の「CAS 連続スピンロックや CAS 連続スピンロック中に別コアから書き込んだり読み込んだりすること」
が②の意味で危険で、ソフトウェア側で mutex や dirty-bit (>>238) を設けて本当に意図的にコントロールしなければならないのか、と、ちょっと心配になりました
最初から安全側にふっておくとは思いますが
2018/09/08(土) 08:05:39.39ID:RizVmglH0
考える前に学んだ方がいい

cas が使い物にならないならなぜそんな物があると思う？
というか mutex の実装にも cas は使用される。

使い方がわからないからcasは使わず mutex を使うという判断は正しいが、
例えば前の例のエラトステネスの篩で実装1ビットセットする毎に
mutex で排他していたらコアがかなり沢山あってもシングルスレッドの方が速い
(mutex api を処理する時間が大半を占めてしまう)
2018/09/08(土) 08:13:01.68ID:RizVmglH0
質問する前にスレッドセーフとか排他制御とかレースコンディションとか
弱いメモリモデルとかでググって時間くらいしっかり読んで
2018/09/08(土) 08:13:34.47ID:RizVmglH0
>時間くらい
「1時間くらい」のタイプミスでした。
2018/09/08(土) 11:49:10.23ID:+e2Zk2SC0
>>360
cpuのメモリモデルの説明読んだら最初の方に書いてあると思うけど
普通ワード単位のアクセスは何もしなくてもハード的にアトミックであることが保証されてる
そこで壊れたらやってられないからな
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況