-
1
-
-
0017996760
-
Time, clocks, and the ordering of events in a distributed system
-
L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Communications of the ACM, vol. 21, no. 7, pp. 558-565, 1978.
-
(1978)
Communications of the ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
2
-
-
0025564050
-
Implementing fault-tolerant services using the state machine approach: A tutorial
-
F. B. Schneider, "Implementing fault-tolerant services using the state machine approach: A tutorial," ACM Computing Surveys, vol. 22, no. 4, pp. 299-319, 1990.
-
(1990)
ACM Computing Surveys
, vol.22
, Issue.4
, pp. 299-319
-
-
Schneider, F.B.1
-
3
-
-
84889665331
-
Eve: Execute-verify replication for multi-core servers
-
M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, and M. Dahlin, "Eve: Execute-verify replication for multi-core servers," in OSDI, 2012.
-
(2012)
OSDI
-
-
Kapritsos, M.1
Wang, Y.2
Quema, V.3
Clement, A.4
Alvisi, L.5
Dahlin, M.6
-
4
-
-
4544373717
-
High throughput byzantine fault tolerance
-
R. Kotla and M. Dahlin, "High throughput byzantine fault tolerance," in DSN, 2004.
-
(2004)
DSN
-
-
Kotla, R.1
Dahlin, M.2
-
5
-
-
0030102105
-
Unreliable failure detectors for reliable distributed systems
-
T. D. Chandra and S. Toueg, "Unreliable failure detectors for reliable distributed systems," J. ACM, vol. 43, no. 2, pp. 225-267, 1996.
-
(1996)
J. ACM
, vol.43
, Issue.2
, pp. 225-267
-
-
Chandra, T.D.1
Toueg, S.2
-
8
-
-
84976783312
-
Implementing remote procedure calls
-
A. D. Birrell and B. J. Nelson, "Implementing remote procedure calls," ACM Transactions on Computer Systems, vol. 2, no. 1, pp. 39-59, 1984.
-
(1984)
ACM Transactions on Computer Systems
, vol.2
, Issue.1
, pp. 39-59
-
-
Birrell, A.D.1
Nelson, B.J.2
-
10
-
-
79953080446
-
Efficient system-enforced deterministic parallelism
-
A. Aviram, S.-C. Weng, S. Hu, and B. Ford, "Efficient system-enforced deterministic parallelism," in OSDI, 2010.
-
(2010)
OSDI
-
-
Aviram, A.1
Weng, S.-C.2
Hu, S.3
Ford, B.4
-
11
-
-
79953100435
-
Deterministic process groups in dos
-
T. Bergan, N. Hunt, L. Ceze, and S. D. Gribble, "Deterministic process groups in dos," in OSDI, 2010.
-
(2010)
OSDI
-
-
Bergan, T.1
Hunt, N.2
Ceze, L.3
Gribble, S.D.4
-
12
-
-
67650035136
-
DMP: Deterministic shared memory multiprocessing
-
J. Devietti, B. Lucia, L. Ceze, and M. Oskin, "DMP: deterministic shared memory multiprocessing," in ASPLOS, 2009.
-
(2009)
ASPLOS
-
-
Devietti, J.1
Lucia, B.2
Ceze, L.3
Oskin, M.4
-
13
-
-
79959981273
-
The case for determinism in database systems
-
Sept.
-
A. Thomson and D. J. Abadi, "The case for determinism in database systems," Proc. VLDB Endow., vol. 3, pp. 70-80, Sept. 2010.
-
(2010)
Proc. VLDB Endow.
, vol.3
, pp. 70-80
-
-
Thomson, A.1
Abadi, D.J.2
-
14
-
-
72249094336
-
ODR: Output-deterministic replay for multicore debugging
-
G. Altekar and I. Stoica, "ODR: output-deterministic replay for multicore debugging," in SOSP, 2009.
-
(2009)
SOSP
-
-
Altekar, G.1
Stoica, I.2
-
15
-
-
77952406152
-
Execution replay of multiprocessor virtual machines
-
G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen, "Execution replay of multiprocessor virtual machines," in VEE, 2008.
-
(2008)
VEE
-
-
Dunlap, G.W.1
Lucchetti, D.G.2
Fetterman, M.A.3
Chen, P.M.4
-
16
-
-
52649147142
-
Delorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently
-
P. Montesinos, L. Ceze, and J. Torrellas, "Delorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently," in ISCA, 2008.
-
(2008)
ISCA
-
-
Montesinos, P.1
Ceze, L.2
Torrellas, J.3
-
17
-
-
72249098984
-
PRES: Probabilistic replay with execution sketching on multiprocessors
-
S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H. Lee, and S. Lu, "PRES: probabilistic replay with execution sketching on multiprocessors," in SOSP, 2009.
-
(2009)
SOSP
-
-
Park, S.1
Zhou, Y.2
Xiong, W.3
Yin, Z.4
Kaushik, R.5
Lee, K.H.6
Lu, S.7
-
18
-
-
0001641893
-
Recplay: A fully integrated practical record/replay system
-
May
-
M. Ronsse and K. De Bosschere, "Recplay: a fully integrated practical record/replay system," ACM Trans. Comput. Syst., vol. 17, pp. 133-152, May 1999.
-
(1999)
ACM Trans. Comput. Syst.
, vol.17
, pp. 133-152
-
-
Ronsse, M.1
De Bosschere, K.2
-
19
-
-
79953114923
-
DoublePlay: Parallelizing sequential logging and replay
-
Mar.
-
K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy, "DoublePlay: parallelizing sequential logging and replay," SIGPLAN Not., vol. 47, pp. 15-26, Mar. 2011.
-
(2011)
SIGPLAN Not
, vol.47
, pp. 15-26
-
-
Veeraraghavan, K.1
Lee, D.2
Wester, B.3
Ouyang, J.4
Chen, P.M.5
Flinn, J.6
Narayanasamy, S.7
-
20
-
-
0038684791
-
A flight data recorder" for enabling full-system multiprocessor deterministic replay
-
M. Xu, R. Bodik, and M. D. Hill, "A "flight data recorder" for enabling full-system multiprocessor deterministic replay," in ISCA, 2003.
-
(2003)
ISCA
-
-
Xu, M.1
Bodik, R.2
Hill, M.D.3
-
21
-
-
84907755053
-
Achieving high-throughput state machine replication in multi-core systems
-
N. Santos and A. Schiper, "Achieving high-throughput state machine replication in multi-core systems," Tech. Rep., EPFL, 2011.
-
(2011)
Tech. Rep., EPFL
-
-
Santos, N.1
Schiper, A.2
-
22
-
-
0009373068
-
Thrifty generic broadcast
-
M. K. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg, "Thrifty generic broadcast," in DISC, 2000.
-
(2000)
DISC
-
-
Aguilera, M.K.1
Delporte-Gallet, C.2
Fauconnier, H.3
Toueg, S.4
|