21/07/14 11:38:07.98 bUV+eq/I.net
>>75
こちらへ。
スパコンのOSは全てLinux
ｽﾚﾘﾝｸ(linux板)
UNIX板
URLﾘﾝｸ(mevius.5ch.net)
もしくは、LSF、Lava、Slurm、スパコンのことを知らなくても回答できるような質問に変換。
96:login:Penguin
21/07/14 11:40:23.83 bUV+eq/I.net
>>92
> glib とかその他諸々のソフトウェアについて、システムにインストールされているのとは別のものを使いたいです。
まずこれがおかしい。
97:login:Penguin
21/07/14 12:16:56.66 DhBwVKp0.net
>>95-96
イミフメー
仕切りたがりの女子中学生かよ
>>69はそもそもちゃんとOSやシステム監視の領域に落とし込んだ質問になってる
>>92は、システム領域にインストールされてるソフトのバージョンはディストリや管理者のポリシーに左右されるわけだし、それと異なるバージョンを使いたい状況というのは研究だ開発だと言わずとも往々にしてある
自分一人が運用してるゴミPCにしかログインしたことないんだろうな
で、システム領域グッチャグチャに汚してるんだろうな
98:login:Penguin
21/07/14 12:21:11.28 uWy1DBJH.net
あーあ
しらんよ俺は
99:login:Penguin
21/07/14 12:25:25.32 V8mlRpzv.net
ちょっと男子静かにしなさいよー
100:login:Penguin
21/07/14 12:33:38.19 T4PCzIQq.net
あんまりそういうことしないけど、rpath link でできないかな
101:login:Penguin
21/07/14 12:51:38.51 ZMCzkoti.net
>>96
libのバージョンアップに伴う影響を受けているのかどうかを確認する意味で別のものを使いたい場合があるけどな
恒久的な仕様・挙動は保証していないよ
102:login:Penguin
21/07/14 19:04:33.10 M5Wy5dIU.net
>>94
動くものもあるけど動かんものもある、どちらかと言えばあんまし動かん、という感想なのだが、どうなんだろう
103:login:Penguin
21/07/15 00:13:53.06 8HHkOV9J.net
>>94
Dockerってこういうことに使える方法だったんですね
勉強してみようかと思います
104:login:Penguin
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
ありがとうございます。
対象のプロパティを見たところ、「隠しファイル」にチェックが付いて、グレーアウト状態になっていました。
フォルダの中身を全消去して、問題無いバックアップからのコピーを行ったところ問題解決できました。