20、Swerve详细设计解析

Swerve详细设计解析

1. 连接与I/O操作

在进行网络连接操作时，连接对象可能会持续一段时间，并且可能会有进一步向连接写入数据的尝试。因此，所有的I/O函数在执行之前都会检查套接字是否仍然打开，以及是否没有出现中止条件。

当向套接字发送数据时，存在部分写入的风险。为了解决这个问题，需要使用一个循环，持续发送数据直到整个字符串都被发送完毕。sendVec函数使用buf记录类型，可以方便地分块发送消息。在每次尝试发送之前，都会检查是否超时。

2. HTTP_1_0模块

该模块运行HTTP 1.0协议，主要功能是从连接套接字读取并解析请求，然后将响应写回。它导出了一个函数talk：

fun talk conn = let val req = MyProfile.timeIt "HTTP_1_0 get" get_request conn in if G.testing G.TestShowRequest then (Req.dumpRequest req) else (); MyProfile.timeIt "HTTP_1_0 to_store" (fn()=>to_store conn req) () end handle Bad status => send_status conn status

这个函数的作用是获取请求并将其发送到资源存储。资源存储会在稍后的某个时间发送响应回来。如果在读取请求时出现错误，会抛出Bad异常，并包含一个可