diff options
Diffstat (limited to 'sys/linux')
| -rw-r--r-- | sys/linux/init.go | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/sys/linux/init.go b/sys/linux/init.go index c9c15a283..c816bbd28 100644 --- a/sys/linux/init.go +++ b/sys/linux/init.go @@ -283,8 +283,12 @@ func (arch *arch) generateTimespec(g *prog.Gen, typ0 prog.Type, old prog.Arg) (a // (2) definitely in unreachable fututre, or // (3) few ms ahead of now. // Note: timespec/timeval can be absolute or relative to now. - // Note: executor has blocking syscall timeout of 20ms, - // so we generate both 10ms and 30ms. + // Note: executor has blocking syscall timeout of 45 ms, + // so we generate both 10ms and 60ms. + const ( + timeout1 = uint64(10) + timeout2 = uint64(60) + ) usec := typ.Name() == "timeval" switch { case g.NOutOf(1, 4): @@ -295,9 +299,9 @@ func (arch *arch) generateTimespec(g *prog.Gen, typ0 prog.Type, old prog.Arg) (a }) case g.NOutOf(1, 3): // Few ms ahead for relative, past for absolute - nsec := uint64(10 * 1e6) + nsec := timeout1 * 1e6 if g.NOutOf(1, 2) { - nsec = 30 * 1e6 + nsec = timeout2 * 1e6 } if usec { nsec /= 1e3 @@ -334,9 +338,9 @@ func (arch *arch) generateTimespec(g *prog.Gen, typ0 prog.Type, old prog.Arg) (a calls = append(calls, gettime) sec := prog.MakeResultArg(typ.Fields[0], tp.Inner[0].(*prog.ResultArg), 0) nsec := prog.MakeResultArg(typ.Fields[1], tp.Inner[1].(*prog.ResultArg), 0) - msec := uint64(10) + msec := timeout1 if g.NOutOf(1, 2) { - msec = 30 + msec = timeout2 } if usec { nsec.OpDiv = 1e3 |