A-level Computing/CIE/Advanced Theory/System software
Purposes of an operating system
Purposes of an Operating System[edit | edit source]
OS Resources[edit | edit source]
The OS manages three main resources: the CPU, the memory, and the input/output (I/O) system. I/O takes a significantly longer time to access, so the OS must balance the use of these resources so that the CPU is not idle when waiting for I/O to take place.
User Interfaces[edit | edit source]
The user interface is how the user interacts with the computer and the OS. There are two main flavours of OS: command line interface (CLI) and graphical user interface (GUI).
Command Line Interface[edit | edit source]
A command line interface is a text-only interface that was common until around the 1990s. In order to use a CLI, the user needed to know the commands that were required to do what they want to be done, which had the disadvantage of being unintuitive.
Graphical User Interface[edit | edit source]
A graphical user interface is a more visual user interface. GUIs typically involve a system of Windows, Icons, Menus, and Pointers. GUIs are generally considered to be more intuitive and user-friendly than CLIs.
Processor Management[edit | edit source]
Processes[edit | edit source]
A process is a program in memory that is currently being executed or is waiting to be executed. Processes are controlled by process control blocks (PCBs).
PCBs keep track of:
- Process ID
- A unique identifier for the process.
- Whether the process is running, ready, or blocked.
- What data, memory, and system functions the process has access to.
- Register states
- The values of each of the registers in the CPU as the process is being executed.
- Whether the process is important enough to have priority in the scheduling algorithm.
- Memory information
- The amount of memory allocated for the process.
- I/O information
- A list of the I/O devices associated with the process.
Threads[edit | edit source]
A thread is a part of a process that is being executed. Processes can be single-threaded or multi-threaded. Multi-threaded processes are typically more efficient to execute, as different threads can run independently.
Threads can be run at the user level or at the kernel level. User-level threads are scheduled at the user level, so the kernel is not involved in thread scheduling. Kernel-level threads are scheduled at the kernel level, which makes it easier to access priveleged system functions.
Scheduling[edit | edit source]
Scheduling is the allocation of time to executing each process in the order that optimises the use of resources. A scheduling algorithm is an algorithm that determines which processes are run in what order.
Each process is in one of three states: ready, running, or blocked. Only one process can be running at a time. New processes always begin in the ready state.
To explain the scheduling algorithms, we will use an example of several processes being run. The first process, A, takes 10 cycles, the second process, B, takes 15 cycles, and the third process, C, takes 5 cycles. B and C arrive after A.
First Come First Served[edit | edit source]
First Come First Served (FCFS) is a scheduling algorithm in which processes are done in the order that they arrived in the Ready queue.
In the example, this would mean process A is done first, process B next, and finally process C
Shortest Job First[edit | edit source]
Shortest Job First (SJF) is a scheduling algorithm which prioritises the shortest job in the queue.
In the example, process A would still go first, because B and C have not arrived, but it will be followed by process C, then process B.
Round Robin[edit | edit source]
A Round Robin algorithm allocates each time slice to processes in a repeating sequential order.
In the example with time slices of length 5 cycles, the time slices would go A, B, C, A, B, B.
Highest Response Ratio Next[edit | edit source]
With the highest response ratio next scheduling algorithm, the OS chooses the process with the highest response ratio. The response ratio is defined by where W is the time the process has been waiting and S is the time the process will take to run.
Priority-based[edit | edit source]
A priority-based scheduling algorithm chooses the next process to be done based on priority criteria. If a process is more important, it will be executed earlier.
Interrupts[edit | edit source]
An interrupt is a signal that is sent to the OS to tell it to stop the current process and focus on a different task.
Interrupts are used to enforce time slices in pre·emptive scheduling algorithms.
Memory Management[edit | edit source]
The OS is not only responsible for determining how processes are to be given time, but also how processes are to be given memory. Thus, the OS needs some kind of method to determine how memory is to be allocated amongst processes.
Dynamic Partitioning[edit | edit source]
Dynamic partitioning is where the main memory is split into contiguous blocks which are exactly the right size for the process. This has the advantage of avoiding internal fragmentation but causes external fragmentation.
Paging[edit | edit source]
Paging is where the OS divides memory into equal-sized pages. Each process uses a certain amount of these pages.
The advantage of paging is that it can be used with virtual memory in order to increase the amount of memory that can be used at a given time. To do so, the main memory is divided into page-sized spaces called page frames. Pages can be loaded from the disk into these page frames. When a process is complete or not being executed, the pages can be loaded back to the disk.
To make sure that pages are being loaded in and out of memory efficiently, a page replacement algorithm needs to be used. A common page replacement algorithm is to put the least recently used page back into disk to make room for new pages.
Segmentation[edit | edit source]
Segmentation is like paging, except the memory is divided into blocks of varying, rather than fixed, size. Each segment is mapped to a section of main memory, similar to how pages are mapped to page frames in a paging system.
Virtual Memory[edit | edit source]
Virtual memory is where paging is used to expand the amount of memory available. In a virtual memory system, pages are loaded in and out of main memory as needed. Pages are given logical addresses which are mapped to page frames using a page map.
The main problem of virtual memory is that it causes disk thrashing. Disk thrashing is where pages are loaded in and out of the disk too often, which may damage the disk.
Virtual Machine[edit | edit source]
A virtual machine is a way of emulating an operating system or process within a different operating system. To do this, the host OS interfaces with the virtual machine, while the user interfaces with the host OS.
Virtual machines are either system virtual machines or process virtual machines. System virtual machines emulate an entire operating system, whereas process virtual machines emulate a program running within a different operating system. Process virtual machines can run inside of system virtual machines.
Translation Software[edit | edit source]
Types of Translation software[edit | edit source]
Compilers[edit | edit source]
A compiler is a program that converts the program source code into an executable file, which can then be distributed.
Interpreters[edit | edit source]
An interpreter is a program which reads the source code line-by-line and executes it without producing an executable file.
Assemblers[edit | edit source]
An assembler is a program which converts assembly code into an executable file.
The translation process[edit | edit source]
Lexical analysis[edit | edit source]
Lexical analysis is the process of breaking the source code into its lexemes. A lexeme is a word or symbol that appears in the program.
x = y + 1 consists of five lexemes:
Lexical analysis also examines what type of token each lexeme is. Tokens can be of the following types:
- A variable, like
- A word that is used to control the program, like
while. Keywords cannot be used as identifiers.
- Symbols that act on the variables, such as
- Literal values that are used in the program, such as
- Symbols that separate one statement from another, such as semicolons or line breaks.
- A note by the programmer that clarifies what the code does. Comments are ignored by the compiler.
The end goal of lexical analysis is to produce a list of tokens which can be parsed in syntax analysis.
e.g. The code
x = y + 1 may be converted by lexical analysis to
[(identifier,x),(operator,=),(identifier,y),(operator,+),(literal,1)]. This array of tokens is then parsed by syntax analysis.
Syntax analysis[edit | edit source]
Syntax analysis is the process of converting the string of tokens from lexical analysis into a parse tree. A parse tree is a data structure which stores the tokens according to the laws of precedence.
The laws of precedence, also called the order of operations, determines what operations in an expression are applied first. For instance, multiplication is applied before addition.
The full order of operations will typically resemble this:
- Function calls, array access, field access
- Unary operators
- Multiplication & Division
- Addition & Subtraction
- Bitwise and, xor, then or
- Logical and, then or
Because operations with a lower precedence are applied later, operations with higher precedence tend to be at the bottom of the parse tree.
Backus-Naur Form (BNF)[edit | edit source]
Backus-Naur Form is a way of expressing the grammar of a programming language. BNF does so using a system of placeholders and alternatives.
Every place holder is defined as consisting of one of several alternatives. The symbol
::= means "is defined as". The symbol
| means "or".
e.g. The following BNF definitions can be constructed based on the syntax diagrams to the right.
<digit> ::= 0|1|2|3|4|5|6|7|8|9 <variable> ::= x|y|z <constant> ::= <digit>|<constant><digit> <factor> ::= <constant>|<variable>|(<expression>) <term> ::= <factor>|<term>*<factor> <expression> ::= <term>|<expression>+<term>
Note that some definitions, such as the definition for
<constant>, are recursive. This is useful as it allows us to create constants that are potentially infinite in length.
The advantage of using BNF as opposed to a syntax diagram is that BNF can be entered into and interpreted by a computer, whereas a syntax diagram can't be interpreted in the same way.
Optimisation[edit | edit source]
Optimisation is the process of making code more efficient. This means removing unnecessary steps and rephrasing complicated expressions.
e.g. The expression
z = x^2 + 2*x*y + y^2 can be simplified to
z = (x+y)^2
Optimisation is typically done in the back-end of the compiler, as it converts the program to assembly code and then an executable file.
Optimisation is beneficial because:
- It reduces the amount of time that the program will take to run.
- It reduces the amount of space that the program will take up in memory.
Reverse Polish Notation (RPN)[edit | edit source]
Reverse Polish Notation is a way of representing expressions such that it is easier to evaluate them with a stack. It is to be contrasted against the more common infix notation.
In infix notation, operands are placed on both sides of an operator, with the operator sandwiched between them. (e.g.
Whereas, in RPN, the operands are written first and the operator is placed at the end. (e.g.
2 2 +)
Converting from Infix notation to RPN with a parse tree[edit | edit source]
To convert an expression, such as
(2+x)^(3-y), to RPN, it can be useful to make a parse tree.
Evaluating RPN using a stack[edit | edit source]
When evaluating an RPN expression with a stack, we need to follow a few rules:
- When we encounter a variable or number, we push its value onto the stack.
- When we encounter an operator, we pop the top values from the stack then apply the operation to them.
- When the evaluation is complete, there should be one item left in the stack, which is the answer.