mirror of
https://github.com/seaweedfs/seaweedfs.git
synced 2026-09-30 03:35:37 +00:00
* filer.remote.sync: stamp entries with IF_CHUNKS_EQUAL so a stale write-back cannot delete live chunks updateLocalEntry records the RemoteEntry stamp after an upload by writing the event's entry back with UpdateEntry. The filer deletes every stored chunk absent from an updated entry, so when the file was rewritten while its upload was in flight (or the event is a replay), the stale snapshot deletes the rewrite's chunks: the entry then points at the new fid with no needle behind it, and the rewrite's own upload fails and is skipped as superseded. The stamp write now carries WriteCondition IF_CHUNKS_EQUAL over the event's chunk fids, evaluated by the filer under the path lock. A refused stamp means the filer moved past this event; the superseding event follows in the log and stamps the current entry, so the refusal is logged and skipped like a superseded upload. Reproduction: weed server -filer plus a weed server -s3 remote, remote.mount, filer.remote.sync; hold the remote (docker pause) so one upload stays in flight, rewrite the file through the filer, unpause. Before: the entry's chunk is 404 on every volume server. After: the stale stamp is refused, the rewrite's chunk stays live and reads back after a vacuum. * filer.remote.sync: stamp entries with IF_ENTRY_EQUAL so stale inline content or metadata cannot be restored The IF_CHUNKS_EQUAL guard compared only the chunk fid multiset, so a rewrite that touched inline content or metadata alone still compared equal and the stale snapshot overwrote the live entry. The new clause compares the whole stored entry against the event's entry under the same path lock. * filer: route conditional UpdateEntry to the entry's owner filer Two filers locking the same path locally could still pass a stale condition on the non-owner while the owner's entry had moved on. When a condition or expected_extended precondition is set, forward the request to the entry's owner the same way conditional CreateEntry does, with is_moved bounding the hop. * filer: compare IF_ENTRY_EQUAL against the normalized expected entry FindEntry grows FileSize to the chunk extent, so a raw event entry with FileSize still zero failed the condition on an unchanged file and the stamp was skipped, letting a replay upload the object again. * filer.remote.sync: classify refused stamps by gRPC status only A FailedPrecondition substring in an unrelated error would have been swallowed as a skipped stamp; status.FromError already unwraps. * remote sync: keep the event entry intact for IF_ENTRY_EQUAL * filer: honor is_moved only from ring member connections is_moved is caller-controlled, so a request could set it to skip owner routing and run a conditional check under a non-owner's lock. Verify the marker against the peer's connection address and the lock ring members; an unverified marker is ignored and the request routes like a fresh one. * filer: refuse unverifiable is_moved at a non-owner, cache ring IPs Follow-up fixes from review on the is_moved provenance check: - checkMovedMarker replaces "ignore and re-forward" for markers that did not arrive on a ring member's connection. Re-forwarding a claimed hop could cycle while rings disagree; instead the request is refused with FailedPrecondition unless this filer is the key's owner, in which case applying locally is correct anyway. - ringMemberIPs caches resolved member addresses per ring membership so hostname-advertising deployments do not pay a DNS lookup per forwarded request; failed lookups are not cached so a DNS blip self-heals. - DistributedUnlock no longer dereferences the nil response of a failed next-hop RPC. * filer: refuse unverifiable is_moved with PermissionDenied, not FailedPrecondition A routing refusal is different in kind from a write-condition mismatch: remote sync treats FailedPrecondition as a stale stamp and skips it, so reusing that code let a routing failure pass as synced. Owner checks now also run before the peer-IP lookup so the common accept path does no DNS. * filer: expire resolved ring member IPs after 5 minutes A member's hostname can re-resolve to a new IP while its ring address stays unchanged; caching forever would reject its genuine forwards until a membership change or restart. * filer: deduplicate concurrent ring member DNS lookups At cache expiry, parallel forwarded requests would each resolve every member hostname serially; singleflight collapses them into one lookup per ring membership. * filer: detach the shared ring lookup from the caller's context The singleflight winner's ctx is cancelled when its request ends; the shared result would then be an incomplete member list and genuine forwards denied. The lookup now runs on a detached context with its own deadline so a canceled caller cannot poison it. * filer: resolve ring member hostnames in parallel The shared lookup gave every member one serial budget, so a few slow resolutions could leave later members out of the cached list and reject their genuine forwards. Each member now resolves concurrently under its own detached deadline. * filer: gather literal member IPs before spawning lookups A ring mixing IP literals and hostnames raced: the literal appends ran unlocked alongside the resolver goroutines' locked appends. Split into two passes so only hostname results share the mutex. --------- Co-authored-by: jsas <1351492+jsas@users.noreply.github.com>
181 lines
6.2 KiB
Go
181 lines
6.2 KiB
Go
package weed_server
|
|
|
|
import (
|
|
"context"
|
|
"net"
|
|
"strings"
|
|
"sync"
|
|
"time"
|
|
|
|
"github.com/seaweedfs/seaweedfs/weed/glog"
|
|
"github.com/seaweedfs/seaweedfs/weed/pb"
|
|
"github.com/seaweedfs/seaweedfs/weed/s3api/s3_constants"
|
|
"github.com/seaweedfs/seaweedfs/weed/util"
|
|
"google.golang.org/grpc/codes"
|
|
"google.golang.org/grpc/peer"
|
|
"google.golang.org/grpc/status"
|
|
)
|
|
|
|
// writeOwner returns the filer that serializes writes to key, or "" when this
|
|
// filer is the serialization point — because it owns the key, or because there
|
|
// is no ring and every filer applies locally.
|
|
//
|
|
// A ring change hands a key to its new owner before that owner has rebuilt the
|
|
// locks the prior owner still holds, so the prior owner keeps the key until the
|
|
// cooling-off window closes.
|
|
func (fs *FilerServer) writeOwner(key string) pb.ServerAddress {
|
|
if fs.filer.Dlm == nil {
|
|
return ""
|
|
}
|
|
owner := fs.filer.Dlm.LockRing.WriteOwner(key)
|
|
if owner == fs.option.Host {
|
|
return ""
|
|
}
|
|
return owner
|
|
}
|
|
|
|
// forwardToWriteOwner sends the request to key's write owner so a single filer's
|
|
// per-path lock arbitrates every writer of that key. handled=false means this
|
|
// filer is the owner and the caller should apply the request locally.
|
|
//
|
|
// An unreachable owner fails the request; it is never re-sent to another filer.
|
|
// gRPC reports a response lost in transit as Unavailable, indistinguishable from
|
|
// one the owner never saw, so a retry elsewhere could re-apply what the owner
|
|
// already committed — and an owner unreachable from here may be partitioned
|
|
// rather than down, still serving the key to everyone else. The ring hands the
|
|
// key on when the cooling-off window closes, so the outage is bounded.
|
|
func (fs *FilerServer) forwardToWriteOwner(ctx context.Context, key string, send func(owner pb.ServerAddress) error) (handled bool, err error) {
|
|
owner := fs.writeOwner(key)
|
|
if owner == "" {
|
|
return false, nil
|
|
}
|
|
if err := send(owner); err != nil {
|
|
glog.V(1).InfofCtx(ctx, "route %s to owner %s: %v", key, owner, err)
|
|
return true, err
|
|
}
|
|
return true, nil
|
|
}
|
|
|
|
// entryRouteKey is the ring key for an entry's writes. It shares the S3
|
|
// gateway's namespace so an object's ObjectTransaction and its CreateEntry
|
|
// resolve to the same owner, and land on that filer's one per-path lock.
|
|
func entryRouteKey(fullpath util.FullPath) string {
|
|
return s3_constants.ObjectWriteRouteKeyPrefix + string(fullpath)
|
|
}
|
|
|
|
// movedFromPeer reports whether an is_moved marker arrived on a connection
|
|
// from a ring member, i.e. it marks a genuine forwarded hop.
|
|
func (fs *FilerServer) movedFromPeer(ctx context.Context, isMoved bool) bool {
|
|
if !isMoved || fs.filer.Dlm == nil {
|
|
return false
|
|
}
|
|
p, ok := peer.FromContext(ctx)
|
|
if !ok {
|
|
return false
|
|
}
|
|
peerHost, _, err := net.SplitHostPort(p.Addr.String())
|
|
if err != nil {
|
|
return false
|
|
}
|
|
peerIP := net.ParseIP(peerHost)
|
|
if peerIP == nil {
|
|
return false
|
|
}
|
|
for _, ip := range fs.ringMemberIPs(ctx) {
|
|
if ip.Equal(peerIP) {
|
|
return true
|
|
}
|
|
}
|
|
return false
|
|
}
|
|
|
|
// ringPeerIPs caches resolved member addresses of one ring membership. A
|
|
// member's hostname may re-resolve under the same ring address, so the cache
|
|
// expires rather than trusting the resolution forever.
|
|
type ringPeerIPs struct {
|
|
members string
|
|
ips []net.IP
|
|
expires time.Time
|
|
}
|
|
|
|
const ringPeerIPTTL = 5 * time.Minute
|
|
|
|
// ringMemberIPs returns the ring members' addresses as IPs. Members can
|
|
// advertise hostnames, so resolution is cached per membership to keep DNS off
|
|
// each forwarded request; a failed lookup is not cached, so a DNS blip does
|
|
// not keep rejecting genuine forwards until the next ring change.
|
|
func (fs *FilerServer) ringMemberIPs(ctx context.Context) []net.IP {
|
|
members := fs.filer.Dlm.LockRing.GetSnapshot()
|
|
var sb strings.Builder
|
|
for _, member := range members {
|
|
sb.WriteString(string(member))
|
|
sb.WriteByte(' ')
|
|
}
|
|
key := sb.String()
|
|
if cached := fs.ringPeerIPs.Load(); cached != nil && cached.members == key && time.Now().Before(cached.expires) {
|
|
return cached.ips
|
|
}
|
|
resolved, _, _ := fs.ringResolveGroup.Do(key, func() (any, error) {
|
|
if cached := fs.ringPeerIPs.Load(); cached != nil && cached.members == key && time.Now().Before(cached.expires) {
|
|
return cached.ips, nil
|
|
}
|
|
// Shared by every caller waiting on this key: the lookups outlive the
|
|
// first request's cancellation, and run in parallel so one slow member
|
|
// cannot starve the rest of the shared deadline.
|
|
var ips []net.IP
|
|
var hosts []string
|
|
for _, member := range members {
|
|
host, _, err := net.SplitHostPort(string(member))
|
|
if err != nil {
|
|
continue
|
|
}
|
|
if ip := net.ParseIP(host); ip != nil {
|
|
ips = append(ips, ip)
|
|
continue
|
|
}
|
|
hosts = append(hosts, host)
|
|
}
|
|
var wg sync.WaitGroup
|
|
var mu sync.Mutex
|
|
failed := false
|
|
for _, host := range hosts {
|
|
wg.Add(1)
|
|
go func(host string) {
|
|
defer wg.Done()
|
|
lookupCtx, cancel := context.WithTimeout(context.WithoutCancel(ctx), 3*time.Second)
|
|
defer cancel()
|
|
found, err := net.DefaultResolver.LookupIP(lookupCtx, "ip", host)
|
|
mu.Lock()
|
|
defer mu.Unlock()
|
|
if err != nil {
|
|
failed = true
|
|
return
|
|
}
|
|
ips = append(ips, found...)
|
|
}(host)
|
|
}
|
|
wg.Wait()
|
|
if !failed {
|
|
fs.ringPeerIPs.Store(&ringPeerIPs{members: key, ips: ips, expires: time.Now().Add(ringPeerIPTTL)})
|
|
}
|
|
return ips, nil
|
|
})
|
|
return resolved.([]net.IP)
|
|
}
|
|
|
|
// checkMovedMarker refuses a request whose is_moved marker did not arrive from
|
|
// a ring member while this filer is not the key's owner. The marker is
|
|
// caller-controlled: applying it would evaluate a conditional mutation under a
|
|
// non-owner's lock, and re-forwarding a claimed hop can cycle while rings
|
|
// disagree — so an unverifiable marker on a non-owner is refused instead.
|
|
// PermissionDenied keeps the refusal distinct from a write condition's
|
|
// FailedPrecondition, which callers use to detect a stale stamp.
|
|
// owner=="" means this filer is the serialization point and the request can
|
|
// be applied locally.
|
|
func (fs *FilerServer) checkMovedMarker(ctx context.Context, isMoved bool, owner pb.ServerAddress) error {
|
|
if !isMoved || owner == "" || owner == fs.option.Host || fs.movedFromPeer(ctx, isMoved) {
|
|
return nil
|
|
}
|
|
return status.Errorf(codes.PermissionDenied, "is_moved not sent by a ring member; the key's owner is %s", owner)
|
|
}
|