X



Google&MS「バグの70%はC/C++。Rustにする」

1仕様書無しさん
垢版 |
2021/05/02(日) 17:14:48.90
グーグルやMSが「Rust」言語でOS開発、背景に国家による諜報活動の影


 1970年代初めにUNIXの開発にC言語が採用されて以来、OS開発はCやその後継であるC++の独壇場だった。グーグルはこれまでもAndroidの開発にJavaやKotlinを採用していたが、カーネルやデバイスドライバーなどOSの下位レイヤーの開発にはC/C++しか使ってこなかった。RustはC/C++と同様に下位レイヤーの開発に使用する。

 グーグルは数千万行にも及ぶ既存のC/C++のコードを書き換えるのは不可能としており、新規のコードの開発にのみRustを適用する方針だ。それでもOS開発の常識が数十年ぶりに変わるのだけは間違いない。

 RustはWebブラウザー「Firefox」を開発する米Mozilla Foundation(モジラ財団)が開発を主導するプログラミング言語だ。開発が始まったのは2006年で、安定版であるバージョン1がリリースされたのも2015年のことだ。まだ新しいプログラミング言語をグーグルやマイクロソフトがOS開発に採用する理由は、OSのセキュリティー強化にある。

 Rustは、プログラムに必要なメモリーの確保や解放に関連するバグが生じない「メモリー安全」が保証されたプログラミング言語である。それに対してこれまでのOS開発に使われてきたC/C++は「大規模な開発においてメモリー安全なコードを記述することがほぼ不可能」(マイクロソフトのブログ「We need a safer systems programming language」より)なのだという。

脆弱性の70%がメモリー管理バグに起因

 グーグルによればAndroidに存在した深刻なセキュリティー脆弱性の70%近くがメモリー安全に関するバグに起因するという。同様にマイクロソフトも、同社製品に存在したセキュリティー脆弱性の70%がメモリー安全に関するバグに起因すると述べている。C/C++を使う限りセキュリティー脆弱性を根絶するのは不可能と考えて、Rustを採用するに至ったというわけだ。

https://xtech.nikkei.com/atcl/nxt/column/18/00692/042700054/
612仕様書無しさん
垢版 |
2023/05/18(木) 22:39:28.94
>>611
と馬鹿が申しております
2023/05/19(金) 00:30:24.99
してWindowsはバグが30%に減少しただろうか?
614仕様書無しさん
垢版 |
2023/05/19(金) 12:09:10.57
5chでくだまいてる時点でお察しだね
そんな暇人でも5chでイキれるんだからc++て素晴らしい言語ですねw
2023/05/19(金) 15:28:34.17
ChatGPTに書かせればバグはなくなるから結局C/C++に戻るだろ
2023/05/19(金) 16:41:43.26
そんな夢物語の話するなら最初からバイナリ
吐かせれば良い
2023/05/19(金) 21:23:42.06
だよな。AIがどれだけ複雑なシステムも確実にノーバグで出せるのなら
いちいち人間ごとき向けのプログラム言語を間に挟む意味がない
2023/05/19(金) 21:38:38.29
ブラウザという中途半端な媒体が嫌い
2023/05/29(月) 22:07:21.76
なんかポリコレがらみの内紛でコアチームが揉めてるらしいじゃん
将来性黄色信号か?
2023/05/30(火) 00:27:16.44
Rustはなんら問題なくガバナンスされている
https://www.rust-lang.org/governance/
2023/05/30(火) 05:25:57.82
ま、内紛が本格化したら、フォークするだけだろ
MSが育ててくれるかもしれん ぐぐるとAppleは、DartとSwift持ってるし
622仕様書無しさん
垢版 |
2023/05/30(火) 05:51:03.82
MicrosoftとGoogleとAmazonなどIT大手各社が共同でRust Foundationを設立したためRustは盤石な体制となっている
2023/05/30(火) 08:36:13.59
Visual R++ができるかもね
でも現代なら、それもアリかなって
624116
垢版 |
2023/06/06(火) 05:34:09.38
J++の二の舞
2023/06/06(火) 06:45:49.04
ワケワカだよなJ++
2023/06/06(火) 08:18:18.47
>>72
ネタじゃなくて、統計上そうなる
627仕様書無しさん
垢版 |
2023/06/06(火) 10:31:26.80
>>626
Rustで作ればバグはなくなる
628仕様書無しさん
垢版 |
2023/06/07(水) 09:58:03.06
>>591
crates.io はごちゃごちゃ感しかない
629仕様書無しさん
垢版 |
2023/06/07(水) 10:29:13.21
>>69
そうさ100%勇気~
630仕様書無しさん
垢版 |
2023/06/07(水) 20:10:30.51
>>590-591
RUSTも将来ごちゃごちゃになる運命
631仕様書無しさん
垢版 |
2023/06/07(水) 20:23:57.10
>>601
ほんそれ
2023/06/08(木) 13:47:18.34
test
2023/06/08(木) 14:28:46.50
>>629
やめろその歌
大嫌い
634仕様書無しさん
垢版 |
2023/06/08(木) 16:06:06.49
>>633
なんで? ホモっぽいから?
635仕様書無しさん
垢版 |
2023/06/08(木) 18:17:39.36
>>601
えっ
Tauri は糞だろ
636仕様書無しさん
垢版 |
2023/06/08(木) 21:16:48.25
>>635
その分野ではTauriがベスト
>>601に書かれているメリットを上回るものが他にない
637仕様書無しさん
垢版 |
2023/06/09(金) 20:08:22.98
これもRustにすれば解決するんだろうか

