Import: Handle uploads with sha1 starting with 0 properly
[mediawiki.git] / includes / filebackend / lockmanager / QuorumLockManager.php
bloba692012d09fc1cb2d1b81e2ba1b06d3d91df442a
1 <?php
2 /**
3 * Version of LockManager that uses a quorum from peer servers for locks.
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License along
16 * with this program; if not, write to the Free Software Foundation, Inc.,
17 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
18 * http://www.gnu.org/copyleft/gpl.html
20 * @file
21 * @ingroup LockManager
24 /**
25 * Version of LockManager that uses a quorum from peer servers for locks.
26 * The resource space can also be sharded into separate peer groups.
28 * @ingroup LockManager
29 * @since 1.20
31 abstract class QuorumLockManager extends LockManager {
32 /** @var array Map of bucket indexes to peer server lists */
33 protected $srvsByBucket = array(); // (bucket index => (lsrv1, lsrv2, ...))
35 /** @var array Map of degraded buckets */
36 protected $degradedBuckets = array(); // (buckey index => UNIX timestamp)
38 final protected function doLock( array $paths, $type ) {
39 return $this->doLockByType( array( $type => $paths ) );
42 final protected function doUnlock( array $paths, $type ) {
43 return $this->doUnlockByType( array( $type => $paths ) );
46 protected function doLockByType( array $pathsByType ) {
47 $status = Status::newGood();
49 $pathsToLock = array(); // (bucket => type => paths)
50 // Get locks that need to be acquired (buckets => locks)...
51 foreach ( $pathsByType as $type => $paths ) {
52 foreach ( $paths as $path ) {
53 if ( isset( $this->locksHeld[$path][$type] ) ) {
54 ++$this->locksHeld[$path][$type];
55 } else {
56 $bucket = $this->getBucketFromPath( $path );
57 $pathsToLock[$bucket][$type][] = $path;
62 $lockedPaths = array(); // files locked in this attempt (type => paths)
63 // Attempt to acquire these locks...
64 foreach ( $pathsToLock as $bucket => $pathsToLockByType ) {
65 // Try to acquire the locks for this bucket
66 $status->merge( $this->doLockingRequestBucket( $bucket, $pathsToLockByType ) );
67 if ( !$status->isOK() ) {
68 $status->merge( $this->doUnlockByType( $lockedPaths ) );
70 return $status;
72 // Record these locks as active
73 foreach ( $pathsToLockByType as $type => $paths ) {
74 foreach ( $paths as $path ) {
75 $this->locksHeld[$path][$type] = 1; // locked
76 // Keep track of what locks were made in this attempt
77 $lockedPaths[$type][] = $path;
82 return $status;
85 protected function doUnlockByType( array $pathsByType ) {
86 $status = Status::newGood();
88 $pathsToUnlock = array(); // (bucket => type => paths)
89 foreach ( $pathsByType as $type => $paths ) {
90 foreach ( $paths as $path ) {
91 if ( !isset( $this->locksHeld[$path][$type] ) ) {
92 $status->warning( 'lockmanager-notlocked', $path );
93 } else {
94 --$this->locksHeld[$path][$type];
95 // Reference count the locks held and release locks when zero
96 if ( $this->locksHeld[$path][$type] <= 0 ) {
97 unset( $this->locksHeld[$path][$type] );
98 $bucket = $this->getBucketFromPath( $path );
99 $pathsToUnlock[$bucket][$type][] = $path;
101 if ( !count( $this->locksHeld[$path] ) ) {
102 unset( $this->locksHeld[$path] ); // no SH or EX locks left for key
108 // Remove these specific locks if possible, or at least release
109 // all locks once this process is currently not holding any locks.
110 foreach ( $pathsToUnlock as $bucket => $pathsToUnlockByType ) {
111 $status->merge( $this->doUnlockingRequestBucket( $bucket, $pathsToUnlockByType ) );
113 if ( !count( $this->locksHeld ) ) {
114 $status->merge( $this->releaseAllLocks() );
115 $this->degradedBuckets = array(); // safe to retry the normal quorum
118 return $status;
122 * Attempt to acquire locks with the peers for a bucket.
123 * This is all or nothing; if any key is locked then this totally fails.
125 * @param int $bucket
126 * @param array $pathsByType Map of LockManager::LOCK_* constants to lists of paths
127 * @return Status
129 final protected function doLockingRequestBucket( $bucket, array $pathsByType ) {
130 $status = Status::newGood();
132 $yesVotes = 0; // locks made on trustable servers
133 $votesLeft = count( $this->srvsByBucket[$bucket] ); // remaining peers
134 $quorum = floor( $votesLeft / 2 + 1 ); // simple majority
135 // Get votes for each peer, in order, until we have enough...
136 foreach ( $this->srvsByBucket[$bucket] as $lockSrv ) {
137 if ( !$this->isServerUp( $lockSrv ) ) {
138 --$votesLeft;
139 $status->warning( 'lockmanager-fail-svr-acquire', $lockSrv );
140 $this->degradedBuckets[$bucket] = time();
141 continue; // server down?
143 // Attempt to acquire the lock on this peer
144 $status->merge( $this->getLocksOnServer( $lockSrv, $pathsByType ) );
145 if ( !$status->isOK() ) {
146 return $status; // vetoed; resource locked
148 ++$yesVotes; // success for this peer
149 if ( $yesVotes >= $quorum ) {
150 return $status; // lock obtained
152 --$votesLeft;
153 $votesNeeded = $quorum - $yesVotes;
154 if ( $votesNeeded > $votesLeft ) {
155 break; // short-circuit
158 // At this point, we must not have met the quorum
159 $status->setResult( false );
161 return $status;
165 * Attempt to release locks with the peers for a bucket
167 * @param int $bucket
168 * @param array $pathsByType Map of LockManager::LOCK_* constants to lists of paths
169 * @return Status
171 final protected function doUnlockingRequestBucket( $bucket, array $pathsByType ) {
172 $status = Status::newGood();
174 $yesVotes = 0; // locks freed on trustable servers
175 $votesLeft = count( $this->srvsByBucket[$bucket] ); // remaining peers
176 $quorum = floor( $votesLeft / 2 + 1 ); // simple majority
177 $isDegraded = isset( $this->degradedBuckets[$bucket] ); // not the normal quorum?
178 foreach ( $this->srvsByBucket[$bucket] as $lockSrv ) {
179 if ( !$this->isServerUp( $lockSrv ) ) {
180 $status->warning( 'lockmanager-fail-svr-release', $lockSrv );
181 } else {
182 // Attempt to release the lock on this peer
183 $status->merge( $this->freeLocksOnServer( $lockSrv, $pathsByType ) );
184 ++$yesVotes; // success for this peer
185 // Normally the first peers form the quorum, and the others are ignored.
186 // Ignore them in this case, but not when an alternative quorum was used.
187 if ( $yesVotes >= $quorum && !$isDegraded ) {
188 break; // lock released
192 // Set a bad status if the quorum was not met.
193 // Assumes the same "up" servers as during the acquire step.
194 $status->setResult( $yesVotes >= $quorum );
196 return $status;
200 * Get the bucket for resource path.
201 * This should avoid throwing any exceptions.
203 * @param string $path
204 * @return int
206 protected function getBucketFromPath( $path ) {
207 $prefix = substr( sha1( $path ), 0, 2 ); // first 2 hex chars (8 bits)
208 return (int)base_convert( $prefix, 16, 10 ) % count( $this->srvsByBucket );
212 * Check if a lock server is up.
213 * This should process cache results to reduce RTT.
215 * @param string $lockSrv
216 * @return bool
218 abstract protected function isServerUp( $lockSrv );
221 * Get a connection to a lock server and acquire locks
223 * @param string $lockSrv
224 * @param array $pathsByType Map of LockManager::LOCK_* constants to lists of paths
225 * @return Status
227 abstract protected function getLocksOnServer( $lockSrv, array $pathsByType );
230 * Get a connection to a lock server and release locks on $paths.
232 * Subclasses must effectively implement this or releaseAllLocks().
234 * @param string $lockSrv
235 * @param array $pathsByType Map of LockManager::LOCK_* constants to lists of paths
236 * @return Status
238 abstract protected function freeLocksOnServer( $lockSrv, array $pathsByType );
241 * Release all locks that this session is holding.
243 * Subclasses must effectively implement this or freeLocksOnServer().
245 * @return Status
247 abstract protected function releaseAllLocks();