1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2016. All Rights Reserved.
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
%% You may obtain a copy of the License at
%%
%% http://www.apache.org/licenses/LICENSE-2.0
%%
%% Unless required by applicable law or agreed to in writing, software
%% distributed under the License is distributed on an "AS IS" BASIS,
%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%% See the License for the specific language governing permissions and
%% limitations under the License.
%%
%% %CopyrightEnd%
%%
-module(hipe_SUITE).
-export([all/0
,t_copy_literals/1
,t_purge/1
]).
all() ->
case erlang:system_info(hipe_architecture) of
undefined -> {skip, "HiPE is disabled"};
_ -> [t_copy_literals
,t_purge
]
end.
t_copy_literals(doc) ->
"Check that BEAM literals referenced from HiPE stack are copied by"
" check_process_code";
t_copy_literals(Config) when is_list(Config) ->
%% Compile the the ref_cell and literals modules.
Data = proplists:get_value(data_dir, Config),
Priv = proplists:get_value(priv_dir, Config),
RefFile = filename:join(Data, "ref_cell"),
{ok,ref_cell} = c:c(RefFile, [{outdir,Priv},native]),
true = code:is_module_native(ref_cell),
LitFile = filename:join(Data, "literals"),
{ok,literals} = c:c(LitFile, [{outdir,Priv}]),
%% store references to literals on HiPE stacks
PA = ref_cell:start_link(),
ref_cell:call(PA, {put_res_of, fun literals:a/0}),
PB = ref_cell:start_link_deep(),
ref_cell:call(PB, {put_res_of, fun literals:b/0}),
%% purge the literals
_ = (catch erlang:purge_module(literals)),
true = erlang:delete_module(literals),
true = erlang:purge_module(literals),
%% Give the literal collector some time to work...
receive after 2000 -> ok end,
%% check that the ex-literals are ok
[a,b,c] = ref_cell:call(PA, get),
{a,b,c} = ref_cell:call(PB, get),
%% cleanup
ref_cell:call(PA, done),
ref_cell:call(PB, done),
_ = (catch erlang:purge_module(ref_cell)),
true = erlang:delete_module(ref_cell),
true = erlang:purge_module(ref_cell),
ok.
t_purge(doc) -> "Checks that native code is properly found and purged";
t_purge(Config) when is_list(Config) ->
Data = proplists:get_value(data_dir, Config),
Priv = proplists:get_value(priv_dir, Config),
SrcFile = filename:join(Data, "ref_cell"),
BeamFile = filename:join(Priv, "ref_cell"),
{ok,ref_cell} = c:c(SrcFile, [{outdir,Priv},native]),
true = code:is_module_native(ref_cell),
PA = ref_cell:start_link(),
%% Unload, PA should still be running
true = erlang:delete_module(ref_cell),
%% Can't use ref_cel:call/2, it's in old code!
call(PA, {put_res_of, fun()-> hej end}),
hej = call(PA, get),
%% Load same module again
code:load_abs(BeamFile),
true = code:is_module_native(ref_cell),
PB = ref_cell:start_link(),
%% Purge old code, PA should be killed, PB should survive
unlink(PA),
ARef = monitor(process, PA),
true = erlang:purge_module(ref_cell),
receive {'DOWN', ARef, process, PA, killed} -> ok
after 1 -> ct:fail("PA was not killed")
end,
%% Unload, PB should still be running
true = erlang:delete_module(ref_cell),
call(PB, {put_res_of, fun()-> svejs end}),
svejs = call(PB, get),
unlink(PB),
BRef = monitor(process, PB),
true = erlang:purge_module(ref_cell),
receive {'DOWN', BRef, process, PB, killed} -> ok
after 1 -> ct:fail("PB was not killed")
end,
ok.
call(Pid, Call) ->
Pid ! {Call, self()},
receive {Pid, Res} -> Res end.
|
