window_op.go 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449
  1. package nodes
  2. import (
  3. "encoding/gob"
  4. "fmt"
  5. "github.com/benbjohnson/clock"
  6. "github.com/emqx/kuiper/common"
  7. "github.com/emqx/kuiper/xsql"
  8. "github.com/emqx/kuiper/xstream/api"
  9. "math"
  10. "time"
  11. )
  12. type WindowConfig struct {
  13. Type xsql.WindowType
  14. Length int
  15. Interval int //If interval is not set, it is equals to Length
  16. }
  17. type WindowOperator struct {
  18. *defaultSinkNode
  19. window *WindowConfig
  20. interval int
  21. isEventTime bool
  22. watermarkGenerator *WatermarkGenerator //For event time only
  23. statManager StatManager
  24. ticker *clock.Ticker //For processing time only
  25. // states
  26. triggerTime int64
  27. msgCount int
  28. }
  29. const WINDOW_INPUTS_KEY = "$$windowInputs"
  30. const TRIGGER_TIME_KEY = "$$triggerTime"
  31. const MSG_COUNT_KEY = "$$msgCount"
  32. func init() {
  33. gob.Register([]*xsql.Tuple{})
  34. }
  35. func NewWindowOp(name string, w *xsql.Window, isEventTime bool, lateTolerance int64, streams []string, bufferLength int) (*WindowOperator, error) {
  36. o := new(WindowOperator)
  37. o.defaultSinkNode = &defaultSinkNode{
  38. input: make(chan interface{}, bufferLength),
  39. defaultNode: &defaultNode{
  40. outputs: make(map[string]chan<- interface{}),
  41. name: name,
  42. },
  43. }
  44. o.isEventTime = isEventTime
  45. if w != nil {
  46. o.window = &WindowConfig{
  47. Type: w.WindowType,
  48. Length: w.Length.Val,
  49. }
  50. if w.Interval != nil {
  51. o.window.Interval = w.Interval.Val
  52. } else if o.window.Type == xsql.COUNT_WINDOW {
  53. //if no interval value is set and it's count window, then set interval to length value.
  54. o.window.Interval = o.window.Length
  55. }
  56. } else {
  57. o.window = &WindowConfig{
  58. Type: xsql.NOT_WINDOW,
  59. }
  60. }
  61. if isEventTime {
  62. //Create watermark generator
  63. if w, err := NewWatermarkGenerator(o.window, lateTolerance, streams, o.input); err != nil {
  64. return nil, err
  65. } else {
  66. o.watermarkGenerator = w
  67. }
  68. }
  69. return o, nil
  70. }
  71. // Exec is the entry point for the executor
  72. // input: *xsql.Tuple from preprocessor
  73. // output: xsql.WindowTuplesSet
  74. func (o *WindowOperator) Exec(ctx api.StreamContext, errCh chan<- error) {
  75. o.ctx = ctx
  76. log := ctx.GetLogger()
  77. log.Debugf("Window operator %s is started", o.name)
  78. if len(o.outputs) <= 0 {
  79. go func() { errCh <- fmt.Errorf("no output channel found") }()
  80. return
  81. }
  82. stats, err := NewStatManager("op", ctx)
  83. if err != nil {
  84. go func() { errCh <- err }()
  85. return
  86. }
  87. o.statManager = stats
  88. var inputs []*xsql.Tuple
  89. if s, err := ctx.GetState(WINDOW_INPUTS_KEY); err == nil {
  90. switch st := s.(type) {
  91. case []*xsql.Tuple:
  92. inputs = st
  93. log.Infof("Restore window state %+v", inputs)
  94. case nil:
  95. log.Debugf("Restore window state, nothing")
  96. default:
  97. errCh <- fmt.Errorf("restore window state `inputs` %v error, invalid type", st)
  98. }
  99. } else {
  100. log.Warnf("Restore window state fails: %s", err)
  101. }
  102. o.triggerTime = 0
  103. if s, err := ctx.GetState(TRIGGER_TIME_KEY); err == nil && s != nil {
  104. if si, ok := s.(int64); ok {
  105. o.triggerTime = si
  106. } else {
  107. errCh <- fmt.Errorf("restore window state `triggerTime` %v error, invalid type", s)
  108. }
  109. }
  110. o.msgCount = 0
  111. if s, err := ctx.GetState(MSG_COUNT_KEY); err == nil && s != nil {
  112. if si, ok := s.(int); ok {
  113. o.msgCount = si
  114. } else {
  115. errCh <- fmt.Errorf("restore window state `msgCount` %v error, invalid type", s)
  116. }
  117. }
  118. log.Infof("Start with window state triggerTime: %d, msgCount: %d", o.triggerTime, o.msgCount)
  119. if o.isEventTime {
  120. go o.execEventWindow(ctx, inputs, errCh)
  121. } else {
  122. go o.execProcessingWindow(ctx, inputs, errCh)
  123. }
  124. }
  125. func (o *WindowOperator) execProcessingWindow(ctx api.StreamContext, inputs []*xsql.Tuple, errCh chan<- error) {
  126. log := ctx.GetLogger()
  127. var (
  128. c <-chan time.Time
  129. timeoutTicker *clock.Timer
  130. timeout <-chan time.Time
  131. )
  132. switch o.window.Type {
  133. case xsql.NOT_WINDOW:
  134. case xsql.TUMBLING_WINDOW:
  135. o.ticker = common.GetTicker(o.window.Length)
  136. o.interval = o.window.Length
  137. case xsql.HOPPING_WINDOW:
  138. o.ticker = common.GetTicker(o.window.Interval)
  139. o.interval = o.window.Interval
  140. case xsql.SLIDING_WINDOW:
  141. o.interval = o.window.Length
  142. case xsql.SESSION_WINDOW:
  143. o.ticker = common.GetTicker(o.window.Length)
  144. o.interval = o.window.Interval
  145. case xsql.COUNT_WINDOW:
  146. o.interval = o.window.Interval
  147. }
  148. if o.ticker != nil {
  149. c = o.ticker.C
  150. //resume previous window
  151. if len(inputs) > 0 && o.triggerTime > 0 {
  152. nextTick := common.GetNowInMilli() + int64(o.interval)
  153. next := o.triggerTime
  154. switch o.window.Type {
  155. case xsql.TUMBLING_WINDOW, xsql.HOPPING_WINDOW:
  156. for {
  157. next = next + int64(o.interval)
  158. if next > nextTick {
  159. break
  160. }
  161. log.Debugf("triggered by restore inputs")
  162. inputs, _ = o.scan(inputs, next, ctx)
  163. ctx.PutState(WINDOW_INPUTS_KEY, inputs)
  164. ctx.PutState(TRIGGER_TIME_KEY, o.triggerTime)
  165. }
  166. case xsql.SESSION_WINDOW:
  167. timeout, duration := int64(o.window.Interval), int64(o.window.Length)
  168. for {
  169. et := inputs[0].Timestamp
  170. tick := et + (duration - et%duration)
  171. if et%duration == 0 {
  172. tick = et
  173. }
  174. var p int64
  175. for _, tuple := range inputs {
  176. var r int64 = math.MaxInt64
  177. if p > 0 {
  178. if tuple.Timestamp-p > timeout {
  179. r = p + timeout
  180. }
  181. }
  182. if tuple.Timestamp > tick {
  183. if tick-duration > et && tick < r {
  184. r = tick
  185. }
  186. tick += duration
  187. }
  188. if r < math.MaxInt64 {
  189. next = r
  190. break
  191. }
  192. p = tuple.Timestamp
  193. }
  194. if next > nextTick {
  195. break
  196. }
  197. log.Debugf("triggered by restore inputs")
  198. inputs, _ = o.scan(inputs, next, ctx)
  199. ctx.PutState(WINDOW_INPUTS_KEY, inputs)
  200. ctx.PutState(TRIGGER_TIME_KEY, o.triggerTime)
  201. }
  202. }
  203. }
  204. }
  205. for {
  206. select {
  207. // process incoming item
  208. case item, opened := <-o.input:
  209. processed := false
  210. if item, processed = o.preprocess(item); processed {
  211. break
  212. }
  213. o.statManager.IncTotalRecordsIn()
  214. o.statManager.ProcessTimeStart()
  215. if !opened {
  216. o.statManager.IncTotalExceptions()
  217. break
  218. }
  219. switch d := item.(type) {
  220. case error:
  221. o.Broadcast(d)
  222. o.statManager.IncTotalExceptions()
  223. case *xsql.Tuple:
  224. log.Debugf("Event window receive tuple %s", d.Message)
  225. inputs = append(inputs, d)
  226. switch o.window.Type {
  227. case xsql.NOT_WINDOW:
  228. inputs, _ = o.scan(inputs, d.Timestamp, ctx)
  229. case xsql.SLIDING_WINDOW:
  230. inputs, _ = o.scan(inputs, d.Timestamp, ctx)
  231. case xsql.SESSION_WINDOW:
  232. if timeoutTicker != nil {
  233. timeoutTicker.Stop()
  234. timeoutTicker.Reset(time.Duration(o.window.Interval) * time.Millisecond)
  235. } else {
  236. timeoutTicker = common.GetTimer(o.window.Interval)
  237. timeout = timeoutTicker.C
  238. }
  239. case xsql.COUNT_WINDOW:
  240. o.msgCount++
  241. log.Debugf(fmt.Sprintf("msgCount: %d", o.msgCount))
  242. if o.msgCount%o.window.Interval != 0 {
  243. continue
  244. } else {
  245. o.msgCount = 0
  246. }
  247. if tl, er := NewTupleList(inputs, o.window.Length); er != nil {
  248. log.Error(fmt.Sprintf("Found error when trying to "))
  249. errCh <- er
  250. } else {
  251. log.Debugf(fmt.Sprintf("It has %d of count window.", tl.count()))
  252. for tl.hasMoreCountWindow() {
  253. tsets := tl.nextCountWindow()
  254. log.Debugf("Sent: %v", tsets)
  255. //blocking if one of the channel is full
  256. o.Broadcast(tsets)
  257. o.statManager.IncTotalRecordsOut()
  258. }
  259. inputs = tl.getRestTuples()
  260. }
  261. }
  262. o.statManager.ProcessTimeEnd()
  263. o.statManager.SetBufferLength(int64(len(o.input)))
  264. ctx.PutState(WINDOW_INPUTS_KEY, inputs)
  265. ctx.PutState(MSG_COUNT_KEY, o.msgCount)
  266. default:
  267. o.Broadcast(fmt.Errorf("run Window error: expect xsql.Tuple type but got %[1]T(%[1]v)", d))
  268. o.statManager.IncTotalExceptions()
  269. }
  270. case now := <-c:
  271. if len(inputs) > 0 {
  272. o.statManager.ProcessTimeStart()
  273. n := common.TimeToUnixMilli(now)
  274. //For session window, check if the last scan time is newer than the inputs
  275. if o.window.Type == xsql.SESSION_WINDOW {
  276. //scan time for session window will record all triggers of the ticker but not the timeout
  277. lastTriggerTime := o.triggerTime
  278. o.triggerTime = n
  279. //Check if the current window has exceeded the max duration, if not continue expand
  280. if lastTriggerTime < inputs[0].Timestamp {
  281. break
  282. }
  283. }
  284. log.Debugf("triggered by ticker")
  285. inputs, _ = o.scan(inputs, n, ctx)
  286. o.statManager.ProcessTimeEnd()
  287. ctx.PutState(WINDOW_INPUTS_KEY, inputs)
  288. ctx.PutState(TRIGGER_TIME_KEY, o.triggerTime)
  289. }
  290. case now := <-timeout:
  291. if len(inputs) > 0 {
  292. o.statManager.ProcessTimeStart()
  293. log.Debugf("triggered by timeout")
  294. inputs, _ = o.scan(inputs, common.TimeToUnixMilli(now), ctx)
  295. //expire all inputs, so that when timer scan there is no item
  296. inputs = make([]*xsql.Tuple, 0)
  297. o.statManager.ProcessTimeEnd()
  298. ctx.PutState(WINDOW_INPUTS_KEY, inputs)
  299. ctx.PutState(TRIGGER_TIME_KEY, o.triggerTime)
  300. }
  301. // is cancelling
  302. case <-ctx.Done():
  303. log.Infoln("Cancelling window....")
  304. if o.ticker != nil {
  305. o.ticker.Stop()
  306. }
  307. return
  308. }
  309. }
  310. }
  311. type TupleList struct {
  312. tuples []*xsql.Tuple
  313. index int //Current index
  314. size int //The size for count window
  315. }
  316. func NewTupleList(tuples []*xsql.Tuple, windowSize int) (TupleList, error) {
  317. if windowSize <= 0 {
  318. return TupleList{}, fmt.Errorf("Window size should not be less than zero.")
  319. } else if tuples == nil || len(tuples) == 0 {
  320. return TupleList{}, fmt.Errorf("The tuples should not be nil or empty.")
  321. }
  322. tl := TupleList{tuples: tuples, size: windowSize}
  323. return tl, nil
  324. }
  325. func (tl *TupleList) hasMoreCountWindow() bool {
  326. if len(tl.tuples) < tl.size {
  327. return false
  328. }
  329. return tl.index == 0
  330. }
  331. func (tl *TupleList) count() int {
  332. if len(tl.tuples) < tl.size {
  333. return 0
  334. } else {
  335. return 1
  336. }
  337. }
  338. func (tl *TupleList) nextCountWindow() xsql.WindowTuplesSet {
  339. var results xsql.WindowTuplesSet = make([]xsql.WindowTuples, 0)
  340. var subT []*xsql.Tuple
  341. subT = tl.tuples[len(tl.tuples)-tl.size : len(tl.tuples)]
  342. for _, tuple := range subT {
  343. results = results.AddTuple(tuple)
  344. }
  345. tl.index = tl.index + 1
  346. return results
  347. }
  348. func (tl *TupleList) getRestTuples() []*xsql.Tuple {
  349. if len(tl.tuples) < tl.size {
  350. return tl.tuples
  351. }
  352. return tl.tuples[len(tl.tuples)-tl.size+1:]
  353. }
  354. func (o *WindowOperator) scan(inputs []*xsql.Tuple, triggerTime int64, ctx api.StreamContext) ([]*xsql.Tuple, bool) {
  355. log := ctx.GetLogger()
  356. log.Debugf("window %s triggered at %s(%d)", o.name, time.Unix(triggerTime/1000, triggerTime%1000), triggerTime)
  357. var delta int64
  358. if o.window.Type == xsql.HOPPING_WINDOW || o.window.Type == xsql.SLIDING_WINDOW {
  359. delta = o.calDelta(triggerTime, delta, log)
  360. }
  361. var results xsql.WindowTuplesSet = make([]xsql.WindowTuples, 0)
  362. i := 0
  363. //Sync table
  364. for _, tuple := range inputs {
  365. if o.window.Type == xsql.HOPPING_WINDOW || o.window.Type == xsql.SLIDING_WINDOW {
  366. diff := o.triggerTime - tuple.Timestamp
  367. if diff > int64(o.window.Length)+delta {
  368. log.Debugf("diff: %d, length: %d, delta: %d", diff, o.window.Length, delta)
  369. log.Debugf("tuple %s emitted at %d expired", tuple, tuple.Timestamp)
  370. //Expired tuple, remove it by not adding back to inputs
  371. continue
  372. }
  373. //Added back all inputs for non expired events
  374. inputs[i] = tuple
  375. i++
  376. } else if tuple.Timestamp > triggerTime {
  377. //Only added back early arrived events
  378. inputs[i] = tuple
  379. i++
  380. }
  381. if tuple.Timestamp <= triggerTime {
  382. results = results.AddTuple(tuple)
  383. }
  384. }
  385. triggered := false
  386. if len(results) > 0 {
  387. log.Debugf("window %s triggered for %d tuples", o.name, len(inputs))
  388. if o.isEventTime {
  389. results.Sort()
  390. }
  391. log.Debugf("Sent: %v", results)
  392. //blocking if one of the channel is full
  393. o.Broadcast(results)
  394. triggered = true
  395. o.statManager.IncTotalRecordsOut()
  396. log.Debugf("done scan")
  397. }
  398. return inputs[:i], triggered
  399. }
  400. func (o *WindowOperator) calDelta(triggerTime int64, delta int64, log api.Logger) int64 {
  401. lastTriggerTime := o.triggerTime
  402. o.triggerTime = triggerTime
  403. if lastTriggerTime <= 0 {
  404. delta = math.MaxInt16 //max int, all events for the initial window
  405. } else {
  406. if !o.isEventTime && o.window.Interval > 0 {
  407. delta = o.triggerTime - lastTriggerTime - int64(o.window.Interval)
  408. if delta > 100 {
  409. log.Warnf("Possible long computation in window; Previous eviction time: %d, current eviction time: %d", lastTriggerTime, o.triggerTime)
  410. }
  411. } else {
  412. delta = 0
  413. }
  414. }
  415. return delta
  416. }
  417. func (o *WindowOperator) GetMetrics() [][]interface{} {
  418. if o.statManager != nil {
  419. return [][]interface{}{
  420. o.statManager.GetMetrics(),
  421. }
  422. } else {
  423. return nil
  424. }
  425. }