spawn(s), spawn(p), send( 1), send( 2)) ,
spawn(s), spawn(p), send( 1), send( 2)), let S = spawn(server/0 ,
send( 1), send( 2)), let P = spawn ,
send( 1), send( 2)), let P = spawn(proxy/0, [ ]) in apply client/2 (P, s) | s, (rec( 2)), receive ,
)), apply client/2 (p, s) | s, (rec( 2)), receive, | p, (rec ,
, , p.40
, | s, (rec( 2)), receive . . . | p, (rec( 1), send
,
, | s, (rec( 2)), receive . . . | p, (rec( 1), send
, 1})}; c, (send( 2)), let Y = s ! 2 in . . . | s, (rec( 2)), receive
,
, 1})}; c, (send( 2)), let Y = s ! 2 in . . . | s, (rec( 2)), receive
send( 3)), receive ,
)), let Y = s ! 2 in . . . | s, (rec( 2)), receive ,
,
)), let Y = s ! 2 in . . . | s, (rec( 2)), receive ,
, (c, s, {2, 2})}; c, (), receive . . . | s, (rec( 2)), receive
,
Efficient and deterministic record & replay for actor languages, Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018. ,
, Reversible debugging software -quantify the time and cost saved using reversible debuggers, 2012.
, , 2004.
Deterministic replay: A survey, ACM Comput. Surv, vol.48, issue.2, p.47, 2015. ,
, Frequently Asked Questions about Erlang, 2018.
Causal-consistent reversible debugging, Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, vol.8411, pp.370-384, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089270
Causal-consistent rollback in a tuple-based language, J. Log. Algebr. Meth. Program, vol.88, pp.99-120, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01633260
LEAP: lightweight deterministic multi-processor replay of concurrent java programs, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.385-386, 2010. ,
Debugging concurrent software: Advances and challenges, J. Comput. Sci. Technol, vol.31, issue.5, pp.861-868, 2016. ,
CARE: cache guided deterministic replay for concurrent java programs, 36th International Conference on Software Engineering, ICSE '14, pp.457-467, 2014. ,
Time, clocks, and the ordering of events in a distributed system, Commun. ACM, vol.21, issue.7, pp.558-565, 1978. ,
Controlling reversibility in higher-order pi, Proceedings of the 22nd International Conference on Concurrency Theory, vol.6901, pp.297-311, 2011. ,
CauDEr: A Causal-Consistent Reversible Debugger for Erlang (system description), Proceedings of the 14th International Symposium on Functional and Logic Programming (FLOPS'18), vol.10818, pp.247-263, 2018. ,
CauDEr website, 2018. ,
A theory of reversibility for Erlang, Journal of Logical and Algebraic Methods in Programming, vol.100, pp.71-97, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912856
CauDEr, Causal-consistent Reversible Replay Debugger ,
Causal-consistent replay debugging for message passing programs, DSIC, Universitat Politècnica de València, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02313745
Debugging parallel programs with instant replay, IEEE Trans. Computers, vol.36, issue.4, pp.471-482, 1987. ,
Parallel program debugging based on data-replay, Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, pp.151-156, 2005. ,
Petri Nets: Central Models and Their Properties, Advances in Petri Nets, Part II, Proceedings of an Advanced Course, vol.255, pp.279-324, 1986. ,
Optimal tracing and replay for debugging messagepassing parallel programs, The Journal of Supercomputing, vol.8, issue.4, pp.371-388, 1995. ,
A reversible semantics for Erlang, Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), vol.10184, pp.259-274, 2017. ,
Causally consistent dynamic slicing, :15. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.59, pp.1-18, 2016. ,
Increasing software development productivity with reversible debugging, 2014. ,
The free lunch is over: A fundamental turn toward concurrency in software, Dr. Dobb's Journal, vol.30, issue.3, 2005. ,
A unified semantics for future Erlang, 9th ACM SIGPLAN workshop on Erlang, pp.23-32, 2010. ,
Doubleplay: Parallelizing sequential logging and replay, ACM Trans. Comput. Syst, vol.30, issue.1, p.24, 2012. ,