aboutsummaryrefslogtreecommitdiff
path: root/randomp.py
diff options
context:
space:
mode:
authorpacien2018-05-01 15:55:45 +0200
committerpacien2018-05-01 15:55:45 +0200
commit05216a4ad06e4617838afcd4dc7317a203a3887b (patch)
tree0c0ff8367b61989eb96b29071f13ece2bae8c760 /randomp.py
parentd2fec4901d6520e866481d4696d8347aab3eb171 (diff)
downloadmempager-simulator-05216a4ad06e4617838afcd4dc7317a203a3887b.tar.gz
Reformat code
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