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
|
-- rump specific tests
-- in particular testing the threading, as that is rather different; you can map them to host threads how you like
local function init(S)
local helpers = require "syscall.helpers"
local types = S.types
local c = S.c
local abi = S.abi
local util = S.util
local bit = require "syscall.bit"
local ffi = require "ffi"
local t, pt, s = types.t, types.pt, types.s
local function assert(cond, err, ...)
collectgarbage("collect") -- force gc, to test for bugs
if cond == nil then error(tostring(err)) end -- annoyingly, assert does not call tostring!
if type(cond) == "function" then return cond, err, ... end
if cond == true then return ... end
return cond, ...
end
local function assert_equal(...)
collectgarbage("collect") -- force gc, to test for bugs
return assert_equals(...)
end
local test = {}
test.rump_threads = {
test_create_thread = function()
local origlwp = assert(S.rump.curlwp()) -- we do not run tests in implicit context, so should not fail
assert(S.rump.newlwp(S.getpid()))
local lwp1 = assert(S.rump.curlwp(), "should get a pointer back")
S.rump.releaselwp()
S.rump.switchlwp(origlwp)
end,
test_switch_threads = function()
local origlwp = assert(S.rump.curlwp()) -- we do not run tests in implicit context, so should not fail
local pid = S.getpid()
assert(S.rump.newlwp(pid))
local lwp1 = assert(S.rump.curlwp(), "should get a pointer back")
assert(S.rump.newlwp(pid))
local lwp2 = assert(S.rump.curlwp(), "should get a pointer back")
S.rump.switchlwp(lwp1)
S.rump.switchlwp(lwp2)
S.rump.switchlwp(lwp1)
S.rump.releaselwp()
lwp1 = nil
S.rump.switchlwp(lwp2)
S.rump.releaselwp()
lwp2 = nil
S.rump.switchlwp(origlwp)
end,
test_rfork = function()
local pid1 = S.getpid()
local origlwp = assert(S.rump.curlwp()) -- we do not run tests in implicit context, so should not fail
local fd = assert(S.open("/dev/zero", "rdonly"))
assert(fd:read()) -- readable
assert(S.rump.rfork("CFDG")) -- no shared fds
local pid2 = S.getpid()
assert(pid1 ~= pid2, "should have new pid")
local n, err = fd:read() -- should not be able to read this fd
assert(not n and err, "should not be able to access an fd")
S.rump.releaselwp() -- exit this process
S.rump.switchlwp(origlwp)
assert_equal(pid1, S.getpid())
assert(fd:read()) -- should be able to read /dev/zero now
end,
}
return test
end
return {init = init}
|
