Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make concurrent requests whenever possible #1

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
169 changes: 112 additions & 57 deletions proxy/merging.go
Original file line number Diff line number Diff line change
Expand Up @@ -82,82 +82,137 @@ func parallelMerge(timeout time.Duration, rc ResponseCombiner, next ...Proxy) Pr
var reMergeKey = regexp.MustCompile(`\{\{\.Resp(\d+)_([\d\w-_\.]+)\}\}`)

func sequentialMerge(patterns []string, timeout time.Duration, rc ResponseCombiner, next ...Proxy) Proxy {
deps := make([][]int, len(patterns))
matches := make([][][]string, len(patterns))
for i, pattern := range patterns {
matches[i] = reMergeKey.FindAllStringSubmatch(pattern, -1)
deps[i] = make([]int, 0, len(matches))
for _, match := range matches[i] {
if rNum, err := strconv.Atoi(match[1]); err == nil {
var found bool
for _, j := range deps[i] {
if j == rNum {
found = true
}
}
if !found {
deps[i] = append(deps[i], rNum)
}
}
}
}
return func(ctx context.Context, request *Request) (*Response, error) {
localCtx, cancel := context.WithTimeout(ctx, timeout)

parts := make([]*Response, len(next))
out := make(chan *Response, 1)
errCh := make(chan error, 1)

type partResult struct { i int; err error }
ch := make(chan partResult, len(next))
done := make([]chan struct {}, len(next))
for i := range next {
done[i] = make(chan struct {}, 1)
}

acc := newIncrementalMergeAccumulator(len(next), rc)
TxLoop:
for i, n := range next {
if i > 0 {
for _, match := range reMergeKey.FindAllStringSubmatch(patterns[i], -1) {
if len(match) > 1 {
rNum, err := strconv.Atoi(match[1])
if err != nil || rNum >= i || parts[rNum] == nil {
continue
}
key := "Resp" + match[1] + "_" + match[2]

var v interface{}
var ok bool

data := parts[rNum].Data
keys := strings.Split(match[2], ".")
if len(keys) > 1 {
for _, k := range keys[:len(keys)-1] {
v, ok = data[k]
if !ok {
break
}
switch clean := v.(type) {
case map[string]interface{}:
data = clean
default:
break

for i := range next {
go func(i int) {
n := next[i]
for _, j := range deps[i] {
select{
case <-done[j]:
case <-localCtx.Done():
return
}
}
var req *Request = request
if i > 0 {
req = CloneRequest(request)
for _, match := range matches[i] {
if len(match) > 1 {
rNum, err := strconv.Atoi(match[1])
if err != nil || rNum >= i || parts[rNum] == nil {
continue
}
key := "Resp" + match[1] + "_" + match[2]

var v interface{}
var ok bool

data := parts[rNum].Data
keys := strings.Split(match[2], ".")
if len(keys) > 1 {
for _, k := range keys[:len(keys)-1] {
v, ok = data[k]
if !ok {
break
}
switch clean := v.(type) {
case map[string]interface{}:
data = clean
default:
break
}
}
}
}

v, ok = data[keys[len(keys)-1]]
if !ok {
continue
}
switch clean := v.(type) {
case string:
request.Params[key] = clean
case int:
request.Params[key] = strconv.Itoa(clean)
case float64:
request.Params[key] = strconv.FormatFloat(clean, 'E', -1, 32)
case bool:
request.Params[key] = strconv.FormatBool(clean)
default:
request.Params[key] = fmt.Sprintf("%v", v)
v, ok = data[keys[len(keys)-1]]
if !ok {
continue
}
switch clean := v.(type) {
case string:
req.Params[key] = clean
case int:
req.Params[key] = strconv.Itoa(clean)
case float64:
req.Params[key] = strconv.FormatFloat(clean, 'E', -1, 32)
case bool:
req.Params[key] = strconv.FormatBool(clean)
default:
req.Params[key] = fmt.Sprintf("%v", v)
}
}
}
}
}
requestPart(localCtx, n, request, out, errCh)
select {
case err := <-errCh:
if i == 0 {
cancel()
return nil, err
requestPart(localCtx, n, req, out, errCh)
select {
case err := <-errCh:
ch <- partResult{i, err}
case response := <-out:
if !response.IsComplete {
cancel()
return
}
parts[i] = response
close(done[i])
ch <- partResult{i, nil}
}
acc.Merge(nil, err)
break TxLoop
case response := <-out:
acc.Merge(response, nil)
if !response.IsComplete {
break TxLoop
}(i)
}

for _ = range next {
select {
case res := <-ch:
if i, err := res.i, res.err; err != nil {
if i == 0 {
cancel()
return nil, err
}
Copy link
Member

@PuKoren PuKoren Aug 11, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure I got it right, but at this point isn't all the requests already made?

If that is true, then I think we can skip the check i == 0 to cancel()

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You are right, I think I did this to work around the existing tests; before this change, everything was executed in the order, so it didn't make sense to proceed after the first request failed.
I will see if I can infer the right behavior here.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Got it, I couldn't see anything else so it looks good to me

Copy link
Member Author

@naggingant naggingant Aug 11, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As far as I could find out, we only can halt the sequence when any required call failed, in order to keep the tests passing. I think it's a fair behavior.
Updated.

acc.Merge(nil, err)
}
parts[i] = response
case <-localCtx.Done():
acc.Merge(nil, localCtx.Err())
break
}
}

for _, part := range parts {
acc.Merge(part, nil)
}

result, err := acc.Result()
cancel()
return result, err
Expand Down