Implementing distributed applications is a challenging task. Developers of such systems are confronted with issues like fault-tolerance, efficient synchronization mechanisms, and the correctness of the distributed code. This paper introduces a new programming model based on speculative execution that addresses these issues. Speculations provide distributed atomic rollback and enable optimistic ...

For this symposium to commemorate the accomplishments of Tomonaga and Yukawa, I will talk about their lives and their place in the history of physics. Then I will go on to some reasonable spot and speculations or my view of what physics is doing at this moment. I discuss my view of physics or kinds of attitudes that I had in doing physics, as well as looking forward to the future of physics and...

World population has grown dramatically since the Industrial Revolution began 250 years ago. Cities are key elements in this growth, but by 2100, we will all be living cities of one size or another. Here speculate what world look like. First, represents a clean break from past composed hardly any to which is completely dominated cities. Second, continue change qualitatively as they get larger l...

Interprocess communication (IPC) is ubiquitous in today’s computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the System V IPC API to support distributed shared memory by using speculations. Speculations provide performance improvements by enabling rollback of overly optimistic speculative executions. The paper describes a speculative tota...

I speculate about the ingredients needed for a theory of the liquid+glass transition. Experimental phenomenology suggests that there is an underlying equilibrium thermodynamic transition. Because of a breakdown of hyperscaling, the free-energy barriers to relaxation diverge at the critical point leading to a Vogel-Fulcher-like divergence of the characteristic relaxation times. The glass is thus...