マイナンバー開発者が不具合の原因を暴露。「個人番号ではなく住所氏名で照合するプログラムを書いた」 [971283288]
ttps://hayabusa9.5ch.net/test/read.cgi/news/1686308209/
2023/06/09(金) 22:59:31.95
>>637
え?
本気で言ってるの?
ちょっとこのスレ読み直したほうがいいんじゃない?
2023/06/10(土) 06:58:28.73
信者なら、「Rustの安全性に依れば、そういうところにも資源を集中できる」って言うだろうけど、
それはもう推しってやつだな
640仕様書無しさん
垢版 |
2023/06/10(土) 07:24:44.91
>>637
Rustはデータ競合をコンパイルエラーとし排除できる初のプログラミング言語なので
データ競合により引き起こされてきたバグなどは解決する
しかしその問題がデータ競合によるものかどうかは知らない
2023/06/10(土) 10:55:17.51
全ての不具合をコンパイラが検出してくれると思ってんだよな
アルゴリズム起因のバグやユーザーの入力間違い防止なんかは検出できるわけないのに
2023/06/10(土) 11:20:15.78
一応Tauriよりは軽量そうかつ、いきなり開発放棄にならなそうなGUIツールキットとしてはGTKがあるけど
Tauriと比べてシェアどうなんだろうね
643仕様書無しさん
垢版 |
2023/06/10(土) 12:12:07.09
>>641
そんな思い込みをしてる人はいない

C/C++ではコンパイルが通ってしまう、
メモリ管理のバグや、
エラー(や例外)の対応忘れや、
異常値(NULLや-1など)の対応忘れや、
データ競合のバグなどを、
Rustではコンパイラがエラーで指摘してくれるため、
開発効率と品質が向上する
2023/06/10(土) 12:34:13.61
頭がAIなら、これぐらいAIで静的解析してれば防げたって本気で言い出すやつもいるだろうが
Rustだと少しでも知ってればいないだろうな
2023/06/10(土) 12:41:01.37
ド素人はどうしても抜けが出がちなソース書くからな
646仕様書無しさん
垢版 |
2023/06/10(土) 18:37:28.02
>>637
はい
2023/06/10(土) 22:13:22.01
確か特定につながるから氏名住所使わなきゃだめとか
そういう話がなかったっけ
2023/06/10(土) 22:15:23.79
一方のシステムでは個人番号管理してないんだろう
危ないし
おまいらゲタゲタ笑ってたらじゃあ全部個人番号でって話になるぞ
649仕様書無しさん
垢版 |
2023/07/18(火) 03:02:57.09
Meta、Rustの採用を加速--高性能バックエンドサービスで
https://japan.zdnet.com/article/35191156/

Metaは、Rustのバージョン1.0が登場した翌年となる2016年からRustを使用してきている。
Rustは、ブロックチェーンによるステーブルコインの実装を目指していた
「Diem」プロジェクト(旧称「Libra」)の主要記述言語として採用されていたほか、
ソースコード管理サーバー「Mononoke」の記述言語として、
そしてMetaの「ブロックチェーン向けの新たなセキュアプログラミング言語」であるMoveの基礎ともなっている。

C++よりもRustを重視するという選択は、Metaにとって大きな決断だった。
というのも、Facebookのバックエンドで動作する大半のコードはC++で記述されており、
それ自体は明らかな選択であったためだ。
Metaによると、Mononokeが成功したと見なされたことで、Rustの導入は勢いを増し、
PythonやJavaScriptのバックグラウンドを有するエンジニアらの興味を引くようになったという。
2023/07/20(木) 11:03:24.38
Windows11はバグが激減したのだろうか?
2023/07/20(木) 12:24:01.17
各社とも実践投入はわりと始まったばっかりだぞ
2023/08/16(水) 20:16:27.50
Cloudflare、NGINXに代えて自社開発のRust製HTTPプロキシ「Pingora」をグローバルCDNに採用。性能向上しつつCPUとメモリ消費を3分の1に
https://www.publickey1.jp/blog/22/cloudflarenginxrusthttppingoracdncpu31.html

CDNプロバイダのCloudflareは、同社のグローバルなCDNの基盤として長らく利用してきたNGINXに代えて、
同社自身がRust製のHTTPプロキシである「Pingora」を開発し利用していることを明らかにしました。

Pingoraはすでに同社のCDNに採用され、毎日1兆回以上のリクエストを処理し、
性能向上や数多くの新機能の提供を実現しつつ、従来と比較してCPUとメモリリソースの消費はいずれも3分の1程度に収まっているとのこと。

CloudflareはNGINXの性能上の課題について、各リクエストが1つのワーカーで処理が行われる仕組みが特定のCPUコアに負荷を偏らせること、
接続の再利用性が低いことなどが、性能低下を引き起こしていると指摘。

Pingoraは現時点でコードなどは公開されていませんが、いずれオープンソース化の計画についても明らかにするとCloudflareは説明しています。
2023/08/22(火) 21:15:35.17
Rustもいいけどwebassemblyもね
654仕様書無しさん
垢版 |
2023/09/09(土) 11:08:12.24
rust, github見ても開発放棄されてるコードばっかなんだが。
655仕様書無しさん
垢版 |
2023/09/12(火) 18:49:58.22
>>652
Web方面もRust製になっていってるんだな
656仕様書無しさん
垢版 |
2023/09/16(土) 09:20:50.87
Rustでゲームエンジンはよ
2023/09/16(土) 16:08:07.82
AndroidとiOSのアプリがrustだけで書けるようになればいいなぁ
2023/09/16(土) 22:16:18.06
それいいな
659仕様書無しさん
垢版 |
2023/09/17(日) 19:17:29.80
ラスティストって呼ぶらしいけど本当ですか?
2023/09/18(月) 09:04:10.72
TauriはもうAndroid版とiOS版のプレビューがあるんだな
モバイルでのこういうのは、だいたいネイティブ処理に他言語呼び出しがいるって理由で毎回流行らないがさて
661仕様書無しさん
垢版 |
2023/09/24(日) 12:23:49.28
0788デフォルトの名無しさん
2022/06/21(火) 08:59:28.38ID:vO+TReRM
俺はフロントエンドやらないからこのスレでTauriの話をしないでくれ
662仕様書無しさん
垢版 |
2023/09/28(木) 19:51:20.37
>>623
C#.NET並みにFormが簡単に書けて
WPFみたいにインタラクティブに扱えて
なんならDirectXも簡単に呼べるなら有り
663仕様書無しさん
垢版 |
2023/09/30(土) 22:21:26.46
ラスト使いたい
2023/11/08(水) 20:59:39.48
サブモジュールの定義って古いmod.rsのほうが
ディレクトリにファイル全部押し込めて新しいやつよりよっぽど気分よくない?
665仕様書無しさん
垢版 |
2023/11/13(月) 21:32:49.30
C++も最新ならスマポ使えるし言うほどじゃなくね
2023/11/14(火) 20:36:32.11
C++11の機能をちゃんと使える奴なんて、2023年でもC++の開発者の半分にも満たない上澄みだけだろ
歴史そのものがC++の弱点で、それはどうやっても消えない
667仕様書無しさん
垢版 |
2023/11/24(金) 01:57:39.09
>>665
C++のスマポは機能が弱すぎてできないことが多すぎる
例えばヒープ領域しか指せないから
(L1キャッシュ効果と領域確保解放コスト無しで高速な)スタック領域の活用がスマポではできない
2023/11/24(金) 10:54:20.64
カスタムアロケーター・・・
669仕様書無しさん
垢版 |
2024/02/08(木) 07:32:44.31
Googleがプログラミング言語「Rust」に100万米ドルを助成、「C++」との併存・置き換えを図る
https://forest.watch.impress.co.jp/docs/news/1566662.html
2024/02/14(水) 16:53:14.34
C#が楽すぎてC/C++はやらなくなったな
Rustもやってみるか
671仕様書無しさん
垢版 |
2024/03/08(金) 21:02:41.69
米国ホワイトハウスが開発者に対しC++やC言語からRustやJavaなどのメモリ安全性に優れたプログラミング言語への移行を勧める
https://gigazine.net/news/20240229-whitehouse-urges-use-rust-java/
2024/03/08(金) 22:11:27.29
Rustおもろい
2024/03/09(土) 19:59:57.80
コンパイラに怒られて解決に時間とられたりするけどRustおもろいね
2024/03/11(月) 00:11:15.44
上に怒られる前にコンパイラに怒られて良かったじゃねーか
2024/03/29(金) 13:55:18.13
ベルト伸ばしきった状態で止めとく奴でも少し痩せていた?ジャニでやろうよ
ケニーGがまた一般人ぶん殴って捕まってた
消化試合10勝15敗だから一ヵ月分くらいは試合しとるおっさんは株も上手いしファンも獲得できるかもしれないあたりこの国終わってるんだわ
676仕様書無しさん
垢版 |
2024/03/29(金) 14:34:29.12
俺は配信ドラマ
2024/03/29(金) 16:24:42.44
何処かで
工場で倍
2024/03/29(金) 16:27:22.92
安全保障を心配する大人の贅沢味わいたいなら
679仕様書無しさん
垢版 |
2024/03/30(土) 18:59:36.50
「ソフトウェアはメモリ安全でなければならない」との声明を発表、米ホワイトハウス:「C」「C++」よりも「Rust」などの言語を推奨
https://atmarkit.itmedia.co.jp/ait/articles/2403/18/news045.html
680仕様書無しさん
垢版 |
2024/04/30(火) 22:34:17.97
米ホワイトハウス、開発者にRustなどメモリの安全性考慮した言語への移行促す
https://news.mynavi.jp/techplus/article/20240227-2893479/

脆弱性の特徴を持ち普及率が高い言語として、CおよびC++を挙げている。
このような脆弱性を軽減するために、「はじめからメモリ安全なプログラミング言語」の使用を推奨している。
レポートでは、その具体例としてCおよびC++を「Rust」へ移行することを促している。
2024/05/01(水) 18:37:55.56
Goでええやん
2024/05/04(土) 07:15:49.59
ttps://i.imgur.com/m9w5rBr.jpeg
2024/05/04(土) 09:26:17.54
グロじゃないけど関係ないコラ?

