Petro Lutsyk

A Generic Operating System Kernel

The authors explain physical and virtual machines, including the topics of communicating virtual machines, the concrete kernel, the runvm primitive, simulation of CVM steps, and page fault handling.

Understanding Decimal Addition

In this chapter the authors use decimal addition to introduce important ideas relating to natural numbers, Peano’s axioms and computer arithmetic.

Compiler Consistency Revisited

In this chapter the authors show how to reconstruct a well-formed C0 configuration, they explain garbage collection, and they discuss C0 and assembly.

Some Assembler Programs

In this chapter the authors review some assembler programs, including the topics of MIPS programs and software multiplication and division.

The Language C0

In this chapter the authors introduce language C0, with sections explaining its grammar, declarations, configurations, expression evaluation, statement execution, and proving correctness.

Five Designs of Random Access Memory (RAM)

In this chapter the authors introduce five designs of RAM: basic RAM, read-only memory (ROM), combining RAM and ROM, three-port RAM for general-purpose registers, and SPR-RAM.

Context-Free Grammars

In this chapter the authors introduce context-free grammars, and they explain grammars for expressions.

A C 0-Compiler

In this chapter the authors introduce compiler consistency, translation of expressions, translation of statements, and translation of programs.

Basic Mathematical Concepts

In this chapter the authors introduce basic mathematical concepts, modulo computation, and graphs.

A Basic Sequential MIPS Machine

In this chapter the authors introduce a basic sequential MIPS machine, with sections on tables, MIPS ISA, and a sequential processor design.