-
-
Notifications
You must be signed in to change notification settings - Fork 110
/
answer.go
641 lines (574 loc) · 16.8 KB
/
answer.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
package capnp
import (
"context"
"errors"
"strconv"
"capnproto.org/go/capnp/v3/exc"
"capnproto.org/go/capnp/v3/internal/str"
"capnproto.org/go/capnp/v3/util/deferred"
"capnproto.org/go/capnp/v3/util/sync/mutex"
)
// A Promise holds the result of an RPC call. Only one of Fulfill
// or Reject can be called on a Promise. Before the result is
// written, calls can be queued up using the Answer methods — this is
// promise pipelining.
//
// Promise is most useful for implementing ClientHook.
// Most applications will use Answer, since that what is returned by
// a Client.
type Promise struct {
method Method
resolved <-chan struct{}
ans Answer
// The promise can be in one of the following states:
//
// - Unresolved (initial state). Can transition to any other state.
// - Pending resolution. Fulfill or Reject has been called on the
// Promise, but Fulfill or Reject is waiting on fulfilling the
// clients and acquiring answers for any ongoing calls to caller.
// All new pipelined calls will block until the Promise is resolved.
// Next state is resolved.
// - Resolved. Fulfill or Reject has finished.
state mutex.Mutex[promiseState]
resolver Resolver[Ptr]
}
type promiseState struct {
// signals is a list of callbacks to invoke on resolution. Has at least
// one element if the promise is unresolved or pending, nil if resolved.
signals []func()
// caller is the hook to make pipelined calls with. Set to nil once
// the promise leaves the unresolved state.
caller PipelineCaller
// clients is a table of promised clients created to proxy the eventual
// result's clients. Even after resolution, this table may still have
// entries until the clients are released. Cannot be read or written
// in the pending state.
clients map[clientPath]*clientAndPromise
// result and err are the values from Fulfill or Reject respectively
// in the resolved state.
result Ptr
err error
}
type clientAndPromise struct {
client Client
promise *clientPromise
}
// NewPromise creates a new unresolved promise. The PipelineCaller will
// be used to make pipelined calls before the promise resolves. If resolver
// is not nil, calls to Fulfill will be forwarded to it.
func NewPromise(m Method, pc PipelineCaller, resolver Resolver[Ptr]) *Promise {
if pc == nil {
panic("NewPromise(nil)")
}
resolved := make(chan struct{})
p := &Promise{
method: m,
resolved: resolved,
state: mutex.New(promiseState{
signals: []func(){func() { close(resolved) }},
caller: pc,
}),
resolver: resolver,
}
p.ans.f.promise = p
p.ans.metadata = *NewMetadata()
return p
}
// isUnresolved reports whether p is in the unresolved state.
func (p *promiseState) isUnresolved() bool {
return p.caller != nil
}
// isPendingResolution reports whether p is in the pending
// resolution state.
func (p *promiseState) isPendingResolution() bool {
return p.caller == nil && len(p.signals) > 0
}
// isResolved reports whether p is in the resolved state.
func (p *promiseState) isResolved() bool {
return len(p.signals) == 0
}
// resolution returns p's resolution. The return value is invalid
// unless p is in the resolved state. The caller must be holding onto
// p.mu.
func (p *promiseState) resolution(m Method) resolution {
return resolution{
method: m,
result: p.result,
err: p.err,
}
}
// Fulfill resolves the promise with a successful result.
//
// Fulfill will wait for any outstanding calls to the underlying
// PipelineCaller to yield Answers and any pipelined clients to be
// fulfilled.
func (p *Promise) Fulfill(result Ptr) {
p.Resolve(result, nil)
}
// Reject resolves the promise with a failure.
//
// Reject will wait for any outstanding calls to the underlying
// PipelineCaller to yield Answers and any pipelined clients to be
// fulfilled.
func (p *Promise) Reject(e error) {
if e == nil {
panic("Promise.Reject(nil)")
}
p.Resolve(Ptr{}, e)
}
// Resolve resolves the promise.
//
// If e != nil, then this is equivalent to p.Reject(e).
// Otherwise, it is equivalent to p.Fulfill(r).
func (p *Promise) Resolve(r Ptr, e error) {
dq := &deferred.Queue{}
defer dq.Run()
// It's ok to extract p.clients and use it while not holding the lock:
// it may not be accessed in the pending resolution state, so we have
// exclusive access to the variable anyway.
clients := mutex.With1(&p.state, func(p *promiseState) map[clientPath]*clientAndPromise {
if e != nil {
p.requireUnresolved("Reject")
} else {
p.requireUnresolved("Fulfill")
}
p.caller = nil
return p.clients
})
if p.resolver != nil {
if e == nil {
p.resolver.Fulfill(r)
} else {
p.resolver.Reject(e)
}
}
// Pending resolution state: wait for clients to be fulfilled
// and calls to have answers.
res := resolution{p.method, r, e}
for path, cp := range clients {
t := path.transform()
cp.promise.fulfill(dq, res.client(t))
cp.promise = nil
}
p.state.With(func(p *promiseState) {
// Move p into resolved state.
p.result, p.err = r, e
for _, f := range p.signals {
f()
}
p.signals = nil
})
}
// requireUnresolved is a helper method for checking for duplicate
// calls to Fulfill() or Reject(); panics if the promise is not in
// the unresolved state.
//
// The callerMethod argument should be the name of the method which
// is invoking requireUnresolved. The panic message will report this
// value as well as the method that originally resolved the promise,
// and which method (Fulfill or Reject) was used to resolve it.
func (p *promiseState) requireUnresolved(callerMethod string) {
if !p.isUnresolved() {
var prevMethod string
if p.err == nil {
prevMethod = "Fulfill"
} else {
prevMethod = "Reject (error = " + strconv.Quote(p.err.Error()) + ")"
}
panic("Promise." + callerMethod +
" called after previous call to " + prevMethod)
}
}
// Answer returns a read-only view of the promise.
// Answer may be called concurrently by multiple goroutines.
func (p *Promise) Answer() *Answer {
return &p.ans
}
// ReleaseClients waits until p is resolved and then closes any proxy
// clients created by the promise's answer. Failure to call this method
// will result in capability leaks. After the first call, subsequent
// calls to ReleaseClients do nothing. It is safe to call
// ReleaseClients concurrently from multiple goroutines.
//
// This method is typically used in a ReleaseFunc.
func (p *Promise) ReleaseClients() {
<-p.resolved
clients := mutex.With1(&p.state, func(p *promiseState) map[clientPath]*clientAndPromise {
clients := p.clients
p.clients = nil
return clients
})
for _, cp := range clients {
cp.client.Release()
}
}
// A PipelineCaller implements promise pipelining.
//
// See the counterpart methods in ClientHook for a description.
type PipelineCaller interface {
PipelineSend(ctx context.Context, transform []PipelineOp, s Send) (*Answer, ReleaseFunc)
PipelineRecv(ctx context.Context, transform []PipelineOp, r Recv) PipelineCaller
}
// An Answer is a deferred result of a client call. Conceptually, this is a
// future. It is safe to use from multiple goroutines.
type Answer struct {
f Future
metadata Metadata
}
// ErrorAnswer returns a Answer that always returns error e.
func ErrorAnswer(m Method, e error) *Answer {
p := &Promise{
method: m,
resolved: closedSignal,
state: mutex.New(promiseState{
err: e,
}),
}
p.ans.f.promise = p
return &p.ans
}
// ImmediateAnswer returns an Answer that accesses ptr.
func ImmediateAnswer(m Method, ptr Ptr) *Answer {
p := &Promise{
method: m,
resolved: closedSignal,
state: mutex.New(promiseState{
result: ptr,
}),
}
p.ans.f.promise = p
p.ans.metadata = *NewMetadata()
return &p.ans
}
// Future returns a future that is equivalent to ans.
func (ans *Answer) Future() *Future {
return &ans.f
}
// Metadata returns a metadata map where callers can store information
// about the answer
func (ans *Answer) Metadata() *Metadata {
return &ans.metadata
}
// Done returns a channel that is closed when the answer's call is finished.
func (ans *Answer) Done() <-chan struct{} {
return ans.f.Done()
}
// Struct waits until the answer is resolved and returns the struct
// this answer represents.
func (ans *Answer) Struct() (Struct, error) {
return ans.f.Struct()
}
// List waits until the answer is resolved and returns the list
// this answer represents.
func (ans *Answer) List() (List, error) {
return ans.f.List()
}
// Client returns the answer as a client. If the answer's originating
// call has not completed, then calls will be queued until the original
// call's completion. The client reference is borrowed: the caller
// should not call Close.
func (ans *Answer) Client() Client {
return ans.f.Client()
}
// Field returns a derived future which yields the pointer field given,
// defaulting to the value given.
func (ans *Answer) Field(off uint16, def []byte) *Future {
return ans.f.Field(off, def)
}
// PipelineSend starts a pipelined call.
func (ans *Answer) PipelineSend(ctx context.Context, transform []PipelineOp, s Send) (*Answer, ReleaseFunc) {
p := ans.f.promise
l := p.state.Lock()
switch {
case l.Value().isUnresolved():
caller := l.Value().caller
l.Unlock()
return caller.PipelineSend(ctx, transform, s)
case l.Value().isPendingResolution():
// Block new calls until resolved.
l.Unlock()
select {
case <-p.resolved:
case <-ctx.Done():
return ErrorAnswer(s.Method, ctx.Err()), func() {}
}
l = p.state.Lock()
fallthrough
case l.Value().isResolved():
r := l.Value().resolution(p.method)
l.Unlock()
return r.client(transform).SendCall(ctx, s)
default:
panic("unreachable")
}
}
// PipelineRecv starts a pipelined call.
func (ans *Answer) PipelineRecv(ctx context.Context, transform []PipelineOp, r Recv) PipelineCaller {
p := ans.f.promise
l := p.state.Lock()
switch {
case l.Value().isUnresolved():
caller := l.Value().caller
l.Unlock()
return caller.PipelineRecv(ctx, transform, r)
case l.Value().isPendingResolution():
// Block new calls until resolved.
l.Unlock()
select {
case <-p.resolved:
case <-ctx.Done():
r.Reject(ctx.Err())
return nil
}
l = p.state.Lock()
fallthrough
case l.Value().isResolved():
res := l.Value().resolution(p.method)
l.Unlock()
return res.client(transform).RecvCall(ctx, r)
default:
panic("unreachable")
}
}
// A Future accesses a portion of an Answer. It is safe to use from
// multiple goroutines.
type Future struct {
promise *Promise
parent *Future // nil if root future
op PipelineOp
}
// transform returns the operations needed to transform the root answer
// into the value f represents.
func (f *Future) transform() []PipelineOp {
if f.parent == nil {
return nil
}
n := 0
for g := f; g.parent != nil; g = g.parent {
n++
}
xform := make([]PipelineOp, n)
for i, g := n-1, f; g.parent != nil; i, g = i-1, g.parent {
xform[i] = g.op
}
return xform
}
// Done returns a channel that is closed when the answer's call is finished.
func (f *Future) Done() <-chan struct{} {
return f.promise.resolved
}
// Ptr waits until the answer is resolved and returns the pointer
// this future represents.
func (f *Future) Ptr() (Ptr, error) {
p := f.promise
<-p.resolved
r := mutex.With1(&p.state, func(s *promiseState) resolution {
return s.resolution(p.method)
})
return r.ptr(f.transform())
}
// Struct waits until the answer is resolved and returns the struct
// this answer represents.
func (f *Future) Struct() (Struct, error) {
p, err := f.Ptr()
return p.Struct(), err
}
// List waits until the answer is resolved and returns the list
// this answer represents.
func (f *Future) List() (List, error) {
p, err := f.Ptr()
return p.List(), err
}
// Client returns the future as a client. If the answer's originating
// call has not completed, then calls will be queued until the original
// call's completion. The client reference is borrowed: the caller
// should not call Release.
func (f *Future) Client() Client {
p := f.promise
l := p.state.Lock()
switch {
case l.Value().isUnresolved():
ft := f.transform()
cpath := clientPathFromTransform(ft)
if cp := l.Value().clients[cpath]; cp != nil {
return cp.client
}
c, pr := newPromisedClient(PipelineClient{
p: p,
transform: ft,
})
if l.Value().clients == nil {
l.Value().clients = make(map[clientPath]*clientAndPromise)
}
l.Value().clients[cpath] = &clientAndPromise{c, pr}
l.Unlock()
return c
case l.Value().isPendingResolution():
l.Unlock()
<-p.resolved
l = p.state.Lock()
fallthrough
case l.Value().isResolved():
r := l.Value().resolution(p.method)
l.Unlock()
return r.client(f.transform())
default:
panic("unreachable")
}
}
// Field returns a derived future which yields the pointer field given,
// defaulting to the value given.
func (f *Future) Field(off uint16, def []byte) *Future {
return &Future{
promise: f.promise,
parent: f,
op: PipelineOp{
Field: off,
DefaultValue: def,
},
}
}
// PipelineClient implements ClientHook by calling to the pipeline's answer.
type PipelineClient struct {
p *Promise
transform []PipelineOp
}
func (pc PipelineClient) Answer() *Answer {
return pc.p.Answer()
}
func (pc PipelineClient) Transform() []PipelineOp {
return pc.transform
}
func (pc PipelineClient) Send(ctx context.Context, s Send) (*Answer, ReleaseFunc) {
return pc.p.ans.PipelineSend(ctx, pc.transform, s)
}
func (pc PipelineClient) Recv(ctx context.Context, r Recv) PipelineCaller {
return pc.p.ans.PipelineRecv(ctx, pc.transform, r)
}
func (pc PipelineClient) Brand() Brand {
select {
case <-pc.p.resolved:
r := mutex.With1(&pc.p.state, func(p *promiseState) resolution {
return p.resolution(pc.p.method)
})
snapshot := r.client(pc.transform).Snapshot()
defer snapshot.Release()
return snapshot.Brand()
default:
return Brand{Value: pc}
}
}
func (pc PipelineClient) Shutdown() {
}
func (pc PipelineClient) String() string {
return "PipelineClient{transform: " +
str.Slice(pc.transform) +
", promise: 0x" + str.PtrToHex(pc.p) +
"}"
}
// A PipelineOp describes a step in transforming a pipeline.
// It maps closely with the PromisedAnswer.Op struct in rpc.capnp.
type PipelineOp struct {
Field uint16
DefaultValue []byte
}
// String returns a human-readable description of op.
func (op PipelineOp) String() string {
s := make([]byte, 0, 32)
s = append(s, "get field "...)
s = strconv.AppendInt(s, int64(op.Field), 10)
if op.DefaultValue == nil {
return string(s)
}
s = append(s, " with default"...)
return string(s)
}
// Transform applies a sequence of pipeline operations to a pointer
// and returns the result.
func Transform(p Ptr, transform []PipelineOp) (Ptr, error) {
n := len(transform)
if n == 0 {
return p, nil
}
s := p.Struct()
for i, op := range transform[:n-1] {
field, err := s.Ptr(op.Field)
if err != nil {
return Ptr{}, newTransformError(i, op.Field, err, false)
}
s, err = field.StructDefault(op.DefaultValue)
if err != nil {
return Ptr{}, newTransformError(i, op.Field, err, true)
}
}
op := transform[n-1]
p, err := s.Ptr(op.Field)
if err != nil {
return Ptr{}, newTransformError(n-1, op.Field, err, false)
}
if op.DefaultValue != nil {
p, err = p.Default(op.DefaultValue)
if err != nil {
return Ptr{}, newTransformError(n-1, op.Field, err, true)
}
return p, nil
}
return p, nil
}
func newTransformError(index int, field uint16, err error, withDefault bool) error {
msg := "transform: op " + str.Itod(index) + ": pointer field " + str.Utod(field)
if withDefault {
msg += " with default"
}
return exc.WrapError(msg, err)
}
// A resolution is the outcome of a future.
type resolution struct {
method Method
result Ptr
err error
}
// ptr obtains a Ptr by applying a transform.
func (r resolution) ptr(transform []PipelineOp) (Ptr, error) {
if r.err != nil {
return Ptr{}, exc.Annotate("", r.method.String(), r.err)
}
p, err := Transform(r.result, transform)
if err != nil {
return Ptr{}, exc.Annotate("", r.method.String(), err)
}
return p, nil
}
// client obtains a Client by applying a transform.
func (r resolution) client(transform []PipelineOp) Client {
p, err := r.ptr(transform)
if err != nil {
return ErrorClient(err)
}
iface := p.Interface()
if p.IsValid() && !iface.IsValid() {
return ErrorClient(errors.New("not a capability"))
}
return iface.Client()
}
// clientPath is an encoded version of a list of pipeline operations.
// It is suitable as a map key.
//
// It specifically ignores default values, because a capability can't have a
// default value other than null.
type clientPath string
func clientPathFromTransform(ops []PipelineOp) clientPath {
buf := make([]byte, 0, len(ops)*2)
for i := range ops {
f := ops[i].Field
buf = append(buf, byte(f&0x00ff), byte(f&0xff00>>8))
}
return clientPath(buf)
}
func (cp clientPath) transform() []PipelineOp {
ops := make([]PipelineOp, len(cp)/2)
for i := range ops {
ops[i].Field = uint16(cp[i*2]) | uint16(cp[i*2+1])<<8
}
return ops
}