Rust part21 - 暇つぶし2ch

Rust part21 ..

301:デフォルトの名無しさん
23/09/18 23:47:04.73 h2SSCK+Z.net
>>294
それRustに対するアドバンテージになってないな
むしろディスアドバンテージ

302:デフォルトの名無しさん
23/09/19 07:20:03.69 H6NF4sQp.net
>>294
目的のために敢えてUB引き起こすってこと？

303:デフォルトの名無しさん
23/09/19 11:44:23.57 B2l8DHRh.net
>>294
＞そういうときにでもどうにかする知見が C/C++ では積み上がってる。
所謂、バッドノウハウね。
そりゃさんざん今までやりまくって、なんなら現在進行形だったりするんだからノウハウも積み上がるさ。

304:デフォルトの名無しさん
23/09/19 13:23:13.06 Gn3exU3j.net
データベースのデータファイルの中の構造は、
C言語の「全部生メモリ」状態で、ポインタの
変わりにファイルポジションになっていて
普通に相互リンクトリンクやファイルポジション
をデータの位置を表現するのに使われていたりする。
だから、実行中のプログラムの RAM のメモリー安全
は確保されたとしても、ファイルの中は安全には
ならない。

305:デフォルトの名無しさん
23/09/19 13:27:32.55 Gn3exU3j.net
>>298
[補足]
・ポインターの代わりにファイルポジションが使用され、
　古来の plain C と同様のプロググラミングが行なわれている。
・LockFile や fnctl で「部分ロック」が当たり前
　のように使用されており、非常に複雑な
　配慮が必要なプログラミングになっている。
もっといえば、DBMS を使うアプリケーションも、非常に
配慮が必要な場合も多く、どのようなテーブルやカラム構造
にするかは難しい。ID番号をリンクしたり、どうやって
データを参照しあうかなどが生ポインタと同様の難しさ
を持っていて、わずかでも間違えば、全データが論理破損
してしまう可能性を持っている。

306:デフォルトの名無しさん
23/09/19 14:54:41.30 rHe1cSmV.net
だれか巻き込まれてないか？
URLﾘﾝｸ(www.youtube.com)

307:デフォルトの名無しさん
23/09/19 15:58:16.52 H6NF4sQp.net
形式検証をrustに組み込むのってどれくらい現実的なんだろ
言語本体ではなくてproc macroで実現できるのかね

308:デフォルトの名無しさん
23/09/19 16:39:15.02 p1GkLls0.net
>>299
一般的なDBMSは中央集権でページアクセスを一元管理してるから生ポインタとは全く質が異なる

309:デフォルトの名無しさん
23/09/19 17:37:47.80 /HqZkxNe.net
>>302
ただ、購入履歴などは「誰が購入したか」のIDを
購入項目テーブルとユーザーテーブルを結びつける
必要があるので、IDがポインタの役割になる。
わずかでも狂うと、別人が買った項目が結び付け
られてしまう。
値が1つ、または、行が一行でもずれるとほぼ全体が破綻する。

310:デフォルトの名無しさん
23/09/19 18:14:50.54 mxtPnJ5/.net
DBでも何でもそうだけどshared xor mutableも必要

311:デフォルトの名無しさん
23/09/19 18:23:26.80 /HqZkxNe.net
販売サイトなどのバグって怖くて、500円のものが
バグれば5000円になったりする可能性ある。
そういうものは、プログラミングを気をつける
しかなくて、Rustの安全対策でも防げない。

312:デフォルトの名無しさん
23/09/19 18:32:19.28 gvKDfDmE.net
「気を付ける」の内訳にはテストを書く習慣とかが含まれてる。
気を付けないとしょうがないけど
気を付けるのに使える道具はそれなりに揃ってる。

313:デフォルトの名無しさん
23/09/19 18:34:24.73 mxtPnJ5/.net
すべてのバグをなくせる言語がないのは当たり前
データ競合により起こるそういう値のバグも現実にあるのだからRustでその手のバグをなくせるのも事実

314:デフォルトの名無しさん
23/09/19 18:55:07.79 p1GkLls0.net
>>303
そのレイヤーの話でもDBMSはトランザクション管理されてるから生ポインタとは状況が全く異なる
トランザクショナルメモリで管理された共有メモリと生ポインタの違い(実際はそれよりもまだ差がある)

315:デフォルトの名無しさん
23/09/19 19:02:27.03 p1GkLls0.net
>>304
同時実行制御には大きく楽観的制御と悲観的制御があるがshared xor mutableは後者
高い同時実行性能が求められる場合には楽観的同時実行制御を使うことが増えている
DBの話だけでなくロックフリーアルゴリズムも基本は楽観的制御

316:デフォルトの名無しさん
23/09/19 19:54:07.45 /x1C5Bro.net
>>309
楽観的排他制御を用いることができる現実的ケースが狭い
衝突した時の処理やり直しコストも考慮する必要がある

その一般的な話とは別にポインタ(参照)の話の方は必ず衝突するためsingle writer xor multiple readersが必須

317:デフォルトの名無しさん
23/09/19 21:00:27.72 BGD+Lo74.net
排他制御も凄く奥深い話ではあるが、そういう
ものだけでなく、単なるプログラムミスで、
ID番号が1つずれたり、行がなんらかの事が
原因で1ぎょうずれたりしても、大変な問題
を巻き起こす。だからテストは必須。

318:デフォルトの名無しさん
23/09/19 21:30:53.89 cyrWzrEE.net
RDBMSで物理的な一行とか関係ない
テキストファイルに永続化してる素人だな

319:デフォルトの名無しさん
23/09/19 21:34:30.39 BGD+Lo74.net
>>312
DBMS自体をプログラムする場合には関係ある。

320:デフォルトの名無しさん
23/09/19 21:41:37.42 BGD+Lo74.net
それと、DBMSを使うに徹する場合でも、行に
付ける ID 番号の管理がまた問題になる。
それも慎重に良く考える必要がある。

