Rust part25

**デフォルトの名無しさん** · 2024/07/31(水) 00:46:26.17

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

公式ドキュメント
https://www.rust-lang.org/learn

Web上の実行環境
https://play.rust-lang.org

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※次スレは原則>>980が立てること

前スレ
Rust part24
https://mevius.5ch.net/test/read.cgi/tech/1716759686/

ﾜｯﾁｮｲスレ
プログラミング言語 Rust 4【ﾜｯﾁｮｲ】
https://mevius.5ch.net/test/read.cgi/tech/1514107621/

**デフォルトの名無しさん** · 2024/09/20(金) 18:37:17.32

>>974
↑こういう認識だからいつまでたってもバグがなくならない
主要なOSやブラウザで毎年数千単位の脆弱性が出てる現実を分かってない

**デフォルトの名無しさん** · 2024/09/20(金) 18:46:47.16

今rustでグラフィックスプログラミングって実用的？
dx12とかvulkanとか
いい加減c++捨てたいと思ってるけどrustで性能でないなら使えない

**デフォルトの名無しさん** · 2024/09/20(金) 18:57:32.01

>>974
一般的に参照を保持したままそのデータへの別の可変参照が用いられる(＝データが書き換わる)と
意味論的に最初の参照が期待していたものと異なるデータ状態になっている可能性があるためバグの発生要因となる
その例のうち最も極端なものがデータがメモリ開放されてしまっているベクタ伸長による自動メモリ移動の例
もちろんメモリ開放を伴わなくてもデータの状態が変わってしまって意味論的に食い違いが起きることでのバグが生じる
特に複雑な状況だとその食い違いが起きていることを人間が把握しきれなくなり見落としてしまう
Rustではそのようなデータ参照の競合を検出してコンパイルエラーにしてくれるため安全である

**デフォルトの名無しさん** · 2024/09/20(金) 19:02:50.08

>>977,980
Rustはコンパイルが超遅いから、Rustがコンパイルエラーを吐くより先に、C++がコンパイルとサニタイザー検出を終えてるだろ

**デフォルトの名無しさん** · 2024/09/20(金) 19:28:29.22

>>981
サニタイズはプログラムを実行しなければならず更に問題が発生する条件がたまたま揃うまで無限に待たなければいけない
したがって必ずしも問題が検出できるとは限らない非常に劣った方法
しかも対象領域がメモリ問題などいくつかに限られた項目のみ
Rustはデータ参照競合を一般的にコンパイル時点で確実に検出できる

**デフォルトの名無しさん** · 2024/09/20(金) 19:54:50.23

>>982
データ競合の間違い指摘でデータ参照競合と言い出す奴

**デフォルトの名無しさん** · 2024/09/20(金) 20:22:52.87

>>909 >>933
C++も速くなった

g++ 0.406 (martinus/unordered_dense, try_emplace他)
Zig 0.433 (getOrPut他)
g++ 0.542 (元々のpmr::unorderd_map, find/emplace)
Zig 0.595 (元々のcontains/put/get)

**デフォルトの名無しさん** · 2024/09/20(金) 20:25:25.31

>>930
C++ boost::dynamic_bitsetも試したけど効果なかった
起動終了時間も含んでいるからその違いでZigと差が付いている可能性はありそう

**デフォルトの名無しさん** · 2024/09/20(金) 20:32:05.98

>>951
現状はドキュメントが直ぐに古くなってソース見ることになる
とりあえずC/C++より速いとなると原因を探すきっかけに出来るベンチマーク言語

**デフォルトの名無しさん** · 2024/09/20(金) 20:37:14.78

>>982
> Rustはデータ参照競合を一般的にコンパイル時点で確実に検出できる

「データ競合」の誤用はさておき、このたった一文のために unsafe Rust は決して健全性を破壊しないように書かれなくてならないのですが
safe Rust の健全性保証を一切受けられないその開発者たちは、一体どうやって検証していると思っているんですか？

unsafe ライブラリ開発者のこと、ちゃんとリスペクトしてますか？

**デフォルトの名無しさん** · 2024/09/20(金) 21:14:33.29

>>987
unsafeブロック内でも借用(参照)関係のルールは同じ

**デフォルトの名無しさん** · 2024/09/20(金) 21:23:28.17

>>979
WGPU

**デフォルトの名無しさん** · 2024/09/20(金) 21:28:48.15

次スレよろ

**デフォルトの名無しさん** · 2024/09/20(金) 22:02:42.38

次スレ
https://mevius.5ch.net/test/read.cgi/tech/1514107621/

**デフォルトの名無しさん** · 2024/09/20(金) 22:22:54.89

次スレ

Rust part26
https://mevius.5ch.net/test/read.cgi/tech/1726838318/

**デフォルトの名無しさん** · 2024/09/20(金) 22:27:40.78

>>975
既にマージされている
LinuxではデバイスドライバもカーネルモジュールもRustで誰でも記述することができる環境が整備されており動作している

**デフォルトの名無しさん** · 2024/09/21(土) 06:57:11.60

>>993
マージされてないって聞いたんだが？

**デフォルトの名無しさん** · 2024/09/21(土) 07:19:00.02

rust for linuxのトップメンテナーが一抜けしたよな
いわくnontechnical nonsenseなことに飽きただと
言語変えても何か新しい機能が作れるわけじゃないからな
熱量は下がってる

**デフォルトの名無しさん** · 2024/09/21(土) 08:01:00.78

>>994
とっくにマージされている
誰でも作れるようになったため
「RustでLinuxカーネルモジュール」を作った日本語の記事もたくさんあるのでどうぞ

**デフォルトの名無しさん** · 2024/09/21(土) 09:01:51.68

Linuxの新たな機能やデバイスドライバが次々とRustで書かれるようになってきたね

**デフォルトの名無しさん** · 2024/09/21(土) 09:23:20.76

安全性には新しさがないと？
敵に危害を加えると新しさを感じて熱量が上がる理由がそれなのか

**デフォルトの名無しさん** · 2024/09/21(土) 09:51:32.91

RustはCVE出している時点で安全性の新しさはないな

**デフォルトの名無しさん** · 2024/09/21(土) 09:52:42.78

しかもRust製のTauriがCVE出してるのが安全性の新しさがない証明になっている

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 52日 9時間 6分 17秒