DeepSeek V4 Flash CPU/NVMe research fork: 78.62 GiB GGUF validated on 7.7 GiB RAM, CPU-only, using demand paging.
𝗢𝗦 𝗟𝗮𝗯 | 𝗖𝗦𝟯𝟵𝟬𝟬𝟮 | 𝗣𝗿𝗼𝗰𝗲𝘀𝘀, 𝗜𝗣𝗖, 𝗧𝗵𝗿𝗲𝗮𝗱𝘀, 𝗣𝗮𝗴𝗶𝗻𝗴, 𝗙𝗶𝗹𝗲 𝗦𝘆𝘀𝘁𝗲𝗺
Basic operating system concepts in c language.
This is a collection of main algorithms from the operating system concepts book.
This project simulates the process of demand paging in a virtual memory system, including the use of a Translation Lookaside Buffer (TLB) to speed up memory access. The TLB is a small, fast cache that stores recent mappings of virtual memory addresses to physical memory addresses.
This is an extension of Nachos to support multiprogramming using system calls such as Exec, Exit, Read and Write to have processes request services from the kernel. Then it is further extended by a Virtual Memory Manager supported by Demand Paging and Page Replacement procedures.
Implementation of Demand-Paging for Xv6 OS
Operating System with Basic functionality features like File Handling, Process Scheduling, Process Management and Demand Paging and Shell.
A virtual memory simulator implementing demand paging and four page replacement policies (FIFO, LRU, RAND, OPT). It processes input configurations and request sequences, outputting execution time, page faults, and swap usage.
This project implements an ELF loader as a shared/dynamic library for Linux, with page-by-page loading and a demand paging mechanism. The purpose is to run static executables. ~ Project for Operating Systems, Year II
🌟Welcome to Newfangled OS 🚀Unveiling the Newfangled Operating System-a remarkable blend of innovation and security built on the impervious seL4 Microkernel.🛡️Our journey began with dedicated servers and a threaded execution model,including File and Process Management servers, and a robust Interrupt Handling thread.🛠️📊Join us in the revolution.
Kernel Programming: Implemented key OS features such as scheduling, synchronisation and demand paging in the Xinu kernel
Projects implemented on XINU OS. Process Scheduling, Demand Paging, and Concurrency Control.
Operating Systems (COMP 310) Course Project
Gaussian Blurring an image using LRU Demand Paging
Simulador de Paginação lúdico para ensinar conceitos de memória virtual para iniciantes no assunto com Python, Tkinter e Custom Tkinter
This repository contains the exercises for the Operating Systems course taken at ESIME Culhuacán.
Add a system call in Linux Kernel that get physical addresses from virtual addresses
To associate your repository with the demand-paging topic, visit your repo's landing page and select "manage topics."