Gramine IPC using Domain Sockets?

[rennergade]

Hi,

According to the gramine docs, all IPC channels are implemented using host pipes. However, when I installed gramine using apt, I found using strace that creating a pipe actually created an underlying Unix domain socket. This doesn't seem to be apparent from the source code here on github either.

Can anyone make sense of this for me?

Thanks for your help!

[mkow]

I think the docs are wrong there, we use UDSes on the host. Do you want to contribute a PR with a fix? If not then I can do it.

[mkow]

FYI: @kailun-qin fixed that in #2130.