Abstract
This chapter is some kind of summary of Chaps. 6, 7 in terms of implementation of principles described there at the level of the runtime system. Here, we summarize new functions and features of runtime system that simply must be implemented during the design of fault-tolerant and resilient systems. Special attention was given to concurrency monitoring in the presence of potential threats and degradation. While it is clear which part of system software has to deal with this, the whole problem of concurrency never was addressed proper—here we present our attempt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Schagaev I (2008) Reliability of malfunction tolerance. In: Proceedings of 2008 IMCSIT. https://doi.org/10.1109/imcsit.2008.4747323
Schagaev I, Kaegi-Trachsel T, Gutknecht J (2010) ERA: Evolving Reconfigurable Architecture. In: 2010 11th ACIS international conference. https://doi.org/10.1109/snpd.2010.40
Rosenberg AL. Thoughts on parallelism and concurrency in compiling curricula. J ACM Comput Surv (CSUR), NY, USA. https://doi.org/10.1145/210376.210399
Dijkstra E (1965) Solution of a problem in concurrent programming control. Commun ACM 8(9):569
Dijkstra E (1965) Cooperating sequential processes. Techniche Hogeschool, Eindhoven. Reprinted in: Genuys F (ed) (1968) Programming languages. Academic Press, pp 43–112
Kant E (2001) Critic of pure reason. Everyman. ISBN 0 460 87358 X
Castano V, Schagaev I. Resilient computer system design. Springer, Berlin. https://doi.org/10.1007/978-3-319-15069-7
Monkman S, Schagaev I (2013) Redundancy+reconfigurability=recoverability. Electronics 2(3), 212–233. https://doi.org/10.3390/electronics2030212
Author information
Authors and Affiliations
Corresponding author
Appendix: The Main Algebraic Books on Process Algebra Are
Appendix: The Main Algebraic Books on Process Algebra Are
Milner R. (1989): Communication and Concurrency, Prentice Hall
Hoare C.A.R. (1985): Communicating Sequential Processes, Prentice Hall
Hennessy M (1988): Algebraic Theory of Processes, MIT Press
Baeten J.C.M. & Weijland W.P. (1990): Process Algebra, Cambridge University Press.
In turn, applications of the ACP approach explained and well-presented in
R. Milner R. (1990): Operational and algebraic semantics of concurrent processes, in J. van Leeuwen, editor: Handbook of Theoretical Computer Science, Chapter 19, Elsevier Science Publishers B.V. (North-Holland), pp. 1201–1242.
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Schagaev, I., Zouev, E., Thomas, K. (2020). Proposed Runtime System Structure with Support of Resilient Concurrency. In: Software Design for Resilient Computer Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-21244-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-21244-5_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21243-8
Online ISBN: 978-3-030-21244-5
eBook Packages: EngineeringEngineering (R0)