001/*
002 * Licensed to the Apache Software Foundation (ASF) under one
003 * or more contributor license agreements.  See the NOTICE file
004 * distributed with this work for additional information
005 * regarding copyright ownership.  The ASF licenses this file
006 * to you under the Apache License, Version 2.0 (the
007 * "License"); you may not use this file except in compliance
008 * with the License.  You may obtain a copy of the License at
009 *
010 *     http://www.apache.org/licenses/LICENSE-2.0
011 *
012 * Unless required by applicable law or agreed to in writing, software
013 * distributed under the License is distributed on an "AS IS" BASIS,
014 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
015 * See the License for the specific language governing permissions and
016 * limitations under the License.
017 */
018package org.apache.hadoop.hbase.procedure2;
019
020import java.io.IOException;
021import java.util.Arrays;
022import java.util.List;
023import java.util.Map;
024import java.util.concurrent.ThreadLocalRandom;
025import org.apache.hadoop.hbase.exceptions.TimeoutIOException;
026import org.apache.hadoop.hbase.metrics.Counter;
027import org.apache.hadoop.hbase.metrics.Histogram;
028import org.apache.hadoop.hbase.procedure2.store.ProcedureStore;
029import org.apache.hadoop.hbase.procedure2.util.StringUtils;
030import org.apache.hadoop.hbase.security.User;
031import org.apache.hadoop.hbase.util.EnvironmentEdgeManager;
032import org.apache.hadoop.hbase.util.NonceKey;
033import org.apache.yetus.audience.InterfaceAudience;
034import org.slf4j.Logger;
035import org.slf4j.LoggerFactory;
036
037import org.apache.hadoop.hbase.shaded.protobuf.generated.ProcedureProtos;
038import org.apache.hadoop.hbase.shaded.protobuf.generated.ProcedureProtos.ProcedureState;
039
040/**
041 * Base Procedure class responsible for Procedure Metadata; e.g. state, submittedTime, lastUpdate,
042 * stack-indexes, etc.
043 * <p/>
044 * Procedures are run by a {@link ProcedureExecutor} instance. They are submitted and then the
045 * ProcedureExecutor keeps calling {@link #execute(Object)} until the Procedure is done. Execute may
046 * be called multiple times in the case of failure or a restart, so code must be idempotent. The
047 * return from an execute call is either: null to indicate we are done; ourself if there is more to
048 * do; or, a set of sub-procedures that need to be run to completion before the framework resumes
049 * our execution.
050 * <p/>
051 * The ProcedureExecutor keeps its notion of Procedure State in the Procedure itself; e.g. it stamps
052 * the Procedure as INITIALIZING, RUNNABLE, SUCCESS, etc. Here are some of the States defined in the
053 * ProcedureState enum from protos:
054 * <ul>
055 * <li>{@link #isFailed()} A procedure has executed at least once and has failed. The procedure may
056 * or may not have rolled back yet. Any procedure in FAILED state will be eventually moved to
057 * ROLLEDBACK state.</li>
058 * <li>{@link #isSuccess()} A procedure is completed successfully without exception.</li>
059 * <li>{@link #isFinished()} As a procedure in FAILED state will be tried forever for rollback, only
060 * condition when scheduler/ executor will drop procedure from further processing is when procedure
061 * state is ROLLEDBACK or isSuccess() returns true. This is a terminal state of the procedure.</li>
062 * <li>{@link #isWaiting()} - Procedure is in one of the two waiting states
063 * ({@link ProcedureState#WAITING}, {@link ProcedureState#WAITING_TIMEOUT}).</li>
064 * </ul>
065 * NOTE: These states are of the ProcedureExecutor. Procedure implementations in turn can keep their
066 * own state. This can lead to confusion. Try to keep the two distinct.
067 * <p/>
068 * rollback() is called when the procedure or one of the sub-procedures has failed. The rollback
069 * step is supposed to cleanup the resources created during the execute() step. In case of failure
070 * and restart, rollback() may be called multiple times, so again the code must be idempotent.
071 * <p/>
072 * Procedure can be made respect a locking regime. It has acquire/release methods as well as an
073 * {@link #hasLock()}. The lock implementation is up to the implementor. If an entity needs to be
074 * locked for the life of a procedure -- not just the calls to execute -- then implementations
075 * should say so with the {@link #holdLock(Object)} method.
076 * <p/>
077 * And since we need to restore the lock when restarting to keep the logic correct(HBASE-20846), the
078 * implementation is a bit tricky so we add some comments hrre about it.
079 * <ul>
080 * <li>Make {@link #hasLock()} method final, and add a {@link #locked} field in Procedure to record
081 * whether we have the lock. We will set it to {@code true} in
082 * {@link #doAcquireLock(Object, ProcedureStore)} and to {@code false} in
083 * {@link #doReleaseLock(Object, ProcedureStore)}. The sub classes do not need to manage it any
084 * more.</li>
085 * <li>Also added a locked field in the proto message. When storing, the field will be set according
086 * to the return value of {@link #hasLock()}. And when loading, there is a new field in Procedure
087 * called {@link #lockedWhenLoading}. We will set it to {@code true} if the locked field in proto
088 * message is {@code true}.</li>
089 * <li>The reason why we can not set the {@link #locked} field directly to {@code true} by calling
090 * {@link #doAcquireLock(Object, ProcedureStore)} is that, during initialization, most procedures
091 * need to wait until master is initialized. So the solution here is that, we introduced a new
092 * method called {@link #waitInitialized(Object)} in Procedure, and move the wait master initialized
093 * related code from {@link #acquireLock(Object)} to this method. And we added a restoreLock method
094 * to Procedure, if {@link #lockedWhenLoading} is {@code true}, we will call the
095 * {@link #acquireLock(Object)} to get the lock, but do not set {@link #locked} to true. And later
096 * when we call {@link #doAcquireLock(Object, ProcedureStore)} and pass the
097 * {@link #waitInitialized(Object)} check, we will test {@link #lockedWhenLoading}, if it is
098 * {@code true}, when we just set the {@link #locked} field to true and return, without actually
099 * calling the {@link #acquireLock(Object)} method since we have already called it once.</li>
100 * </ul>
101 * <p/>
102 * Procedures can be suspended or put in wait state with a callback that gets executed on
103 * Procedure-specified timeout. See {@link #setTimeout(int)}}, and
104 * {@link #setTimeoutFailure(Object)}. See TestProcedureEvents and the TestTimeoutEventProcedure
105 * class for an example usage.
106 * </p>
107 * <p/>
108 * There are hooks for collecting metrics on submit of the procedure and on finish. See
109 * {@link #updateMetricsOnSubmit(Object)} and {@link #updateMetricsOnFinish(Object, long, boolean)}.
110 */
111@InterfaceAudience.Private
112public abstract class Procedure<TEnvironment> implements Comparable<Procedure<TEnvironment>> {
113  private static final Logger LOG = LoggerFactory.getLogger(Procedure.class);
114  public static final long NO_PROC_ID = -1;
115  protected static final int NO_TIMEOUT = -1;
116
117  public enum LockState {
118    LOCK_ACQUIRED, // Lock acquired and ready to execute
119    LOCK_YIELD_WAIT, // Lock not acquired, framework needs to yield
120    LOCK_EVENT_WAIT, // Lock not acquired, an event will yield the procedure
121  }
122
123  // Unchanged after initialization
124  private NonceKey nonceKey = null;
125  private String owner = null;
126  private long parentProcId = NO_PROC_ID;
127  private long rootProcId = NO_PROC_ID;
128  private long procId = NO_PROC_ID;
129  private long submittedTime;
130
131  // Runtime state, updated every operation
132  private ProcedureState state = ProcedureState.INITIALIZING;
133  private RemoteProcedureException exception = null;
134  private int[] stackIndexes = null;
135  private int childrenLatch = 0;
136  // since we do not always maintain stackIndexes if the root procedure does not support rollback,
137  // we need a separated flag to indicate whether a procedure was executed
138  private boolean wasExecuted;
139
140  private volatile int timeout = NO_TIMEOUT;
141  private volatile long lastUpdate;
142
143  private volatile byte[] result = null;
144
145  private volatile boolean locked = false;
146
147  private boolean lockedWhenLoading = false;
148
149  /**
150   * Used for override complete of the procedure without actually doing any logic in the procedure.
151   * If bypass is set to true, when executing it will return null when {@link #doExecute(Object)} is
152   * called to finish the procedure and release any locks it may currently hold. The bypass does
153   * cleanup around the Procedure as far as the Procedure framework is concerned. It does not clean
154   * any internal state that the Procedure's themselves may have set. That is for the Procedures to
155   * do themselves when bypass is called. They should override bypass and do their cleanup in the
156   * overridden bypass method (be sure to call the parent bypass to ensure proper processing).
157   * <p>
158   * </p>
159   * Bypassing a procedure is not like aborting. Aborting a procedure will trigger a rollback. And
160   * since the {@link #abort(Object)} method is overrideable Some procedures may have chosen to
161   * ignore the aborting.
162   */
163  private volatile boolean bypass = false;
164
165  /**
166   * Indicate whether we need to persist the procedure to ProcedureStore after execution. Default to
167   * true, and the implementation can all {@link #skipPersistence()} to let the framework skip the
168   * persistence of the procedure.
169   * <p/>
170   * This is useful when the procedure is in error and you want to retry later. The retry interval
171   * and the number of retries are usually not critical so skip the persistence can save some
172   * resources, and also speed up the restart processing.
173   * <p/>
174   * Notice that this value will be reset to true every time before execution. And when rolling back
175   * we do not test this value.
176   */
177  private boolean persist = true;
178
179  public boolean isBypass() {
180    return bypass;
181  }
182
183  /**
184   * Set the bypass to true. Only called in
185   * {@link ProcedureExecutor#bypassProcedure(long, long, boolean, boolean)} for now. DO NOT use
186   * this method alone, since we can't just bypass one single procedure. We need to bypass its
187   * ancestor too. If your Procedure has set state, it needs to undo it in here.
188   * @param env Current environment. May be null because of context; e.g. pretty-printing procedure
189   *            WALs where there is no 'environment' (and where Procedures that require an
190   *            'environment' won't be run.
191   */
192  protected void bypass(TEnvironment env) {
193    this.bypass = true;
194  }
195
196  boolean needPersistence() {
197    return persist;
198  }
199
200  void resetPersistence() {
201    persist = true;
202  }
203
204  protected final void skipPersistence() {
205    persist = false;
206  }
207
208  /**
209   * The main code of the procedure. It must be idempotent since execute() may be called multiple
210   * times in case of machine failure in the middle of the execution.
211   * @param env the environment passed to the ProcedureExecutor
212   * @return a set of sub-procedures to run or ourselves if there is more work to do or null if the
213   *         procedure is done.
214   * @throws ProcedureYieldException     the procedure will be added back to the queue and retried
215   *                                     later.
216   * @throws InterruptedException        the procedure will be added back to the queue and retried
217   *                                     later.
218   * @throws ProcedureSuspendedException Signal to the executor that Procedure has suspended itself
219   *                                     and has set itself up waiting for an external event to wake
220   *                                     it back up again.
221   */
222  protected abstract Procedure<TEnvironment>[] execute(TEnvironment env)
223    throws ProcedureYieldException, ProcedureSuspendedException, InterruptedException;
224
225  /**
226   * The code to undo what was done by the execute() code. It is called when the procedure or one of
227   * the sub-procedures failed or an abort was requested. It should cleanup all the resources
228   * created by the execute() call. The implementation must be idempotent since rollback() may be
229   * called multiple time in case of machine failure in the middle of the execution.
230   * @param env the environment passed to the ProcedureExecutor
231   * @throws IOException          temporary failure, the rollback will retry later
232   * @throws InterruptedException the procedure will be added back to the queue and retried later
233   */
234  protected abstract void rollback(TEnvironment env) throws IOException, InterruptedException;
235
236  /**
237   * The abort() call is asynchronous and each procedure must decide how to deal with it, if they
238   * want to be abortable. The simplest implementation is to have an AtomicBoolean set in the
239   * abort() method and then the execute() will check if the abort flag is set or not. abort() may
240   * be called multiple times from the client, so the implementation must be idempotent.
241   * <p>
242   * NOTE: abort() is not like Thread.interrupt(). It is just a notification that allows the
243   * procedure implementor abort.
244   */
245  protected abstract boolean abort(TEnvironment env);
246
247  /**
248   * The user-level code of the procedure may have some state to persist (e.g. input arguments or
249   * current position in the processing state) to be able to resume on failure.
250   * @param serializer stores the serializable state
251   */
252  protected abstract void serializeStateData(ProcedureStateSerializer serializer)
253    throws IOException;
254
255  /**
256   * Called on store load to allow the user to decode the previously serialized state.
257   * @param serializer contains the serialized state
258   */
259  protected abstract void deserializeStateData(ProcedureStateSerializer serializer)
260    throws IOException;
261
262  /**
263   * The {@link #doAcquireLock(Object, ProcedureStore)} will be split into two steps, first, it will
264   * call us to determine whether we need to wait for initialization, second, it will call
265   * {@link #acquireLock(Object)} to actually handle the lock for this procedure.
266   * <p/>
267   * This is because that when master restarts, we need to restore the lock state for all the
268   * procedures to not break the semantic if {@link #holdLock(Object)} is true. But the
269   * {@link ProcedureExecutor} will be started before the master finish initialization(as it is part
270   * of the initialization!), so we need to split the code into two steps, and when restore, we just
271   * restore the lock part and ignore the waitInitialized part. Otherwise there will be dead lock.
272   * @return true means we need to wait until the environment has been initialized, otherwise true.
273   */
274  protected boolean waitInitialized(TEnvironment env) {
275    return false;
276  }
277
278  /**
279   * The user should override this method if they need a lock on an Entity. A lock can be anything,
280   * and it is up to the implementor. The Procedure Framework will call this method just before it
281   * invokes {@link #execute(Object)}. It calls {@link #releaseLock(Object)} after the call to
282   * execute.
283   * <p/>
284   * If you need to hold the lock for the life of the Procedure -- i.e. you do not want any other
285   * Procedure interfering while this Procedure is running, see {@link #holdLock(Object)}.
286   * <p/>
287   * Example: in our Master we can execute request in parallel for different tables. We can create
288   * t1 and create t2 and these creates can be executed at the same time. Anything else on t1/t2 is
289   * queued waiting that specific table create to happen.
290   * <p/>
291   * There are 3 LockState:
292   * <ul>
293   * <li>LOCK_ACQUIRED should be returned when the proc has the lock and the proc is ready to
294   * execute.</li>
295   * <li>LOCK_YIELD_WAIT should be returned when the proc has not the lock and the framework should
296   * take care of readding the procedure back to the runnable set for retry</li>
297   * <li>LOCK_EVENT_WAIT should be returned when the proc has not the lock and someone will take
298   * care of readding the procedure back to the runnable set when the lock is available.</li>
299   * </ul>
300   * @return the lock state as described above.
301   */
302  protected LockState acquireLock(TEnvironment env) {
303    return LockState.LOCK_ACQUIRED;
304  }
305
306  /**
307   * The user should override this method, and release lock if necessary.
308   */
309  protected void releaseLock(TEnvironment env) {
310    // no-op
311  }
312
313  /**
314   * Used to keep the procedure lock even when the procedure is yielding or suspended.
315   * @return true if the procedure should hold on the lock until completionCleanup()
316   */
317  protected boolean holdLock(TEnvironment env) {
318    return false;
319  }
320
321  /**
322   * This is used in conjunction with {@link #holdLock(Object)}. If {@link #holdLock(Object)}
323   * returns true, the procedure executor will call acquireLock() once and thereafter not call
324   * {@link #releaseLock(Object)} until the Procedure is done (Normally, it calls release/acquire
325   * around each invocation of {@link #execute(Object)}.
326   * @see #holdLock(Object)
327   * @return true if the procedure has the lock, false otherwise.
328   */
329  public final boolean hasLock() {
330    return locked;
331  }
332
333  /**
334   * Called when the procedure is loaded for replay. The procedure implementor may use this method
335   * to perform some quick operation before replay. e.g. failing the procedure if the state on
336   * replay may be unknown.
337   */
338  protected void beforeReplay(TEnvironment env) {
339    // no-op
340  }
341
342  /**
343   * Called when the procedure is ready to be added to the queue after the loading/replay operation.
344   */
345  protected void afterReplay(TEnvironment env) {
346    // no-op
347  }
348
349  /**
350   * Called when the procedure is marked as completed (success or rollback). The procedure
351   * implementor may use this method to cleanup in-memory states. This operation will not be retried
352   * on failure. If a procedure took a lock, it will have been released when this method runs.
353   */
354  protected void completionCleanup(TEnvironment env) {
355    // no-op
356  }
357
358  /**
359   * By default, the procedure framework/executor will try to run procedures start to finish. Return
360   * true to make the executor yield between each execution step to give other procedures a chance
361   * to run.
362   * @param env the environment passed to the ProcedureExecutor
363   * @return Return true if the executor should yield on completion of an execution step. Defaults
364   *         to return false.
365   */
366  protected boolean isYieldAfterExecutionStep(TEnvironment env) {
367    return false;
368  }
369
370  /**
371   * By default, the executor will keep the procedure result around util the eviction TTL is
372   * expired. The client can cut down the waiting time by requesting that the result is removed from
373   * the executor. In case of system started procedure, we can force the executor to auto-ack.
374   * @param env the environment passed to the ProcedureExecutor
375   * @return true if the executor should wait the client ack for the result. Defaults to return
376   *         true.
377   */
378  protected boolean shouldWaitClientAck(TEnvironment env) {
379    return true;
380  }
381
382  /**
383   * Override this method to provide procedure specific counters for submitted count, failed count
384   * and time histogram.
385   * @param env The environment passed to the procedure executor
386   * @return Container object for procedure related metric
387   */
388  protected ProcedureMetrics getProcedureMetrics(TEnvironment env) {
389    return null;
390  }
391
392  /**
393   * This function will be called just when procedure is submitted for execution. Override this
394   * method to update the metrics at the beginning of the procedure. The default implementation
395   * updates submitted counter if {@link #getProcedureMetrics(Object)} returns non-null
396   * {@link ProcedureMetrics}.
397   */
398  protected void updateMetricsOnSubmit(TEnvironment env) {
399    ProcedureMetrics metrics = getProcedureMetrics(env);
400    if (metrics == null) {
401      return;
402    }
403
404    Counter submittedCounter = metrics.getSubmittedCounter();
405    if (submittedCounter != null) {
406      submittedCounter.increment();
407    }
408  }
409
410  /**
411   * This function will be called just after procedure execution is finished. Override this method
412   * to update metrics at the end of the procedure. If {@link #getProcedureMetrics(Object)} returns
413   * non-null {@link ProcedureMetrics}, the default implementation adds runtime of a procedure to a
414   * time histogram for successfully completed procedures. Increments failed counter for failed
415   * procedures.
416   * <p/>
417   * TODO: As any of the sub-procedures on failure rolls back all procedures in the stack, including
418   * successfully finished siblings, this function may get called twice in certain cases for certain
419   * procedures. Explore further if this can be called once.
420   * @param env     The environment passed to the procedure executor
421   * @param runtime Runtime of the procedure in milliseconds
422   * @param success true if procedure is completed successfully
423   */
424  protected void updateMetricsOnFinish(TEnvironment env, long runtime, boolean success) {
425    ProcedureMetrics metrics = getProcedureMetrics(env);
426    if (metrics == null) {
427      return;
428    }
429
430    if (success) {
431      Histogram timeHisto = metrics.getTimeHisto();
432      if (timeHisto != null) {
433        timeHisto.update(runtime);
434      }
435    } else {
436      Counter failedCounter = metrics.getFailedCounter();
437      if (failedCounter != null) {
438        failedCounter.increment();
439      }
440    }
441  }
442
443  @Override
444  public String toString() {
445    // Return the simple String presentation of the procedure.
446    return toStringSimpleSB().toString();
447  }
448
449  /**
450   * Build the StringBuilder for the simple form of procedure string.
451   * @return the StringBuilder
452   */
453  protected StringBuilder toStringSimpleSB() {
454    final StringBuilder sb = new StringBuilder();
455
456    sb.append("pid=");
457    sb.append(getProcId());
458
459    if (hasParent()) {
460      sb.append(", ppid=");
461      sb.append(getParentProcId());
462    }
463
464    /*
465     * TODO Enable later when this is being used. Currently owner not used. if (hasOwner()) {
466     * sb.append(", owner="); sb.append(getOwner()); }
467     */
468
469    sb.append(", state="); // pState for Procedure State as opposed to any other kind.
470    toStringState(sb);
471
472    // Only print out locked if actually locked. Most of the time it is not.
473    if (this.locked) {
474      sb.append(", locked=").append(locked);
475    }
476
477    if (bypass) {
478      sb.append(", bypass=").append(bypass);
479    }
480
481    if (hasException()) {
482      sb.append(", exception=" + getException());
483    }
484
485    sb.append("; ");
486    toStringClassDetails(sb);
487
488    return sb;
489  }
490
491  /**
492   * Extend the toString() information with more procedure details
493   */
494  public String toStringDetails() {
495    final StringBuilder sb = toStringSimpleSB();
496
497    sb.append(" submittedTime=");
498    sb.append(getSubmittedTime());
499
500    sb.append(", lastUpdate=");
501    sb.append(getLastUpdate());
502
503    final int[] stackIndices = getStackIndexes();
504    if (stackIndices != null) {
505      sb.append("\n");
506      sb.append("stackIndexes=");
507      sb.append(Arrays.toString(stackIndices));
508    }
509
510    return sb.toString();
511  }
512
513  protected String toStringClass() {
514    StringBuilder sb = new StringBuilder();
515    toStringClassDetails(sb);
516    return sb.toString();
517  }
518
519  /**
520   * Called from {@link #toString()} when interpolating {@link Procedure} State. Allows decorating
521   * generic Procedure State with Procedure particulars.
522   * @param builder Append current {@link ProcedureState}
523   */
524  protected void toStringState(StringBuilder builder) {
525    builder.append(getState());
526  }
527
528  /**
529   * Extend the toString() information with the procedure details e.g. className and parameters
530   * @param builder the string builder to use to append the proc specific information
531   */
532  protected void toStringClassDetails(StringBuilder builder) {
533    builder.append(getClass().getName());
534  }
535
536  // ==========================================================================
537  // Those fields are unchanged after initialization.
538  //
539  // Each procedure will get created from the user or during
540  // ProcedureExecutor.start() during the load() phase and then submitted
541  // to the executor. these fields will never be changed after initialization
542  // ==========================================================================
543  public long getProcId() {
544    return procId;
545  }
546
547  public boolean hasParent() {
548    return parentProcId != NO_PROC_ID;
549  }
550
551  public long getParentProcId() {
552    return parentProcId;
553  }
554
555  public long getRootProcId() {
556    return rootProcId;
557  }
558
559  public String getProcName() {
560    return toStringClass();
561  }
562
563  public NonceKey getNonceKey() {
564    return nonceKey;
565  }
566
567  public long getSubmittedTime() {
568    return submittedTime;
569  }
570
571  public String getOwner() {
572    return owner;
573  }
574
575  public boolean hasOwner() {
576    return owner != null;
577  }
578
579  /**
580   * Called by the ProcedureExecutor to assign the ID to the newly created procedure.
581   */
582  protected void setProcId(long procId) {
583    this.procId = procId;
584    this.submittedTime = EnvironmentEdgeManager.currentTime();
585    setState(ProcedureState.RUNNABLE);
586  }
587
588  /**
589   * Called by the ProcedureExecutor to assign the parent to the newly created procedure.
590   */
591  protected void setParentProcId(long parentProcId) {
592    this.parentProcId = parentProcId;
593  }
594
595  protected void setRootProcId(long rootProcId) {
596    this.rootProcId = rootProcId;
597  }
598
599  /**
600   * Called by the ProcedureExecutor to set the value to the newly created procedure.
601   */
602  protected void setNonceKey(NonceKey nonceKey) {
603    this.nonceKey = nonceKey;
604  }
605
606  public void setOwner(String owner) {
607    this.owner = StringUtils.isEmpty(owner) ? null : owner;
608  }
609
610  public void setOwner(User owner) {
611    assert owner != null : "expected owner to be not null";
612    setOwner(owner.getShortName());
613  }
614
615  /**
616   * Called on store load to initialize the Procedure internals after the creation/deserialization.
617   */
618  protected void setSubmittedTime(long submittedTime) {
619    this.submittedTime = submittedTime;
620  }
621
622  // ==========================================================================
623  // runtime state - timeout related
624  // ==========================================================================
625  /**
626   * @param timeout timeout interval in msec
627   */
628  protected void setTimeout(int timeout) {
629    this.timeout = timeout;
630  }
631
632  public boolean hasTimeout() {
633    return timeout != NO_TIMEOUT;
634  }
635
636  /** Returns the timeout in msec */
637  public int getTimeout() {
638    return timeout;
639  }
640
641  /**
642   * Called on store load to initialize the Procedure internals after the creation/deserialization.
643   */
644  protected void setLastUpdate(long lastUpdate) {
645    this.lastUpdate = lastUpdate;
646  }
647
648  /**
649   * Called by ProcedureExecutor after each time a procedure step is executed.
650   */
651  protected void updateTimestamp() {
652    this.lastUpdate = EnvironmentEdgeManager.currentTime();
653  }
654
655  public long getLastUpdate() {
656    return lastUpdate;
657  }
658
659  /**
660   * Timeout of the next timeout. Called by the ProcedureExecutor if the procedure has timeout set
661   * and the procedure is in the waiting queue.
662   * @return the timestamp of the next timeout.
663   */
664  protected long getTimeoutTimestamp() {
665    return getLastUpdate() + getTimeout();
666  }
667
668  // ==========================================================================
669  // runtime state
670  // ==========================================================================
671  /** Returns the time elapsed between the last update and the start time of the procedure. */
672  public long elapsedTime() {
673    return getLastUpdate() - getSubmittedTime();
674  }
675
676  /** Returns the serialized result if any, otherwise null */
677  public byte[] getResult() {
678    return result;
679  }
680
681  /**
682   * The procedure may leave a "result" on completion.
683   * @param result the serialized result that will be passed to the client
684   */
685  protected void setResult(byte[] result) {
686    this.result = result;
687  }
688
689  /**
690   * Will only be called when loading procedures from procedure store, where we need to record
691   * whether the procedure has already held a lock. Later we will call {@link #restoreLock(Object)}
692   * to actually acquire the lock.
693   */
694  final void lockedWhenLoading() {
695    this.lockedWhenLoading = true;
696  }
697
698  /**
699   * Can only be called when restarting, before the procedure actually being executed, as after we
700   * actually call the {@link #doAcquireLock(Object, ProcedureStore)} method, we will reset
701   * {@link #lockedWhenLoading} to false.
702   * <p/>
703   * Now it is only used in the ProcedureScheduler to determine whether we should put a Procedure in
704   * front of a queue.
705   */
706  public boolean isLockedWhenLoading() {
707    return lockedWhenLoading;
708  }
709
710  // ==============================================================================================
711  // Runtime state, updated every operation by the ProcedureExecutor
712  //
713  // There is always 1 thread at the time operating on the state of the procedure.
714  // The ProcedureExecutor may check and set states, or some Procecedure may
715  // update its own state. but no concurrent updates. we use synchronized here
716  // just because the procedure can get scheduled on different executor threads on each step.
717  // ==============================================================================================
718
719  /** Returns true if the procedure is in a RUNNABLE state. */
720  public synchronized boolean isRunnable() {
721    return state == ProcedureState.RUNNABLE;
722  }
723
724  public synchronized boolean isInitializing() {
725    return state == ProcedureState.INITIALIZING;
726  }
727
728  /** Returns true if the procedure has failed. It may or may not have rolled back. */
729  public synchronized boolean isFailed() {
730    return state == ProcedureState.FAILED || state == ProcedureState.ROLLEDBACK;
731  }
732
733  /** Returns true if the procedure is finished successfully. */
734  public synchronized boolean isSuccess() {
735    return state == ProcedureState.SUCCESS && !hasException();
736  }
737
738  /**
739   * @return true if the procedure is finished. The Procedure may be completed successfully or
740   *         rolledback.
741   */
742  public synchronized boolean isFinished() {
743    return isSuccess() || state == ProcedureState.ROLLEDBACK;
744  }
745
746  /** Returns true if the procedure is waiting for a child to finish or for an external event. */
747  public synchronized boolean isWaiting() {
748    switch (state) {
749      case WAITING:
750      case WAITING_TIMEOUT:
751        return true;
752      default:
753        break;
754    }
755    return false;
756  }
757
758  protected synchronized void setState(final ProcedureState state) {
759    this.state = state;
760    updateTimestamp();
761  }
762
763  public synchronized ProcedureState getState() {
764    return state;
765  }
766
767  protected void setFailure(final String source, final Throwable cause) {
768    setFailure(new RemoteProcedureException(source, cause));
769  }
770
771  protected synchronized void setFailure(final RemoteProcedureException exception) {
772    this.exception = exception;
773    if (!isFinished()) {
774      setState(ProcedureState.FAILED);
775    }
776  }
777
778  protected void setAbortFailure(final String source, final String msg) {
779    setFailure(source, new ProcedureAbortedException(msg));
780  }
781
782  /**
783   * Called by the ProcedureExecutor when the timeout set by setTimeout() is expired.
784   * <p/>
785   * Another usage for this method is to implement retrying. A procedure can set the state to
786   * {@code WAITING_TIMEOUT} by calling {@code setState} method, and throw a
787   * {@link ProcedureSuspendedException} to halt the execution of the procedure, and do not forget a
788   * call {@link #setTimeout(int)} method to set the timeout. And you should also override this
789   * method to wake up the procedure, and also return false to tell the ProcedureExecutor that the
790   * timeout event has been handled.
791   * @return true to let the framework handle the timeout as abort, false in case the procedure
792   *         handled the timeout itself.
793   */
794  protected synchronized boolean setTimeoutFailure(TEnvironment env) {
795    if (state == ProcedureState.WAITING_TIMEOUT) {
796      long timeDiff = EnvironmentEdgeManager.currentTime() - lastUpdate;
797      setFailure("ProcedureExecutor",
798        new TimeoutIOException("Operation timed out after " + StringUtils.humanTimeDiff(timeDiff)));
799      return true;
800    }
801    return false;
802  }
803
804  public synchronized boolean hasException() {
805    return exception != null;
806  }
807
808  public synchronized RemoteProcedureException getException() {
809    return exception;
810  }
811
812  /**
813   * Called by the ProcedureExecutor on procedure-load to restore the latch state
814   */
815  protected synchronized void setChildrenLatch(int numChildren) {
816    this.childrenLatch = numChildren;
817    if (LOG.isTraceEnabled()) {
818      LOG.trace("CHILD LATCH INCREMENT SET " + this.childrenLatch, new Throwable(this.toString()));
819    }
820  }
821
822  /**
823   * Called by the ProcedureExecutor on procedure-load to restore the latch state
824   */
825  protected synchronized void incChildrenLatch() {
826    // TODO: can this be inferred from the stack? I think so...
827    this.childrenLatch++;
828    if (LOG.isTraceEnabled()) {
829      LOG.trace("CHILD LATCH INCREMENT " + this.childrenLatch, new Throwable(this.toString()));
830    }
831  }
832
833  /**
834   * Called by the ProcedureExecutor to notify that one of the sub-procedures has completed.
835   */
836  private synchronized boolean childrenCountDown() {
837    assert childrenLatch > 0 : this;
838    boolean b = --childrenLatch == 0;
839    if (LOG.isTraceEnabled()) {
840      LOG.trace("CHILD LATCH DECREMENT " + childrenLatch, new Throwable(this.toString()));
841    }
842    return b;
843  }
844
845  /**
846   * Try to set this procedure into RUNNABLE state. Succeeds if all subprocedures/children are done.
847   * @return True if we were able to move procedure to RUNNABLE state.
848   */
849  synchronized boolean tryRunnable() {
850    // Don't use isWaiting in the below; it returns true for WAITING and WAITING_TIMEOUT
851    if (getState() == ProcedureState.WAITING && childrenCountDown()) {
852      setState(ProcedureState.RUNNABLE);
853      return true;
854    } else {
855      return false;
856    }
857  }
858
859  protected synchronized boolean hasChildren() {
860    return childrenLatch > 0;
861  }
862
863  protected synchronized int getChildrenLatch() {
864    return childrenLatch;
865  }
866
867  /**
868   * Called by the RootProcedureState on procedure execution. Each procedure store its stack-index
869   * positions.
870   */
871  protected synchronized void addStackIndex(final int index) {
872    if (stackIndexes == null) {
873      stackIndexes = new int[] { index };
874    } else {
875      int count = stackIndexes.length;
876      stackIndexes = Arrays.copyOf(stackIndexes, count + 1);
877      stackIndexes[count] = index;
878    }
879    wasExecuted = true;
880  }
881
882  protected synchronized boolean removeStackIndex() {
883    if (stackIndexes != null && stackIndexes.length > 1) {
884      stackIndexes = Arrays.copyOf(stackIndexes, stackIndexes.length - 1);
885      return false;
886    } else {
887      stackIndexes = null;
888      return true;
889    }
890  }
891
892  /**
893   * Called on store load to initialize the Procedure internals after the creation/deserialization.
894   */
895  protected synchronized void setStackIndexes(final List<Integer> stackIndexes) {
896    this.stackIndexes = new int[stackIndexes.size()];
897    for (int i = 0; i < this.stackIndexes.length; ++i) {
898      this.stackIndexes[i] = stackIndexes.get(i);
899    }
900    // for backward compatible, where a procedure is serialized before we added the executed flag,
901    // the flag will be false so we need to set the wasExecuted flag here
902    this.wasExecuted = true;
903  }
904
905  protected synchronized void setExecuted() {
906    this.wasExecuted = true;
907  }
908
909  protected synchronized boolean wasExecuted() {
910    return wasExecuted;
911  }
912
913  protected synchronized int[] getStackIndexes() {
914    return stackIndexes;
915  }
916
917  /**
918   * Return whether the procedure supports rollback. If the procedure does not support rollback, we
919   * can skip the rollback state management which could increase the performance. See HBASE-28210
920   * and HBASE-28212.
921   */
922  protected boolean isRollbackSupported() {
923    return true;
924  }
925
926  // ==========================================================================
927  // Internal methods - called by the ProcedureExecutor
928  // ==========================================================================
929
930  /**
931   * Internal method called by the ProcedureExecutor that starts the user-level code execute().
932   * @throws ProcedureSuspendedException This is used when procedure wants to halt processing and
933   *                                     skip out without changing states or releasing any locks
934   *                                     held.
935   */
936  protected Procedure<TEnvironment>[] doExecute(TEnvironment env)
937    throws ProcedureYieldException, ProcedureSuspendedException, InterruptedException {
938    try {
939      updateTimestamp();
940      if (bypass) {
941        LOG.info("{} bypassed, returning null to finish it", this);
942        return null;
943      }
944      return execute(env);
945    } finally {
946      updateTimestamp();
947    }
948  }
949
950  /**
951   * Internal method called by the ProcedureExecutor that starts the user-level code rollback().
952   */
953  protected void doRollback(TEnvironment env) throws IOException, InterruptedException {
954    try {
955      updateTimestamp();
956      if (bypass) {
957        LOG.info("{} bypassed, skipping rollback", this);
958        return;
959      }
960      rollback(env);
961    } finally {
962      updateTimestamp();
963    }
964  }
965
966  final void restoreLock(TEnvironment env) {
967    if (!lockedWhenLoading) {
968      LOG.debug("{} didn't hold the lock before restarting, skip acquiring lock.", this);
969      return;
970    }
971
972    if (isFinished()) {
973      LOG.debug("{} is already finished, skip acquiring lock.", this);
974      return;
975    }
976
977    if (isBypass()) {
978      LOG.debug("{} is already bypassed, skip acquiring lock.", this);
979      return;
980    }
981    // this can happen if the parent stores the sub procedures but before it can
982    // release its lock, the master restarts
983    if (getState() == ProcedureState.WAITING && !holdLock(env)) {
984      LOG.debug("{} is in WAITING STATE, and holdLock=false, skip acquiring lock.", this);
985      lockedWhenLoading = false;
986      return;
987    }
988    LOG.debug("{} held the lock before restarting, call acquireLock to restore it.", this);
989    LockState state = acquireLock(env);
990    assert state == LockState.LOCK_ACQUIRED;
991  }
992
993  /**
994   * Internal method called by the ProcedureExecutor that starts the user-level code acquireLock().
995   */
996  final LockState doAcquireLock(TEnvironment env, ProcedureStore store) {
997    if (waitInitialized(env)) {
998      return LockState.LOCK_EVENT_WAIT;
999    }
1000    if (lockedWhenLoading) {
1001      // reset it so we will not consider it anymore
1002      lockedWhenLoading = false;
1003      locked = true;
1004      // Here we return without persist the locked state, as lockedWhenLoading is true means
1005      // that the locked field of the procedure stored in procedure store is true, so we do not need
1006      // to store it again.
1007      return LockState.LOCK_ACQUIRED;
1008    }
1009    LockState state = acquireLock(env);
1010    if (state == LockState.LOCK_ACQUIRED) {
1011      locked = true;
1012      // persist that we have held the lock. This must be done before we actually execute the
1013      // procedure, otherwise when restarting, we may consider the procedure does not have a lock,
1014      // but it may have already done some changes as we have already executed it, and if another
1015      // procedure gets the lock, then the semantic will be broken if the holdLock is true, as we do
1016      // not expect that another procedure can be executed in the middle.
1017      store.update(this);
1018    }
1019    return state;
1020  }
1021
1022  /**
1023   * Internal method called by the ProcedureExecutor that starts the user-level code releaseLock().
1024   */
1025  final void doReleaseLock(TEnvironment env, ProcedureStore store) {
1026    locked = false;
1027    // persist that we have released the lock. This must be done before we actually release the
1028    // lock. Another procedure may take this lock immediately after we release the lock, and if we
1029    // crash before persist the information that we have already released the lock, then when
1030    // restarting there will be two procedures which both have the lock and cause problems.
1031    if (getState() != ProcedureState.ROLLEDBACK) {
1032      // If the state is ROLLEDBACK, it means that we have already deleted the procedure from
1033      // procedure store, so do not need to log the release operation any more.
1034      store.update(this);
1035    }
1036    releaseLock(env);
1037  }
1038
1039  protected final ProcedureSuspendedException suspend(int timeoutMillis, boolean jitter)
1040    throws ProcedureSuspendedException {
1041    if (jitter) {
1042      // 10% possible jitter
1043      double add = (double) timeoutMillis * ThreadLocalRandom.current().nextDouble(0.1);
1044      timeoutMillis += add;
1045    }
1046    setTimeout(timeoutMillis);
1047    setState(ProcedureProtos.ProcedureState.WAITING_TIMEOUT);
1048    skipPersistence();
1049    throw new ProcedureSuspendedException();
1050  }
1051
1052  @Override
1053  public int compareTo(final Procedure<TEnvironment> other) {
1054    return Long.compare(getProcId(), other.getProcId());
1055  }
1056
1057  // ==========================================================================
1058  // misc utils
1059  // ==========================================================================
1060
1061  /**
1062   * Get an hashcode for the specified Procedure ID
1063   * @return the hashcode for the specified procId
1064   */
1065  public static long getProcIdHashCode(long procId) {
1066    long h = procId;
1067    h ^= h >> 16;
1068    h *= 0x85ebca6b;
1069    h ^= h >> 13;
1070    h *= 0xc2b2ae35;
1071    h ^= h >> 16;
1072    return h;
1073  }
1074
1075  /**
1076   * Helper to lookup the root Procedure ID given a specified procedure.
1077   */
1078  protected static <T> Long getRootProcedureId(Map<Long, Procedure<T>> procedures,
1079    Procedure<T> proc) {
1080    while (proc.hasParent()) {
1081      proc = procedures.get(proc.getParentProcId());
1082      if (proc == null) {
1083        return null;
1084      }
1085    }
1086    return proc.getProcId();
1087  }
1088
1089  /**
1090   * @param a the first procedure to be compared.
1091   * @param b the second procedure to be compared.
1092   * @return true if the two procedures have the same parent
1093   */
1094  public static boolean haveSameParent(Procedure<?> a, Procedure<?> b) {
1095    return a.hasParent() && b.hasParent() && (a.getParentProcId() == b.getParentProcId());
1096  }
1097}