$ユーザによるValgrindエラー

Windowsのインサイダービルドを「Windows上のubuntuでbash」としました。私はすぐにvalgrindのをインストールした後、いくつかの問題に遭遇した（窓here上のbashを取得する方法についての窓インサイダーhereと詳細になります）：

私が実行：valgrindのから

$ valgrind ./a.out

出力：

... 
command: ./a.out 
error 2 No such file or directory 
cannot create shared_mem file /tmp/vgdb-pipe-shared-mem-vgdb-12-by-???-on-COENLAPTOP

を

いくつかの調査を行っていますが、このファイルの形式は次のとおりです。

/tmp/vgdb-pipe-shared-mem-vgdb-12-by-$USER-on-$HOSTNAME

私がecho $HOSTNAMEになると、COENLAPTOPが得られます。これは望ましい応答です。私はecho $USERが何も得られません。

非常に奇妙なように、私はユーザーとしてログインしていないようです。

$ USERを有効な文字列に変更することはできますか？これはWindows上のubuntuの副作用ですか？

出典

2016-04-13 coenvalk

ユーザーが設定されていない場合は問題ありません：valgrindは???に置き換えて動作するはずです。あなたの問題は他のものです。 TMPDIRを設定するか、--vgdb-prefix = ... argを使用して、別のファイルシステムにvgdbファイルを設定しようとするかもしれません。 – phd

これはLinuxサブシステムでmemcheckを実行できない問題です。/usr/lib/valgrind/memcheck-amd64-linuxにあります。valgrindが使用する低レベルメモリコールがサブシステムでまだサポートされていないことを喜んで賭けています。プロジェクトの問題としてフラグを立てる必要があります。page

出典

2016-04-18 08:22:38 ingramator

$ユーザによるValgrindエラー

答えて

関連する問題