kcp.go 13 KB

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