获得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上的副作用吗?
答案 0 :(得分:0)
这似乎是Linux子系统无法运行应该位于/usr/lib/valgrind/memcheck-amd64-linux
的memcheck的问题我愿意打赌valgrind使用的低级内存调用还没有子系统支持。我们应该将它标记为项目github page