watch.go 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374
  1. // Copyright 2015 The etcd Authors
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // http://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. package v3rpc
  15. import (
  16. "io"
  17. "sync"
  18. "time"
  19. "golang.org/x/net/context"
  20. "github.com/coreos/etcd/etcdserver"
  21. "github.com/coreos/etcd/etcdserver/api/v3rpc/rpctypes"
  22. pb "github.com/coreos/etcd/etcdserver/etcdserverpb"
  23. "github.com/coreos/etcd/mvcc"
  24. "github.com/coreos/etcd/mvcc/mvccpb"
  25. )
  26. type watchServer struct {
  27. clusterID int64
  28. memberID int64
  29. raftTimer etcdserver.RaftTimer
  30. watchable mvcc.WatchableKV
  31. }
  32. func NewWatchServer(s *etcdserver.EtcdServer) pb.WatchServer {
  33. return &watchServer{
  34. clusterID: int64(s.Cluster().ID()),
  35. memberID: int64(s.ID()),
  36. raftTimer: s,
  37. watchable: s.Watchable(),
  38. }
  39. }
  40. var (
  41. // External test can read this with GetProgressReportInterval()
  42. // and change this to a small value to finish fast with
  43. // SetProgressReportInterval().
  44. progressReportInterval = 10 * time.Minute
  45. progressReportIntervalMu sync.RWMutex
  46. )
  47. func GetProgressReportInterval() time.Duration {
  48. progressReportIntervalMu.RLock()
  49. defer progressReportIntervalMu.RUnlock()
  50. return progressReportInterval
  51. }
  52. func SetProgressReportInterval(newTimeout time.Duration) {
  53. progressReportIntervalMu.Lock()
  54. defer progressReportIntervalMu.Unlock()
  55. progressReportInterval = newTimeout
  56. }
  57. const (
  58. // We send ctrl response inside the read loop. We do not want
  59. // send to block read, but we still want ctrl response we sent to
  60. // be serialized. Thus we use a buffered chan to solve the problem.
  61. // A small buffer should be OK for most cases, since we expect the
  62. // ctrl requests are infrequent.
  63. ctrlStreamBufLen = 16
  64. )
  65. // serverWatchStream is an etcd server side stream. It receives requests
  66. // from client side gRPC stream. It receives watch events from mvcc.WatchStream,
  67. // and creates responses that forwarded to gRPC stream.
  68. // It also forwards control message like watch created and canceled.
  69. type serverWatchStream struct {
  70. clusterID int64
  71. memberID int64
  72. raftTimer etcdserver.RaftTimer
  73. watchable mvcc.WatchableKV
  74. gRPCStream pb.Watch_WatchServer
  75. watchStream mvcc.WatchStream
  76. ctrlStream chan *pb.WatchResponse
  77. // mu protects progress, prevKV
  78. mu sync.Mutex
  79. // progress tracks the watchID that stream might need to send
  80. // progress to.
  81. // TOOD: combine progress and prevKV into a single struct?
  82. progress map[mvcc.WatchID]bool
  83. prevKV map[mvcc.WatchID]bool
  84. // closec indicates the stream is closed.
  85. closec chan struct{}
  86. // wg waits for the send loop to complete
  87. wg sync.WaitGroup
  88. }
  89. func (ws *watchServer) Watch(stream pb.Watch_WatchServer) (err error) {
  90. sws := serverWatchStream{
  91. clusterID: ws.clusterID,
  92. memberID: ws.memberID,
  93. raftTimer: ws.raftTimer,
  94. watchable: ws.watchable,
  95. gRPCStream: stream,
  96. watchStream: ws.watchable.NewWatchStream(),
  97. // chan for sending control response like watcher created and canceled.
  98. ctrlStream: make(chan *pb.WatchResponse, ctrlStreamBufLen),
  99. progress: make(map[mvcc.WatchID]bool),
  100. prevKV: make(map[mvcc.WatchID]bool),
  101. closec: make(chan struct{}),
  102. }
  103. sws.wg.Add(1)
  104. go func() {
  105. sws.sendLoop()
  106. sws.wg.Done()
  107. }()
  108. errc := make(chan error, 1)
  109. // Ideally recvLoop would also use sws.wg to signal its completion
  110. // but when stream.Context().Done() is closed, the stream's recv
  111. // may continue to block since it uses a different context, leading to
  112. // deadlock when calling sws.close().
  113. go func() { errc <- sws.recvLoop() }()
  114. select {
  115. case err = <-errc:
  116. case <-stream.Context().Done():
  117. err = stream.Context().Err()
  118. // the only server-side cancellation is noleader for now.
  119. if err == context.Canceled {
  120. err = rpctypes.ErrGRPCNoLeader
  121. }
  122. }
  123. sws.close()
  124. return err
  125. }
  126. func (sws *serverWatchStream) recvLoop() error {
  127. defer close(sws.ctrlStream)
  128. for {
  129. req, err := sws.gRPCStream.Recv()
  130. if err == io.EOF {
  131. return nil
  132. }
  133. if err != nil {
  134. return err
  135. }
  136. switch uv := req.RequestUnion.(type) {
  137. case *pb.WatchRequest_CreateRequest:
  138. if uv.CreateRequest == nil {
  139. break
  140. }
  141. creq := uv.CreateRequest
  142. if len(creq.Key) == 0 {
  143. // \x00 is the smallest key
  144. creq.Key = []byte{0}
  145. }
  146. if len(creq.RangeEnd) == 1 && creq.RangeEnd[0] == 0 {
  147. // support >= key queries
  148. creq.RangeEnd = []byte{}
  149. }
  150. filters := make([]mvcc.FilterFunc, 0, len(creq.Filters))
  151. for _, ft := range creq.Filters {
  152. switch ft {
  153. case pb.WatchCreateRequest_NOPUT:
  154. filters = append(filters, filterNoPut)
  155. case pb.WatchCreateRequest_NODELETE:
  156. filters = append(filters, filterNoDelete)
  157. default:
  158. }
  159. }
  160. wsrev := sws.watchStream.Rev()
  161. rev := creq.StartRevision
  162. if rev == 0 {
  163. rev = wsrev + 1
  164. }
  165. id := sws.watchStream.Watch(creq.Key, creq.RangeEnd, rev, filters...)
  166. if id != -1 {
  167. sws.mu.Lock()
  168. if creq.ProgressNotify {
  169. sws.progress[id] = true
  170. }
  171. if creq.PrevKv {
  172. sws.prevKV[id] = true
  173. }
  174. sws.mu.Unlock()
  175. }
  176. wr := &pb.WatchResponse{
  177. Header: sws.newResponseHeader(wsrev),
  178. WatchId: int64(id),
  179. Created: true,
  180. Canceled: id == -1,
  181. }
  182. select {
  183. case sws.ctrlStream <- wr:
  184. case <-sws.closec:
  185. return nil
  186. }
  187. case *pb.WatchRequest_CancelRequest:
  188. if uv.CancelRequest != nil {
  189. id := uv.CancelRequest.WatchId
  190. err := sws.watchStream.Cancel(mvcc.WatchID(id))
  191. if err == nil {
  192. sws.ctrlStream <- &pb.WatchResponse{
  193. Header: sws.newResponseHeader(sws.watchStream.Rev()),
  194. WatchId: id,
  195. Canceled: true,
  196. }
  197. sws.mu.Lock()
  198. delete(sws.progress, mvcc.WatchID(id))
  199. delete(sws.prevKV, mvcc.WatchID(id))
  200. sws.mu.Unlock()
  201. }
  202. }
  203. default:
  204. // we probably should not shutdown the entire stream when
  205. // receive an valid command.
  206. // so just do nothing instead.
  207. continue
  208. }
  209. }
  210. }
  211. func (sws *serverWatchStream) sendLoop() {
  212. // watch ids that are currently active
  213. ids := make(map[mvcc.WatchID]struct{})
  214. // watch responses pending on a watch id creation message
  215. pending := make(map[mvcc.WatchID][]*pb.WatchResponse)
  216. interval := GetProgressReportInterval()
  217. progressTicker := time.NewTicker(interval)
  218. defer func() {
  219. progressTicker.Stop()
  220. // drain the chan to clean up pending events
  221. for ws := range sws.watchStream.Chan() {
  222. mvcc.ReportEventReceived(len(ws.Events))
  223. }
  224. for _, wrs := range pending {
  225. for _, ws := range wrs {
  226. mvcc.ReportEventReceived(len(ws.Events))
  227. }
  228. }
  229. }()
  230. for {
  231. select {
  232. case wresp, ok := <-sws.watchStream.Chan():
  233. if !ok {
  234. return
  235. }
  236. // TODO: evs is []mvccpb.Event type
  237. // either return []*mvccpb.Event from the mvcc package
  238. // or define protocol buffer with []mvccpb.Event.
  239. evs := wresp.Events
  240. events := make([]*mvccpb.Event, len(evs))
  241. sws.mu.Lock()
  242. needPrevKV := sws.prevKV[wresp.WatchID]
  243. sws.mu.Unlock()
  244. for i := range evs {
  245. events[i] = &evs[i]
  246. if needPrevKV {
  247. opt := mvcc.RangeOptions{Rev: evs[i].Kv.ModRevision - 1}
  248. r, err := sws.watchable.Range(evs[i].Kv.Key, nil, opt)
  249. if err == nil && len(r.KVs) != 0 {
  250. events[i].PrevKv = &(r.KVs[0])
  251. }
  252. }
  253. }
  254. wr := &pb.WatchResponse{
  255. Header: sws.newResponseHeader(wresp.Revision),
  256. WatchId: int64(wresp.WatchID),
  257. Events: events,
  258. CompactRevision: wresp.CompactRevision,
  259. }
  260. if _, hasId := ids[wresp.WatchID]; !hasId {
  261. // buffer if id not yet announced
  262. wrs := append(pending[wresp.WatchID], wr)
  263. pending[wresp.WatchID] = wrs
  264. continue
  265. }
  266. mvcc.ReportEventReceived(len(evs))
  267. if err := sws.gRPCStream.Send(wr); err != nil {
  268. return
  269. }
  270. sws.mu.Lock()
  271. if _, ok := sws.progress[wresp.WatchID]; ok {
  272. sws.progress[wresp.WatchID] = false
  273. }
  274. sws.mu.Unlock()
  275. case c, ok := <-sws.ctrlStream:
  276. if !ok {
  277. return
  278. }
  279. if err := sws.gRPCStream.Send(c); err != nil {
  280. return
  281. }
  282. // track id creation
  283. wid := mvcc.WatchID(c.WatchId)
  284. if c.Canceled {
  285. delete(ids, wid)
  286. continue
  287. }
  288. if c.Created {
  289. // flush buffered events
  290. ids[wid] = struct{}{}
  291. for _, v := range pending[wid] {
  292. mvcc.ReportEventReceived(len(v.Events))
  293. if err := sws.gRPCStream.Send(v); err != nil {
  294. return
  295. }
  296. }
  297. delete(pending, wid)
  298. }
  299. case <-progressTicker.C:
  300. sws.mu.Lock()
  301. for id, ok := range sws.progress {
  302. if ok {
  303. sws.watchStream.RequestProgress(id)
  304. }
  305. sws.progress[id] = true
  306. }
  307. sws.mu.Unlock()
  308. case <-sws.closec:
  309. return
  310. }
  311. }
  312. }
  313. func (sws *serverWatchStream) close() {
  314. sws.watchStream.Close()
  315. close(sws.closec)
  316. sws.wg.Wait()
  317. }
  318. func (sws *serverWatchStream) newResponseHeader(rev int64) *pb.ResponseHeader {
  319. return &pb.ResponseHeader{
  320. ClusterId: uint64(sws.clusterID),
  321. MemberId: uint64(sws.memberID),
  322. Revision: rev,
  323. RaftTerm: sws.raftTimer.Term(),
  324. }
  325. }
  326. func filterNoDelete(e mvccpb.Event) bool {
  327. return e.Type == mvccpb.DELETE
  328. }
  329. func filterNoPut(e mvccpb.Event) bool {
  330. return e.Type == mvccpb.PUT
  331. }