2019-08-10 02:05:47 +08:00
|
|
|
// Copyright 2015 Matthew Holt and The Caddy Authors
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
// you may not use this file except in compliance with the License.
|
|
|
|
// You may obtain a copy of the License at
|
|
|
|
//
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
//
|
|
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
// See the License for the specific language governing permissions and
|
|
|
|
// limitations under the License.
|
|
|
|
|
|
|
|
package caddyhttp
|
|
|
|
|
|
|
|
import (
|
http: Change routes to sequential matcher evaluation (#2967)
Previously, all matchers in a route would be evaluated before any
handlers were executed, and a composite route of the matching routes
would be created. This made rewrites especially tricky, since the only
way to defer later matchers' evaluation was to wrap them in a subroute,
or to invoke a "rehandle" which often caused bugs.
Instead, this new sequential design evaluates each route's matchers then
its handlers in lock-step; matcher-handlers-matcher-handlers...
If the first matching route consists of a rewrite, then the second route
will be evaluated against the rewritten request, rather than the original
one, and so on.
This should do away with any need for rehandling.
I've also taken this opportunity to avoid adding new values to the
request context in the handler chain, as this creates a copy of the
Request struct, which may possibly lead to bugs like it has in the past
(see PR #1542, PR #1481, and maybe issue #2463). We now add all the
expected context values in the top-level handler at the server, then
any new values can be added to the variable table via the VarsCtxKey
context key, or just the GetVar/SetVar functions. In particular, we are
using this facility to convey dial information in the reverse proxy.
Had to be careful in one place as the middleware compilation logic has
changed, and moved a bit. We no longer compile a middleware chain per-
request; instead, we can compile it at provision-time, and defer only the
evaluation of matchers to request-time, which should slightly improve
performance. Doing this, however, we take advantage of multiple function
closures, and we also changed the use of HandlerFunc (function pointer)
to Handler (interface)... this led to a situation where, if we aren't
careful, allows one request routed a certain way to permanently change
the "next" handler for all/most other requests! We avoid this by making
a copy of the interface value (which is a lightweight pointer copy) and
using exclusively that within our wrapped handlers. This way, the
original stack frame is preserved in a "read-only" fashion. The comments
in the code describe this phenomenon.
This may very well be a breaking change for some configurations, however
I do not expect it to impact many people. I will make it clear in the
release notes that this change has occurred.
2020-01-10 01:00:13 +08:00
|
|
|
"context"
|
2020-01-23 00:43:42 +08:00
|
|
|
"fmt"
|
2019-08-10 02:05:47 +08:00
|
|
|
"net/http"
|
2024-10-02 20:34:04 +08:00
|
|
|
"reflect"
|
2022-09-02 06:49:18 +08:00
|
|
|
"strings"
|
2019-08-10 02:05:47 +08:00
|
|
|
|
2024-10-02 20:34:04 +08:00
|
|
|
"github.com/google/cel-go/cel"
|
|
|
|
"github.com/google/cel-go/common/types/ref"
|
|
|
|
|
2019-08-10 02:05:47 +08:00
|
|
|
"github.com/caddyserver/caddy/v2"
|
2020-09-26 07:50:26 +08:00
|
|
|
"github.com/caddyserver/caddy/v2/caddyconfig/caddyfile"
|
2019-08-10 02:05:47 +08:00
|
|
|
)
|
|
|
|
|
|
|
|
func init() {
|
2019-08-22 00:46:35 +08:00
|
|
|
caddy.RegisterModule(VarsMiddleware{})
|
|
|
|
caddy.RegisterModule(VarsMatcher{})
|
2020-02-09 03:26:31 +08:00
|
|
|
caddy.RegisterModule(MatchVarsRE{})
|
2019-08-10 02:05:47 +08:00
|
|
|
}
|
|
|
|
|
2021-09-25 08:31:01 +08:00
|
|
|
// VarsMiddleware is an HTTP middleware which sets variables to
|
|
|
|
// have values that can be used in the HTTP request handler
|
|
|
|
// chain. The primary way to access variables is with placeholders,
|
|
|
|
// which have the form: `{http.vars.variable_name}`, or with
|
|
|
|
// the `vars` and `vars_regexp` request matchers.
|
|
|
|
//
|
|
|
|
// The key is the variable name, and the value is the value of the
|
|
|
|
// variable. Both the name and value may use or contain placeholders.
|
2022-08-03 04:39:09 +08:00
|
|
|
type VarsMiddleware map[string]any
|
2019-08-10 02:05:47 +08:00
|
|
|
|
2019-08-22 00:46:35 +08:00
|
|
|
// CaddyModule returns the Caddy module information.
|
|
|
|
func (VarsMiddleware) CaddyModule() caddy.ModuleInfo {
|
|
|
|
return caddy.ModuleInfo{
|
2019-12-11 04:36:46 +08:00
|
|
|
ID: "http.handlers.vars",
|
|
|
|
New: func() caddy.Module { return new(VarsMiddleware) },
|
2019-08-22 00:46:35 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-03-23 00:47:21 +08:00
|
|
|
func (m VarsMiddleware) ServeHTTP(w http.ResponseWriter, r *http.Request, next Handler) error {
|
2022-08-03 04:39:09 +08:00
|
|
|
vars := r.Context().Value(VarsCtxKey).(map[string]any)
|
2019-12-30 04:12:52 +08:00
|
|
|
repl := r.Context().Value(caddy.ReplacerCtxKey).(*caddy.Replacer)
|
2022-03-23 00:47:21 +08:00
|
|
|
for k, v := range m {
|
2019-08-10 02:05:47 +08:00
|
|
|
keyExpanded := repl.ReplaceAll(k, "")
|
2022-03-23 00:47:21 +08:00
|
|
|
if valStr, ok := v.(string); ok {
|
|
|
|
v = repl.ReplaceAll(valStr, "")
|
|
|
|
}
|
|
|
|
vars[keyExpanded] = v
|
2024-03-06 06:25:38 +08:00
|
|
|
|
|
|
|
// Special case: the user ID is in the replacer, pulled from there
|
|
|
|
// for access logs. Allow users to override it with the vars handler.
|
|
|
|
if keyExpanded == "http.auth.user.id" {
|
|
|
|
repl.Set(keyExpanded, v)
|
|
|
|
}
|
2019-08-10 02:05:47 +08:00
|
|
|
}
|
|
|
|
return next.ServeHTTP(w, r)
|
|
|
|
}
|
|
|
|
|
2022-03-23 00:47:21 +08:00
|
|
|
// UnmarshalCaddyfile implements caddyfile.Unmarshaler. Syntax:
|
|
|
|
//
|
2022-09-02 06:49:18 +08:00
|
|
|
// vars [<name> <val>] {
|
|
|
|
// <name> <val>
|
|
|
|
// ...
|
|
|
|
// }
|
2022-03-23 00:47:21 +08:00
|
|
|
func (m *VarsMiddleware) UnmarshalCaddyfile(d *caddyfile.Dispenser) error {
|
2024-01-24 08:36:59 +08:00
|
|
|
d.Next() // consume directive name
|
|
|
|
|
2022-03-23 00:47:21 +08:00
|
|
|
if *m == nil {
|
|
|
|
*m = make(VarsMiddleware)
|
|
|
|
}
|
|
|
|
|
|
|
|
nextVar := func(headerLine bool) error {
|
|
|
|
if headerLine {
|
|
|
|
// header line is optional
|
|
|
|
if !d.NextArg() {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
}
|
|
|
|
varName := d.Val()
|
|
|
|
|
|
|
|
if !d.NextArg() {
|
|
|
|
return d.ArgErr()
|
|
|
|
}
|
|
|
|
varValue := d.ScalarVal()
|
|
|
|
|
|
|
|
(*m)[varName] = varValue
|
|
|
|
|
|
|
|
if d.NextArg() {
|
|
|
|
return d.ArgErr()
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2024-01-24 08:36:59 +08:00
|
|
|
if err := nextVar(true); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
for d.NextBlock(0) {
|
|
|
|
if err := nextVar(false); err != nil {
|
2022-03-23 00:47:21 +08:00
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2019-08-10 02:05:47 +08:00
|
|
|
// VarsMatcher is an HTTP request matcher which can match
|
2022-09-02 06:49:18 +08:00
|
|
|
// requests based on variables in the context or placeholder
|
|
|
|
// values. The key is the placeholder or name of the variable,
|
|
|
|
// and the values are possible values the variable can be in
|
|
|
|
// order to match (logical OR'ed).
|
|
|
|
//
|
|
|
|
// If the key is surrounded by `{ }` it is assumed to be a
|
|
|
|
// placeholder. Otherwise, it will be considered a variable
|
|
|
|
// name.
|
2021-12-14 04:59:58 +08:00
|
|
|
//
|
2022-09-02 06:49:18 +08:00
|
|
|
// Placeholders in the keys are not expanded, but
|
|
|
|
// placeholders in the values are.
|
2021-12-14 04:59:58 +08:00
|
|
|
type VarsMatcher map[string][]string
|
2019-08-10 02:05:47 +08:00
|
|
|
|
2019-08-22 00:46:35 +08:00
|
|
|
// CaddyModule returns the Caddy module information.
|
|
|
|
func (VarsMatcher) CaddyModule() caddy.ModuleInfo {
|
|
|
|
return caddy.ModuleInfo{
|
2019-12-11 04:36:46 +08:00
|
|
|
ID: "http.matchers.vars",
|
|
|
|
New: func() caddy.Module { return new(VarsMatcher) },
|
2019-08-22 00:46:35 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-26 07:50:26 +08:00
|
|
|
// UnmarshalCaddyfile implements caddyfile.Unmarshaler.
|
|
|
|
func (m *VarsMatcher) UnmarshalCaddyfile(d *caddyfile.Dispenser) error {
|
|
|
|
if *m == nil {
|
2021-12-14 04:59:58 +08:00
|
|
|
*m = make(map[string][]string)
|
2020-09-26 07:50:26 +08:00
|
|
|
}
|
2024-01-24 08:36:59 +08:00
|
|
|
// iterate to merge multiple matchers into one
|
2020-09-26 07:50:26 +08:00
|
|
|
for d.Next() {
|
2021-12-14 04:59:58 +08:00
|
|
|
var field string
|
|
|
|
if !d.Args(&field) {
|
|
|
|
return d.Errf("malformed vars matcher: expected field name")
|
|
|
|
}
|
|
|
|
vals := d.RemainingArgs()
|
|
|
|
if len(vals) == 0 {
|
|
|
|
return d.Errf("malformed vars matcher: expected at least one value to match against")
|
2020-09-26 07:50:26 +08:00
|
|
|
}
|
2022-03-11 23:55:37 +08:00
|
|
|
(*m)[field] = append((*m)[field], vals...)
|
2020-09-26 07:50:26 +08:00
|
|
|
if d.NextBlock(0) {
|
|
|
|
return d.Err("malformed vars matcher: blocks are not supported")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2021-12-14 04:59:58 +08:00
|
|
|
// Match matches a request based on variables in the context,
|
|
|
|
// or placeholders if the key is not a variable.
|
2019-08-10 02:05:47 +08:00
|
|
|
func (m VarsMatcher) Match(r *http.Request) bool {
|
2021-12-14 04:59:58 +08:00
|
|
|
if len(m) == 0 {
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2022-08-03 04:39:09 +08:00
|
|
|
vars := r.Context().Value(VarsCtxKey).(map[string]any)
|
2019-12-30 04:12:52 +08:00
|
|
|
repl := r.Context().Value(caddy.ReplacerCtxKey).(*caddy.Replacer)
|
2021-12-14 04:59:58 +08:00
|
|
|
|
|
|
|
for key, vals := range m {
|
2022-09-02 06:49:18 +08:00
|
|
|
var varValue any
|
|
|
|
if strings.HasPrefix(key, "{") &&
|
|
|
|
strings.HasSuffix(key, "}") &&
|
|
|
|
strings.Count(key, "{") == 1 {
|
|
|
|
varValue, _ = repl.Get(strings.Trim(key, "{}"))
|
|
|
|
} else {
|
|
|
|
varValue = vars[key]
|
2020-01-23 00:43:42 +08:00
|
|
|
}
|
2021-12-14 04:59:58 +08:00
|
|
|
|
|
|
|
// see if any of the values given in the matcher match the actual value
|
|
|
|
for _, v := range vals {
|
|
|
|
matcherValExpanded := repl.ReplaceAll(v, "")
|
|
|
|
var varStr string
|
|
|
|
switch vv := varValue.(type) {
|
|
|
|
case string:
|
|
|
|
varStr = vv
|
|
|
|
case fmt.Stringer:
|
|
|
|
varStr = vv.String()
|
|
|
|
case error:
|
|
|
|
varStr = vv.Error()
|
2024-03-22 01:21:53 +08:00
|
|
|
case nil:
|
|
|
|
varStr = ""
|
2021-12-14 04:59:58 +08:00
|
|
|
default:
|
|
|
|
varStr = fmt.Sprintf("%v", vv)
|
|
|
|
}
|
|
|
|
if varStr == matcherValExpanded {
|
|
|
|
return true
|
|
|
|
}
|
2019-08-10 02:05:47 +08:00
|
|
|
}
|
|
|
|
}
|
2021-12-14 04:59:58 +08:00
|
|
|
return false
|
2019-08-10 02:05:47 +08:00
|
|
|
}
|
|
|
|
|
2024-10-02 20:34:04 +08:00
|
|
|
// CELLibrary produces options that expose this matcher for use in CEL
|
|
|
|
// expression matchers.
|
|
|
|
//
|
|
|
|
// Example:
|
|
|
|
//
|
|
|
|
// expression vars({'{magic_number}': ['3', '5']})
|
|
|
|
// expression vars({'{foo}': 'single_value'})
|
|
|
|
func (VarsMatcher) CELLibrary(_ caddy.Context) (cel.Library, error) {
|
|
|
|
return CELMatcherImpl(
|
|
|
|
"vars",
|
|
|
|
"vars_matcher_request_map",
|
|
|
|
[]*cel.Type{CELTypeJSON},
|
|
|
|
func(data ref.Val) (RequestMatcher, error) {
|
|
|
|
mapStrListStr, err := CELValueToMapStrList(data)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
return VarsMatcher(mapStrListStr), nil
|
|
|
|
},
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2020-02-09 03:26:31 +08:00
|
|
|
// MatchVarsRE matches the value of the context variables by a given regular expression.
|
|
|
|
//
|
|
|
|
// Upon a match, it adds placeholders to the request: `{http.regexp.name.capture_group}`
|
|
|
|
// where `name` is the regular expression's name, and `capture_group` is either
|
|
|
|
// the named or positional capture group from the expression itself. If no name
|
|
|
|
// is given, then the placeholder omits the name: `{http.regexp.capture_group}`
|
|
|
|
// (potentially leading to collisions).
|
|
|
|
type MatchVarsRE map[string]*MatchRegexp
|
|
|
|
|
|
|
|
// CaddyModule returns the Caddy module information.
|
|
|
|
func (MatchVarsRE) CaddyModule() caddy.ModuleInfo {
|
|
|
|
return caddy.ModuleInfo{
|
|
|
|
ID: "http.matchers.vars_regexp",
|
|
|
|
New: func() caddy.Module { return new(MatchVarsRE) },
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-26 07:50:26 +08:00
|
|
|
// UnmarshalCaddyfile implements caddyfile.Unmarshaler.
|
|
|
|
func (m *MatchVarsRE) UnmarshalCaddyfile(d *caddyfile.Dispenser) error {
|
|
|
|
if *m == nil {
|
|
|
|
*m = make(map[string]*MatchRegexp)
|
|
|
|
}
|
2024-01-24 08:36:59 +08:00
|
|
|
// iterate to merge multiple matchers into one
|
2020-09-26 07:50:26 +08:00
|
|
|
for d.Next() {
|
|
|
|
var first, second, third string
|
|
|
|
if !d.Args(&first, &second) {
|
|
|
|
return d.ArgErr()
|
|
|
|
}
|
|
|
|
|
|
|
|
var name, field, val string
|
|
|
|
if d.Args(&third) {
|
|
|
|
name = first
|
|
|
|
field = second
|
|
|
|
val = third
|
|
|
|
} else {
|
|
|
|
field = first
|
|
|
|
val = second
|
|
|
|
}
|
|
|
|
|
2024-04-18 02:19:14 +08:00
|
|
|
// Default to the named matcher's name, if no regexp name is provided
|
|
|
|
if name == "" {
|
|
|
|
name = d.GetContextString(caddyfile.MatcherNameCtxKey)
|
|
|
|
}
|
|
|
|
|
2020-09-26 07:50:26 +08:00
|
|
|
(*m)[field] = &MatchRegexp{Pattern: val, Name: name}
|
|
|
|
if d.NextBlock(0) {
|
|
|
|
return d.Err("malformed vars_regexp matcher: blocks are not supported")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2020-02-09 03:26:31 +08:00
|
|
|
// Provision compiles m's regular expressions.
|
|
|
|
func (m MatchVarsRE) Provision(ctx caddy.Context) error {
|
|
|
|
for _, rm := range m {
|
|
|
|
err := rm.Provision(ctx)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Match returns true if r matches m.
|
|
|
|
func (m MatchVarsRE) Match(r *http.Request) bool {
|
2022-08-03 04:39:09 +08:00
|
|
|
vars := r.Context().Value(VarsCtxKey).(map[string]any)
|
2020-02-09 03:26:31 +08:00
|
|
|
repl := r.Context().Value(caddy.ReplacerCtxKey).(*caddy.Replacer)
|
2023-03-03 00:01:54 +08:00
|
|
|
for key, val := range m {
|
|
|
|
var varValue any
|
|
|
|
if strings.HasPrefix(key, "{") &&
|
|
|
|
strings.HasSuffix(key, "}") &&
|
|
|
|
strings.Count(key, "{") == 1 {
|
|
|
|
varValue, _ = repl.Get(strings.Trim(key, "{}"))
|
|
|
|
} else {
|
|
|
|
varValue = vars[key]
|
|
|
|
}
|
|
|
|
|
2020-02-09 03:26:31 +08:00
|
|
|
var varStr string
|
2023-03-03 00:01:54 +08:00
|
|
|
switch vv := varValue.(type) {
|
2020-02-09 03:26:31 +08:00
|
|
|
case string:
|
|
|
|
varStr = vv
|
|
|
|
case fmt.Stringer:
|
|
|
|
varStr = vv.String()
|
|
|
|
case error:
|
|
|
|
varStr = vv.Error()
|
2024-03-22 01:21:53 +08:00
|
|
|
case nil:
|
|
|
|
varStr = ""
|
2020-02-09 03:26:31 +08:00
|
|
|
default:
|
|
|
|
varStr = fmt.Sprintf("%v", vv)
|
|
|
|
}
|
|
|
|
|
2023-03-03 00:01:54 +08:00
|
|
|
valExpanded := repl.ReplaceAll(varStr, "")
|
|
|
|
if match := val.Match(valExpanded, repl); match {
|
2020-02-09 03:26:31 +08:00
|
|
|
return match
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2024-10-02 20:34:04 +08:00
|
|
|
// CELLibrary produces options that expose this matcher for use in CEL
|
|
|
|
// expression matchers.
|
|
|
|
//
|
|
|
|
// Example:
|
|
|
|
//
|
|
|
|
// expression vars_regexp('foo', '{magic_number}', '[0-9]+')
|
|
|
|
// expression vars_regexp('{magic_number}', '[0-9]+')
|
|
|
|
func (MatchVarsRE) CELLibrary(ctx caddy.Context) (cel.Library, error) {
|
|
|
|
unnamedPattern, err := CELMatcherImpl(
|
|
|
|
"vars_regexp",
|
|
|
|
"vars_regexp_request_string_string",
|
|
|
|
[]*cel.Type{cel.StringType, cel.StringType},
|
|
|
|
func(data ref.Val) (RequestMatcher, error) {
|
|
|
|
refStringList := reflect.TypeOf([]string{})
|
|
|
|
params, err := data.ConvertToNative(refStringList)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
strParams := params.([]string)
|
|
|
|
matcher := MatchVarsRE{}
|
|
|
|
matcher[strParams[0]] = &MatchRegexp{
|
|
|
|
Pattern: strParams[1],
|
|
|
|
Name: ctx.Value(MatcherNameCtxKey).(string),
|
|
|
|
}
|
|
|
|
err = matcher.Provision(ctx)
|
|
|
|
return matcher, err
|
|
|
|
},
|
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
namedPattern, err := CELMatcherImpl(
|
|
|
|
"vars_regexp",
|
|
|
|
"vars_regexp_request_string_string_string",
|
|
|
|
[]*cel.Type{cel.StringType, cel.StringType, cel.StringType},
|
|
|
|
func(data ref.Val) (RequestMatcher, error) {
|
|
|
|
refStringList := reflect.TypeOf([]string{})
|
|
|
|
params, err := data.ConvertToNative(refStringList)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
strParams := params.([]string)
|
|
|
|
name := strParams[0]
|
|
|
|
if name == "" {
|
|
|
|
name = ctx.Value(MatcherNameCtxKey).(string)
|
|
|
|
}
|
|
|
|
matcher := MatchVarsRE{}
|
|
|
|
matcher[strParams[1]] = &MatchRegexp{
|
|
|
|
Pattern: strParams[2],
|
|
|
|
Name: name,
|
|
|
|
}
|
|
|
|
err = matcher.Provision(ctx)
|
|
|
|
return matcher, err
|
|
|
|
},
|
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
envOpts := append(unnamedPattern.CompileOptions(), namedPattern.CompileOptions()...)
|
|
|
|
prgOpts := append(unnamedPattern.ProgramOptions(), namedPattern.ProgramOptions()...)
|
|
|
|
return NewMatcherCELLibrary(envOpts, prgOpts), nil
|
|
|
|
}
|
|
|
|
|
2020-02-09 03:26:31 +08:00
|
|
|
// Validate validates m's regular expressions.
|
|
|
|
func (m MatchVarsRE) Validate() error {
|
|
|
|
for _, rm := range m {
|
|
|
|
err := rm.Validate()
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
http: Change routes to sequential matcher evaluation (#2967)
Previously, all matchers in a route would be evaluated before any
handlers were executed, and a composite route of the matching routes
would be created. This made rewrites especially tricky, since the only
way to defer later matchers' evaluation was to wrap them in a subroute,
or to invoke a "rehandle" which often caused bugs.
Instead, this new sequential design evaluates each route's matchers then
its handlers in lock-step; matcher-handlers-matcher-handlers...
If the first matching route consists of a rewrite, then the second route
will be evaluated against the rewritten request, rather than the original
one, and so on.
This should do away with any need for rehandling.
I've also taken this opportunity to avoid adding new values to the
request context in the handler chain, as this creates a copy of the
Request struct, which may possibly lead to bugs like it has in the past
(see PR #1542, PR #1481, and maybe issue #2463). We now add all the
expected context values in the top-level handler at the server, then
any new values can be added to the variable table via the VarsCtxKey
context key, or just the GetVar/SetVar functions. In particular, we are
using this facility to convey dial information in the reverse proxy.
Had to be careful in one place as the middleware compilation logic has
changed, and moved a bit. We no longer compile a middleware chain per-
request; instead, we can compile it at provision-time, and defer only the
evaluation of matchers to request-time, which should slightly improve
performance. Doing this, however, we take advantage of multiple function
closures, and we also changed the use of HandlerFunc (function pointer)
to Handler (interface)... this led to a situation where, if we aren't
careful, allows one request routed a certain way to permanently change
the "next" handler for all/most other requests! We avoid this by making
a copy of the interface value (which is a lightweight pointer copy) and
using exclusively that within our wrapped handlers. This way, the
original stack frame is preserved in a "read-only" fashion. The comments
in the code describe this phenomenon.
This may very well be a breaking change for some configurations, however
I do not expect it to impact many people. I will make it clear in the
release notes that this change has occurred.
2020-01-10 01:00:13 +08:00
|
|
|
// GetVar gets a value out of the context's variable table by key.
|
|
|
|
// If the key does not exist, the return value will be nil.
|
2022-08-03 04:39:09 +08:00
|
|
|
func GetVar(ctx context.Context, key string) any {
|
|
|
|
varMap, ok := ctx.Value(VarsCtxKey).(map[string]any)
|
http: Change routes to sequential matcher evaluation (#2967)
Previously, all matchers in a route would be evaluated before any
handlers were executed, and a composite route of the matching routes
would be created. This made rewrites especially tricky, since the only
way to defer later matchers' evaluation was to wrap them in a subroute,
or to invoke a "rehandle" which often caused bugs.
Instead, this new sequential design evaluates each route's matchers then
its handlers in lock-step; matcher-handlers-matcher-handlers...
If the first matching route consists of a rewrite, then the second route
will be evaluated against the rewritten request, rather than the original
one, and so on.
This should do away with any need for rehandling.
I've also taken this opportunity to avoid adding new values to the
request context in the handler chain, as this creates a copy of the
Request struct, which may possibly lead to bugs like it has in the past
(see PR #1542, PR #1481, and maybe issue #2463). We now add all the
expected context values in the top-level handler at the server, then
any new values can be added to the variable table via the VarsCtxKey
context key, or just the GetVar/SetVar functions. In particular, we are
using this facility to convey dial information in the reverse proxy.
Had to be careful in one place as the middleware compilation logic has
changed, and moved a bit. We no longer compile a middleware chain per-
request; instead, we can compile it at provision-time, and defer only the
evaluation of matchers to request-time, which should slightly improve
performance. Doing this, however, we take advantage of multiple function
closures, and we also changed the use of HandlerFunc (function pointer)
to Handler (interface)... this led to a situation where, if we aren't
careful, allows one request routed a certain way to permanently change
the "next" handler for all/most other requests! We avoid this by making
a copy of the interface value (which is a lightweight pointer copy) and
using exclusively that within our wrapped handlers. This way, the
original stack frame is preserved in a "read-only" fashion. The comments
in the code describe this phenomenon.
This may very well be a breaking change for some configurations, however
I do not expect it to impact many people. I will make it clear in the
release notes that this change has occurred.
2020-01-10 01:00:13 +08:00
|
|
|
if !ok {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
return varMap[key]
|
|
|
|
}
|
|
|
|
|
|
|
|
// SetVar sets a value in the context's variable table with
|
|
|
|
// the given key. It overwrites any previous value with the
|
|
|
|
// same key.
|
2022-07-29 05:19:48 +08:00
|
|
|
//
|
|
|
|
// If the value is nil (note: non-nil interface with nil
|
|
|
|
// underlying value does not count) and the key exists in
|
|
|
|
// the table, the key+value will be deleted from the table.
|
2022-08-03 04:39:09 +08:00
|
|
|
func SetVar(ctx context.Context, key string, value any) {
|
|
|
|
varMap, ok := ctx.Value(VarsCtxKey).(map[string]any)
|
http: Change routes to sequential matcher evaluation (#2967)
Previously, all matchers in a route would be evaluated before any
handlers were executed, and a composite route of the matching routes
would be created. This made rewrites especially tricky, since the only
way to defer later matchers' evaluation was to wrap them in a subroute,
or to invoke a "rehandle" which often caused bugs.
Instead, this new sequential design evaluates each route's matchers then
its handlers in lock-step; matcher-handlers-matcher-handlers...
If the first matching route consists of a rewrite, then the second route
will be evaluated against the rewritten request, rather than the original
one, and so on.
This should do away with any need for rehandling.
I've also taken this opportunity to avoid adding new values to the
request context in the handler chain, as this creates a copy of the
Request struct, which may possibly lead to bugs like it has in the past
(see PR #1542, PR #1481, and maybe issue #2463). We now add all the
expected context values in the top-level handler at the server, then
any new values can be added to the variable table via the VarsCtxKey
context key, or just the GetVar/SetVar functions. In particular, we are
using this facility to convey dial information in the reverse proxy.
Had to be careful in one place as the middleware compilation logic has
changed, and moved a bit. We no longer compile a middleware chain per-
request; instead, we can compile it at provision-time, and defer only the
evaluation of matchers to request-time, which should slightly improve
performance. Doing this, however, we take advantage of multiple function
closures, and we also changed the use of HandlerFunc (function pointer)
to Handler (interface)... this led to a situation where, if we aren't
careful, allows one request routed a certain way to permanently change
the "next" handler for all/most other requests! We avoid this by making
a copy of the interface value (which is a lightweight pointer copy) and
using exclusively that within our wrapped handlers. This way, the
original stack frame is preserved in a "read-only" fashion. The comments
in the code describe this phenomenon.
This may very well be a breaking change for some configurations, however
I do not expect it to impact many people. I will make it clear in the
release notes that this change has occurred.
2020-01-10 01:00:13 +08:00
|
|
|
if !ok {
|
|
|
|
return
|
|
|
|
}
|
2022-07-29 05:19:48 +08:00
|
|
|
if value == nil {
|
|
|
|
if _, ok := varMap[key]; ok {
|
|
|
|
delete(varMap, key)
|
|
|
|
return
|
|
|
|
}
|
|
|
|
}
|
http: Change routes to sequential matcher evaluation (#2967)
Previously, all matchers in a route would be evaluated before any
handlers were executed, and a composite route of the matching routes
would be created. This made rewrites especially tricky, since the only
way to defer later matchers' evaluation was to wrap them in a subroute,
or to invoke a "rehandle" which often caused bugs.
Instead, this new sequential design evaluates each route's matchers then
its handlers in lock-step; matcher-handlers-matcher-handlers...
If the first matching route consists of a rewrite, then the second route
will be evaluated against the rewritten request, rather than the original
one, and so on.
This should do away with any need for rehandling.
I've also taken this opportunity to avoid adding new values to the
request context in the handler chain, as this creates a copy of the
Request struct, which may possibly lead to bugs like it has in the past
(see PR #1542, PR #1481, and maybe issue #2463). We now add all the
expected context values in the top-level handler at the server, then
any new values can be added to the variable table via the VarsCtxKey
context key, or just the GetVar/SetVar functions. In particular, we are
using this facility to convey dial information in the reverse proxy.
Had to be careful in one place as the middleware compilation logic has
changed, and moved a bit. We no longer compile a middleware chain per-
request; instead, we can compile it at provision-time, and defer only the
evaluation of matchers to request-time, which should slightly improve
performance. Doing this, however, we take advantage of multiple function
closures, and we also changed the use of HandlerFunc (function pointer)
to Handler (interface)... this led to a situation where, if we aren't
careful, allows one request routed a certain way to permanently change
the "next" handler for all/most other requests! We avoid this by making
a copy of the interface value (which is a lightweight pointer copy) and
using exclusively that within our wrapped handlers. This way, the
original stack frame is preserved in a "read-only" fashion. The comments
in the code describe this phenomenon.
This may very well be a breaking change for some configurations, however
I do not expect it to impact many people. I will make it clear in the
release notes that this change has occurred.
2020-01-10 01:00:13 +08:00
|
|
|
varMap[key] = value
|
|
|
|
}
|
|
|
|
|
2019-08-10 02:05:47 +08:00
|
|
|
// Interface guards
|
|
|
|
var (
|
2022-03-23 00:47:21 +08:00
|
|
|
_ MiddlewareHandler = (*VarsMiddleware)(nil)
|
|
|
|
_ caddyfile.Unmarshaler = (*VarsMiddleware)(nil)
|
|
|
|
_ RequestMatcher = (*VarsMatcher)(nil)
|
|
|
|
_ caddyfile.Unmarshaler = (*VarsMatcher)(nil)
|
2019-08-10 02:05:47 +08:00
|
|
|
)
|