321:デフォルトの名無しさん
23/09/19 21:50:10.01 LcWw/5IR.net
それサロゲートキー義務で設計したらの話でしょ

322:デフォルトの名無しさん
23/09/19 21:55:08.52 BGD+Lo74.net
>>315
色々な機能を実装する上で、色々有り得る。

323:デフォルトの名無しさん
23/09/19 22:32:18.55 e2nf9Krk.net
>それと、DBMSを使うに徹する場合でも、行に
>付ける ID 番号の管理がまた問題になる。

DB板にもそういうのいるけどRDBにID必要と考えてるやつはもっかい勉強してこい

324:デフォルトの名無しさん
23/09/19 22:44:03.77 5k6OZf8O.net
>>310
>楽観的排他制御を用いることができる現実的ケースが狭い
MVCCやCASが楽観的制御
分散非同期が前提の世界では楽観的制御がデフォルト
じゃないとスケールしないから

Rustがコンパイル時悲観的制御にしてるのは実行時の管理を無くしたいからであってポインタだとshared xor mutableが必須だからではない
トランザクショナルメモリがその一例

325:デフォルトの名無しさん
23/09/19 22:57:59.75 cyrWzrEE.net
DBMSをプログラムする場合には当然関係ある
でも1行ずれたら大変とかいう下手くそは任されないので関係ない

326:デフォルトの名無しさん
23/09/19 23:03:17.25 BGD+Lo74.net
>>319
下手クソとか上手いとかっていうより、
そうならないようなアルゴリズムやデータ構造を
ちゃんと考える能力があるかどうかなん
だろうけどな。

327:デフォルトの名無しさん
23/09/19 23:06:22.84 r+harKS8.net
可変参照と不変参照に対してMVCCなんて使えないよ
それはデータをコピーすることと同じになってしまう
ソフトウェアトランザクショナルメモリはどの環境でも使用可能なのに不利だからほぼ使われていない
さらにRustのshared xor mutableはそれらと独立した話であり共存できる話なのでshared xor mutable必須は問題ない

328:デフォルトの名無しさん
23/09/20 01:44:31.66 16Zt41/R.net
会話のドッジボール

329:デフォルトの名無しさん
23/09/20 09:31:56.94 R98wQa7Y.net
>>303
マイニャンバーですね判ります

330:デフォルトの名無しさん
23/09/20 09:33:37.66 R98wQa7Y.net
>>305
500円の商品が5000円になるバグよりも
500円の商品が5円になるバグの方がはるかに怖い

331:デフォルトの名無しさん
23/09/20 09:37:31.04 R98wQa7Y.net
>>313
いやいやωωω

332:デフォルトの名無しさん
23/09/20 09:39:49.95 erhjcmms.net
>>324
一番の問題は、レジ打ちの人間だったら絶対間違わない
ミスがコンピュータでは起こりえるということだよ。

333:デフォルトの名無しさん
23/09/20 09:41:04.74 erhjcmms.net
>>325
DBMSのアルゴリズムやSQLiteのソースなどを見ていたが、
大いに関係あるぞ。

334:デフォルトの名無しさん
23/09/20 10:30:52.85 jgkdiTgC.net
SQLiteはファイルロックに頼らざるを得ない仕組みなのでDBとしては特殊

335:デフォルトの名無しさん
23/09/20 11:17:52.24 InZb605T.net
俺が高校生だった25年前頃、志木駅で500円分ぐらいのパンを買ったら4000円ぐらい請求されたぞ

336:デフォルトの名無しさん
23/09/20 11:46:41.00 UfpBE+4Y.net
まあ他のバグが減ればその分本質的な問題に注力出来るわな
そういうのはテストケースも綿密に行う必要がある

337:デフォルトの名無しさん
23/09/20 12:17:55.14 1SabZs8d.net
>>317
むしろナチュラルキーにして詰んだりバグってる

338:デフォルトの名無しさん
23/09/20 13:53:51.14 56axJTdd.net
ナチュラルキーがプロジェクトの最後までユニーク保障されたことなんかマジで無いズラ
サロゲートキーは必須ズラ

339:デフォルトの名無しさん
23/09/20 14:13:13.56 I55f6i4N.net
今日入門した。ツアーやったらサンプルプログラムが80個ぐらいできた
fn a(i: i32){ println!("{}",i) }
fn main(){ let x = 10; a(x); a(x) }
これは10が2回出力される
構造体引数だと2回よべずにエラーが出たけど
プリミティブ型？なら所有権がどうのとかなくてスタックにコピーされるだけであってる？

340:333
23/09/20 14:30:53.92 I55f6i4N.net
別のチュートリアル始めて理解した
コピートレイトが実装されてるからなのか

341:デフォルトの名無しさん
23/09/20 15:53:12.11 R98wQa7Y.net
#[derive(Copy)] 禁止

342:デフォルトの名無しさん
23/09/20 18:16:56.45 52Xj2Gp1.net
>>328
他のDBMSでもプロセス間の排他制御は
出来る方法が限られているのでファイルロックを
使っている可能性が高い。
他の方法だと、mkdir 法や、名前付きパイプが
あることがあるが、ファイルロックの方が便利。
一つのプロセスの中のスレッド間の排他制御は
色々な方法が有るが、プロセスを越えた排他制御
は意外と他に出来る方法が無いから。

343:デフォルトの名無しさん
23/09/20 18:33:23.45 I55f6i4N.net
>>335
#[derive(Copy,Clone)]はもう試しました
Rustのいいところが失われますね

344:デフォルトの名無しさん
23/09/20 18:51:23.96 o02nl+od.net
rustの名前の由来は？

345:デフォルトの名無しさん
23/09/20 19:07:11.98 DDNbmZRy.net
URLﾘﾝｸ(en.wikipedia.org)(fungus)
robustな菌らしい

