Operating system support for application-specific speculation

Wester, Benjamin; Chen, Peter M.; Flinn, Jason

doi:10.1145/1966445.1966467

Cited by 13 publications

(14 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As with other systems that perform speculation [30,42], Outatime uses checkpoint and restore to play forward a speculative sequence, and roll back the sequence if it turns out to be incorrect. In contrast to these previous systems, our continuous 30fps interactivity performance constraints are qualitatively much more demanding, and we highlight how we have managed these requirements.…”

Section: Fast Checkpoint and Rollbackmentioning

confidence: 99%

“…However, to support speculation, it made many assumptions that would be inappropriate for game development, e.g., processes cannot use heap storage. Outatime is a specific instance of application-specific speculation, defined by Wester et al [42] and applied to the Speculator system. According to the taxonomy of Wester et al, Outatime implements novel application-specific policies for creating speculations, speculative output, and rollback.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Outatime

Lee

Chu

Cuervo

et al. 2015

Proceedings of the 13th Annual International Conference on Mobile Systems, Applications, and Services

Self Cite

145

View full text Add to dashboard Cite

Gaming on phones, tablets and laptops is very popular. Cloud gaming -where remote servers perform game execution and rendering on behalf of thin clients that simply send input and display output frames -promises any device the ability to play any game any time. Unfortunately, the reality is that wide-area network latencies are often prohibitive; cellular, Wi-Fi and even wired residential end host round trip times (RTTs) can exceed 100ms, a threshold above which many gamers tend to deem responsiveness unacceptable.In this paper, we present Outatime, a speculative execution system for mobile cloud gaming that is able to mask up to 120ms of network latency. Outatime renders speculative frames of future possible outcomes, delivering them to the client one entire RTT ahead of time, and recovers quickly from mis-speculations when they occur. Clients perceive little latency. To achieve this, Outatime combines: 1) future state prediction; 2) state approximation with image-based rendering and event time-shifting; 3) fast state checkpoint and rollback; and 4) state compression for bandwidth savings.To evaluate the Outatime speculation system, we use two high quality, commercially-released games: a twitch-based first person shooter, Doom 3, and an action role playing game, Fable 3. Through user studies and performance benchmarks, we find that players strongly prefer Outatime to traditional thin-client gaming where the network RTT is fully visible, and that Outatime successfully mimics playing across a low-latency network.

show abstract

Section: Fast Checkpoint and Rollbackmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Outatime

Lee

Chu

Cuervo

et al. 2015

Proceedings of the 13th Annual International Conference on Mobile Systems, Applications, and Services

Self Cite

145

View full text Add to dashboard Cite

show abstract

“…In the context of Operating Systems supports, the work in [24] proposes an architecture for enabling applications to define program-specific custom policies to carry on speculative execution, e.g. for I/O operations.…”

Section: Related Workmentioning

confidence: 99%

Consistent and efficient output-streams management in optimistic simulation platforms

Antonacci

Pellegrini

Quaglia

2013

Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation

View full text Add to dashboard Cite

Optimistic synchronization is considered an effective means for supporting Parallel Discrete Event Simulations. It relies on a speculative approach, where concurrent processes execute simulation events regardless of their safety, and consistency is ensured via proper rollback mechanisms, upon the a-posteriori detection of causal inconsistencies along the events' execution path. Interactions with the outside world (e.g. generation of output streams) are a well-known problem for rollback-based systems, since the outside world may have no notion of rollback. In this context, approaches for allowing the simulation modeler to generate consistent output rely on either the usage of ad-hoc APIs (which must be provided by the underlying simulation kernel) or temporary suspension of processing activities in order to wait for the final outcome (commit/rollback) associated with a speculatively-produced output. In this paper we present design indications and a reference implementation for an output streams' management subsystem which allows the simulation-model writer to rely on standard output-generation libraries (e.g. stdio) within code blocks associated with event processing. Further, the subsystem ensures that the produced output is consistent, namely associated with events that are eventually committed, and system-wide ordered along the simulation time axis. The above features jointly provide the illusion of a classical (simple to deal with) sequential programming model, which spares the developer from being aware that the simulation program is run concurrently and speculatively. We also show, via an experimental study, how the design/development optimizations we present lead to limited overhead, giving rise to the situation where the simulation run would have been carried out with near-to-zero or reduced output management cost. At the same time, the delay for materializing the output stream (making it available for any type of audit activity) is shown to be fairly limited and constant, especially for good mixtures of I/O-bound vs CPU-bound behaviors at the application level. Further, the whole output streams' management subsystem has been designed in order to provide scalability for I/O management on clusters. © 2013 ACM

show abstract

“…Speculation is used to improve the performance in many systems, such as pipelined processors [29] and operating systems [33]. S 2 E v1.2 [27] uses speculative forking in the concolic execution to generate backtracking points at branches.…”

Section: Related Workmentioning

confidence: 99%

S2pf

Zhang

Chen

Wang

2012

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

Recently, symbolic execution has gained a significant progress in its techniques and applications. However, in practice, scalability is still a key challenge for symbolic execution. In this paper, we present S 2 PF, which improves the scalability of Symbolic PathFinder by integrating speculative symbolic execution with the general heuristic search framework. In addition, two optimizations are proposed to improve the speculative symbolic execution in S 2 PF. Experimental results on six programs show that, S 2 PF can reduce the solver invocations by 36.4% to 48.7% (with an average of 40.3%), and save the search time by 30.6% to 43.5% (with an average of 35%).

show abstract

Operating system support for application-specific speculation

Cited by 13 publications

References 19 publications

Outatime

Outatime

Consistent and efficient output-streams management in optimistic simulation platforms

S2pf

Contact Info

Product

Resources

About