スレタイ以外の言語もok
前スレ
次世代言語27 TypeScript Swift Go Kotlin Rust Nim
https://mevius.5ch.net/test/read.cgi/tech/1659655598/
探検
次世代言語28 TypeScript Swift Go Kotlin Rust Nim
■ このスレッドは過去ログ倉庫に格納されています
2022/08/29(月) 11:22:16.48ID:5dAad4gs
2022/09/02(金) 08:36:58.81ID:yReiMthF
2022/09/02(金) 09:00:49.10ID:r2oaJ0uT
ほんとダメだねえ、どうやっても遅いんだが?顔真っ赤にして人を罵倒する前にさ
https://play.rust-lang.org/?version=stable&mode=release&edition=2021&gist=f46924c1a775bf93703ca7aead58b36c
real 0m0.111s
https://wandbox.org/permlink/iP4fPQ7bODKrg7mC
real 0m0.006s
「C言語でもループ1回に付き必ず1回のインデックス値の境界比較が必ず入る」
まず根本的に勘違いしてるのがあなたの言ってるのは境界チェックじゃなく、終了条件のチェックであり、これも、gccなどの処理系では
最適化で固定値だったりしてループ展開したら必ず入るとは限らないんですよ・・・同様のことがRustの勝手にループ展開でも言えますが
いずれもループ終了チェックであり、そんなのは比較していませんし、またあとから出てきたイテレータの話は全く違う話ですね
https://play.rust-lang.org/?version=stable&mode=release&edition=2021&gist=f46924c1a775bf93703ca7aead58b36c
real 0m0.111s
https://wandbox.org/permlink/iP4fPQ7bODKrg7mC
real 0m0.006s
「C言語でもループ1回に付き必ず1回のインデックス値の境界比較が必ず入る」
まず根本的に勘違いしてるのがあなたの言ってるのは境界チェックじゃなく、終了条件のチェックであり、これも、gccなどの処理系では
最適化で固定値だったりしてループ展開したら必ず入るとは限らないんですよ・・・同様のことがRustの勝手にループ展開でも言えますが
いずれもループ終了チェックであり、そんなのは比較していませんし、またあとから出てきたイテレータの話は全く違う話ですね
2022/09/02(金) 09:05:50.01ID:kItyetcb
2022/09/02(金) 09:13:12.31ID:AlmyaYR1
前スレでも出てたけどrustがphpより遅いってマジっぽいね
2022/09/02(金) 09:17:24.54ID:NtJICGnn
2022/09/02(金) 09:24:36.61ID:r2oaJ0uT
>>74
レス番つけ忘れたけど、頑にCと(速度が)同じだ。遅くないというカルト信者みたいな態度はほんと反省してほしいわ・・・
根拠を示したのにキチガイと反論するばかりで、こんな簡単なプログラムにさえどこが悪いのか言えないし
レス番つけ忘れたけど、頑にCと(速度が)同じだ。遅くないというカルト信者みたいな態度はほんと反省してほしいわ・・・
根拠を示したのにキチガイと反論するばかりで、こんな簡単なプログラムにさえどこが悪いのか言えないし
2022/09/02(金) 09:32:20.12ID:r2oaJ0uT
誰も20倍速いなんて一言もいってませんが?timeごときでこの程度の差が出るのであれば、「同じ」なんて言えないと思いますが?
むしろ境界チェックが機能してる結果であり、一方でCはそのような境界チェックは通常の処理系ではありえない=チェックがないので
安全性はlintなどやプログラマーの能力に依存する
提言:”内容に反証を提示できず、人をキチガイ呼ばわりする人がキチガイ”
むしろ境界チェックが機能してる結果であり、一方でCはそのような境界チェックは通常の処理系ではありえない=チェックがないので
安全性はlintなどやプログラマーの能力に依存する
提言:”内容に反証を提示できず、人をキチガイ呼ばわりする人がキチガイ”
2022/09/02(金) 10:07:22.38ID:3EJXZ/Ye
> C言語でも他でもfor文で境界チェックが必ず入る
std::vectorだと両方あるから説明しやすいけど
reference at(size_type n);
n >= size()の場合、out_of_range例外を送出する。
reference operator[](size_type n);
vector型のオブジェクトvに対して、v[n] と *(v.begin()+ n) は同じ結果になる
n >= size()の場合、未定義動作となる
この関数は、at()メンバ関数とちがって境界チェックを行うことが規定されない。
境界チェックってこれの話じゃないの?
index側のどうこうはさておき、要素アクセスのときにケアできてるかどうかの話じゃないの?
std::vectorだと両方あるから説明しやすいけど
reference at(size_type n);
n >= size()の場合、out_of_range例外を送出する。
reference operator[](size_type n);
vector型のオブジェクトvに対して、v[n] と *(v.begin()+ n) は同じ結果になる
n >= size()の場合、未定義動作となる
この関数は、at()メンバ関数とちがって境界チェックを行うことが規定されない。
境界チェックってこれの話じゃないの?
index側のどうこうはさておき、要素アクセスのときにケアできてるかどうかの話じゃないの?
2022/09/02(金) 10:13:15.80ID:3EJXZ/Ye
ちなみにJavaのjava.util.Listは
https://docs.oracle.com/javase/jp/8/docs/api/java/util/List.html#get-int-
E get(int index)
例外: IndexOutOfBoundsException - インデックスが範囲外の場合(index < 0||index>= size())
となってる。
https://docs.oracle.com/javase/jp/8/docs/api/java/util/List.html#get-int-
E get(int index)
例外: IndexOutOfBoundsException - インデックスが範囲外の場合(index < 0||index>= size())
となってる。
2022/09/02(金) 10:33:22.77ID:icfpnsJw
現代のCPUなら投機的実行で境界チェックみたいな処理は時間コストかからんけどなあ
それとRustのprintln!は非バッファでロックもするから配列性能計測に混ぜたらいかんでしょ
性能計測の初歩だと思うんだけど
それとRustのprintln!は非バッファでロックもするから配列性能計測に混ぜたらいかんでしょ
性能計測の初歩だと思うんだけど
2022/09/02(金) 10:41:36.52ID:keejC7YG
ここが応仁の乱か
2022/09/02(金) 11:14:19.45ID:RkYzNFi/
Rustのスライスsでfor i in 0..s.len()でループ回して見たら
生成コードはforの終端チェックだけになってs[i]の境界チェックは消えるんだな
確かに論理的に正しい最適化だが賢いな
結局Cでfor (i = 0; i < len; i++) とした時と同じ
生成コードはforの終端チェックだけになってs[i]の境界チェックは消えるんだな
確かに論理的に正しい最適化だが賢いな
結局Cでfor (i = 0; i < len; i++) とした時と同じ
90デフォルトの名無しさん
2022/09/02(金) 12:00:55.17ID:kDm3gkwV println!取り除いてもCより遅いけど?
勝手にコードを変更してs.lenとか悦にはいってるし、この人たちって絶対objdumpした結果を上げないね
同じ(=100%一致)なんて絶対あり得ない、gccじゃなくclang/llvmにしたら分らんけど、それでも
”C言語は”なんてあんたさえも知らない処理系があるのに恥ずかし気もなくビックマウス披露出来るわけない
投機実行の境界チェックのバイパスは有名なスペクターとして脆弱性だから機能してないんちゃうか?知らんけどさ
勝手にコードを変更してs.lenとか悦にはいってるし、この人たちって絶対objdumpした結果を上げないね
同じ(=100%一致)なんて絶対あり得ない、gccじゃなくclang/llvmにしたら分らんけど、それでも
”C言語は”なんてあんたさえも知らない処理系があるのに恥ずかし気もなくビックマウス披露出来るわけない
投機実行の境界チェックのバイパスは有名なスペクターとして脆弱性だから機能してないんちゃうか?知らんけどさ
2022/09/02(金) 12:40:37.54ID:omdV4spc
>>80
固定長なら範囲チェック自体消えるだろ。
Rustの話をするなら、「ひとつの読み書き参照 xor 複数の読み取り参照のきっつい制約を課すことで範囲チェックの回数を減らしている」くらいの説明はできんのかね?オレも詳しくはないが。
固定長なら範囲チェック自体消えるだろ。
Rustの話をするなら、「ひとつの読み書き参照 xor 複数の読み取り参照のきっつい制約を課すことで範囲チェックの回数を減らしている」くらいの説明はできんのかね?オレも詳しくはないが。
2022/09/02(金) 18:35:42.02ID:itc/vw5Y
引数で与えられた配列の中の最大要素をインデックスアクセスで探す関数をC (clang 14) と Rust (rustc 1.63.0) で書いた
使ってるレジスタこそ違うけど同じコンパイル結果になった
https://godbolt.org/z/TvdGf3dYq
Rust は他の書き方も試してみたけど生成されたコードは同じっぽい
forでsliceをイテレートした場合:
https://godbolt.org/z/38s1819hr
イテレータアダプターだけで書いた場合:
https://godbolt.org/z/cjqqYjKfE
使ってるレジスタこそ違うけど同じコンパイル結果になった
https://godbolt.org/z/TvdGf3dYq
Rust は他の書き方も試してみたけど生成されたコードは同じっぽい
forでsliceをイテレートした場合:
https://godbolt.org/z/38s1819hr
イテレータアダプターだけで書いた場合:
https://godbolt.org/z/cjqqYjKfE
93デフォルトの名無しさん
2022/09/02(金) 19:48:54.34ID:SRTIVbJR っつーか今さらcでの開発なんて小規模じゃないとやりたくないわ。
2022/09/02(金) 20:22:00.68ID:AlmyaYR1
遅いくせにCと同等とか言い出したのが発端じゃね?
2022/09/02(金) 20:51:46.96ID:eOJxFMTK
2022/09/02(金) 20:58:00.60ID:eOJxFMTK
>>94
生成コードが同じだからCとRustは速さも同等っぽい
生成コードが同じだからCとRustは速さも同等っぽい
2022/09/02(金) 21:28:46.71ID:AlmyaYR1
>>96
マジか、rustすご過ぎ
マジか、rustすご過ぎ
2022/09/02(金) 21:41:46.84ID:TRifMPKk
わざわざ境界値チェックが不要になるケースで比べたらそりゃそうだろって感じ
最初のサンプルコードが酷すぎた
最初のサンプルコードが酷すぎた
99デフォルトの名無しさん
2022/09/02(金) 21:45:38.80ID:SRTIVbJR >>98
境界値チェックが必要なケースをよろ
境界値チェックが必要なケースをよろ
100デフォルトの名無しさん
2022/09/02(金) 22:15:29.02ID:ZICl4sMk 結論が出たな
Rustを攻撃してた人が以下のようなウソをついてた
> 「結果としてCでもRustでも同じ生成コードとなる 」絶対ならないからw
> つーかアセンブラして貼り付けろよ?
> そもそも配列ループの遅さをカバーするために
> Rustは速度を稼ぐために一部分ループ展開を勝手にするはず
生成アセンブラコード>92を見ると
CでもRustでも同じ生成コード
CもRustもループ内のインデックス境界チェックは無く同じコードとなっている
そしてCもRustも一部分ループ展開を同様にしてる
当然どちらも同じ速度となる
Rustを攻撃してた人が以下のようなウソをついてた
> 「結果としてCでもRustでも同じ生成コードとなる 」絶対ならないからw
> つーかアセンブラして貼り付けろよ?
> そもそも配列ループの遅さをカバーするために
> Rustは速度を稼ぐために一部分ループ展開を勝手にするはず
生成アセンブラコード>92を見ると
CでもRustでも同じ生成コード
CもRustもループ内のインデックス境界チェックは無く同じコードとなっている
そしてCもRustも一部分ループ展開を同様にしてる
当然どちらも同じ速度となる
101デフォルトの名無しさん
2022/09/02(金) 22:58:49.99ID:SRTIVbJR >>98
早くc言語で境界値チェックするコード出してよ。
早くc言語で境界値チェックするコード出してよ。
102デフォルトの名無しさん
2022/09/02(金) 23:27:03.89ID:lqMLDpPB 全然読まない、勝手にコードを変更してs.lenとか悦にはいってる
103デフォルトの名無しさん
2022/09/02(金) 23:59:11.14ID:VC9smmde104デフォルトの名無しさん
2022/09/03(土) 01:19:34.52ID:txSLq0y3 おじさん普通にC勉強した方が良いよ
Rust書ける人でC書けない人なんていないからズレまくった指摘してるんだよ
Rustであえてパフォーマンス出ないようなコードを書いてるとしか思えない
Rust書ける人でC書けない人なんていないからズレまくった指摘してるんだよ
Rustであえてパフォーマンス出ないようなコードを書いてるとしか思えない
105デフォルトの名無しさん
2022/09/03(土) 01:46:36.01ID:2EHZBEma >>92のシンプルなコードをこれ以上に速くするのは無理じゃね
そしてRustもCも同等のアセンブリコードを吐いてるから実行速度も同じで勝負ついた感じだな
そしてRustもCも同等のアセンブリコードを吐いてるから実行速度も同じで勝負ついた感じだな
106デフォルトの名無しさん
2022/09/03(土) 03:19:04.56ID:DRQBO0l9 バカ野郎!
Rustのおっちゃんは、日本を代表するトライアングル(楽器)奏者なんだぞ!
Rustのおっちゃんは、日本を代表するトライアングル(楽器)奏者なんだぞ!
107デフォルトの名無しさん
2022/09/03(土) 04:44:36.86ID:22c5U/VG 少なくとも配列範囲外アクセスするようなコードで比べなければ意味がない。
誰も勝負なんてしてないだろ
こんな事やってるからRustを嫌う人が割と増えていく、言い逃れそのものだろw
そもそもforの終了条件チェックと配列境界チェックの違いすら分かってないやつだ
カルトRust信者「C言語でもループ1回に付き必ず1回のインデックス値の境界比較が必ず入る」
固定長のループがclang/llvmで同じになったとして、壺カルトRust信者曰く、「C言語は」という
デカすぎる主語と、Rustでのすべての配列境界チェックが無くなるわけではなし何が勝ちなんだか...
誰も勝負なんてしてないだろ
こんな事やってるからRustを嫌う人が割と増えていく、言い逃れそのものだろw
そもそもforの終了条件チェックと配列境界チェックの違いすら分かってないやつだ
カルトRust信者「C言語でもループ1回に付き必ず1回のインデックス値の境界比較が必ず入る」
固定長のループがclang/llvmで同じになったとして、壺カルトRust信者曰く、「C言語は」という
デカすぎる主語と、Rustでのすべての配列境界チェックが無くなるわけではなし何が勝ちなんだか...
108デフォルトの名無しさん
2022/09/03(土) 05:27:05.78ID:lg2jZ6dQ >>107
コードを読めない人なの?
固定長のループではなく長さは関数の引数として与えられている
したがってC言語でもループ1回に付き必ずインデックス値の境界比較(=インデックス値が長さを超えないこと)がfor文の条件部で行われている
コードを読めない人なの?
固定長のループではなく長さは関数の引数として与えられている
したがってC言語でもループ1回に付き必ずインデックス値の境界比較(=インデックス値が長さを超えないこと)がfor文の条件部で行われている
109デフォルトの名無しさん
2022/09/03(土) 06:17:52.84ID:Xvi3nnOL >>92
例えばinline化とかで二つの配列/スライスがエイリアスされていることがコンパイラー(とプログラマー)に見えている場合があると思うんだけれど
Rustの方は自動ベクトル化してくれないのね。Cの方は自動ベクトル化されている。
極端に書くとこんな感じ。
ttps://godbolt.org/z/sbenoGEEa
inline
ttps://godbolt.org/z/M6qz3s3f7
max_value_slice_vwをどう書いたら自動ベクトル化されるの?
例えばinline化とかで二つの配列/スライスがエイリアスされていることがコンパイラー(とプログラマー)に見えている場合があると思うんだけれど
Rustの方は自動ベクトル化してくれないのね。Cの方は自動ベクトル化されている。
極端に書くとこんな感じ。
ttps://godbolt.org/z/sbenoGEEa
inline
ttps://godbolt.org/z/M6qz3s3f7
max_value_slice_vwをどう書いたら自動ベクトル化されるの?
110デフォルトの名無しさん
2022/09/03(土) 06:38:25.68ID:peyYEDe5 何の争いかよくわからんけどつまりRustでサイズ10の配列を作ってその11番目の要素にアクセスしたらどうなるん?
Cだと境界チェックしないから未定義になるしセグフォ出たり他の変数を書き換えたり暴走したりすることもある
Cだと境界チェックしないから未定義になるしセグフォ出たり他の変数を書き換えたり暴走したりすることもある
111デフォルトの名無しさん
2022/09/03(土) 06:40:51.52ID:peyYEDe5 11というのをリテラルで与えるともしかしたらコンパイルエラーになるかもしれんけどたとえばそれを乱数で生成した場合はどうなんの?
112デフォルトの名無しさん
2022/09/03(土) 06:53:51.31ID:peyYEDe5 Cが境界チェックしないと言うのは境界チェックがプログラマの責任だということだよね
Rust以外のモダンな言語では大抵範囲外の要素にアクセスしようとすると実行時例外を吐く
Cはそれをせず黙って暴走したりこっそり他の変数の値を書き換えたりして気づきにくいバグになる
Rustはどっち?
Rust以外のモダンな言語では大抵範囲外の要素にアクセスしようとすると実行時例外を吐く
Cはそれをせず黙って暴走したりこっそり他の変数の値を書き換えたりして気づきにくいバグになる
Rustはどっち?
113デフォルトの名無しさん
2022/09/03(土) 06:56:12.20ID:TWgTITK1114デフォルトの名無しさん
2022/09/03(土) 07:06:18.00ID:z9CaUV9k115デフォルトの名無しさん
2022/09/03(土) 07:13:36.64ID:z9CaUV9k つまり、Rustは安全性を常に保ちつつ、不要な境界チェックは最適化で無くすことで、安全かつ高速を実現。
116デフォルトの名無しさん
2022/09/03(土) 07:29:39.97ID:peyYEDe5 >>114
普通じゃね?
普通じゃね?
117デフォルトの名無しさん
2022/09/03(土) 07:34:10.00ID:/y6fxgdJ CとRustは同じアセンブリコードを生成すると>>92で示されているから
あとは他の言語でもそうなるならそれを示せばよい
あとは他の言語でもそうなるならそれを示せばよい
118デフォルトの名無しさん
2022/09/03(土) 07:37:07.45ID:lGqTIi1A どうでもいい内容で盛り上がってるな
for文の仕様がボトルネックになることなんかないんだからどうでもいい
for文の仕様がボトルネックになることなんかないんだからどうでもいい
119デフォルトの名無しさん
2022/09/03(土) 07:46:39.87ID:1xBXpDYn 例えばfor (i=0;i<len;i++) arr[i*2]=0;
Rustはこの時もCと同じコードになるんだよね?
Rustはこの時もCと同じコードになるんだよね?
120デフォルトの名無しさん
2022/09/03(土) 07:56:47.99ID:mdxH418+ gccのコミッターのものだけどそんな単純な話じゃないよ
Rustのスティーブとはよく話をするけどね
Rustのスティーブとはよく話をするけどね
121デフォルトの名無しさん
2022/09/03(土) 08:03:29.06ID:peyYEDe5 最後の一行で胡散臭さ出てくるの何なん
122デフォルトの名無しさん
2022/09/03(土) 08:04:34.15ID:2bPWyV3b まあこんなマイクロコードの比較だのベンチだのに意味は無いわな
コンパイラも局所だけ見て処理するわけでもなし
コンパイラも局所だけ見て処理するわけでもなし
123デフォルトの名無しさん
2022/09/03(土) 08:23:27.57ID:04g55wUA >>119
Rustのfor文はそういう構文ではない
あとRustではその処理関数は引数をスライスxで受けることになり
lenはx.len()となる
そしてfor i in 0..lenのループの時
x[i] = 0ならばそのアクセスには境界チェックは最適化により生じない (C言語と同じ)
x[i*2] = 0ならばそのアクセスには境界チェックが入りindex out of boundsとなる (C言語と異なる)
Rustのfor文はそういう構文ではない
あとRustではその処理関数は引数をスライスxで受けることになり
lenはx.len()となる
そしてfor i in 0..lenのループの時
x[i] = 0ならばそのアクセスには境界チェックは最適化により生じない (C言語と同じ)
x[i*2] = 0ならばそのアクセスには境界チェックが入りindex out of boundsとなる (C言語と異なる)
124デフォルトの名無しさん
2022/09/03(土) 08:27:29.75ID:1xBXpDYn125デフォルトの名無しさん
2022/09/03(土) 08:47:00.60ID:pNlcpp9D rust書けるやつはたいていcも書ける。
cは書けるがrust書けないなつはいる(俺とか)。
両方書けるほうがいいに決まってる。
cは書けるがrust書けないなつはいる(俺とか)。
両方書けるほうがいいに決まってる。
126デフォルトの名無しさん
2022/09/03(土) 08:47:14.13ID:oioC2Qy2127デフォルトの名無しさん
2022/09/03(土) 09:09:01.93ID:YIfnpCsY >>124
正しい使用ならば最適化されて境界チェックが消える点も重要やで
それによりRustのコードがCとほぼ同じ速度で動いている
一方で間違った範囲外のアクセスが起きうる場合には境界チェックがなされる点も重要やで
それによりRustはCとは異なり安全となっている
正しい使用ならば最適化されて境界チェックが消える点も重要やで
それによりRustのコードがCとほぼ同じ速度で動いている
一方で間違った範囲外のアクセスが起きうる場合には境界チェックがなされる点も重要やで
それによりRustはCとは異なり安全となっている
128デフォルトの名無しさん
2022/09/03(土) 09:12:44.80ID:qprMzk1R129デフォルトの名無しさん
2022/09/03(土) 09:21:53.95ID:YIfnpCsY >>128
配列の一部分はスライス (配列全体も可)
Vecの一部分もスライス (Vec全体も可)
スライスの一部分もスライス
なのでRustで関数を書くときはスライスを対象にして記述する
そしてスライスとして扱った時点で既に境界チェック済み(=元の範囲内)なので最適化が可能となる
配列の一部分はスライス (配列全体も可)
Vecの一部分もスライス (Vec全体も可)
スライスの一部分もスライス
なのでRustで関数を書くときはスライスを対象にして記述する
そしてスライスとして扱った時点で既に境界チェック済み(=元の範囲内)なので最適化が可能となる
130デフォルトの名無しさん
2022/09/03(土) 09:24:37.68ID:bVYJbA7l さすが複オジ隔離スレやで
今日もいい仕事しとるww
今日もいい仕事しとるww
131デフォルトの名無しさん
2022/09/03(土) 09:27:25.47ID:ezD68Vvz Rustの実行速度がCと同等だと何か困ることでもあるの?
132デフォルトの名無しさん
2022/09/03(土) 09:30:24.03ID:qprMzk1R >>129
関数内でlenが決まる場合でもいちいちスライス作るのか?
関数内でlenが決まる場合でもいちいちスライス作るのか?
133デフォルトの名無しさん
2022/09/03(土) 09:32:15.16ID:91ZlUxrs C/C++ で BITMAPINFOHEADER なんか扱うときは
意図的に範囲オーバーさせて bmp データにアクセスするよねω株 PI.3.14
意図的に範囲オーバーさせて bmp データにアクセスするよねω株 PI.3.14
134デフォルトの名無しさん
2022/09/03(土) 09:37:13.56ID:hKLkDwrb135デフォルトの名無しさん
2022/09/03(土) 09:45:26.31ID:peyYEDe5 困るとか困らないとかじゃなくCではやらない境界チェックがあるから現実に遅いよ
136デフォルトの名無しさん
2022/09/03(土) 09:47:19.22ID:peyYEDe5 Cと同じ速度で動くコード「も」あるというならその通り
他の言語でもある
他の言語でもある
137デフォルトの名無しさん
2022/09/03(土) 09:52:51.38ID:cKT2CTgA138デフォルトの名無しさん
2022/09/03(土) 09:54:03.17ID:peyYEDe5 境界チェックが消えたコードじゃなく消えてないコードで比べてみたらすぐわかるんじゃないですかね
139デフォルトの名無しさん
2022/09/03(土) 09:54:19.38ID:qprMzk1R >>135
コンパイルオプションでチェック無効に出来ないの?
コンパイルオプションでチェック無効に出来ないの?
140デフォルトの名無しさん
2022/09/03(土) 09:56:34.91ID:RRdFGJ7i >>139
C#はできるね
C#はできるね
141デフォルトの名無しさん
2022/09/03(土) 09:59:58.21ID:qprMzk1R >>137
> だからスライスを作るって大層なことではなくC言語で処理対象の先頭ポインタと長さを用意するのと同じ
いや、実装は想像できるからいちいち説明してもらわなくてもいいんだけどC言語だといちいちそんなもの作らないよ
先頭ポインタも長さ情報も既にあるのに同じ内容を持つスライスを作るのは(C言語脳としては)無駄に思える
> だからスライスを作るって大層なことではなくC言語で処理対象の先頭ポインタと長さを用意するのと同じ
いや、実装は想像できるからいちいち説明してもらわなくてもいいんだけどC言語だといちいちそんなもの作らないよ
先頭ポインタも長さ情報も既にあるのに同じ内容を持つスライスを作るのは(C言語脳としては)無駄に思える
142デフォルトの名無しさん
2022/09/03(土) 10:03:47.05ID:v+XVsXaf >>138
CよりRustが遅いコードを具体的に出してよ
array[i*2]の例は危険な範囲外アクセスとなるコードだから境界チェックをするRustに軍配が上がるね
だから安全な正しいコードなのにCよりRustが遅いコードを具体的に生成コードと共に出しましょう
CよりRustが遅いコードを具体的に出してよ
array[i*2]の例は危険な範囲外アクセスとなるコードだから境界チェックをするRustに軍配が上がるね
だから安全な正しいコードなのにCよりRustが遅いコードを具体的に生成コードと共に出しましょう
143デフォルトの名無しさん
2022/09/03(土) 10:06:50.84ID:RRdFGJ7i144デフォルトの名無しさん
2022/09/03(土) 10:11:51.77ID:774mvNvo145デフォルトの名無しさん
2022/09/03(土) 10:14:07.95ID:Rys3iPM9 実例と計測結果出さないと空論でしか無いわな
まあ速度差が無くて出せないんだろうけど
まあ速度差が無くて出せないんだろうけど
146デフォルトの名無しさん
2022/09/03(土) 10:17:36.98ID:RSYLNmWc チェックが入ると遅くなるから最適化でチェック省くことがあるんだろうに何で実測しなきゃわかんないんだよ
特定のスニペットじゃなく境界チェックが入る現実のコードの話をしてるのに実測なんてできるわけないだろ
境界チェックが原因で遅くなるコード作れと言うなら作るが、それ作ったら間違いを認めるんだろうな?
特定のスニペットじゃなく境界チェックが入る現実のコードの話をしてるのに実測なんてできるわけないだろ
境界チェックが原因で遅くなるコード作れと言うなら作るが、それ作ったら間違いを認めるんだろうな?
147デフォルトの名無しさん
2022/09/03(土) 10:20:44.15ID:qprMzk1R148デフォルトの名無しさん
2022/09/03(土) 10:20:52.59ID:0TSBfRU/ >>143
それは君が誤解してるようにみえるなあ
Rustでは安全に範囲内のアクセスとRustコンパイラが分析できれば境界チェックをしないためCと同じ速さが出る
そうでなく危険な範囲外のアクセスになりうるとRustコンパイラが判断すれば正しく境界チェックを行なう
C言語で書いても危険な範囲外のアクセスになりうる場合は手動で境界チェックをせざるを得ないから速さは同じ
それは君が誤解してるようにみえるなあ
Rustでは安全に範囲内のアクセスとRustコンパイラが分析できれば境界チェックをしないためCと同じ速さが出る
そうでなく危険な範囲外のアクセスになりうるとRustコンパイラが判断すれば正しく境界チェックを行なう
C言語で書いても危険な範囲外のアクセスになりうる場合は手動で境界チェックをせざるを得ないから速さは同じ
149デフォルトの名無しさん
2022/09/03(土) 10:22:44.18ID:RSYLNmWc >>148
同じじゃなく遅くなると認めろよ
同じじゃなく遅くなると認めろよ
150デフォルトの名無しさん
2022/09/03(土) 10:28:32.67ID:ypKv7OZi151デフォルトの名無しさん
2022/09/03(土) 10:32:05.60ID:iVxWWKBi いつもの嘘つき複オジに必死に突っかかるアホ
どっちもどっち
どっちもどっち
152デフォルトの名無しさん
2022/09/03(土) 10:49:11.71ID:qprMzk1R >>148
> そうでなく危険な範囲外のアクセスになりうるとRustコンパイラが判断すれば正しく境界チェックを行なう
C言語では外部からもらったデータは仕様で配列範囲に入るのが確実だからチェックをしないとかあるんだけど、Rustコンパイラとやらは仕様書まで読み込んでくれるのかなw
> そうでなく危険な範囲外のアクセスになりうるとRustコンパイラが判断すれば正しく境界チェックを行なう
C言語では外部からもらったデータは仕様で配列範囲に入るのが確実だからチェックをしないとかあるんだけど、Rustコンパイラとやらは仕様書まで読み込んでくれるのかなw
153デフォルトの名無しさん
2022/09/03(土) 10:52:15.27ID:BHvUMyM5 境界チェックによるペナルティが気になる箇所なら境界チェックのないget_unchecked使えば良いのでは
デフォルトは安全側に倒されてるけどプログラマの裁量で速度を優先することもできるので、適材適所でどちらを使うか選べば良い
C++でも境界チェックありのat()があるから、デフォルトが逆なだけでできることは同じだよね
デフォルトは安全側に倒されてるけどプログラマの裁量で速度を優先することもできるので、適材適所でどちらを使うか選べば良い
C++でも境界チェックありのat()があるから、デフォルトが逆なだけでできることは同じだよね
154デフォルトの名無しさん
2022/09/03(土) 11:03:40.39ID:7pWn865H 結局プログラマーの手に委ねていると必ずミスが起きうるから
境界チェック省略の件も含めて全てについて
コンパイラが分析して安全かどうか判定できた時にはチェックを省略し
そうでない場合は安全のために自動的にチェックをするのがベスト
という方向へ向かっているんじゃないかな
GoogleやMicrosoftがRust言語でOS開発
https://xtech.nikkei.com/atcl/nxt/column/18/00692/042700054/
【脆弱性の70%がメモリー管理バグに起因】
GoogleによればAndroidに存在した深刻なセキュリティー脆弱性の70%近くがメモリー安全に関するバグに起因するという。
同様にマMicrosoftも、同社製品に存在したセキュリティー脆弱性の70%がメモリー安全に関するバグに起因すると述べている。
C/C++を使う限りセキュリティー脆弱性を根絶するのは不可能と考えて、Rustを採用するに至ったというわけだ。
境界チェック省略の件も含めて全てについて
コンパイラが分析して安全かどうか判定できた時にはチェックを省略し
そうでない場合は安全のために自動的にチェックをするのがベスト
という方向へ向かっているんじゃないかな
GoogleやMicrosoftがRust言語でOS開発
https://xtech.nikkei.com/atcl/nxt/column/18/00692/042700054/
【脆弱性の70%がメモリー管理バグに起因】
GoogleによればAndroidに存在した深刻なセキュリティー脆弱性の70%近くがメモリー安全に関するバグに起因するという。
同様にマMicrosoftも、同社製品に存在したセキュリティー脆弱性の70%がメモリー安全に関するバグに起因すると述べている。
C/C++を使う限りセキュリティー脆弱性を根絶するのは不可能と考えて、Rustを採用するに至ったというわけだ。
155デフォルトの名無しさん
2022/09/03(土) 11:21:29.31ID:Vwpr/aZb マジキチだった
156デフォルトの名無しさん
2022/09/03(土) 11:53:26.95ID:MAChL+qh157デフォルトの名無しさん
2022/09/03(土) 11:55:04.03ID:OwwDkoRs この話題、ここ数年で最もレベル低いんじゃないか?大丈夫か?
158デフォルトの名無しさん
2022/09/03(土) 12:31:15.03ID:ytBZTWHu Rustは安心安全でC言語と同等の速度ってことでFAだな
159デフォルトの名無しさん
2022/09/03(土) 12:34:45.63ID:wLxz63Y2 体言止めおじさん
160デフォルトの名無しさん
2022/09/03(土) 12:53:59.17ID:91ZlUxrs 最近のレベル低下には目を見張るものがあるな
161デフォルトの名無しさん
2022/09/03(土) 12:58:26.77ID:91ZlUxrs >>142
>array[i*2]の例は危険な範囲外アクセスとなるコードだから境界チェックをするRustに軍配が上がるね
array[i*2]の例は危険な範囲外アクセスとなるコードだから境界チェックをしないCに軍配が上がる
が正しい
>array[i*2]の例は危険な範囲外アクセスとなるコードだから境界チェックをするRustに軍配が上がるね
array[i*2]の例は危険な範囲外アクセスとなるコードだから境界チェックをしないCに軍配が上がる
が正しい
162デフォルトの名無しさん
2022/09/03(土) 13:35:09.09ID:EiHHJiSw いやはや、時代についていけないCオジが暴れてるようだなw
Cオジもさぁ、自分の世界に引きこもってないでもっと外の世界見ないとねw
Cオジもさぁ、自分の世界に引きこもってないでもっと外の世界見ないとねw
163デフォルトの名無しさん
2022/09/03(土) 13:37:41.33ID:EiHHJiSw Cこそ最強!
1個でもCより遅いケースあったらダメね!
1個でもCより遅いケースあったらダメね!
164デフォルトの名無しさん
2022/09/03(土) 13:38:08.80ID:mKqqa6mD 次世代言語スレなんだから変数の境界越えたアクセスは落とす一択だろ。
もうちょっと別の話したいわ。
もうちょっと別の話したいわ。
165デフォルトの名無しさん
2022/09/03(土) 13:38:32.50ID:EiHHJiSw 1個でもCより遅い場合あったら、他にメリットあっても意味ないから!
166デフォルトの名無しさん
2022/09/03(土) 13:50:50.43ID:uXzSzfSl 誰も>>91の突っ込み無いんかよ。
Rustが速いのは非常にキツイxor条件を満たす範囲だけで、そこを超えるのはとても面倒。そこを無視して「Rustは安全で高速」とか言うのは詐欺じゃね?
あと、次世代スレなのに何でRustとcだけの比較なんだよ。rangeの最適化なんてイマドキc++ですらやるんじゃないの?
Rustが速いのは非常にキツイxor条件を満たす範囲だけで、そこを超えるのはとても面倒。そこを無視して「Rustは安全で高速」とか言うのは詐欺じゃね?
あと、次世代スレなのに何でRustとcだけの比較なんだよ。rangeの最適化なんてイマドキc++ですらやるんじゃないの?
167デフォルトの名無しさん
2022/09/03(土) 14:31:36.61ID:RWiDbqEQ このスレは何もかもをRustと比較したがる信者とそれに反応してしまうバカに乗っ取られた隔離スレです
次世代言語スレではありません
次世代言語の話がしたいかたはこちらへ↓
次世代言語27 Nim Zig Pony Carbon Gleam
https://mevius.5ch.net/test/read.cgi/tech/1659660050/
次世代言語スレではありません
次世代言語の話がしたいかたはこちらへ↓
次世代言語27 Nim Zig Pony Carbon Gleam
https://mevius.5ch.net/test/read.cgi/tech/1659660050/
168デフォルトの名無しさん
2022/09/03(土) 14:36:16.07ID:peyYEDe5 ていうかこいつほんとにRust使ってプログラミングできるの?って思ったんだけど
あまりにも頭が残念すぎて論理的思考の必要なプログラミングができるとは思えない
あまりにも頭が残念すぎて論理的思考の必要なプログラミングができるとは思えない
169デフォルトの名無しさん
2022/09/03(土) 14:49:28.41ID:BHvUMyM5170デフォルトの名無しさん
2022/09/03(土) 17:15:49.49ID:jD7rh1Hd >>167
最終レスが8月18日とか終わってんじゃねえか
最終レスが8月18日とか終わってんじゃねえか
171デフォルトの名無しさん
2022/09/03(土) 17:17:49.88ID:jD7rh1Hd TypeScriptは次世代なのか?
そろそろ枯れてきてるし何ならバニラが復権しかけてんだが
そろそろ枯れてきてるし何ならバニラが復権しかけてんだが
172デフォルトの名無しさん
2022/09/03(土) 17:37:42.10ID:ytBZTWHu >>169
そんなこと言ったらRsutを使う場面が無くなっちゃうだろ
そんなこと言ったらRsutを使う場面が無くなっちゃうだろ
173デフォルトの名無しさん
2022/09/03(土) 18:07:45.82ID:k38NcUnV Rustはスライスに対して境界チェックをしないでアクセスする方法もunsafeで用意されている
つまり最適なプログラミング方法はC/C++を絶対に使わずに全てをRustで記述し
「コンパイラによる安全保証で最適化により安全に境界チェックを省略してくれる部分以外」かつ「人間による安全保証で境界チェックを不要としたい部分」のところのみunsafeで人間が安全保証し
その部分以外は全てコンパイラにより自動的にあらゆるメモリ安全保証させるのが最適な方法となる
つまり最適なプログラミング方法はC/C++を絶対に使わずに全てをRustで記述し
「コンパイラによる安全保証で最適化により安全に境界チェックを省略してくれる部分以外」かつ「人間による安全保証で境界チェックを不要としたい部分」のところのみunsafeで人間が安全保証し
その部分以外は全てコンパイラにより自動的にあらゆるメモリ安全保証させるのが最適な方法となる
174デフォルトの名無しさん
2022/09/03(土) 18:32:15.93ID:5Mn7+zh6175デフォルトの名無しさん
2022/09/03(土) 18:40:11.28ID:ytBZTWHu176デフォルトの名無しさん
2022/09/03(土) 19:00:48.70ID:2joIss6C177デフォルトの名無しさん
2022/09/03(土) 19:10:31.55ID:UqPpASXs■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 一律現金給付も消費減税もなし 高市内閣の経済対策に割れる世論 [蚤の市★]
- 空自機レーダー照射、音声データ公開 中国 ★3 [蚤の市★]
- 日銀「歴史的」利上げ迫る 35年ぶりの年間上げ幅、0.5%の壁を突破 [蚤の市★] [蚤の市★]
- 津波警報の発表中にグーグル検索、AIが「すべて解除」と誤情報 [蚤の市★]
- 【YouTuber】バイク事故で入院のゆたぼん、振込で「お見舞金」募る [muffin★]
- 低所得層のマクドナルド離れが深刻に 広がる「ファストフード格差」の真相 米国 [少考さん★]
- 中国大使さん、麻生太郎を『この政治屋』と名指しし正論長文を投稿。 [271912485]
- 【実況】博衣こよりのえちえち朝活🧪 2
- 【実況】博衣こよりのえちえち朝活🧪
- 中国「もはや高市の謝罪や撤回で済まされるフェーズは過ぎ去った。辞任以外の選択肢ない」 [271912485]
- 【高市悲報】日本人のTikTokアカウントが続々収益化剥奪中!!乞食どもざまああああああああwwwwwww [394917828]
- 残クレマイホーム爆誕 [715715613]
