Ad hoc hypothesisIn science and philosophy, an ad hoc hypothesis is a hypothesis added to a theory in order to save it from being falsified. Often, ad hoc hypothesizing is employed to compensate for anomalies not anticipated by the theory in its unmodified form. Scientists are often skeptical of theories that rely on frequent, unsupported adjustments to sustain them. This is because, if a theorist so chooses, there is no limit to the number of ad hoc hypotheses that they could add. Thus the theory becomes more and more complex, but is never falsified.
Covenant (law)A covenant, in its most general sense and historical sense, is a solemn promise to engage in or refrain from a specified action. Under historical English common law, a covenant was distinguished from an ordinary contract by the presence of a seal. Because the presence of a seal indicated an unusual solemnity in the promises made in a covenant, the common law would enforce a covenant even in the absence of consideration. In United States contract law, an implied covenant of good faith is presumed.
Exponential backoffExponential backoff is an algorithm that uses feedback to multiplicatively decrease the rate of some process, in order to gradually find an acceptable rate. These algorithms find usage in a wide range of systems and processes, with radio networks and computer networks being particularly notable. An exponential backoff algorithm is a form of closed-loop control system that reduces the rate of a controlled process in response to adverse events.
SpinlockIn software engineering, a spinlock is a lock that causes a thread trying to acquire it to simply wait in a loop ("spin") while repeatedly checking whether the lock is available. Since the thread remains active but is not performing a useful task, the use of such a lock is a kind of busy waiting. Once acquired, spinlocks will usually be held until they are explicitly released, although in some implementations they may be automatically released if the thread being waited on (the one that holds the lock) blocks or "goes to sleep".
