2025-03-31 17:19:43 +03:00
|
|
|
#ifndef KERNEL_H
|
|
|
|
|
#define KERNEL_H
|
|
|
|
|
|
|
|
|
|
#include <vector>
|
|
|
|
|
|
|
|
|
|
#include "PhysicalPage.h"
|
|
|
|
|
#include "PageTable.h"
|
|
|
|
|
#include "List.h"
|
|
|
|
|
#include "Process.h"
|
|
|
|
|
|
|
|
|
|
class Kernel {
|
|
|
|
|
public:
|
|
|
|
|
List<PhysicalPage> free_pages, busy_pages;
|
2025-03-31 22:20:01 +03:00
|
|
|
PhysicalPage *swapped_page;
|
2025-03-31 17:19:43 +03:00
|
|
|
std::vector<Process> RunQ;
|
2025-04-01 14:10:01 +03:00
|
|
|
Kernel(unsigned int RunQ_max_length, const List<PhysicalPage> &free_pages, const List<PhysicalPage> &busy_pages);
|
2025-04-01 16:29:33 +03:00
|
|
|
void page_fault(std::vector<PTE> *page_table, unsigned int idx);
|
2025-03-31 17:19:43 +03:00
|
|
|
void stat_update();
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif //KERNEL_H
|
