Bibliography

  • [1] H. Boehm (2005) Threads cannot be implemented as a library. ACM PLDI Conference. Cited by: §6.7.
  • [2] E. Dijkstra (1965) Cooperating sequential processes. Note: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD123.html Cited by: §7.5.
  • [3] M. Herlihy and N. Shavit (2012) The art of multiprocessor programming, revised reprint. Cited by: §6.9.
  • [4] B. W. KernighanD. M. Ritchie (Ed.) (1988) The c programming language. 2nd edition, Prentice Hall Professional Technical Reference. External Links: ISBN 0131103709 Cited by: §1.1, Foreword and acknowledgments.
  • [5] G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood (2009) SeL4: formal verification of an OS kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, pp. 207–220. Cited by: §2.3.
  • [6] D. Knuth (1997) Fundamental algorithms. the art of computer programming. (second ed.). Vol. 1, Addison-Wesley. External Links: ISBN 0-201-89683-4 Cited by: §3.9.
  • [7] L. Lamport (1974) A new solution of dijkstra’s concurrent programming problem. Communications of the ACM. Cited by: §6.9.
  • [8] Linux common vulnerabilities and exposures (CVEs). Note: https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=linux Cited by: §2.7.
  • [9] J. Lions (2000) Commentary on unix 6th edition. Peer to Peer Communications. External Links: ISBN 1-57398-013-7 Cited by: Foreword and acknowledgments.
  • [10] P. E. Mckenney, S. Boyd-wickizer, and J. Walpole (2013) RCU usage in the linux kernel: one decade later. Cited by: §6.9.
  • [11] M. Michael and D. Durich (1987) The NS16550A: UART design and application considerations. Note: http://bitsavers.trailing-edge.com/components/national/_appNotes/AN-0491.pdf Cited by: §5.1.
  • [12] A. One Smashing the stack for fun and profit. Note: http://phrack.org/issues/49/14.html#article Cited by: §3.6.
  • [13] D. Patterson and A. Waterman (2017) The RISC-V reader: an open architecture atlas. Strawberry Canyon. External Links: ISBN 099924910X, 9780999249109 Cited by: Chapter 2, Foreword and acknowledgments.
  • [14] D. Presotto, R. Pike, K. Thompson, and H. Trickey (1991) Plan 9, a distributed system. In In Proceedings of the Spring 1991 EurOpen Conference, pp. 43–50. Cited by: §1.5.
  • [15] D. M. Ritchie and K. Thompson (1974-07) The UNIX time-sharing system. Commun. ACM 17 (7), pp. 365–375. External Links: Link, Document Cited by: Chapter 1, Foreword and acknowledgments.
  • [16] A. Waterman, K. Asanovic, and J. Hauser (Eds.) (2024) The RISC-V instruction set manual Volume II: privileged specification. Note: https://drive.google.com/file/d/1uviu1nH-tScFfgrovvFCrj7Omv8tFtkp/view?usp=drive_link Cited by: Chapter 2, §3.1, §3.3, §4.1, §5.1.
  • [17] A. Waterman and K. Asanovic (Eds.) (2024) The RISC-V instruction set manual Volume I: unprivileged specification ISA. Note: https://drive.google.com/file/d/17GeetSnT5wW3xNuAHI95-SI1gPGd5sJ_/view?usp=drive_link Cited by: Chapter 2, §6.7.