346:デフォルトの名無しさん
23/09/20 19:38:07.98 I55f6i4N.net
OpenGLをやりたくてcrates.ioで最新版を調べてCargo.tomlに
[dependencies]
bytemuck = "1.14.0"
ogl33 = "0.3.0"
[dev-dependencies]
beryllium = "0.13.0"
imagine = "0.5.1"
このプログラムをビルドするとberylliumがunresolvedと出ます
use beryllium::*;
fn main() { let sdl = Sdl::init(init::InitFlags::EVERYTHING); }
berylliumのパッケージ名が変わったりしたのでしょうか
わかる人いますか

347:デフォルトの名無しさん
23/09/20 20:29:54.63 X4X5BtpX.net
>>336
さすがにmutex_lock使ってるよ
乏しい経験からの妄想なんかじゃなく、ちゃんとソース見れ

348:デフォルトの名無しさん
23/09/20 21:48:28.31 UIQvYKk8.net
>>331
ナチュラルキーをまともに扱えない奴はそもそも設計者失格だろう

349:デフォルトの名無しさん
23/09/20 22:20:31.31 DDNbmZRy.net
>>340
単純に動かすだけならdev-dependenciesからdependenciesに移せばいいと思う
テスト用の依存としてdev-dependenciesにこだわるなら
use beryllium::*;
の前に
extern crate beryllium;
を入れれば通るかな
あまりdev-dependencies使わないから分からん

350:デフォルトの名無しさん
23/09/20 22:37:25.93 I55f6i4N.net
>>343 ありがとうございます、動かせました！楽しい

351:デフォルトの名無しさん
23/09/20 23:23:26.93 T1fPPHAq.net
dev-dependenciesについてはこの辺参照
testやbenchやexampleだけで使う依存を定義するやつ
URLﾘﾝｸ(doc.rust-lang.org)
main関数の中で必要なら普通のdependencyにしないといけない
extern crateは関係ない

352:デフォルトの名無しさん
23/09/20 23:35:58.10 8RfwRI5f.net
>>331
未来永劫ユニークとノンヌルを単独ナチュラルキーで満たせればいいけど
そうでないときもあるもんね
 >>336
プロセス間mutexやセマフォもあるよ
 >>337
小さいデータならCopy実装は有利

353:デフォルトの名無しさん
23/09/21 00:37:39.43 hd16Ksmk.net
>>336
単一ファイルでまかなうSqliteと一緒にすんな

354:デフォルトの名無しさん
23/09/21 02:18:25.33 AFY6neVf.net
>>341
CreateMutex()の第三引数に名前を指定しなければ
ならないが、ユニークな名前をどうやって作るか
が大問題になるよね。
その点、LockFile() なら名前衝突の問題は
最初から簡単に確実に回避できる。

355:デフォルトの名無しさん
23/09/21 03:10:10.71 2dN46EMa.net
普通のDBってインターフェースを一つのサーバーで提供してると思うんだけど
名前解決が出来ない管理なんてあるの？

356:デフォルトの名無しさん
23/09/21 03:14:44.34 AFY6neVf.net
>>349
なるほど。そういうことか。
SQLiteは、中央サーバー的なプロセスが無いから
事情が違うってことなんだな。

357:デフォルトの名無しさん
23/09/21 04:39:08.18 uFUX5dn+.net
まずプロセスを分けるメリットがない
CPUコアスレッド数のスレッドを立ち上げれば一つのプロセスでそのマシンのリソースを使い切れる
ただし通信待ちでスレッドが止まったらその分のCPUリソースを無駄にしてしまうため各スレッドで複数のタスクを動かす
ただし各スレッドが抱えるタスク数は偏りがちなことが知られているため暇なスレッドは他からタスクを盗んで実行できるようにする
以上のスケジューリングをするのがRustのtokio

358:デフォルトの名無しさん
23/09/21 08:25:19.60 CT30w3BF.net
URLﾘﾝｸ(www.sqlite.org)

359:デフォルトの名無しさん
23/09/21 10:46:48.71 BwXSXzYj.net
>>352
Rust以外の言語は完全に否定されているけど
今後Rustだけは条件を満たせば採用するとあるね

360:デフォルトの名無しさん
23/09/21 10:59:44.45 3hJtL3Ib.net
mutable xor sharedはトランザクション分離レベルで言うとSERIALIZABLEだと思うけど、書き込み性能にけっこう致命的なパフォーマンス劣化が出たりしない？
あらかじめ主要な書き込み先オブジェクトの参照を保持しておくとかのオブジェクト指向の定石が利用出来ないし。

361:デフォルトの名無しさん
23/09/21 11:03:41.54 KbwNEPLt.net
SQLiteは今、日本の人が一人でRustに移植してるみたいだけど？
完成度は知らない

362:デフォルトの名無しさん
23/09/21 13:31:34.10 cACw6b27.net
>>351
MySQLやPostgreSQLみたいな普通のDBMSでは
単一プロセスがデーモンとして常駐してファイル更新
を一元管理するのが前提となっているが、
SQLiteでは、そのような常駐プロセスが
存在しなくて、各アプリがSQLiteのライブラリ
プログラムを呼び出して、ライブラリの関数が
排他制御を行なって単一ファイルを壊さないように
ロックしながら互いに強調しつつ、部分書き換えや
部分読み込みを行っている。
つまり、SQLiteは管理を担う単一の常駐プログラム
がなくて、個々のアプリ(の中のライブラリ)が
協調動作するようになっている。
だから、プロセス間で同期を取る仕組みが必要となる。
しかし、CreateMutexでは、ユニークな名前が必要
となってしまい、その名前を決めるのがメンドクサイ。
一方、LockFile だとファイルのパス名で自動的に
ユニークの名前に出来てしまうから、非常に簡単に
安全に正しくロックできる。

363:デフォルトの名無しさん
23/09/21 16:18:11.92 B1OFnXUk.net
3文字で言うと

364:デフォルトの名無しさん
23/09/21 16:54:51.87 2fMT8T96.net
SQLite便利だよ

365:デフォルトの名無しさん
23/09/21 17:25:46.98 WBcwDy8I.net
sqliteは便利だけどテーブルロックなところがうんこなんだよな
begin conccurentとか予定あるらしいが

