References

Boehm, Hans-J. 2005. “Threads Cannot Be Implemented as a Library.” ACM PLDI Conference.

Dijkstra, Edsger. 1965. Cooperating Sequential Processes. Https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD123.html.

Herlihy, Maurice, and Nir Shavit. 2012. The Art of Multiprocessor Programming, Revised Reprint. Morgan Kaufmann.

Kernighan, Brian W. 1988. The c Programming Language. 2nd ed. Edited by Dennis M. Ritchie. Prentice Hall Professional Technical Reference.

Klein, Gerwin, Kevin Elphinstone, Gernot Heiser, et al. 2009. “SeL4: Formal Verification of an OS Kernel.” Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, 207–20.

Knuth, Donald. 1997. Fundamental Algorithms. The Art of Computer Programming. (Second Ed.). Vol. 1. Addison-wesley.

Lamport, L. 1974. “A New Solution of Dijkstra’s Concurrent Programming Problem.” Communications of the ACM.

Linux Common Vulnerabilities and Exposures (CVEs). n.d. Https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=linux.

Lions, John. 2000. Commentary on UNIX 6th Edition. Peer to Peer Communications.

Mckenney, Paul E., Silas Boyd-wickizer, and Jonathan Walpole. 2013. RCU Usage in the Linux Kernel: One Decade Later.

Michael, Martin, and Daniel Durich. 1987. The NS16550A: UART Design and Application Considerations. Http://bitsavers.trailing-edge.com/components/national/_appNotes/AN-0491.pdf.

One, Aleph. n.d. Smashing the Stack for Fun and Profit. Http://phrack.org/issues/49/14.html#article.

Patterson, David, and Andrew Waterman. 2017. The RISC-V Reader: An Open Architecture Atlas. Strawberry Canyon.

Presotto, Dave, Rob Pike, Ken Thompson, and Howard Trickey. 1991. “Plan 9, a Distributed System.” In Proceedings of the Spring 1991 EurOpen Conference, 43–50.

Ritchie, Dennis M., and Ken Thompson. 1974. “The UNIX Time-Sharing System.” Commun. ACM 17 (7): 365–75. https://doi.org/10.1145/361011.361061.

Waterman, Andrew, and Krste Asanovic, eds. 2024. The RISC-V Instruction Set Manual Volume I: Unprivileged Specification ISA. Https://drive.google.com/file/d/17GeetSnT5wW3xNuAHI95-SI1gPGd5sJ_/view?usp=drive_link.

Waterman, Andrew, Krste Asanovic, and John Hauser, eds. 2024. The RISC-V Instruction Set Manual Volume II: Privileged Specification. Https://drive.google.com/file/d/1uviu1nH-tScFfgrovvFCrj7Omv8tFtkp/view?usp=drive_link.