TIPC socket libraries needed for Linda library may not be working

[robwalton]

(This is a copy of text from a discourse conversation)

I'd like to use the tipc/tipc_linda process communication interface library. This depends on the TIPC sockets library which the manual reports as being available on Linux only. TIPC is built into the Linux kernel and is not available on the MacOS computer I use.

I therefor tried the docker image but with no luck:

$ docker run -it swipl

?- use_module(library(tipc/tipc_linda)).
true.

?- linda
false.

At this point the manual tells us to expect a TIPC Linda server now listening response. I tried some basic commands anyway but reading in just hung:

?- out(test).
true

?- in(test).
<hangs here>

So, should the TIPC socket libraries work with the swipl Docker image?. Thanks!

[robwalton]

The discussion on discourse shows that the above commands were destined not to work; wether on docker or not.

This problem is no longer an issue to me having worked around it. I'll close this issue to reduce clutter, but given a $ sudo modprobe tipc is required outside of swipl it is fair to say that the Docker image does not support TIPC out of the box.