由于$ User导致Valgrind错误

时间:2016-04-13 16:03:11

标签: ubuntu valgrind

获得windows 10内置Windows 10的内容,“在windows上使用ubntu进行bash”。 (成为一个Windows内幕人员here以及有关如何在windows here上获取bash的更多信息。)我在安装valgrind后遇到了一些问题:

我跑:

$ valgrind ./a.out

valgrind的输出:

...
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更改为有效字符串?这是ubuntu在Windows上的副作用吗?

1 个答案:

答案 0 :(得分:0)

这似乎是Linux子系统无法运行应该位于/usr/lib/valgrind/memcheck-amd64-linux的memcheck的问题我愿意打赌valgrind使用的低级内存调用还没有子系统支持。我们应该将它标记为项目github page

上的问题