Rust Part6

**デフォルトの名無しさん** · 2018/07/28(土) 03:04:38.63

Mozilla発のRust言語のスレ

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

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

前スレ
Rust Part5
http://mevius.5ch.net/test/read.cgi/tech/1518347244/

**デフォルトの名無しさん** · 2019/07/03(水) 23:03:04.57

Rust→IR→Cが実用出来るようになるのはいつだ
LLVMが対応していないアーキテクチャでRustを使いたいねん
それともトランスパイラを作った方が早いかなぁ

**デフォルトの名無しさん** · 2019/07/03(水) 23:13:41.05

>>973
V言語使えよ

**デフォルトの名無しさん** · 2019/07/03(水) 23:20:25.57

IR to Cは昔できたのにな

**デフォルトの名無しさん** · 2019/07/03(水) 23:20:30.76

524 デフォルトの名無しさん sage 2019/07/02(火) 14:38:03.95 ID:ep8keXko
言語機能の複雑さという代償はあったが
GC無しでリージョン推論を実現したのがRust

記述性のためGCを入れつつも遅延を最小にすべく
GCの性能向上に努めたのがGO

一方vlangの公式によると
https://vlang.io/
> V manages memory at compilation time (like Rust)
https://vlang.io/compare
> - No GC
> That's why the language is so simple

・Rustのようにコンパイル時にメモリ管理される
・Goのように書けるがGC不要
・それでいてRustのような複雑さは無い
・という予定(まだ未実装)

本当にこの通り実現するなら
GoとRustの設計者達にマウント取れるレベル
526 デフォルトの名無しさん sage 2019/07/02(火) 14:59:25.78 ID:ep8keXko
ちなみに自動メモリ管理が未実装なので、以下の記事によると
hello worldやvlangコンパイラ自体もメモリリークしているとのこと
https://christine.website/blog/v-vaporware-2019-06-23
> The compiler itself also leaks memory
531 デフォルトの名無しさん 2019/07/02(火) 18:22:15.31 ID:NqAwj9wC
>>526
ｗｗｗ
532 デフォルトの名無しさん sage 2019/07/02(火) 18:59:24.21 ID:8dHuftNb
>>526
あっ・・・（察し）

**デフォルトの名無しさん** · 2019/07/03(水) 23:31:44.31

>>973
rust2cトランスレータはとっくの昔にあるしとっくの昔にどれも開発止まってる
rust->llvm->c->任意のコンパイラで出来るじゃん。

**デフォルトの名無しさん** · 2019/07/04(木) 07:00:47.22

>>974
生ポインタ使えるの？新しすぎるせいからしい情報が見つからんかった

>>977
今出てくるCバックエンドの話って関数レベルで使えれば御の字みたいなのばっかりに見える
プロジェクトレベルで実用に耐えるワークフローがあるなら詳細を知りたい

**デフォルトの名無しさん** · 2019/07/04(木) 11:51:58.94

>>608
横田さん潜伏中に生魚あたってハイタのかな？排他だけに。
なかなかRockだね！Lockだけに。

**デフォルトの名無しさん** · 2019/07/04(木) 23:15:23.31

>>978
>プロジェクトレベルで実用に耐えるワークフローがあるなら詳細を知りたい
rustでは見たこと無いね。操作的意味論に基づいて命令列とグルーコードに変換するものばかり。
というかそれ以外は難しいと思う。

**デフォルトの名無しさん** · 2019/07/05(金) 01:27:12.64

>>980
やっぱりそうか、残念。LLVMのバックエンドは作れる気がしないしトランスパイラの方が望みがあるけど
それでもELFのパーサとジェネレータ、変換元機械語のデコーダは最低必要だな
こういうのって処理系やエミュレータ等でしばしば使われるけど、単体のライブラリとなるとx86とかの
有名なアーキテクチャですらなかなかないんだよな

**デフォルトの名無しさん** · 2019/07/05(金) 20:56:59.69

Cと比べたらノウハウ少ないかもしれんけど、LLVMバックエンド作るのってそんなに面倒なの？
LLVM->Cって抽象度上げる方向だし参考になるものがもっと少ない気がする。ecmascriptenくらいじゃない？

**デフォルトの名無しさん** · 2019/07/05(金) 21:57:46.40

