Speculative execution in a distributed file system

Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through interprocess communication. It guarantees correct execution by preventing speculative processes from externalizing output, e.g., sending a network message or writing to the screen, until the speculations on which that output depends have proven to be correct. Speculator improves the performance of distributed file systems by masking I/O latency and increasing I/O throughput. Rather than block during a remote operation, a file system predicts the operation’s result, then uses Speculator to checkpoint the state of the calling process and speculatively continue its execution based on the predicted result. If the prediction is correct, the checkpoint is discarded; if it is incorrect, the calling process is restored to the checkpoint, and the operation is retried. We have modified the client, server, and network ...

• Type: Conference
• Year: 2005
• Where: SOSP
• Authors: Edmund B. Nightingale, Peter M. Chen, Jason Flinn
• Keywords: Correct Execution, Distributed file Systems, Operating System, SOSP 2005, Speculator Provides Linux