366:デフォルトの名無しさん
23/09/21 20:32:07.68 2tR0WsIS.net
複数のプロセスからアクセスしないのを前提条件に出来る場合もそれなりにあるもんな。
ちょっとしたツールでデータベースのプロセスをいちいち起動するのはわずらわしいし、 sqlite くらいの気軽さはありがたいのは確か。
sqlite みたいな方針のデータベースが他に台頭してないのが不思議なくらいだ。

367:デフォルトの名無しさん
23/09/21 20:41:30.87 PYjX2iWU.net
>>359
テーブルロックじゃなくデータベースロック
multiple reader xor single writerはデータベース単位

368:デフォルトの名無しさん
23/09/21 20:59:40.19 WBcwDy8I.net
もっとひどいデータベース単位か
URLﾘﾝｸ(www.sqlite.org)
これでページ単位が導入されても、select for updateみたいに明示的にロック
がほしいな
リトライとかだるい

369:デフォルトの名無しさん
23/09/21 20:59:47.82 WBcwDy8I.net
もっとひどいデータベース単位か
URLﾘﾝｸ(www.sqlite.org)
これでページ単位が導入されても、select for updateみたいに明示的にロック
がほしいな
リトライとかだるい

370:デフォルトの名無しさん
23/09/21 23:58:45.91 +/xN81gC.net
以下のような関数(実際のものとは少し違いますが)を実装してみたのですがイテレータのメソッドチェーンの箇所で型が合っていないとコンパイルエラーが発生します
アルゴリズム自体を変更することで目的としていた処理はできましたが結局このエラーの直し方がわかりません
ライフタイム周りが原因だとは考えていますがどのように修正すればよいしょうか
fn hoge(
func: &impl Fn((&i64, i64)) -> i64,
arr: &[i64],
ret: &mut Vec<impl Iterator<Item = i64>>
) {
ret.push(arr.iter().zip(std::iter::repeat(arr[0])).map(func));
for i in 1..arr.len() {
hoge(func, &arr[i..], ret);
}
}

371:デフォルトの名無しさん
23/09/22 09:19:17.11 dkRHHNCe.net
fn hoge(
func: &impl Fn((&i64, i64)) -> i64,
arr: &[i64],
ret: &mut Vec<impl Iterator<Item = i64>>
) {
ret.push(arr.iter().zip(std::iter::repeat(arr[0])).map(func).collect()[0]);
for i in 1..arr.len() {
hoge(func, &arr[i..], ret);
}
}

372:デフォルトの名無しさん
23/09/22 12:36:56.71 E1X0qleO.net
lifetimeの問題もあるかもしれないがimpl Iteratorの型をとるところに関数内で生成したイテレータを渡しているのがそもそもおかしい

373:デフォルトの名無しさん
23/09/22 13:53:26.70 dkRHHNCe.net
>>360
mdb

374:デフォルトの名無しさん
23/09/22 16:15:11.47 v8mgsVW8.net
>>366
mapにはhogeの外から引数として関数を渡しているので再帰呼出しごとにイテレータの型は変わらないですし
```
let mut v = Vec::new();
hoge(|(&a, b)| a + b, &[1, 3, 5], &mut v);
```
という形でhogeを呼び出せばイテレータの型は自動的に推論されると思うんですが...

375:デフォルトの名無しさん
23/09/22 18:07:36.44 KH67E8jw.net
impl TraitはTraitを実装した型のいずれか一つを受け入れるだけで、Traitを実装した型全てを受け入れるわけではない

376:デフォルトの名無しさん
23/09/22 18:31:55.39 v8mgsVW8.net
>>369
mapの中に直接クロージャを渡せば確かにその制限に引っかかりますが、今回は再帰の中で一つの関数を使いまわしているのでimpl Iteratorの型は一つに固定されませんか?

377:デフォルトの名無しさん
23/09/22 18:41:57.56 v8mgsVW8.net
>>365
イテレータのまま保持して遅延評価させたいんです

378:デフォルトの名無しさん
23/09/22 18:43:25.81 8SLDLfd5.net
関数定義から一意な具体型に推論されるのは戻り値型に書いた impl の話ですね
引数型に書いた impl は単にジェネリック引数を匿名化したものという扱いなので
hoge は I: Iterator<Item=i64> なる任意の I で単一化できるような定義が求められます

URLﾘﾝｸ(doc.rust-lang.org)

なので引数で&mut引き回してdynも使いたくないということであれば↓になりますかね

URLﾘﾝｸ(play.rust-lang.org)

379:デフォルトの名無しさん
23/09/22 19:29:43.87 v8mgsVW8.net
>>372
コンパイル通りました!ありがとうございます!
ただもう少しわがままを言うと、実際の実装で

380:はメソッドチェーンの箇所がこれの2倍ぐらいの長さなので具体的なイテレータの型を書かずにコンパイラ任せにしたかったんですが、話を見る限りどうも無理そうですね...

381:デフォルトの名無しさん
23/09/23 08:15:26.34 piK9W+al.net
>>373
>>372も書いてるけどimpl IteratorをBox<dyn Iterator>にする手もあるよ

382:デフォルトの名無しさん
23/09/23 09:19:17.35 lKOAbDFW.net
可能なら dyn は避けるに越したことは無い。
dyn はトレイトオブジェクトを扱うための仕組みであって
推論を補助する仕組みではないから。

383:デフォルトの名無しさん
23/09/23 09:55:40.35 piK9W+al.net
>>375
実装の隠蔽目的でdyn使うのはそんなに変な使い方ではないと思うが

384:デフォルトの名無しさん
23/09/23 09:59:36.45 i9fpyxKg.net
Box<dyn Trait>で解決しました本当にありがとうございました

