14287: Fix comment that looked too much like real code.
[arvados.git] / lib / controller / federation / list.go
1 // Copyright (C) The Arvados Authors. All rights reserved.
2 //
3 // SPDX-License-Identifier: AGPL-3.0
4
5 package federation
6
7 import (
8         "context"
9         "fmt"
10         "net/http"
11         "sort"
12         "sync"
13
14         "git.curoverse.com/arvados.git/sdk/go/arvados"
15         "git.curoverse.com/arvados.git/sdk/go/httpserver"
16 )
17
18 //go:generate go run generate.go
19
20 // CollectionList is used as a template to auto-generate List()
21 // methods for other types; see generate.go.
22
23 func (conn *Conn) CollectionList(ctx context.Context, options arvados.ListOptions) (arvados.CollectionList, error) {
24         var mtx sync.Mutex
25         var merged arvados.CollectionList
26         err := conn.splitListRequest(ctx, options, func(ctx context.Context, _ string, backend arvados.API, options arvados.ListOptions) ([]string, error) {
27                 cl, err := backend.CollectionList(ctx, options)
28                 if err != nil {
29                         return nil, err
30                 }
31                 mtx.Lock()
32                 defer mtx.Unlock()
33                 if len(merged.Items) == 0 {
34                         merged = cl
35                 } else {
36                         merged.Items = append(merged.Items, cl.Items...)
37                 }
38                 uuids := make([]string, 0, len(cl.Items))
39                 for _, item := range cl.Items {
40                         uuids = append(uuids, item.UUID)
41                 }
42                 return uuids, nil
43         })
44         sort.Slice(merged.Items, func(i, j int) bool { return merged.Items[i].UUID < merged.Items[j].UUID })
45         return merged, err
46 }
47
48 // Call fn on one or more local/remote backends if opts indicates a
49 // federation-wide list query, i.e.:
50 //
51 // * There is at least one filter of the form
52 //   ["uuid","in",[a,b,c,...]] or ["uuid","=",a]
53 //
54 // * One or more of the supplied UUIDs (a,b,c,...) has a non-local
55 //   prefix.
56 //
57 // * There are no other filters
58 //
59 // (If opts doesn't indicate a federation-wide list query, fn is just
60 // called once with the local backend.)
61 //
62 // fn is called more than once only if the query meets the following
63 // restrictions:
64 //
65 // * Count=="none"
66 //
67 // * Limit<0
68 //
69 // * len(Order)==0
70 //
71 // * there are no filters other than the "uuid = ..." and "uuid in
72 //   ..." filters mentioned above.
73 //
74 // * The maximum possible response size (total number of objects that
75 //   could potentially be matched by all of the specified filters)
76 //   exceeds the local cluster's response page size limit.
77 //
78 // If the query involves multiple backends but doesn't meet these
79 // restrictions, an error is returned without calling fn.
80 //
81 // Thus, the caller can assume that either:
82 //
83 // * splitListRequest() returns an error, or
84 //
85 // * fn is called exactly once, or
86 //
87 // * fn is called more than once, with options that satisfy the above
88 //   restrictions.
89 //
90 // Each call to fn indicates a single (local or remote) backend and a
91 // corresponding options argument suitable for sending to that
92 // backend.
93 func (conn *Conn) splitListRequest(ctx context.Context, opts arvados.ListOptions, fn func(context.Context, string, arvados.API, arvados.ListOptions) ([]string, error)) error {
94         cannotSplit := false
95         var matchAllFilters map[string]bool
96         for _, f := range opts.Filters {
97                 matchThisFilter := map[string]bool{}
98                 if f.Attr != "uuid" {
99                         cannotSplit = true
100                         continue
101                 }
102                 if f.Operator == "=" {
103                         if uuid, ok := f.Operand.(string); ok {
104                                 matchThisFilter[uuid] = true
105                         } else {
106                                 return httpErrorf(http.StatusBadRequest, "invalid operand type %T for filter %q", f.Operand, f)
107                         }
108                 } else if f.Operator == "in" {
109                         if operand, ok := f.Operand.([]interface{}); ok {
110                                 // skip any elements that aren't
111                                 // strings (thus can't match a UUID,
112                                 // thus can't affect the response).
113                                 for _, v := range operand {
114                                         if uuid, ok := v.(string); ok {
115                                                 matchThisFilter[uuid] = true
116                                         }
117                                 }
118                         } else if strings, ok := f.Operand.([]string); ok {
119                                 for _, uuid := range strings {
120                                         matchThisFilter[uuid] = true
121                                 }
122                         } else {
123                                 return httpErrorf(http.StatusBadRequest, "invalid operand type %T in filter %q", f.Operand, f)
124                         }
125                 } else {
126                         cannotSplit = true
127                         continue
128                 }
129
130                 if matchAllFilters == nil {
131                         matchAllFilters = matchThisFilter
132                 } else {
133                         // Reduce matchAllFilters to the intersection
134                         // of matchAllFilters ∩ matchThisFilter.
135                         for uuid := range matchAllFilters {
136                                 if !matchThisFilter[uuid] {
137                                         delete(matchAllFilters, uuid)
138                                 }
139                         }
140                 }
141         }
142
143         nUUIDs := 0
144         todoByRemote := map[string]map[string]bool{}
145         for uuid := range matchAllFilters {
146                 if len(uuid) != 27 {
147                         // Cannot match anything, just drop it
148                 } else {
149                         if todoByRemote[uuid[:5]] == nil {
150                                 todoByRemote[uuid[:5]] = map[string]bool{}
151                         }
152                         todoByRemote[uuid[:5]][uuid] = true
153                         nUUIDs++
154                 }
155         }
156
157         if len(todoByRemote) > 1 {
158                 if cannotSplit {
159                         return httpErrorf(http.StatusBadRequest, "cannot execute federated list query with filters other than 'uuid = ...' and 'uuid in [...]'")
160                 }
161                 if opts.Count != "none" {
162                         return httpErrorf(http.StatusBadRequest, "cannot execute federated list query unless count==\"none\"")
163                 }
164                 if opts.Limit >= 0 || opts.Offset != 0 || len(opts.Order) > 0 {
165                         return httpErrorf(http.StatusBadRequest, "cannot execute federated list query with limit, offset, or order parameter")
166                 }
167                 if max := conn.cluster.API.MaxItemsPerResponse; nUUIDs > max {
168                         return httpErrorf(http.StatusBadRequest, "cannot execute federated list query because number of UUIDs (%d) exceeds page size limit %d", nUUIDs, max)
169                 }
170                 selectingUUID := false
171                 for _, attr := range opts.Select {
172                         if attr == "uuid" {
173                                 selectingUUID = true
174                         }
175                 }
176                 if opts.Select != nil && !selectingUUID {
177                         return httpErrorf(http.StatusBadRequest, "cannot execute federated list query with a select parameter that does not include uuid")
178                 }
179         }
180
181         ctx, cancel := context.WithCancel(ctx)
182         defer cancel()
183         errs := make(chan error, len(todoByRemote))
184         for clusterID, todo := range todoByRemote {
185                 go func(clusterID string, todo map[string]bool) {
186                         // This goroutine sends exactly one value to
187                         // errs.
188                         batch := make([]string, 0, len(todo))
189                         for uuid := range todo {
190                                 batch = append(batch, uuid)
191                         }
192
193                         var backend arvados.API
194                         if clusterID == conn.cluster.ClusterID {
195                                 backend = conn.local
196                         } else if backend = conn.remotes[clusterID]; backend == nil {
197                                 errs <- httpErrorf(http.StatusNotFound, "cannot execute federated list query: no proxy available for cluster %q", clusterID)
198                                 return
199                         }
200                         remoteOpts := opts
201                         for len(todo) > 0 {
202                                 if len(batch) > len(todo) {
203                                         // Reduce batch to just the todo's
204                                         batch = batch[:0]
205                                         for uuid := range todo {
206                                                 batch = append(batch, uuid)
207                                         }
208                                 }
209                                 remoteOpts.Filters = []arvados.Filter{{"uuid", "in", batch}}
210
211                                 done, err := fn(ctx, clusterID, backend, remoteOpts)
212                                 if err != nil {
213                                         errs <- err
214                                         return
215                                 }
216                                 progress := false
217                                 for _, uuid := range done {
218                                         if _, ok := todo[uuid]; ok {
219                                                 progress = true
220                                                 delete(todo, uuid)
221                                         }
222                                 }
223                                 if !progress {
224                                         errs <- httpErrorf(http.StatusBadGateway, "cannot make progress in federated list query: cluster %q returned none of the requested UUIDs", clusterID)
225                                         return
226                                 }
227                         }
228                         errs <- nil
229                 }(clusterID, todo)
230         }
231
232         // Wait for all goroutines to return, then return the first
233         // non-nil error, if any.
234         var firstErr error
235         for range todoByRemote {
236                 if err := <-errs; err != nil && firstErr == nil {
237                         firstErr = err
238                         // Signal to any remaining fn() calls that
239                         // further effort is futile.
240                         cancel()
241                 }
242         }
243         return firstErr
244 }
245
246 func httpErrorf(code int, format string, args ...interface{}) error {
247         return httpserver.ErrorWithStatus(fmt.Errorf(format, args...), code)
248 }