kcp.go 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573
  1. // Package kcp - A Fast and Reliable ARQ Protocol
  2. //
  3. // Acknowledgement:
  4. // skywind3000@github for inventing the KCP protocol
  5. // xtaci@github for translating to Golang
  6. package kcp
  7. import (
  8. "github.com/v2ray/v2ray-core/common/alloc"
  9. v2io "github.com/v2ray/v2ray-core/common/io"
  10. "github.com/v2ray/v2ray-core/common/log"
  11. )
  12. const (
  13. IKCP_RTO_NDL = 30 // no delay min rto
  14. IKCP_RTO_MIN = 100 // normal min rto
  15. IKCP_RTO_DEF = 200
  16. IKCP_RTO_MAX = 60000
  17. IKCP_CMD_PUSH = 81 // cmd: push data
  18. IKCP_CMD_ACK = 82 // cmd: ack
  19. IKCP_WND_SND = 32
  20. IKCP_WND_RCV = 32
  21. IKCP_MTU_DEF = 1350
  22. IKCP_ACK_FAST = 3
  23. IKCP_INTERVAL = 100
  24. IKCP_OVERHEAD = 24
  25. IKCP_DEADLINK = 20
  26. IKCP_THRESH_INIT = 2
  27. IKCP_THRESH_MIN = 2
  28. IKCP_PROBE_INIT = 7000 // 7 secs to probe window size
  29. IKCP_PROBE_LIMIT = 120000 // up to 120 secs to probe window
  30. )
  31. func _imin_(a, b uint32) uint32 {
  32. if a <= b {
  33. return a
  34. } else {
  35. return b
  36. }
  37. }
  38. func _imax_(a, b uint32) uint32 {
  39. if a >= b {
  40. return a
  41. } else {
  42. return b
  43. }
  44. }
  45. func _itimediff(later, earlier uint32) int32 {
  46. return (int32)(later - earlier)
  47. }
  48. type State int
  49. const (
  50. StateActive State = 0
  51. StateReadyToClose State = 1
  52. StatePeerClosed State = 2
  53. StateTerminating State = 3
  54. StateTerminated State = 4
  55. )
  56. // KCP defines a single KCP connection
  57. type KCP struct {
  58. conv uint16
  59. state State
  60. stateBeginTime uint32
  61. lastIncomingTime uint32
  62. lastPayloadTime uint32
  63. sendingUpdated bool
  64. receivingUpdated bool
  65. lastPingTime uint32
  66. mtu, mss uint32
  67. snd_una, snd_nxt, rcv_nxt uint32
  68. ts_recent, ts_lastack, ssthresh uint32
  69. rx_rttvar, rx_srtt, rx_rto uint32
  70. snd_wnd, rcv_wnd, rmt_wnd, cwnd, probe uint32
  71. current, interval, ts_flush, xmit uint32
  72. updated bool
  73. ts_probe, probe_wait uint32
  74. dead_link, incr uint32
  75. snd_queue *SendingQueue
  76. rcv_queue []*DataSegment
  77. snd_buf []*DataSegment
  78. rcv_buf *ReceivingWindow
  79. acklist *ACKList
  80. fastresend int32
  81. congestionControl bool
  82. output *SegmentWriter
  83. }
  84. // NewKCP create a new kcp control object, 'conv' must equal in two endpoint
  85. // from the same connection.
  86. func NewKCP(conv uint16, mtu uint32, sendingWindowSize uint32, receivingWindowSize uint32, sendingQueueSize uint32, output v2io.Writer) *KCP {
  87. log.Debug("KCP|Core: creating KCP ", conv)
  88. kcp := new(KCP)
  89. kcp.conv = conv
  90. kcp.snd_wnd = sendingWindowSize
  91. kcp.rcv_wnd = receivingWindowSize
  92. kcp.rmt_wnd = IKCP_WND_RCV
  93. kcp.mtu = mtu
  94. kcp.mss = kcp.mtu - DataSegmentOverhead
  95. kcp.rx_rto = IKCP_RTO_DEF
  96. kcp.interval = IKCP_INTERVAL
  97. kcp.ts_flush = IKCP_INTERVAL
  98. kcp.ssthresh = IKCP_THRESH_INIT
  99. kcp.dead_link = IKCP_DEADLINK
  100. kcp.output = NewSegmentWriter(mtu, output)
  101. kcp.rcv_buf = NewReceivingWindow(receivingWindowSize)
  102. kcp.snd_queue = NewSendingQueue(sendingQueueSize)
  103. kcp.acklist = new(ACKList)
  104. kcp.cwnd = kcp.snd_wnd
  105. return kcp
  106. }
  107. func (kcp *KCP) HandleOption(opt SegmentOption) {
  108. if (opt & SegmentOptionClose) == SegmentOptionClose {
  109. kcp.OnPeerClosed()
  110. }
  111. }
  112. func (kcp *KCP) OnPeerClosed() {
  113. if kcp.state == StateReadyToClose {
  114. kcp.state = StateTerminating
  115. kcp.stateBeginTime = kcp.current
  116. }
  117. if kcp.state == StateActive {
  118. kcp.ClearSendQueue()
  119. kcp.state = StatePeerClosed
  120. kcp.stateBeginTime = kcp.current
  121. }
  122. }
  123. func (kcp *KCP) OnClose() {
  124. if kcp.state == StateActive {
  125. kcp.state = StateReadyToClose
  126. kcp.stateBeginTime = kcp.current
  127. }
  128. if kcp.state == StatePeerClosed {
  129. kcp.state = StateTerminating
  130. kcp.stateBeginTime = kcp.current
  131. }
  132. }
  133. // Recv is user/upper level recv: returns size, returns below zero for EAGAIN
  134. func (kcp *KCP) Recv(buffer []byte) (n int) {
  135. if len(kcp.rcv_queue) == 0 {
  136. return -1
  137. }
  138. // merge fragment
  139. count := 0
  140. for _, seg := range kcp.rcv_queue {
  141. dataLen := seg.Data.Len()
  142. if dataLen > len(buffer) {
  143. break
  144. }
  145. copy(buffer, seg.Data.Value)
  146. seg.Release()
  147. buffer = buffer[dataLen:]
  148. n += dataLen
  149. count++
  150. }
  151. kcp.rcv_queue = kcp.rcv_queue[count:]
  152. kcp.DumpReceivingBuf()
  153. return
  154. }
  155. // DumpReceivingBuf moves available data from rcv_buf -> rcv_queue
  156. // @Private
  157. func (kcp *KCP) DumpReceivingBuf() {
  158. for {
  159. seg := kcp.rcv_buf.RemoveFirst()
  160. if seg == nil {
  161. break
  162. }
  163. kcp.rcv_queue = append(kcp.rcv_queue, seg)
  164. kcp.rcv_buf.Advance()
  165. kcp.rcv_nxt++
  166. }
  167. }
  168. // Send is user/upper level send, returns below zero for error
  169. func (kcp *KCP) Send(buffer []byte) int {
  170. nBytes := 0
  171. for len(buffer) > 0 && !kcp.snd_queue.IsFull() {
  172. var size int
  173. if len(buffer) > int(kcp.mss) {
  174. size = int(kcp.mss)
  175. } else {
  176. size = len(buffer)
  177. }
  178. seg := &DataSegment{
  179. Data: alloc.NewSmallBuffer().Clear().Append(buffer[:size]),
  180. }
  181. kcp.snd_queue.Push(seg)
  182. buffer = buffer[size:]
  183. nBytes += size
  184. }
  185. return nBytes
  186. }
  187. // https://tools.ietf.org/html/rfc6298
  188. func (kcp *KCP) update_ack(rtt int32) {
  189. var rto uint32 = 0
  190. if kcp.rx_srtt == 0 {
  191. kcp.rx_srtt = uint32(rtt)
  192. kcp.rx_rttvar = uint32(rtt) / 2
  193. } else {
  194. delta := rtt - int32(kcp.rx_srtt)
  195. if delta < 0 {
  196. delta = -delta
  197. }
  198. kcp.rx_rttvar = (3*kcp.rx_rttvar + uint32(delta)) / 4
  199. kcp.rx_srtt = (7*kcp.rx_srtt + uint32(rtt)) / 8
  200. if kcp.rx_srtt < kcp.interval {
  201. kcp.rx_srtt = kcp.interval
  202. }
  203. }
  204. rto = kcp.rx_srtt + _imax_(kcp.interval, 4*kcp.rx_rttvar)
  205. if rto > IKCP_RTO_MAX {
  206. rto = IKCP_RTO_MAX
  207. }
  208. kcp.rx_rto = rto * 3 / 2
  209. }
  210. func (kcp *KCP) shrink_buf() {
  211. prevUna := kcp.snd_una
  212. if len(kcp.snd_buf) > 0 {
  213. seg := kcp.snd_buf[0]
  214. kcp.snd_una = seg.Number
  215. } else {
  216. kcp.snd_una = kcp.snd_nxt
  217. }
  218. if kcp.snd_una != prevUna {
  219. kcp.sendingUpdated = true
  220. }
  221. }
  222. func (kcp *KCP) parse_ack(sn uint32) {
  223. if _itimediff(sn, kcp.snd_una) < 0 || _itimediff(sn, kcp.snd_nxt) >= 0 {
  224. return
  225. }
  226. for k, seg := range kcp.snd_buf {
  227. if sn == seg.Number {
  228. kcp.snd_buf = append(kcp.snd_buf[:k], kcp.snd_buf[k+1:]...)
  229. seg.Release()
  230. break
  231. }
  232. if _itimediff(sn, seg.Number) < 0 {
  233. break
  234. }
  235. }
  236. }
  237. func (kcp *KCP) parse_fastack(sn uint32) {
  238. if _itimediff(sn, kcp.snd_una) < 0 || _itimediff(sn, kcp.snd_nxt) >= 0 {
  239. return
  240. }
  241. for _, seg := range kcp.snd_buf {
  242. if _itimediff(sn, seg.Number) < 0 {
  243. break
  244. } else if sn != seg.Number {
  245. seg.ackSkipped++
  246. }
  247. }
  248. }
  249. func (kcp *KCP) HandleReceivingNext(receivingNext uint32) {
  250. count := 0
  251. for _, seg := range kcp.snd_buf {
  252. if _itimediff(receivingNext, seg.Number) > 0 {
  253. seg.Release()
  254. count++
  255. } else {
  256. break
  257. }
  258. }
  259. kcp.snd_buf = kcp.snd_buf[count:]
  260. }
  261. func (kcp *KCP) HandleSendingNext(sendingNext uint32) {
  262. kcp.acklist.Clear(sendingNext)
  263. kcp.receivingUpdated = true
  264. }
  265. func (kcp *KCP) parse_data(newseg *DataSegment) {
  266. sn := newseg.Number
  267. if _itimediff(sn, kcp.rcv_nxt+kcp.rcv_wnd) >= 0 ||
  268. _itimediff(sn, kcp.rcv_nxt) < 0 {
  269. return
  270. }
  271. idx := sn - kcp.rcv_nxt
  272. if !kcp.rcv_buf.Set(idx, newseg) {
  273. newseg.Release()
  274. }
  275. kcp.DumpReceivingBuf()
  276. }
  277. // Input when you received a low level packet (eg. UDP packet), call it
  278. func (kcp *KCP) Input(data []byte) int {
  279. kcp.lastIncomingTime = kcp.current
  280. var seg ISegment
  281. var maxack uint32
  282. var flag int
  283. for {
  284. seg, data = ReadSegment(data)
  285. if seg == nil {
  286. break
  287. }
  288. switch seg := seg.(type) {
  289. case *DataSegment:
  290. kcp.HandleOption(seg.Opt)
  291. kcp.HandleSendingNext(seg.SendingNext)
  292. kcp.shrink_buf()
  293. kcp.acklist.Add(seg.Number, seg.Timestamp)
  294. kcp.parse_data(seg)
  295. kcp.lastPayloadTime = kcp.current
  296. case *ACKSegment:
  297. kcp.HandleOption(seg.Opt)
  298. if kcp.rmt_wnd < seg.ReceivingWindow {
  299. kcp.rmt_wnd = seg.ReceivingWindow
  300. }
  301. kcp.HandleReceivingNext(seg.ReceivingNext)
  302. for i := 0; i < int(seg.Count); i++ {
  303. ts := seg.TimestampList[i]
  304. sn := seg.NumberList[i]
  305. if _itimediff(kcp.current, ts) >= 0 {
  306. kcp.update_ack(_itimediff(kcp.current, ts))
  307. }
  308. kcp.parse_ack(sn)
  309. if flag == 0 {
  310. flag = 1
  311. maxack = sn
  312. } else if _itimediff(sn, maxack) > 0 {
  313. maxack = sn
  314. }
  315. }
  316. kcp.shrink_buf()
  317. kcp.lastPayloadTime = kcp.current
  318. case *CmdOnlySegment:
  319. kcp.HandleOption(seg.Opt)
  320. if seg.Cmd == SegmentCommandTerminated {
  321. if kcp.state == StateActive ||
  322. kcp.state == StateReadyToClose ||
  323. kcp.state == StatePeerClosed {
  324. kcp.state = StateTerminating
  325. kcp.stateBeginTime = kcp.current
  326. } else if kcp.state == StateTerminating {
  327. kcp.state = StateTerminated
  328. kcp.stateBeginTime = kcp.current
  329. }
  330. }
  331. kcp.HandleReceivingNext(seg.ReceivinNext)
  332. kcp.HandleSendingNext(seg.SendingNext)
  333. default:
  334. }
  335. }
  336. if flag != 0 {
  337. kcp.parse_fastack(maxack)
  338. }
  339. return 0
  340. }
  341. // flush pending data
  342. func (kcp *KCP) flush() {
  343. if kcp.state == StateTerminated {
  344. return
  345. }
  346. if kcp.state == StateActive && _itimediff(kcp.current, kcp.lastPayloadTime) >= 30000 {
  347. kcp.OnClose()
  348. }
  349. if kcp.state == StateTerminating {
  350. kcp.output.Write(&CmdOnlySegment{
  351. Conv: kcp.conv,
  352. Cmd: SegmentCommandTerminated,
  353. })
  354. kcp.output.Flush()
  355. if _itimediff(kcp.current, kcp.stateBeginTime) > 8000 {
  356. kcp.state = StateTerminated
  357. kcp.stateBeginTime = kcp.current
  358. }
  359. return
  360. }
  361. if kcp.state == StateReadyToClose && _itimediff(kcp.current, kcp.stateBeginTime) > 15000 {
  362. kcp.state = StateTerminating
  363. kcp.stateBeginTime = kcp.current
  364. }
  365. current := kcp.current
  366. lost := false
  367. // flush acknowledges
  368. ackSeg := kcp.acklist.AsSegment()
  369. if ackSeg != nil {
  370. ackSeg.Conv = kcp.conv
  371. ackSeg.ReceivingWindow = uint32(kcp.rcv_nxt + kcp.rcv_wnd)
  372. ackSeg.ReceivingNext = kcp.rcv_nxt
  373. kcp.output.Write(ackSeg)
  374. kcp.receivingUpdated = false
  375. }
  376. // calculate window size
  377. cwnd := _imin_(kcp.snd_una+kcp.snd_wnd, kcp.rmt_wnd)
  378. if kcp.congestionControl {
  379. cwnd = _imin_(kcp.cwnd, cwnd)
  380. }
  381. for !kcp.snd_queue.IsEmpty() && _itimediff(kcp.snd_nxt, cwnd) < 0 {
  382. seg := kcp.snd_queue.Pop()
  383. seg.Conv = kcp.conv
  384. seg.Number = kcp.snd_nxt
  385. seg.timeout = current
  386. seg.ackSkipped = 0
  387. seg.transmit = 0
  388. kcp.snd_buf = append(kcp.snd_buf, seg)
  389. kcp.snd_nxt++
  390. }
  391. // calculate resent
  392. resent := uint32(kcp.fastresend)
  393. if kcp.fastresend <= 0 {
  394. resent = 0xffffffff
  395. }
  396. // flush data segments
  397. for _, segment := range kcp.snd_buf {
  398. needsend := false
  399. if segment.transmit == 0 {
  400. needsend = true
  401. segment.transmit++
  402. segment.timeout = current + kcp.rx_rto
  403. } else if _itimediff(current, segment.timeout) >= 0 {
  404. needsend = true
  405. segment.transmit++
  406. kcp.xmit++
  407. segment.timeout = current + kcp.rx_rto
  408. lost = true
  409. } else if segment.ackSkipped >= resent {
  410. needsend = true
  411. segment.transmit++
  412. segment.ackSkipped = 0
  413. segment.timeout = current + kcp.rx_rto
  414. lost = true
  415. }
  416. if needsend {
  417. segment.Timestamp = current
  418. segment.SendingNext = kcp.snd_una
  419. segment.Opt = 0
  420. if kcp.state == StateReadyToClose {
  421. segment.Opt = SegmentOptionClose
  422. }
  423. kcp.output.Write(segment)
  424. kcp.sendingUpdated = false
  425. if segment.transmit >= kcp.dead_link {
  426. kcp.state = 0xFFFFFFFF
  427. }
  428. }
  429. }
  430. if kcp.sendingUpdated || kcp.receivingUpdated || _itimediff(kcp.current, kcp.lastPingTime) >= 5000 {
  431. seg := &CmdOnlySegment{
  432. Conv: kcp.conv,
  433. Cmd: SegmentCommandPing,
  434. ReceivinNext: kcp.rcv_nxt,
  435. SendingNext: kcp.snd_una,
  436. }
  437. if kcp.state == StateReadyToClose {
  438. seg.Opt = SegmentOptionClose
  439. }
  440. kcp.output.Write(seg)
  441. kcp.lastPingTime = kcp.current
  442. kcp.sendingUpdated = false
  443. kcp.receivingUpdated = false
  444. }
  445. // flash remain segments
  446. kcp.output.Flush()
  447. if kcp.congestionControl {
  448. if lost {
  449. kcp.cwnd = 3 * kcp.cwnd / 4
  450. } else {
  451. kcp.cwnd += kcp.cwnd / 4
  452. }
  453. if kcp.cwnd < 4 {
  454. kcp.cwnd = 4
  455. }
  456. if kcp.cwnd > kcp.snd_wnd {
  457. kcp.cwnd = kcp.snd_wnd
  458. }
  459. }
  460. }
  461. // Update updates state (call it repeatedly, every 10ms-100ms), or you can ask
  462. // ikcp_check when to call it again (without ikcp_input/_send calling).
  463. // 'current' - current timestamp in millisec.
  464. func (kcp *KCP) Update(current uint32) {
  465. var slap int32
  466. kcp.current = current
  467. if !kcp.updated {
  468. kcp.updated = true
  469. kcp.ts_flush = kcp.current
  470. }
  471. slap = _itimediff(kcp.current, kcp.ts_flush)
  472. if slap >= 10000 || slap < -10000 {
  473. kcp.ts_flush = kcp.current
  474. slap = 0
  475. }
  476. if slap >= 0 {
  477. kcp.ts_flush += kcp.interval
  478. if _itimediff(kcp.current, kcp.ts_flush) >= 0 {
  479. kcp.ts_flush = kcp.current + kcp.interval
  480. }
  481. kcp.flush()
  482. }
  483. }
  484. // NoDelay options
  485. // fastest: ikcp_nodelay(kcp, 1, 20, 2, 1)
  486. // nodelay: 0:disable(default), 1:enable
  487. // interval: internal update timer interval in millisec, default is 100ms
  488. // resend: 0:disable fast resend(default), 1:enable fast resend
  489. // nc: 0:normal congestion control(default), 1:disable congestion control
  490. func (kcp *KCP) NoDelay(interval uint32, resend int, congestionControl bool) int {
  491. kcp.interval = interval
  492. if resend >= 0 {
  493. kcp.fastresend = int32(resend)
  494. }
  495. kcp.congestionControl = congestionControl
  496. return 0
  497. }
  498. // WaitSnd gets how many packet is waiting to be sent
  499. func (kcp *KCP) WaitSnd() uint32 {
  500. return uint32(len(kcp.snd_buf)) + kcp.snd_queue.Len()
  501. }
  502. func (this *KCP) ClearSendQueue() {
  503. this.snd_queue.Clear()
  504. for _, seg := range this.snd_buf {
  505. seg.Release()
  506. }
  507. this.snd_buf = nil
  508. }