21/07/15 15:21:38.24 21vEMZBW.net
あるコマンドに対する time の結果が例えば
user: 6000s, system: 400s
だったとき、「パフォーマンス」として見る/比べるべきなのはシステム時間の方なんですかね？
他に OS 上で動いてるプログラムが少ないほどユーザー時間はシステム時間に漸近していくって思っても良いですか
105:login:Penguin
21/07/15 15:34:47.96 F3J09xI0.net
userのほうはユーザーランドでの処理にかかった時間でsystemはシステムコールとかのカーネル内の処理にかかった時間でしょ？
どっちも見比べるべきでどっちかのほうがより見るべきとかはないんじゃない？
106:login:Penguin
21/07/16 12:02:49.10 5vvjWyvK.net
>>104
「パフォーマンス」とは？括弧の意味は？
> 他に OS 上で動いてるプログラムが少ないほどユーザー時間はシステム時間に漸近していくって思っても良いですか
いいえ
107:login:Penguin
21/07/16 16:13:05.95 AyyViJoK.net
/dev/zeroみたいに使えて0以外を吐けるやつない？
もちろんランダムじゃなくて吐くデータを指定できるといいんだけど
108:login:Penguin
21/07/16 17:29:04.88 +LbGlJvy.net
>>107
yesというのがあるよ
109:login:Penguin
21/07/16 17:47:31.56 +LbGlJvy.net
こんな↓でもできる
$ while true; do echo -n "y"; done
110:login:Penguin
21/07/17 07:02:40.77 1y0wl4vX.net
>>107
ない
111:login:Penguin
21/07/17 07:11:19.31 2ApH+H/5.net
>>107
何に使うの？
112:login:Penguin
21/07/17 11:37:53.77 yJd389ni.net
>>107
/dev/zeroの代わりに5を書く場合
dd if=<(yes $'\05' | tr -d "\n") of=file count=1024 bs=1024
113:login:Penguin
21/07/17 13:56:25.73 ZPdKk3/e.net
ゼロ埋めするとsparseにされちゃうことへの対応で、ゼロ以外で埋めたいという需要はあるのだが、cat /dev/zeroに比べると遅いのだよね
114:login:Penguin
21/07/17 16:55:45.82 ynVN3O/S.net
/dev/zero並の速度が必要ならデバイスドライバ書くしかないのでは
github探せば公開してる人いるでしょ
115:login:Penguin
21/07/17 22:07:33.66 FRX73F1K.net
>>38
ありがとうございます。
対象のプロパティを見たところ、「隠しファイル」にチェックが付いて、グレーアウト状態になっていました。
フォルダの中身を全消去して、問題無いバックアップからのコピーを行ったところ問題解決できました。