2019-09-03 12:01:02 +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 caddy
|
|
|
|
|
|
|
|
import (
|
|
|
|
"fmt"
|
|
|
|
"sync"
|
|
|
|
"sync/atomic"
|
|
|
|
)
|
|
|
|
|
|
|
|
// UsagePool is a thread-safe map that pools values
|
2019-10-29 04:39:37 +08:00
|
|
|
// based on usage (reference counting). Values are
|
|
|
|
// only inserted if they do not already exist. There
|
|
|
|
// are two ways to add values to the pool:
|
|
|
|
//
|
2019-11-16 03:47:38 +08:00
|
|
|
// 1) LoadOrStore will increment usage and store the
|
|
|
|
// value immediately if it does not already exist.
|
|
|
|
// 2) LoadOrNew will atomically check for existence
|
|
|
|
// and construct the value immediately if it does
|
|
|
|
// not already exist, or increment the usage
|
|
|
|
// otherwise, then store that value in the pool.
|
|
|
|
// When the constructed value is finally deleted
|
|
|
|
// from the pool (when its usage reaches 0), it
|
|
|
|
// will be cleaned up by calling Destruct().
|
2019-10-29 04:39:37 +08:00
|
|
|
//
|
|
|
|
// The use of LoadOrNew allows values to be created
|
|
|
|
// and reused and finally cleaned up only once, even
|
|
|
|
// though they may have many references throughout
|
|
|
|
// their lifespan. This is helpful, for example, when
|
|
|
|
// sharing thread-safe io.Writers that you only want
|
|
|
|
// to open and close once.
|
|
|
|
//
|
|
|
|
// There is no way to overwrite existing keys in the
|
|
|
|
// pool without first deleting it as many times as it
|
|
|
|
// was stored. Deleting too many times will panic.
|
|
|
|
//
|
|
|
|
// The implementation does not use a sync.Pool because
|
|
|
|
// UsagePool needs additional atomicity to run the
|
|
|
|
// constructor functions when creating a new value when
|
|
|
|
// LoadOrNew is used. (We could probably use sync.Pool
|
|
|
|
// but we'd still have to layer our own additional locks
|
|
|
|
// on top.)
|
2019-09-03 12:01:02 +08:00
|
|
|
//
|
|
|
|
// An empty UsagePool is NOT safe to use; always call
|
2019-10-29 04:39:37 +08:00
|
|
|
// NewUsagePool() to make a new one.
|
2019-09-03 12:01:02 +08:00
|
|
|
type UsagePool struct {
|
2019-10-29 04:39:37 +08:00
|
|
|
sync.RWMutex
|
2022-08-03 04:39:09 +08:00
|
|
|
pool map[any]*usagePoolVal
|
2019-09-03 12:01:02 +08:00
|
|
|
}
|
|
|
|
|
2019-10-29 04:39:37 +08:00
|
|
|
// NewUsagePool returns a new usage pool that is ready to use.
|
2019-09-03 12:01:02 +08:00
|
|
|
func NewUsagePool() *UsagePool {
|
2019-10-29 04:39:37 +08:00
|
|
|
return &UsagePool{
|
2022-08-03 04:39:09 +08:00
|
|
|
pool: make(map[any]*usagePoolVal),
|
2019-10-29 04:39:37 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// LoadOrNew loads the value associated with key from the pool if it
|
|
|
|
// already exists. If the key doesn't exist, it will call construct
|
|
|
|
// to create a new value and then stores that in the pool. An error
|
|
|
|
// is only returned if the constructor returns an error. The loaded
|
|
|
|
// or constructed value is returned. The loaded return value is true
|
|
|
|
// if the value already existed and was loaded, or false if it was
|
|
|
|
// newly constructed.
|
2022-08-03 04:39:09 +08:00
|
|
|
func (up *UsagePool) LoadOrNew(key any, construct Constructor) (value any, loaded bool, err error) {
|
2019-10-29 04:39:37 +08:00
|
|
|
var upv *usagePoolVal
|
|
|
|
up.Lock()
|
|
|
|
upv, loaded = up.pool[key]
|
|
|
|
if loaded {
|
|
|
|
atomic.AddInt32(&upv.refs, 1)
|
|
|
|
up.Unlock()
|
|
|
|
upv.RLock()
|
|
|
|
value = upv.value
|
|
|
|
err = upv.err
|
|
|
|
upv.RUnlock()
|
|
|
|
} else {
|
|
|
|
upv = &usagePoolVal{refs: 1}
|
|
|
|
upv.Lock()
|
|
|
|
up.pool[key] = upv
|
|
|
|
up.Unlock()
|
|
|
|
value, err = construct()
|
|
|
|
if err == nil {
|
|
|
|
upv.value = value
|
|
|
|
} else {
|
|
|
|
upv.err = err
|
core: Simplify shared listeners, fix deadline bug
When this listener code was first written, UsagePool didn't exist. We
can simplify much of the wrapped listener logic by utilizing UsagePool.
This also fixes a bug where new servers were able to clear deadlines
set by old servers, even if the old server didn't get booted out of its
Accept() call yet. And with the deadline cleared, they never would.
(Sometimes. Based on reports and difficulty of reproducing the bug,
this behavior was extremely rare.) I don't know why that happened
exactly, maybe some polling mechanism in the kernel and if the timings
worked out just wrong it would expose the bug.
Anyway, now we ensure that only the closer that set the deadline is the
same one that clears it, ensuring that old servers always return out of
Accept(), because the deadline doesn't get cleared until they do.
Of course, all this hinges on the hope that my suspicions in the middle
of the night are correct and that kernels work the way I think they do
in my head.
Also minor enhancement to UsagePool where if a value errors upon
construction (a very real possibility with listeners), it is removed from
the pool. Not 100% sure the sync logic is correct there, or maybe we
don't have to even put it in the pool until after construction, but it's
subtle either way and I think this is safe... right?
2022-01-11 14:24:58 +08:00
|
|
|
up.Lock()
|
|
|
|
// this *should* be safe, I think, because we have a
|
|
|
|
// write lock on upv, but we might also need to ensure
|
|
|
|
// that upv.err is nil before doing this, since we
|
|
|
|
// released the write lock on up during construct...
|
|
|
|
// but then again it's also after midnight...
|
|
|
|
delete(up.pool, key)
|
|
|
|
up.Unlock()
|
2019-10-29 04:39:37 +08:00
|
|
|
}
|
|
|
|
upv.Unlock()
|
|
|
|
}
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
// LoadOrStore loads the value associated with key from the pool if it
|
|
|
|
// already exists, or stores it if it does not exist. It returns the
|
|
|
|
// value that was either loaded or stored, and true if the value already
|
|
|
|
// existed and was
|
2022-08-03 04:39:09 +08:00
|
|
|
func (up *UsagePool) LoadOrStore(key, val any) (value any, loaded bool) {
|
2019-10-29 04:39:37 +08:00
|
|
|
var upv *usagePoolVal
|
|
|
|
up.Lock()
|
|
|
|
upv, loaded = up.pool[key]
|
|
|
|
if loaded {
|
|
|
|
atomic.AddInt32(&upv.refs, 1)
|
|
|
|
up.Unlock()
|
|
|
|
upv.Lock()
|
|
|
|
if upv.err == nil {
|
|
|
|
value = upv.value
|
|
|
|
} else {
|
|
|
|
upv.value = val
|
|
|
|
upv.err = nil
|
|
|
|
}
|
|
|
|
upv.Unlock()
|
|
|
|
} else {
|
|
|
|
upv = &usagePoolVal{refs: 1, value: val}
|
|
|
|
up.pool[key] = upv
|
|
|
|
up.Unlock()
|
|
|
|
value = val
|
|
|
|
}
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
// Range iterates the pool similarly to how sync.Map.Range() does:
|
|
|
|
// it calls f for every key in the pool, and if f returns false,
|
|
|
|
// iteration is stopped. Ranging does not affect usage counts.
|
|
|
|
//
|
|
|
|
// This method is somewhat naive and acquires a read lock on the
|
|
|
|
// entire pool during iteration, so do your best to make f() really
|
|
|
|
// fast, m'kay?
|
2022-08-03 04:39:09 +08:00
|
|
|
func (up *UsagePool) Range(f func(key, value any) bool) {
|
2019-10-29 04:39:37 +08:00
|
|
|
up.RLock()
|
|
|
|
defer up.RUnlock()
|
|
|
|
for key, upv := range up.pool {
|
|
|
|
upv.RLock()
|
|
|
|
if upv.err != nil {
|
|
|
|
upv.RUnlock()
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
val := upv.value
|
|
|
|
upv.RUnlock()
|
|
|
|
if !f(key, val) {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
}
|
2019-09-03 12:01:02 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Delete decrements the usage count for key and removes the
|
|
|
|
// value from the underlying map if the usage is 0. It returns
|
|
|
|
// true if the usage count reached 0 and the value was deleted.
|
|
|
|
// It panics if the usage count drops below 0; always call
|
|
|
|
// Delete precisely as many times as LoadOrStore.
|
2022-08-03 04:39:09 +08:00
|
|
|
func (up *UsagePool) Delete(key any) (deleted bool, err error) {
|
2019-10-29 04:39:37 +08:00
|
|
|
up.Lock()
|
|
|
|
upv, ok := up.pool[key]
|
2019-09-03 12:01:02 +08:00
|
|
|
if !ok {
|
2019-10-29 04:39:37 +08:00
|
|
|
up.Unlock()
|
|
|
|
return false, nil
|
2019-09-03 12:01:02 +08:00
|
|
|
}
|
2019-10-29 04:39:37 +08:00
|
|
|
refs := atomic.AddInt32(&upv.refs, -1)
|
|
|
|
if refs == 0 {
|
|
|
|
delete(up.pool, key)
|
|
|
|
up.Unlock()
|
|
|
|
upv.RLock()
|
|
|
|
val := upv.value
|
|
|
|
upv.RUnlock()
|
|
|
|
if destructor, ok := val.(Destructor); ok {
|
|
|
|
err = destructor.Destruct()
|
|
|
|
}
|
|
|
|
deleted = true
|
|
|
|
} else {
|
|
|
|
up.Unlock()
|
|
|
|
if refs < 0 {
|
|
|
|
panic(fmt.Sprintf("deleted more than stored: %#v (usage: %d)",
|
|
|
|
upv.value, upv.refs))
|
|
|
|
}
|
2019-09-03 12:01:02 +08:00
|
|
|
}
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
2022-08-04 01:04:51 +08:00
|
|
|
// References returns the number of references (count of usages) to a
|
|
|
|
// key in the pool, and true if the key exists, or false otherwise.
|
|
|
|
func (up *UsagePool) References(key interface{}) (int, bool) {
|
|
|
|
up.RLock()
|
|
|
|
upv, loaded := up.pool[key]
|
|
|
|
up.RUnlock()
|
|
|
|
if loaded {
|
|
|
|
// I wonder if it'd be safer to read this value during
|
|
|
|
// our lock on the UsagePool... guess we'll see...
|
|
|
|
refs := atomic.LoadInt32(&upv.refs)
|
|
|
|
return int(refs), true
|
|
|
|
}
|
|
|
|
return 0, false
|
|
|
|
}
|
|
|
|
|
2019-10-29 04:39:37 +08:00
|
|
|
// Constructor is a function that returns a new value
|
|
|
|
// that can destruct itself when it is no longer needed.
|
|
|
|
type Constructor func() (Destructor, error)
|
|
|
|
|
|
|
|
// Destructor is a value that can clean itself up when
|
|
|
|
// it is deallocated.
|
|
|
|
type Destructor interface {
|
|
|
|
Destruct() error
|
2019-09-04 02:10:11 +08:00
|
|
|
}
|
|
|
|
|
2019-09-03 12:01:02 +08:00
|
|
|
type usagePoolVal struct {
|
2019-10-29 04:39:37 +08:00
|
|
|
refs int32 // accessed atomically; must be 64-bit aligned for 32-bit systems
|
2022-08-03 04:39:09 +08:00
|
|
|
value any
|
2019-10-29 04:39:37 +08:00
|
|
|
err error
|
|
|
|
sync.RWMutex
|
2019-09-03 12:01:02 +08:00
|
|
|
}
|