385:デフォルトの名無しさん
23/09/23 16:36:06.31 WPP4nTE5.net
>>364です
補足すると今回自分がわかっていなかったのは以下のような関数がコンパイルを通らないということですね
```
fn hoge<T>(a: i64, b: &mut T) {
*b = a;
}
```
impl Traitが単にジェネリクスの糖衣構文であるということと、
トレイト境界を満たす型をジェネリクス引数に渡した場合は合法に"ならなければならない"、トレイト境界は十分条件も満たさなくてはならないという点

386:を解っていなかったのがポイントでした...

387:デフォルトの名無しさん
23/09/23 21:17:07.32 piK9W+al.net
戻り値のimpl Traitと引数のimpl Traitで振る舞い違うのは当たり前ではあるんだけど混乱しやすいポイントではあるかもね

388:デフォルトの名無しさん
23/09/24 12:22:42.57 2YTVyUlC.net
0788デフォルトの名無しさん
2022/06/21(火) 08:59:28.38ID:vO+TReRM
俺はフロントエンドやらないからこのスレでTauriの話をしないでくれ

389:デフォルトの名無しさん
23/09/24 12:36:49.28 2YTVyUlC.net
こいつはどうかな
URLﾘﾝｸ(zenn.dev)

390:デフォルトの名無しさん
23/09/25 23:08:53.71 OcxuhTB3.net
rustでdx12ってまともに使えますか？
そろそろc++は卒業したい

391:デフォルトの名無しさん
23/09/26 10:01:41.63 q653RLNX.net
>>382
使えないということだな。

392:デフォルトの名無しさん
23/09/26 17:46:11.75 WrG1pnap.net
一応d3d12があるけど、これを直接使うよりwgpu経由のほうがいいんじゃないか？

393:デフォルトの名無しさん
23/09/26 18:52:01.41 liEPyEVD.net
rustとgoとc#でjsonのシリアライズ、デシリアライズ実験したんだけど
rust 1ms cargo run --release
go 10ms
c# 40ms dotnet build -c Release
こんなに違うもんなの?
リリースモードでビルドしたつもりだけど
WebAPIのバックエンドどれにするか悩んでたけどもうrust1択でいいやん

394:デフォルトの名無しさん
23/09/26 21:18:52.63 rDjR9GdF.net
最適化で計測対象の処理が丸ごと消えてないかな
どこかでデータのサイズとか集計とか出力してればいいけど

395:デフォルトの名無しさん
23/09/26 21:22:16.85 sfzsNV4F.net
さすがそこまで速くないよね
C#ももっと速いような気がする

396:デフォルトの名無しさん
23/09/26 21:40:15.73 aJs6t/KK.net
コードの問題かベンチマークの問題だね

397:デフォルトの名無しさん
23/09/26 21:41:15.28 K0prie5d.net
>>385
goこのライブラリ使うとどうなる？
URLﾘﾝｸ(github.com)

398:デフォルトの名無しさん
23/09/26 21:41:38.03 aJs6t/KK.net
>>378
>fn hoge<T>(a: i64, b: &mut T)
fn hoge<T>(a: T, b: &mut T)にすればいいと思うけど
同じような解決策が >>364にあるということなの？

399:デフォルトの名無しさん
23/09/26 21:56:19.26 liEPyEVD.net
>>385
それやってる
まず、デシリアライズ1000回して
シリアライズ1000回でシリアライズでバイト配列になるからそのサイズのトータル
を求めてる
さっきのは1回あたりの平均
 >>389
それやったら7.5ms
experimentalなJSON v2は13ms

400:デフォルトの名無しさん
23/09/26 21:59:59.97 liEPyEVD.net
つか、goってリリースビルドないやろ?
コンパイルも一瞬でへ?ってなるわ
それぞれ30行未満のコードだけど..

401:デフォルトの名無しさん
23/09/26 22:29:35.41 liEPyEVD.net
URLﾘﾝｸ(controlc.com)
goだとこんな感じ

402:デフォルトの名無しさん
23/09/26 22:43:29.67 liEPyEVD.net
ああ、ごめんC#は嘘でしたすみません
3msになりました

403:デフォルトの名無しさん
23/09/26 22:55:30.68 liEPyEVD.net
Rustは最強で
C#はメモリ使用量多いがMSが最適化ガンバッテル
Goはメモリ使用量少なくて言語仕様がシンプルだがC#に負けたり...

404:デフォルトの名無しさん
23/09/26 23:05:14.16 EQtG/kil.net
意味のないベンチマークだね
ちなみにこういうのはNimが速いと思うよ
結局こういうのってコンパイラの最適化の勝負をしているだけだから
Rustが速いというよりはLLVMが速いだけ
Zigとかでも同じスピードが出るはず
その代わりにコンパイル速度が遅いというデメリットがあるからこれは単なるトレードオフで、用途に応じて適した言語を選択するのが重要ってだけだね
WebAPI作るならIOが結局ボトルネックになるからパフォーマンス気にするにしても別にスクリプト言語じゃないならなんでもいいのよね
好きな言語にすればいいと思う

405:デフォルトの名無しさん
23/09/26 23:08:16.82 kLEETtIu.net
それはともかく
NimはRustに対して意味のあるアドバンテージ皆無でNimだけは要らん

