Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(231)

Side by Side Diff: go/src/infra/gae/libs/memlock/memlock.go

Issue 1233413002: Simplify memlock and make it less racy. (Closed) Base URL: https://chromium.googlesource.com/infra/infra.git@master
Patch Set: Created 5 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | go/src/infra/gae/libs/memlock/memlock_test.go » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2015 The Chromium Authors. All rights reserved. 1 // Copyright 2015 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 // Package memlock allows multiple appengine handlers to coordinate best-effort 5 // Package memlock allows multiple appengine handlers to coordinate best-effort
6 // mutual execution via memcache. "best-effort" here means "best-effort"... 6 // mutual execution via memcache. "best-effort" here means "best-effort"...
7 // memcache is not reliable. However, colliding on memcache is a lot cheaper 7 // memcache is not reliable. However, colliding on memcache is a lot cheaper
8 // than, for example, colliding with datastore transactions. 8 // than, for example, colliding with datastore transactions.
9 package memlock 9 package memlock
10 10
11 import ( 11 import (
12 "bytes" 12 "bytes"
13 "errors" 13 "errors"
14 "golang.org/x/net/context" 14 "golang.org/x/net/context"
15 "sync/atomic"
16 "time" 15 "time"
17 16
18 "infra/gae/libs/gae" 17 "infra/gae/libs/gae"
19 18
20 "github.com/luci/luci-go/common/clock" 19 "github.com/luci/luci-go/common/clock"
21 "github.com/luci/luci-go/common/logging" 20 "github.com/luci/luci-go/common/logging"
22 ) 21 )
23 22
24 // ErrFailedToLock is returned from TryWithLock when it fails to obtain a lock 23 // ErrFailedToLock is returned from TryWithLock when it fails to obtain a lock
25 // prior to invoking the user-supplied function. 24 // prior to invoking the user-supplied function.
(...skipping 24 matching lines...) Expand all
50 // TryWithLock attempts to obtains the lock once, and then invokes f if 49 // TryWithLock attempts to obtains the lock once, and then invokes f if
51 // sucessful. The `check` function can be used within f to see if the lock is 50 // sucessful. The `check` function can be used within f to see if the lock is
52 // still held. 51 // still held.
53 // 52 //
54 // TryWithLock function returns ErrFailedToLock if it fails to obtain the lock, 53 // TryWithLock function returns ErrFailedToLock if it fails to obtain the lock,
55 // otherwise returns the error that f returns. 54 // otherwise returns the error that f returns.
56 // 55 //
57 // `key` is the memcache key to use (i.e. the name of the lock). Clients locking 56 // `key` is the memcache key to use (i.e. the name of the lock). Clients locking
58 // the same data must use the same key. clientID is the unique identifier for 57 // the same data must use the same key. clientID is the unique identifier for
59 // this client (lock-holder). If it's empty then TryWithLock() will return 58 // this client (lock-holder). If it's empty then TryWithLock() will return
60 // ErrEmptyClientID. 59 // ErrEmptyClientID.
dnj 2015/07/17 18:01:35 Document that the context that "f" is called with
iannucci 2015/07/17 18:08:25 I think you're misunderstanding how the cancelatio
dnj 2015/07/17 18:10:29 Ah bad comment on my part, I was mostly suggesting
61 func TryWithLock(ctx context.Context, key, clientID string, f func(check func() bool) error) error { 60 func TryWithLock(ctx context.Context, key, clientID string, f func(context.Conte xt) error) error {
62 if len(clientID) == 0 { 61 if len(clientID) == 0 {
63 return ErrEmptyClientID 62 return ErrEmptyClientID
64 } 63 }
65 64
66 ctx = logging.SetField(ctx, "key", key) 65 ctx = logging.SetField(ctx, "key", key)
67 ctx = logging.SetField(ctx, "clientID", clientID) 66 ctx = logging.SetField(ctx, "clientID", clientID)
68 log := logging.Get(ctx) 67 log := logging.Get(ctx)
69 mc := gae.GetMC(ctx) 68 mc := gae.GetMC(ctx)
70 69
71 key = memlockKeyPrefix + key 70 key = memlockKeyPrefix + key
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after
121 if err != nil { 120 if err != nil {
122 if err != gae.ErrMCNotStored { 121 if err != gae.ErrMCNotStored {
123 log.Warningf("error adding: %s", err) 122 log.Warningf("error adding: %s", err)
124 } 123 }
125 if !checkAnd(refresh) { 124 if !checkAnd(refresh) {
126 return ErrFailedToLock 125 return ErrFailedToLock
127 } 126 }
128 } 127 }
129 128
130 // At this point we nominally have the lock (at least for memcacheLockTi me). 129 // At this point we nominally have the lock (at least for memcacheLockTi me).
131 130 » finished := make(chan struct{})
132 » stopChan := make(chan struct{}) 131 » subCtx, cancelFunc := context.WithCancel(ctx)
dnj 2015/07/17 18:01:35 Main concern using contexts here is that if the pa
iannucci 2015/07/17 18:08:25 Yes
133 » stoppedChan := make(chan struct{})
134 » held := uint32(1)
135
136 defer func() { 132 defer func() {
137 » » close(stopChan) 133 » » cancelFunc()
138 » » <-stoppedChan // this blocks TryWithLock until the goroutine bel ow quits. 134 » » <-finished
139 }() 135 }()
140 136
141 // This goroutine checks to see if we still posess the lock, and refresh es it 137 // This goroutine checks to see if we still posess the lock, and refresh es it
142 » // if we do. It will stop doing this when either stopChan is activated ( e.g. 138 » // if we do.
143 » // the user's function returns) or we lose the lock (memcache flake, etc .).
144 go func() { 139 go func() {
145 » » defer close(stoppedChan) 140 » » defer func() {
141 » » » cancelFunc()
142 » » » close(finished)
143 » » }()
146 144
147 checkLoop: 145 checkLoop:
148 for { 146 for {
149 select { 147 select {
150 » » » case <-stopChan: 148 » » » case <-subCtx.Done():
151 break checkLoop 149 break checkLoop
152 case <-clock.Get(ctx).After(delay): 150 case <-clock.Get(ctx).After(delay):
153 } 151 }
154 if !checkAnd(refresh) { 152 if !checkAnd(refresh) {
155 atomic.StoreUint32(&held, 0)
156 log.Warningf("lost lock: %s", err) 153 log.Warningf("lost lock: %s", err)
157 return 154 return
158 } 155 }
159 } 156 }
160 157
161 checkAnd(release) 158 checkAnd(release)
162 atomic.StoreUint32(&held, 0)
163 }() 159 }()
164 160
165 » return f(func() bool { return atomic.LoadUint32(&held) == 1 }) 161 » return f(subCtx)
166 } 162 }
OLDNEW
« no previous file with comments | « no previous file | go/src/infra/gae/libs/memlock/memlock_test.go » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698