A notional machine for Kojo
- Is an idealized abstraction of computer hardware and other aspects of a program’s runtime environment.
- Allows a conceptually accurate description of what a program does when executed.
The goal of a notional machine is to help you to understand, create, and debug computer programs.
Here is a notional machine for Kojo:
- Running programs live in memory, which is divided between a code area, a heap, and a call stack.
- The code area is where the code for a program is loaded.
- The heap is where the data for a program is created and lives.
- The call stack is where local variables and named values, command/function inputs/parameters (which are like named values), and command/function outputs/return-values live.
- Every piece of data is an object. The object contains the data, information on the type of the data, and a reference to the code that works with this type of data. The code is a bunch of commands and functions, which are called the methods of the object. A piece of data is also informally called a value.
- A val is constant reference to a value. You can think of it as a unchangeable binding of a name to a value.
- A var is a reference to a value. You can think of it as a changeable binding of a name to a value. This binding can be changed to a different value at a different point in your program.
- A piece of data can be made out of other pieces of data or it can be atomic. Atomic data just contains its value. Non-atomic data contains vals/vars that reference its different parts.
- Some types of data are never modified after they are created, e.g., Boolean, Int, Double, String, Seq, List, etc. These are called immutable data types. They are either atomic or built out of vals.
- Other types of data can be modified after they are created, e.g., ArrayBuffer, HashMap, HashSet, etc. These are called mutable data types. They are built out of vars.
- When code is loaded into memory, Kojo converts it to a sequence of instructions that are stored in the code area.
- Code can be treated as data by putting it in an object. This is why it’s possible to assign commands/functions to vals/vars and pass them as inputs/parameters to other commands/functions.
- When code is executed, Kojo steps through the instructions in the code, doing what each one tells it to do in turn.
- Some instructions make Kojo read data (queries), do calculations and create new data (functions), and carry out actions (commands). Other instructions control what instructions Kojo executes (these are mostly keyword instructions), which is how looping and selection works.
- The calling of any command or function happens via a call/return.
- When a command or function is called, Kojo creates a new stack frame and adds it to the call stack. The inputs/parameters to the command/function are supplied via this stack frame.
- When a method is called on an object via the dot notation, the object is considered to be a input/parameter to the method.
- Each stack frame stores the val/var names created inside the command/function, and references to the data corresponding to the names. Command/Function inputs/parameters are just vals in the stack frame.
- When a val/var is used, Kojo looks for it in the current stack frame. If it isn’t there, Kojo looks for it in the top-level (global) frame.
- When a command or function finishes, Kojo erases its stack frame from the call stack, jumps back (returns) to the instructions it was executing before the command/function call, and carrries on with the next instruction after the call.
- A function returns a value (which is the result of its computation/calculation) to the next instruction - by copying the value from its stack frame to the stack frame of its caller. It’s the responsibility of the next instruction to use this value appropriately (otherwise the value will remain unused in the program).
- A command returns the unit value
()to the next instruction (also by copying the value from its stack frame to the stack frame of its caller). The unit value
()specifies no information. If there isn’t a next instruction, the program finishes.
Copyright © Kogics Foundation