aboutsummaryrefslogtreecommitdiff
path: root/randomp.py
diff options
context:
space:
mode:
Diffstat (limited to 'randomp.py')
-rw-r--r--randomp.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/randomp.py b/randomp.py
index 48e9abf..065b679 100644
--- a/randomp.py
+++ b/randomp.py
@@ -1,12 +1,13 @@
1#!/usr/bin/env python3 1#!/usr/bin/env python3
2 2
3# UPEM / Programmation système / Projet : Simulation de gestion de mémoire virtuelle
4# Pacien TRAN-GIRARD et Adam NAILI
5 3
6from random import randint 4from random import randint
7from mem import Memory 5from mem import Memory
8from pageexception import PageException 6from pageexception import PageException
9 7
8# UPEM / System programming / Project: Memory paging simulator
9# Pacien TRAN-GIRARD, Adam NAILI
10
10 11
11class RandomPaginator: 12class RandomPaginator:
12 def __init__(self, mem): 13 def __init__(self, mem):
@@ -32,4 +33,3 @@ class RandomPaginator:
32 if page in self.mem.virt: self.mem.remove_virt(page) 33 if page in self.mem.virt: self.mem.remove_virt(page)
33 overwritten = self._put_main(page) 34 overwritten = self._put_main(page)
34 if overwritten is not None: self.mem.put_virt(overwritten) 35 if overwritten is not None: self.mem.put_virt(overwritten)
35