TY - GEN
T1 - On the Cost of Recomputing: Tight Bounds on pebbling with Faults
AU - Aumann, Y.
AU - Bar Ilan, J.
AU - Feige, U.
N1 - Place of conference:Jerusalem, Israel
PY - 1994
Y1 - 1994
N2 - We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the “pebbling game” model. We extend this model to the faulty case, where the content of memory cells may be erased. The model captures notions such as “check points” (keeping multiple copies of intermediate results), and “recovery” (partial recomputing in the case of failure). Using this model, we derive tight bounds on the time and/or space overhead inflicted by faults. As a lower bound, we exhibit cases where f worst-case faults may necessitate an Ω(f) multiplicative overhead in computation resources (time, space, or their product). The lower bound holds regardless of the computing and recomputing strategy employed. A matching upper-bound algorithm establishes that an O(f) multiplicative overhead always suffices. For the special class of tree computations, we show that faults can be handled with an O(f) additive factor in memory, and only a constant multiplicative overhead in time.
AB - We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the “pebbling game” model. We extend this model to the faulty case, where the content of memory cells may be erased. The model captures notions such as “check points” (keeping multiple copies of intermediate results), and “recovery” (partial recomputing in the case of failure). Using this model, we derive tight bounds on the time and/or space overhead inflicted by faults. As a lower bound, we exhibit cases where f worst-case faults may necessitate an Ω(f) multiplicative overhead in computation resources (time, space, or their product). The lower bound holds regardless of the computing and recomputing strategy employed. A matching upper-bound algorithm establishes that an O(f) multiplicative overhead always suffices. For the special class of tree computations, we show that faults can be handled with an O(f) additive factor in memory, and only a constant multiplicative overhead in time.
UR - http://link.springer.com/chapter/10.1007%2F3-540-58201-0_57
M3 - Conference contribution
BT - 21st International Colloquium, ICALP
A2 - Abiteboul, S.
A2 - Shamir, E.
ER -