>>982
Rust to Cは自分の手に負えそうにないので他力本願です
ググって出てくる情報を見る限り最適化コンパイラを自作できるくらいの理解がないとLLVMの理解とバックエンドの開発は難しそうに感じます
各言語やアセンブラを使える程度の理解では歯が立ちそうにないです

なので機械語 to 機械語(もしくはアセンブラ to アセンブラ)の方がまだ望みがあるかなと

**デフォルトの名無しさん** · 2019/07/05(金) 23:46:41.28

バイナリ変換ってかなり壮大な研究テーマでは…。
どうしてもLLVMに触れたくないならLLVM-IR to アセンブリを自作するほうがまだましかな。

結局素直に勉強してLLVMバックエンド作るのが一番早いと思うけど。

**デフォルトの名無しさん** · 2019/07/06(土) 00:04:57.41

んなことするならc使った方がマシ

**デフォルトの名無しさん** · 2019/07/06(土) 06:53:43.23

>>984
LLVM IRってレジスタ数が青天井ですしstd付きとはいえHello worldですら十数本使っているようです
何処まで増えるのか判りませんがレジスタを数百本使うIRとか吐かれたら何とかなる気がしません

勉強すると言ってもどこから手を付ければいいのか判らない状態ですし最近は相対的にローレベルな
情報自体が減少しています。運良く自分が理解できる資料や教材に巡り会えない限り難しそうです

**デフォルトの名無しさん** · 2019/07/06(土) 09:55:08.49

オレオレ → LLVM はレジスタ何本あってもOK
LLVM → CPUネイティブは良きに計らえ

オレらの仕事は前者
気にすんな

**デフォルトの名無しさん** · 2019/07/06(土) 12:04:38.86

そこまで部分の最適化って自分でやらにゃならんし
計算と制約を記述するのに適したその手前までの中間言語ってないじゃろか
Ｌｉｓｐとかか

**デフォルトの名無しさん** · 2019/07/06(土) 13:45:06.47

バイナリ変換ってダブルバッファリング的な事しないと整合性とれねー気がした。

**デフォルトの名無しさん** · 2019/07/06(土) 13:49:10.31

いみふめい

**デフォルトの名無しさん** · 2019/07/06(土) 17:36:17.74

>>988
レジスタが1～2本足りないくらいなら使用頻度の低いのからメモリに逃がす方法で何とかなりそうだけど
全然足りない場合全く別の方法が必要そうですが思いつかないです。自分にとっては高度な問題です

Rustと言うかLLVMが吐けてターゲットとの相性が良さそうなアーキテクチャを選ぶ必要があるけどこれも難問かな
IA32/AMD64はメジャーだけど建て増ししすぎでアドレッシングモードとかスーパーカオスだし無駄に命令も多い
ARM7あたりが無難だろうか。分岐処理が特徴的なようだけどRISCの割にレジスタが少なめなのも好条件か
純RISC系は命令セットが単純だけどレジスタが多くてLLVM IRと同じ問題が出てきそう

**デフォルトの名無しさん** · 2019/07/06(土) 17:38:47.90

キューイングしてガンガン処理して節目でプログラムカウンタを1増やす。とか理想を語る俺。

**デフォルトの名無しさん** · 2019/07/07(日) 16:07:05.22

2つのvectorの同じインデックスの要素を比較したいときってどうかくのがスマートなんでしょう

**デフォルトの名無しさん** · 2019/07/07(日) 16:38:57.74

>>993
zip

**デフォルトの名無しさん** · 2019/07/07(日) 23:58:58.81

MISPならツールチェイン揃ってるからPS系ハードで動かないことはない

**デフォルトの名無しさん** · 2019/07/14(日) 21:58:47.03

コンパイラチェッカーについて簡潔にまとまっている資料とかないんだろうか
数ヶ月ぶりに触ったらすっかり記憶の彼方だわ

**デフォルトの名無しさん** · 2019/07/14(日) 23:32:23.74

次スレ立てた
Rust Part7
http://mevius.5ch.net/test/read.cgi/tech/1563114707/

**デフォルトの名無しさん** · 2019/07/15(月) 16:19:43.86

RustってVisual Studio Codeとかでビルドしたりインテリセンスが利いたりするようにならんの

**デフォルトの名無しさん** · 2019/07/15(月) 19:12:06.92

質問いいですか？∩(　´Α｀)

**デフォルトの名無しさん** · 2019/07/15(月) 19:19:28.82

いいよ

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 352日 16時間 14分 50秒