diff options
Diffstat (limited to 'randomp.py')
-rw-r--r-- | randomp.py | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 | ||
6 | from random import randint | 4 | from random import randint |
7 | from mem import Memory | 5 | from mem import Memory |
8 | from pageexception import PageException | 6 | from pageexception import PageException |
9 | 7 | ||
8 | # UPEM / System programming / Project: Memory paging simulator | ||
9 | # Pacien TRAN-GIRARD, Adam NAILI | ||
10 | |||
10 | 11 | ||
11 | class RandomPaginator: | 12 | class 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 | |||