3 # The MIT License (MIT)
5 # Copyright (C) 2015 - Julien Desfossez <jdesfossez@efficios.com>
6 # 2015 - Antoine Busque <abusque@efficios.com>
8 # Permission is hereby granted, free of charge, to any person obtaining a copy
9 # of this software and associated documentation files (the "Software"), to deal
10 # in the Software without restriction, including without limitation the rights
11 # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 # copies of the Software, and to permit persons to whom the Software is
13 # furnished to do so, subject to the following conditions:
15 # The above copyright notice and this permission notice shall be included in
16 # all copies or substantial portions of the Software.
18 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
21 # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
26 from linuxautomaton
import sp
29 class MemStateProvider(sp
.StateProvider
):
30 def __init__(self
, state
):
32 'mm_page_alloc': self
._process
_mm
_page
_alloc
,
33 'mm_page_free': self
._process
_mm
_page
_free
37 self
._register
_cbs
(cbs
)
39 def process_event(self
, ev
):
40 self
._process
_event
_cb
(ev
)
42 def _get_current_proc(self
, event
):
43 cpu_id
= event
['cpu_id']
44 if cpu_id
not in self
._state
.cpus
:
47 cpu
= self
._state
.cpus
[cpu_id
]
48 if cpu
.current_tid
is None:
51 return self
._state
.tids
[cpu
.current_tid
]
53 def _process_mm_page_alloc(self
, event
):
54 self
._state
.mm
.page_count
+= 1
56 # Increment the number of pages allocated during the execution
57 # of all currently syscall io requests
58 for process
in self
._state
.tids
.values():
59 if process
.current_syscall
is None:
62 if process
.current_syscall
.io_rq
:
63 process
.current_syscall
.io_rq
.pages_allocated
+= 1
65 current_process
= self
._get
_current
_proc
(event
)
66 if current_process
is None:
69 self
._state
.send_notification_cb('tid_page_alloc',
72 def _process_mm_page_free(self
, event
):
73 if self
._state
.mm
.page_count
== 0:
76 self
._state
.mm
.page_count
-= 1
78 current_process
= self
._get
_current
_proc
(event
)
79 if current_process
is None:
82 self
._state
.send_notification_cb('tid_page_free', proc
=current_process
)
This page took 0.03269 seconds and 5 git commands to generate.