Guest section DW wrote:
> Some Unix flavours allow overmounting, where more than one filesystem
> is mounted on the same path - maybe Linux doesnt allow that today,
> it didnt last time I checked, but still I suppose it would be good
> to define the semantics of pivot_root() in such a case.]
I guess it should move the whole stack if / is overmounted, and
perhaps only the top-level if /new_root is. For /put_old, things
would just be added to the stack. Anyway, details depend on the
overmounting implementation. It should be pretty straightforward
to adapt the dentry juggling.
> Usually in such a situation not many processes will be around, but still..
Typically, if you have a lot of unruly processes, you can't unmount the
old root anyway. So in this case, it's probably better to forget about
pivot_root and to do a simple chroot. Or, if all else fails, reboot.
- Werner
-- _________________________________________________________________________ / Werner Almesberger, ICA, EPFL, CH werner.almesberger@ica.epfl.ch / /_IN_N_032__Tel_+41_21_693_6621__Fax_+41_21_693_6610_____________________/- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Mon Jan 31 2000 - 21:00:16 EST