Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
curry
curry-tools
Commits
b5ecbd39
Commit
b5ecbd39
authored
Aug 22, 2020
by
Michael Hanus
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
vendor/profiling updated
parent
03e888a8
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
40 additions
and
6 deletions
+40
-6
cpm/vendor/profiling/package.json
cpm/vendor/profiling/package.json
+2
-2
cpm/vendor/profiling/src/Debug/Profile.pakcs
cpm/vendor/profiling/src/Debug/Profile.pakcs
+4
-4
cpm/vendor/profiling/src/Debug/Profile_external.pl
cpm/vendor/profiling/src/Debug/Profile_external.pl
+34
-0
No files found.
cpm/vendor/profiling/package.json
View file @
b5ecbd39
...
...
@@ -10,8 +10,8 @@
"base"
:
">= 1.0.0, < 2.0.0"
},
"compilerCompatibility"
:
{
"pakcs"
:
">= 2.0.0"
,
"kics2"
:
">= 2.0.0"
"pakcs"
:
">= 2.0.0
, < 3.0.0
"
,
"kics2"
:
">= 2.0.0
, < 3.0.0
"
},
"exportedModules"
:
[
"Debug.Profile"
],
"source"
:
{
...
...
cpm/vendor/profiling/src/Debug/Profile.pakcs
View file @
b5ecbd39
...
...
@@ -2,19 +2,19 @@
<!DOCTYPE primitives SYSTEM "http://www.informatik.uni-kiel.de/~pakcs/primitives.dtd">
<primitives>
<primitive
name=
"getProcessInfos"
arity=
"0"
>
<library>
prim_debug_profile
</library>
<library>
Profile_external
</library>
<entry>
prim_getProcessInfos
</entry>
</primitive>
<primitive
name=
"garbageCollectorOn"
arity=
"0"
>
<library>
prim_debug_profile
</library>
<library>
Profile_external
</library>
<entry>
prim_garbageCollectorOn
</entry>
</primitive>
<primitive
name=
"garbageCollectorOff"
arity=
"0"
>
<library>
prim_debug_profile
</library>
<library>
Profile_external
</library>
<entry>
prim_garbageCollectorOff
</entry>
</primitive>
<primitive
name=
"garbageCollect"
arity=
"0"
>
<library>
prim_debug_profile
</library>
<library>
Profile_external
</library>
<entry>
prim_garbageCollect
</entry>
</primitive>
</primitives>
cpm/vendor/profiling/src/Debug/Profile_external.pl
0 → 100644
View file @
b5ecbd39
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Definitions of builtins of module Debug.Profile:
%
% return statistics about the PAKCS process:
prim_getProcessInfos
(
Infos
)
:-
(
prologbasics
:
getCurrentGCs
(
GCs
)
->
I1
=
[
'Prelude.(,)'
(
'Debug.Profile.GarbageCollections'
,
GCs
)]
;
I1
=
[]),
(
prologbasics
:
getCurrentChoiceSize
(
Choice
)
->
I2
=
[
'Prelude.(,)'
(
'Debug.Profile.Choices'
,
Choice
)|
I1
]
;
I2
=
I1
),
(
prologbasics
:
getCurrentHeapSize
(
Heap
)
->
I3
=
[
'Prelude.(,)'
(
'Debug.Profile.Heap'
,
Heap
)|
I2
]
;
I3
=
I2
),
(
prologbasics
:
getCurrentStackSize
(
Stack
)
->
I4
=
[
'Prelude.(,)'
(
'Debug.Profile.Stack'
,
Stack
)|
I3
]
;
I4
=
I3
),
(
prologbasics
:
getCurrentCodeSize
(
Code
)
->
I5
=
[
'Prelude.(,)'
(
'Debug.Profile.Code'
,
Code
)|
I4
]
;
I5
=
I4
),
(
prologbasics
:
getCurrentMemorySize
(
Mem
)
->
I6
=
[
'Prelude.(,)'
(
'Debug.Profile.Memory'
,
Mem
)|
I5
]
;
I6
=
I5
),
(
prologbasics
:
getElapsedTime
(
ETime
)
->
I7
=
[
'Prelude.(,)'
(
'Debug.Profile.ElapsedTime'
,
ETime
)|
I6
]
;
I7
=
I6
),
(
prologbasics
:
getRunTime
(
RTime
)
->
I8
=
[
'Prelude.(,)'
(
'Debug.Profile.RunTime'
,
RTime
)|
I7
]
;
I8
=
I7
),
Infos
=
I8
.
% turn on garbage collector:
prim_garbageCollectorOn
(
'Prelude.()'
)
:-
prologbasics
:
garbageCollectorOn
.
% turn off garbage collector:
prim_garbageCollectorOff
(
'Prelude.()'
)
:-
prologbasics
:
garbageCollectorOff
.
% turn off garbage collector:
prim_garbageCollect
(
'Prelude.()'
)
:-
prologbasics
:
garbageCollect
.
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment