Commit Heresy: Stop Using “Contingency”

The Infinity Heresy

Of course, before an unending number of objections start pouring in to my bottomless email box, I need to clarify this brazen claim. After all, humans have been grappling with the concept of infinity for many millennia and mathematicians seem to have (at least in the last 150 years or so) finally tamed it. First, building on the work of Euler, Cauchy and Weierstrass, we now have the ability to ...

Constructing Atomic Commit Protocols Using Knowledge

use logic of process knowledge as a tool to (1) tomic commit problem, to (2) analyze at a rather correct atomic commit protocols that are in use and construction of atomic commit protocols. This e formal definitions are introduced and used in the for people not familiar with logic of process rotocols. ment in supporting global atomicity of distributed (2PC) is the de facto standard atomic commi...

Verifying Commit-Atomicity Using Model-Checking

The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing that every interleaved execution reduces to an equivalent serial execution (in which the actions of each atomic procedure are not interleaved with actions of other threads). However, experiments with these tools have ...

Performance Oriented Prefetching Enhancements Using Commit Stalls

Loads that miss in L1 or L2 caches, and are waiting for their data at the head of the ROB, cause significant slow down in the form of commit stalls. We identify that most of these commit stalls are caused by a small set of loads, referred to as LIMCOS (Loads Incurring Majority of COmmit Stalls). We propose simple history-based classifiers that track commit stalls suffered by loads to help us id...

TO COMMIT or NOT TO COMMIT ?