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: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秒