日存档: 2018 年 05 月 24 日

spec

今天写UDP socket的spec, 对UDP socket进行简单建模。