406:デフォルトの名無しさん
23/09/26 23:14:09.15 liEPyEVD.net
まぁ、データベースはおもいっきし叩くね
最初は最強言語じゃなくてわかりやすい2番あたりの言語でいこうと思ってるんだけたんだけど
で、1番ははっきりRustっぽいからわかりやすいからいんだけど、
2番(C#,Go?)がはっきりしないから1番の言語でいいのかなと
最大の目的はサーバー費用を押さえられるように

407:デフォルトの名無しさん
23/09/26 23:14:24.83 gNMcg380.net
Nimはオフサイドルールってだけで試す気にもならないんだよな…

408:デフォルトの名無しさん
23/09/26 23:52:14.82 lFc5NXyg.net
>>396
多数の非同期タスクを偏らずスレッド間でスチールしてスケジューリングできるのは現状GoとRustしかない
小規模ならGoでもよいがそれ以上だと言語機能が貧弱なGoは辛くなってきてRustの独壇場

409:デフォルトの名無しさん
23/09/27 00:09:38.71 8IPpP98U.net
>>400
妄想乙
URLﾘﾝｸ(ufcpp.net)

410:デフォルトの名無しさん
23/09/27 00:11:19.90 8IPpP98U.net
この妄想も延々言ってたけどやっと黙るのかな？
470: デフォルトの名無しさん sage 2023/09/26(火) 09:57:28.51 ID:ycG3j/g+
>>469
IaaSの一部にそういうケースがありうるだけだぞ
PaaS (FaaS)は基本的にメモリ使用量✕実行時間で料金が決まる
メモリ使用量は少なければ少ないほどコストに優れている

411:デフォルトの名無しさん
23/09/27 00:29:08.13 MfhnDtnO.net
複オジは相変わらず嘘ばっかり
成長しないね

412:デフォルトの名無しさん
23/09/27 00:38:28.22 +nRBKi9H.net
AIにRust生成させてGoと比較してみたけどmarshal以外は変わらないな (goccy/json使用)
x86でやってる？ARMだと違うのかも
(俺はUbuntu x86/64)
URLﾘﾝｸ(pastebin.com)

$ go run ./main.go
1187 [μs]
268419000 [bytes] 467 [μs]
$ cargo run --release
1347 [μs]
263672000 [bytes] 255 [μs]

413:デフォルトの名無しさん
23/09/27 00:56:55.88 +nRBKi9H.net
俺の環境だとgoccy/jsonにすることで4倍速くなったけど何が違うんだろうね
goccy/json
1129 [μs]
268419000 [bytes] 446 [μs]
標準json
4125 [μs]
268419000 [bytes] 533 [μs]
go-json-experiment/json
3446 [μs]
263609000 [bytes] 745 [μs]

414:デフォルトの名無しさん
23/09/27 01:02:33.77 +nRBKi9H.net
これにしたらRustより早くなったわ
結局これっていかに最適化しているかってだけだと思う
URLﾘﾝｸ(github.com)
[Go sonic json]
914 [μs]
263609000 [bytes] 209 [μs]

415:デフォルトの名無しさん
23/09/27 01:06:34.20 8IPpP98U.net
気づくのが遅い

416:デフォルトの名無しさん
23/09/27 01:44:16.58 jtGLjNq+.net
>>405
お手数かけて本当にごめんなさい
自分の実行方法が問題でした
 >>385でgoの部分が空欄のように実行方法がわかってなく、
デバッグモードで動いていました
すみません
go runで動かしたら >>405のような速度になりました

417:デフォルトの名無しさん
23/09/27 01:51:26.25 jtGLjNq+.net
WebAPIでgoで行く決意ができました
本当にお騒がせしました

418:デフォルトの名無しさん
23/09/27 04:55:49.67 UdUnwuun.net
YouTube で有名な雑食系エンジニア・KENTA が、既に言ってる。
キャリアパスは、Ruby on Rails → Go のみ
Ruby/Goの神・HashiCorp のMitchell Hashimoto がそう。
Ruby製のVagran

419:t → Go製のTerraform。今は、Goプログラマーしか求めていない Rust/Elixir は普及のキャズムを超えなかった。超えたのは、Goだけ

420:デフォルトの名無しさん
23/09/27 17:50:20.18 wGZOY1wb.net
まあビルド時間の重要性はちょこちょこ一人で作ってるやつは理解できんわな。

421:デフォルトの名無しさん
23/09/27 18:56:48.41 CCaLLXi3.net
仕事なら相応に強力なマシンかレンダリングサーバがあるだろ

422:デフォルトの名無しさん
23/09/27 21:44:37.94 fWGZRw8C.net
レンダリングサーバーは関係なさすぎ

423:デフォルトの名無しさん
23/09/27 22:03:34.78 vmit0gpI.net
ビルドサーバーと間違えたのかもね

424:デフォルトの名無しさん
23/09/28 18:29:13.32 gS/5M63X.net
MARCHを受けるために東大の過去問を練習するような意識高い系バカ

425:デフォルトの名無しさん
23/10/06 11:57:36.28 Zl0hPCVy.net
一体誰がRustを推しているのか？
中國？

426:デフォルトの名無しさん
23/10/06 13:12:35.08 2p+njRVB.net
関数型と手続き型のいいとこ取りしたいプログラマだろ
情報科学の先進国なら中国に限らず一定数いるはず

427:デフォルトの名無しさん
23/10/06 16:38:53.65 AJI+rgso.net
ネットインフラが次々とRust製になっていってる

＞【CDN世界トップシェアCloudflare】
＞URLﾘﾝｸ(www.publickey1.jp)
＞CDNプロバイダのCloudflareは、同社のグローバルなCDNの基盤として長らく利用してきたNGINXに代えて、
＞同社自身がRust製のHTTPプロキシである「Pingora」を開発し利用していることを明らかにしました。

＞【クラウド世界トップシェアAWS】
＞URLﾘﾝｸ(japan.zdnet.com)
＞Rustで構築されたAWSサービスの例としては、
＞コンテナーアプリ用のサーバーレスプラットフォーム「Lamba」を支える「Firecracker」、
＞「Amazon Simple Storage Service（S3）」、
＞「Amazon Elastic Compute Cloud（EC2）」、
＞コンテンツ配信ネットワーク「Amazon CloudFront」、
＞LinuxベースのコンテナーOS「Bottlerocket」などがある。

428:デフォルトの名無しさん
23/10/06 20:34:57.35 hdhWn3/E.net
関数型の良いとことるの諦めた言語って感じだけどｗ
初期の頃はocamlでコンパイラ作られてたらしいのに
MLの匂いさえ残ってない単なる手続き化型言語だわ

429:デフォルトの名無しさん
23/10/06 20:35:16.84 hdhWn3/E.net
関数型の良いとことるの諦めた言語って感じだけどｗ
初期の頃はocamlでコンパイラ作られてたらしいのに
MLの匂いさえ残ってない単なる手続き化型言語だわ

430:デフォルトの名無しさん
23/10/06 21:14:33.58 b1wSOXuc.net
スタックフレームに着目したのはプラスだけど、下手にスタックフレームを隠そうとしているのはマイナス。
計算モデルをスタックフレームにするぐらい割り切れば良かったのに。

431:デフォルトの名無しさん
23/10/06 21:15:11.56 b1wSOXuc.net
スタックフレームに着目したのはプラスだけど、下手にスタックフレームを隠そうとしているのはマイナス。
計算モデルをスタックフレームにするぐらい割り切れば良かったのに。

432:デフォルトの名無しさん
23/10/06 23:16:24.42 tE7CLicd.net
mut 入れたのが間違いなんだろ

433:デフォルトの名無しさん
23/10/06 23:30:10.29 hdhWn3/E.net
関数型に関してはscalaのほうがよっぽど意欲的だよ
def qsort(list: List[Int]): List[Int] = list match
case Nil => Nil
case pivot :: tail =>
val (smaller, rest) = tail.partition(_ < pivot)
qsort(smaller) ::: pivot :: qsort(rest)

たとえば↑こういうのとか

434:デフォルトの名無しさん
23/10/07 00:34:46.36 Hyqci1qG.net
関数型というよりはリスト型言語だな

435:デフォルトの名無しさん
23/10/07 01:56:24.14 a3LzK6ia.net
システムプログラ�

436:~ングのための言語なので純粋に関数型な要素だけを求めるなら別の言語を当たった方が良い

437:デフォルトの名無しさん
23/10/07 02:12:44.80 QajUcOD9.net
リスト型つまりLinkedListをメインにすると利便さと引き換えに遅い問題とガベージが出まくる問題がある
Rustはリスト型メインにしなくて正解

438:デフォルトの名無しさん
23/10/07 04:42:48.81 +bTugVnw.net
GCを前提にしない仕様の上に積み上げなくてはならないという側面から見ると、わりかしよくやっている方なんじゃなかろうか……知らんけど

439:デフォルトの名無しさん
23/10/07 06:29:51.58 GJ9LXcgc.net
自称情強底辺者「Rustでhello worldかける俺カコイイ」

真の成功者「スイカゲームでボロ儲けしました」

440:デフォルトの名無しさん
23/10/07 06:46:44.80 bWLG2vp7.net
mut無しとはこういうことか
URLﾘﾝｸ(play.rust-lang.org)

fn qsort<T: Copy+Ord>(list: &[T]) -> Vec<T> {
match list {
[pivot, ..] => {
let (smaller, rest): (Vec<T>, Vec<T>) =
list[1..].iter().partition(|&i| i < pivot);
[qsort(&smaller), vec![*pivot], qsort(&rest)].concat()
},
_ => vec![]
}
}

fn main() {
let list = [9, 0, 7, 3, 6, 1, 2, 4, 8, 5];
println!("{:?}", list);
println!("{:?}", qsort(&list));
}

441:デフォルトの名無しさん
23/10/07 09:44:47.17 WqNjBTZw.net
まあ今時ランタイム速度でそこまで差がつくことはないわな。
ガベコレの実行タイミングが問題になることは結構あると思うけど。

442:デフォルトの名無しさん
23/10/07 11:17:12.27 fuWtUzBR.net
アロケートしまくリングやな

443:デフォルトの名無しさん
23/10/07 12:06:59.60 pov02R//.net
ランタイムサポートが極まってきたからこそ
極めきれない部分の差が目立ってきたんだよ。

444:デフォルトの名無しさん
23/10/07 14:19:35.27 koj+veBs.net
XYZ座標みたいな単純だけどプリミティブでない大量のデータの配列を作りたいときに
１つ１つをオブジェクトにしないといけないGC言語は放り投げたくなる
座標なら最悪プリミティブに分解して自分で並べれば済むけど型が混ざると詰む

445:デフォルトの名無しさん
23/10/07 15:18:57.75 AO4ZOvxF.net
>>424
>>430
なるほど
美しいコードはスッキリうんこみたいに気持ち良い
まるで脳が洗われるようだ
普段いかに毒に浸かってるかが判るな

446:デフォルトの名無しさん
23/10/07 15:43:47.56 Ozx346pn.net
Rustのはmutなしにした場合の問題提起のための悪い例だろ

447:デフォルトの名無しさん
23/10/07 15:51:39.94 O3XDw4H3.net
>>434
Rustでも１つ１つオブジェクトにする
何の問題もないどころかむしろ好ましいやり方

448:デフォルトの名無しさん
23/10/07 16:42:12.14 2ow1Jojj.net
ocamlだとこんな感じかな？
let rec qsort = function
| [] -> []
| pivot :: tail ->
let smaller, rest = List.partition ((>) pivot) tail in
qsort smaller @ pivot :: qsort rest
>>424 scala比較のためそのままコピペ
def qsort(list: List[Int]): List[Int] = list match
case Nil => Nil
case pivot :: tail =>
val (smaller, rest) = tail.partition(_ < pivot)
qsort(smaller) ::: pivot :: qsort(rest)
scalaすごい頑張ってると思うわ

449:デフォルトの名無しさん
23/10/07 23:59:36.96 QajUcOD9.net
>>430
RustはそのようにOCamlやScalaと同等に書くことも容易な点がいいな
同時にその方法によりRustで記述すると大量にVec(またはリストを実現する何か)を使い捨てていることが見える
つまりGC言語ではガベージが大量に出る

450:デフォルトの名無しさん
23/10/08 02:42:17.66 9NUoKPD/.net
くすくす

451:デフォルトの名無しさん
23/10/08 08:07:41.64 WAd1DVRF.net
同等に書けてないでしょｗ

452:デフォルトの名無しさん
23/10/08 09:57:45.64 ShBUnVvx.net
同等というより >>438と >>430は全く同じだな
空でなければpartitionでsmallerとrestに分けて
それぞれを再帰でqsortしてconcatenate

453:デフォルトの名無しさん
23/10/08 10:16:57.79 CrdCteTP.net
次はHaskellまたはErlangでおながいしまつ

454:デフォルトの名無しさん
23/10/08 10:38:24.03 lCt9aeoq.net
in-placeなqsort書いてよ

455:デフォルトの名無しさん
23/10/08 10:39:23.48 WAd1DVRF.net
>>443
Haskell
qsort [] = []
qsort (x:xs) = qsort [y | y <- xs, y < x] ++ [x] ++ qsort [y | y <- xs, y >= x]
Erlang
qsort([]) -> [];
qsort([X|Xs]) ->
qsort([ Y || Y <- Xs, Y < X]) ++ [X] ++ qsort([ Y || Y <- Xs, Y >= X]).

456:デフォルトの名無しさん
23/10/08 12:06:58.68 3KZ70qk+.net
複オジは常にヒープアロケートするGC言語しか知らないのかな？
特定の言語の機能不足をGC言語の制約のように語るのはやめような

457:デフォルトの名無しさん
23/10/08 14:27:21.60 1klr8jB1.net
rustより高度なライフタイム管理する言語ってないの？

458:デフォルトの名無しさん
23/10/08 14:53:30.59 33/5YUgE.net
高度なライフタイム管理のベクトルがわからん
全データに参照カウンタをもたせて参照→存在を保証してるGC言語ならたくさんあるし
処理過程を生成する（書かせない）ことでライフタイムを意識させない関数型言語もある

459:デフォルトの名無しさん
23/10/08 14:57:14.95 lcllyLaE.net
>>442
ScalaのListもOCamlの[]も単方向リストであってべクタではないのに唯一気付いていないおじさん

460:デフォルトの名無しさん
23/10/08 15:04:22.44 KeQMELAC.net
それはそれとしてScalaのcase classはRustにも欲しいと思うことあり

461:デフォルトの名無しさん
23/10/08 15:32:16.97 1klr8jB1.net
>>448
rustを置き換え可能な言語で
つまりゼロコスト抽象
大学の研究レベルのものとかでないのかな

462:デフォルトの名無しさん
23/10/08 16:37:56.79 lCt9aeoq.net
ランタイムコストなしのライフタイムチェックはシステムプログラミング言語だから必要な話で、そうでない言語ならGCで良い

shared xor mutableの静的な保証はGC言語でも嬉しい性質だと思うが、他の言語で採用例はあるのかね？

463:デフォルトの名無しさん
23/10/08 18:19:11.05 WAd1DVRF.net
enumのリストで書いてみたわ
rust不慣れだから所々おかしいかも
URLﾘﾝｸ(ideone.com)
enum List<T> {
Cons(T, Box<List<T>>),
Nil,
}
impl<T: Copy + PartialOrd> List<T> {
// 略
fn qsort(&self) -> Self {
match self {
List::Nil => List::Nil,
List::Cons(pivot, tail) => {
let (smaller, rest) = tail.partition(|x| *x < *pivot);
smaller.qsort().concat(&rest.qsort().prepend(*pivot))
}
}
}
}
fn main() {
let list = List::<i32>::nil().prepend(4).prepend(8).prepend(8).prepend(3).rev();
list.each(|n| print!("{}", n));println!("");
list.qsort().each(|n| print!("{}", n));println!("");
}

464:デフォルトの名無しさん
23/10/08 19:36:48.46 e3limdE9.net
>>449
目的はソートなので、
単方向リストを用いるかベクタを用いるかは実装方法の問題だから些細な話かな。
実用上もベクタで十分だから単方向リストの出番は滅多にないよね。

465:デフォルトの名無しさん
23/10/08 20:05:18.10 lCt9aeoq.net
で、みなさんは単方向リストを使う綺麗だけどクソ遅いコードを並べて何がしたいんですか？

466:デフォルトの名無しさん
23/10/08 20:14:55.63 BgGDjECm.net
そんなの用途次第だろ
ど素人かよ

467:デフォルトの名無しさん
23/10/08 20:19:50.77 QzGY7mJQ.net
>>454
>>439がガベージがどうこう言ってるのについてはどう思う？

468:デフォルトの名無しさん
23/10/08 20:59:00.53 e3limdE9.net
>>457
リストはガベージと裏表一体ですが何を問題にしていますか？
リスト化する時にconsセルの割り当てが発生します。
そしてリストから取り出す時に空のconsセルがガベージとして発生します。

469:デフォルトの名無しさん
23/10/08 22:12:35.86 nH9KI4I/.net
赤っ恥オジの言い訳草

470:デフォルトの名無しさん
23/10/08 22:57:55.16 1kYUOs3M.net
入れもの(メモリ)はどのデータ構造でも不可欠だからいずれもゴミが発生するのは仕方ない
ただしリスト(各セル|ノード)に比べてベクタは以下の点で有利
・まとめて確保解放ができる
・next pointer(の容量と処理)が不要
・リニアスキャンが速い
・ランダムインデックスアクセスも速い
そのためRustでもほとんどの用途でベクタが使われリストは少ない

471:デフォルトの名無しさん
23/10/08 23:00:08.12 Li9tDqQF.net
今どきはCPUキャッシュが効くかどうかが問題だから

472:デフォルトの名無しさん
23/10/08 23:38:45.90 F0i6/5MC.net
三連休使ってrustの勉強してるけど、ようやく慣れてきた
某openGLの本をMacでやっててDSL2のインストールに四苦八苦、、、
なんかこいつだけCargo.tomlの書き方が、、、
急ぎ足せずrustのとこにある蟹表示するやつ写経してクレートの追加覚えた
先は長いね、、、
頑張る

473:453
23/10/09 01:16:03.20 VBg3Yonc.net
>>444
>>455
URLﾘﾝｸ(ideone.com)
これでクイックソートになってるはず？
なってなくても笑って許してほしい

次ページ