sockets - 乔卡姆 : problems with remote connection

Question

(可能只需了解 Unix 库就足以回答这个问题，所以如果您不了解 JoCaml，请继续阅读。)

我在JoCaml中有两个程序。一个服务器，准备在端口 12345 上返回数字的平方

(* p.ml *)
def f (x) =
        print_string ("["^string_of_int(x)^"] "); flush stdout;
        reply x*x to f
in Join.Ns.register Join.Ns.here "square" f
;;
let wait =
        def x () & y () = reply to x
        in x
let main =
        Join.Site.listen (Unix.ADDR_INET (Join.Site.get_local_addr(), 12345));
        wait()

和一个客户端，准备使用服务器的平方功能

(* q.ml *)
let server =
        let server_addr = Unix.gethostbyname "192.168.0.10" in
        Join.Site.there (Unix.ADDR_INET(server_addr.Unix.h_addr_list.(0),12345))
let ns = Join.Ns.of_site server
let sqr = (Join.Ns.lookup ns "square": int -> int)
let _ = Printf.printf "%d\n" (sqr 3)

如果这两个程序在同一台计算机上运行，​​则一切正常。但我的目标是将它们放在两台不同的机器中。所以上面的IP应该成为其他一些公共(public)IP。由于我只有一台机器来测试这个，我决定在该机器上运行这两个程序，并写入我机器的公共(public)IP，而不是上面的192.168.0.10。不幸的是，它不起作用，连接超时。

有什么想法吗？

[已编辑]

有关问题的更多详细信息

我上面写的代码是我从 JoCaml 手册中获取的示例，因为它是我自己出现问题的代码的类似简化版本。我正在编写的程序旨在创建一个 JoCaml 运行时的 P2P 网络，这些运行时都进行私有(private)计算，并依赖于存储在网络其他对等点中的数据在本地存储其结果。因此，我希望有一组对等点都运行与 q.ml 类似的东西，因为它们需要连接到其他机器并从它们获取所需的信息。

每个对等点都需要保留其对等点的列表。然后，您可以以简单的方式在网络中查询某些值。每个对等点都会检查它是否知道该值:如果知道则返回该值，如果不知道则询问其对等点(依此类推，递归地)。 P2P 架构非常适合我的目的。 (吉尔斯建议的集中式拓扑不适用于我的特定问题，因为他的答案中提到了性能和可靠性问题。)我引入了一个特殊的引导对等点，所有代码都知道它，并且任何新对等点将首先连接到该对等点访问网络。一旦新的对等点通过引导对等点的身份验证，它就应该加入网络并成为自己的一流对等点(并且从那时起可能会忽略引导对等点)。这些对等点都将在它们之间直接通信 (1-1)，因此需要有一种方法让任意一对对等点在它们之间建立连接。另外，由于我希望任何具有适当凭据的人都能够加入该网络，无论其网络技能如何，因此我无法提供人们需要配置路由器才能加入 P2P 网络的解决方案。他们应该直接运行开箱即用的软件。

我的要求是:

1. 互联网上对等点的 P2P 网络(因此，任意两个节点之间存在 1-1 连接)
2. 对等点可能位于不透明路由器后面
3. 没有本地路由器配置
4. 您首次连接并进行身份验证的特殊引导对等点

如果我们不需要的话，我目前所拥有的效果很好 2. 对于解决最初的问题，但在这个 P2P 环境中，有什么建议吗？

(请注意，P2P框架只是达到目的的一种手段。是的，我想要一些运行良好的东西，但我不打算为JoCaml开发终极的超通用P2P框架。我'我希望写一个简单的东西来完成这项工作。)

Answer 1

(我认为您的问题在于 IP 网络拓扑，而不是编程本身，但您需要了解此背景才能在 JoCaml 中进行编程。)

很久以前，互联网上的每台计算机都有一个 IP 地址，如果您知道该计算机的 IP 地址，您就可以与该计算机进行通信。 (路由器的每个接口(interface)都有一个 IP 地址，但这只是网络管理员关心的问题。)啊，为了过去的美好时光的简单性。

现在事情变得更加复杂了。 Intranet 上的计算机通常具有仅在该 Intranet 上有效的地址，即所谓的 private address 。 192.168.0.10就是这样一个私有(private)地址。您只能与该 Intranet 内具有私有(private)地址的计算机进行通信。当计算机需要与外部建立连接时，network address translation (NAT)用于使特定的连接工作。 NAT 为内网计算机提供了一个公共(public)地址，但仅对特定连接有效。

我怀疑您遇到的网络拓扑如下所示，其中 A 是您的计算机，C 是您最终使用的另一台计算机，R 是您的家庭或办公室路由器，1.2.3.4 是您所说的计算机的公共(public) IP(实际上是您的网络):

C [5.6.7.8] ←———→ [1.2.3.4] R [192.168.0.1] ←———→ [192.168.0.10] A

在这种情况下，C 无法使用 192.168.0.10 地址与 A 通信，因为该地址仅在 Intranet 上有意义。如果 C 完全可以与 A 通信，则它必须使用 1.2.3.4，并且必须将 R 配置为中继寻址到 1.2.3.4 的数据包到 A(在典型配置中，R 只会在某些 TCP 或 UDP 端口上执行此操作(如果有的话)。但是 A 无法使用 1.2.3.4 作为地址与自身对话:如果来自内部，这很可能只能到达 R(如果有的话)。

这个问题——网络中的参与者没有全局可见且唯一的地址——在理论上是可能的，但解决起来很烦人，在实践中也是可能的，但解决起来很烦人。据我所知，Jocaml的库使用IP地址和端口号来唯一地、全局地标识分布式程序中的节点。 .

考虑到现代网络拓扑的复杂性，它通常有助于将问题分为两部分:让机器相互通信，以及实际运行分布式程序。第二部分是在 JoCaml 中编程时您正在做什么。对于第一部分，ssh是首选工具。决定一台计算机或一个网络区域(Int​​ernet 或 Intranet)作为程序运行的域，并使用 SSH 隧道将该域外部的每台计算机连接到域中的计算机。这种方法并不适合所有用例:域外两台机器之间的通信将通过域，这可能会带来性能和可靠性问题。为了超越这一点，您需要配置您的网络，以便每个参与者都有一个对其他每个参与者都可见的地址(您可能无法做到这一点，具体取决于您在网络上被允许执行的操作)涉及路由器)；或者为 JoCaml 实现一个非全局地址模型(这将很有趣且有用，但需要付出很多努力)。