あとまたどんぐり枯れたのでkari
枯れすぎだろ。。
2024/05/04(土) 10:43:30.47
「とんでもないものが売ってた」 ハードオフに“33万円”で売られていた「まさかの商品」に思わず仰天 [PARADISE★]
http://asahi.5ch.net/test/read.cgi/newsplus/1714535403/8
2024/05/08(水) 19:23:49.61
どんぐり
686仕様書無しさん
垢版 |
2024/05/17(金) 08:42:27.20
現在急発展したAIは論理的な思考をしていないので必ず安全なC++プログラムを作らせるのは無理がある
一方でRustはコンパイルが通れば必ず安全なのでAIにコンパイルが通るまで試行錯誤させて安全なプログラムを作らせることが可能
したがって今後のプログラミング言語はRust一択になる見込み
687仕様書無しさん
垢版 |
2024/05/21(火) 16:27:47.61
しかし危険なことができない言語は汎用性が低いという矛盾
2024/05/21(火) 17:28:51.40
組み込みからウェブフロントエンドまで
やっても汎用性が低いのか
689仕様書無しさん
垢版 |
2024/07/03(水) 00:27:11.90
>>687
RustはC言語でできることはできるよ
そしてC言語と同じ速さで実行できるよ
690仕様書無しさん
垢版 |
2024/07/31(水) 20:51:11.02
世界的なWindowsブルースクリーンの件はnullポインタによるアクセスと判明
これもC++ではなくRustを使っていれば防げた可能性
2024/08/06(火) 15:04:11.99
LLVMに対応してないアーキテクチャはどうするの?
あとはJVMもPythonインタプリタもCPPで動いてるからシームレスに動かせてる部分はあるんでないの?
2024/08/08(木) 18:10:48.32
Rustを使っていればってのは机上の空論でしかないよなぁ
リプレースだってコストかかるわけだし
693仕様書無しさん
垢版 |
2024/08/09(金) 07:23:00.78
ネットに勝手にアクセスさせる
694仕様書無しさん
垢版 |
2024/08/09(金) 20:02:50.22
いま>>1をみると、

まるでWindows のバグは C/C++ が悪いって言ってるようだw
695仕様書無しさん
垢版 |
2024/08/17(土) 01:00:31.67
脱C言語へ!
米国国防総省のDARPA、CからRustへのコード変換を自動化する「TRACTOR」プログラムを開始
https://atmarkit.itmedia.co.jp/ait/spv/2408/14/news045.html
2024/08/17(土) 07:52:24.91
Rust面白い
えぐい使ってる
2024/08/17(土) 10:17:06.57
rustは中途半端なIT土方をフィルタリングできるから
なおさらよい
2024/08/17(土) 17:31:24.15
>>695
unsafe{}
2024/08/17(土) 17:32:29.50
kurusimidesinu
2024/08/19(月) 13:14:51.41
kurusii
2024/10/17(木) 08:09:30.44
https://medaka.5ch.net/test/read.cgi/prog/1729120072/
702仕様書無しさん
垢版 |
2024/12/14(土) 18:10:36.21
で、C++作った禿はRustをどう評価してるん? まさか、禿は死んだ、とかないじゃろな?
何か聖書に出てきそう。

禿げは死んだ。しかし、C++は残るであろう。
703仕様書無しさん
垢版 |
2024/12/15(日) 14:13:19.76
C/C++は着実に消えていく

C/C++からRustへ:Googleが示すファームウェア進化の道筋
https://xenospectrum.com/google-revamps-firmware-with-rust/
2024/12/15(日) 18:45:22.64
Rustが最終的な勝ち組になるなんて信じられない
2024/12/15(日) 21:36:42.06
もう一歩進歩があるはずなが
706仕様書無しさん
垢版 |
2024/12/16(月) 05:55:35.16
英語・英語じゃなくてよ、日本語プログラミングできるようにしろよ。
関連
なでしこ
2024/12/19(木) 20:20:09.06
rustくらいすぐにできるやろ
でも世の中はなんちゃってエンジニアばかりで
当たり前なことが出来ないのばかりだからなぁ
2025/02/20(木) 05:50:03.96
マイクロソフトさん
2025/03/22(土) 10:59:12.02
>>702
最近はメモリ安全をC++にも導入しないと未来はないっていってるので高く評価してそう
JavaとかGoみたいなGC言語しかないころはスマートポインタ使えよばーか程度だったと思うし
710仕様書無しさん
垢版 |
2025/03/22(土) 22:32:12.82
C++自体にどんな機能を追加してもRustと同レベルに安全にするのは不可能だと結論は出ていて
CarbonなどC++からちょっと変える言語を作るしかないけどどれも決定打に欠けていて
巨大で一枚岩のシステムを除けば部分的なシステム更新の再構築時にRust化していけばよい流れになってる
2025/03/23(日) 03:47:31.55
そうなるとこんどは、RustにC++が合わせていくことになる
そうすると、自然にC++にも、Rustが実績を積んだ安全策が流入してくる

今回もそれでいい C++はそうやって、外圧で進化してきた
レスを投稿する

5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況