Roger Larsson wrote:
> > The automated checker may use hard-coded limits for recursions with
> > limited depth. If follow_link stops after n iterations, tell
> > the checker about it and it will use that in its computations.
>
> Alexander Viro <viro@math.psu.edu> wrote:
> > (link_path_walk->do_follow_link->foofs_follow_link->
> > vfs_follow_link->link_path_walk)
>
> It would not need to follow the recursion at all.
>
> A simple warning "vfs_follow_link makes a recursive call back
> to link_path_walk, stack space needed for each recursion is N bytes"
>
That's all you can do with recursion of unknown depth, sure.
But the recursion here is known limited, and we want to know
"what is the deepest stack we can get into, following the
deepest call chain _after_ VFS recursed 5 levels of symlinks"
We know it won't recurse after that - but it might go
on calling x levels of non-recursive functions.
Hard-coding the limit for that particular call chain makes
sense as a lot of stuff may be called from it. Or similiar,
various stuff may pile up on the stack and _then_ call into VFS
and recurse to the limit.
Printing the hardcoded assumption is probably a good idea when
it is used to find some max depth - the kernel code might change
after all.
Helge Hafting
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Sat Jun 15 2002 - 22:00:30 EST