Now available: The Design and Implementation of the FreeBSD Operating System (Second Edition)
[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]
FreeBSD/Linux Kernel Cross Reference
sys/Documentation/sharedsubtree.txt
Version:
- FREEBSD - FREEBSD-13-STABLE - FREEBSD-13-0 - FREEBSD-12-STABLE - FREEBSD-12-0 - FREEBSD-11-STABLE - FREEBSD-11-0 - FREEBSD-10-STABLE - FREEBSD-10-0 - FREEBSD-9-STABLE - FREEBSD-9-0 - FREEBSD-8-STABLE - FREEBSD-8-0 - FREEBSD-7-STABLE - FREEBSD-7-0 - FREEBSD-6-STABLE - FREEBSD-6-0 - FREEBSD-5-STABLE - FREEBSD-5-0 - FREEBSD-4-STABLE - FREEBSD-3-STABLE - FREEBSD22 - l41 - OPENBSD - linux-2.6 - MK84 - PLAN9 - xnu-8792
SearchContext: - none - 3 - 10
SearchContext: - none - 3 - 10
1 Shared Subtrees 2 --------------- 3 4 Contents: 5 1) Overview 6 2) Features 7 3) smount command 8 4) Use-case 9 5) Detailed semantics 10 6) Quiz 11 7) FAQ 12 8) Implementation 13 14 15 1) Overview 16 ----------- 17 18 Consider the following situation: 19 20 A process wants to clone its own namespace, but still wants to access the CD 21 that got mounted recently. Shared subtree semantics provide the necessary 22 mechanism to accomplish the above. 23 24 It provides the necessary building blocks for features like per-user-namespace 25 and versioned filesystem. 26 27 2) Features 28 ----------- 29 30 Shared subtree provides four different flavors of mounts; struct vfsmount to be 31 precise 32 33 a. shared mount 34 b. slave mount 35 c. private mount 36 d. unbindable mount 37 38 39 2a) A shared mount can be replicated to as many mountpoints and all the 40 replicas continue to be exactly same. 41 42 Here is an example: 43 44 Lets say /mnt has a mount that is shared. 45 mount --make-shared /mnt 46 47 note: mount command does not yet support the --make-shared flag. 48 I have included a small C program which does the same by executing 49 'smount /mnt shared' 50 51 #mount --bind /mnt /tmp 52 The above command replicates the mount at /mnt to the mountpoint /tmp 53 and the contents of both the mounts remain identical. 54 55 #ls /mnt 56 a b c 57 58 #ls /tmp 59 a b c 60 61 Now lets say we mount a device at /tmp/a 62 #mount /dev/sd0 /tmp/a 63 64 #ls /tmp/a 65 t1 t2 t2 66 67 #ls /mnt/a 68 t1 t2 t2 69 70 Note that the mount has propagated to the mount at /mnt as well. 71 72 And the same is true even when /dev/sd0 is mounted on /mnt/a. The 73 contents will be visible under /tmp/a too. 74 75 76 2b) A slave mount is like a shared mount except that mount and umount events 77 only propagate towards it. 78 79 All slave mounts have a master mount which is a shared. 80 81 Here is an example: 82 83 Lets say /mnt has a mount which is shared. 84 #mount --make-shared /mnt 85 86 Lets bind mount /mnt to /tmp 87 #mount --bind /mnt /tmp 88 89 the new mount at /tmp becomes a shared mount and it is a replica of 90 the mount at /mnt. 91 92 Now lets make the mount at /tmp; a slave of /mnt 93 #mount --make-slave /tmp 94 [or smount /tmp slave] 95 96 lets mount /dev/sd0 on /mnt/a 97 #mount /dev/sd0 /mnt/a 98 99 #ls /mnt/a 100 t1 t2 t3 101 102 #ls /tmp/a 103 t1 t2 t3 104 105 Note the mount event has propagated to the mount at /tmp 106 107 However lets see what happens if we mount something on the mount at /tmp 108 109 #mount /dev/sd1 /tmp/b 110 111 #ls /tmp/b 112 s1 s2 s3 113 114 #ls /mnt/b 115 116 Note how the mount event has not propagated to the mount at 117 /mnt 118 119 120 2c) A private mount does not forward or receive propagation. 121 122 This is the mount we are familiar with. Its the default type. 123 124 125 2d) A unbindable mount is a unbindable private mount 126 127 lets say we have a mount at /mnt and we make is unbindable 128 129 #mount --make-unbindable /mnt 130 [ smount /mnt unbindable ] 131 132 Lets try to bind mount this mount somewhere else. 133 # mount --bind /mnt /tmp 134 mount: wrong fs type, bad option, bad superblock on /mnt, 135 or too many mounted file systems 136 137 Binding a unbindable mount is a invalid operation. 138 139 140 3) smount command 141 142 Currently the mount command is not aware of shared subtree features. 143 Work is in progress to add the support in mount ( util-linux package ). 144 Till then use the following program. 145 146 ------------------------------------------------------------------------ 147 // 148 //this code was developed my Miklos Szeredi <miklos@szeredi.hu> 149 //and modified by Ram Pai <linuxram@us.ibm.com> 150 // sample usage: 151 // smount /tmp shared 152 // 153 #include <stdio.h> 154 #include <stdlib.h> 155 #include <unistd.h> 156 #include <string.h> 157 #include <sys/mount.h> 158 #include <sys/fsuid.h> 159 160 #ifndef MS_REC 161 #define MS_REC 0x4000 /* 16384: Recursive loopback */ 162 #endif 163 164 #ifndef MS_SHARED 165 #define MS_SHARED 1<<20 /* Shared */ 166 #endif 167 168 #ifndef MS_PRIVATE 169 #define MS_PRIVATE 1<<18 /* Private */ 170 #endif 171 172 #ifndef MS_SLAVE 173 #define MS_SLAVE 1<<19 /* Slave */ 174 #endif 175 176 #ifndef MS_UNBINDABLE 177 #define MS_UNBINDABLE 1<<17 /* Unbindable */ 178 #endif 179 180 int main(int argc, char *argv[]) 181 { 182 int type; 183 if(argc != 3) { 184 fprintf(stderr, "usage: %s dir " 185 "<rshared|rslave|rprivate|runbindable|shared|slave" 186 "|private|unbindable>\n" , argv[0]); 187 return 1; 188 } 189 190 fprintf(stdout, "%s %s %s\n", argv[0], argv[1], argv[2]); 191 192 if (strcmp(argv[2],"rshared")==0) 193 type=(MS_SHARED|MS_REC); 194 else if (strcmp(argv[2],"rslave")==0) 195 type=(MS_SLAVE|MS_REC); 196 else if (strcmp(argv[2],"rprivate")==0) 197 type=(MS_PRIVATE|MS_REC); 198 else if (strcmp(argv[2],"runbindable")==0) 199 type=(MS_UNBINDABLE|MS_REC); 200 else if (strcmp(argv[2],"shared")==0) 201 type=MS_SHARED; 202 else if (strcmp(argv[2],"slave")==0) 203 type=MS_SLAVE; 204 else if (strcmp(argv[2],"private")==0) 205 type=MS_PRIVATE; 206 else if (strcmp(argv[2],"unbindable")==0) 207 type=MS_UNBINDABLE; 208 else { 209 fprintf(stderr, "invalid operation: %s\n", argv[2]); 210 return 1; 211 } 212 setfsuid(getuid()); 213 214 if(mount("", argv[1], "dontcare", type, "") == -1) { 215 perror("mount"); 216 return 1; 217 } 218 return 0; 219 } 220 ----------------------------------------------------------------------- 221 222 Copy the above code snippet into smount.c 223 gcc -o smount smount.c 224 225 226 (i) To mark all the mounts under /mnt as shared execute the following 227 command: 228 229 smount /mnt rshared 230 the corresponding syntax planned for mount command is 231 mount --make-rshared /mnt 232 233 just to mark a mount /mnt as shared, execute the following 234 command: 235 smount /mnt shared 236 the corresponding syntax planned for mount command is 237 mount --make-shared /mnt 238 239 (ii) To mark all the shared mounts under /mnt as slave execute the 240 following 241 242 command: 243 smount /mnt rslave 244 the corresponding syntax planned for mount command is 245 mount --make-rslave /mnt 246 247 just to mark a mount /mnt as slave, execute the following 248 command: 249 smount /mnt slave 250 the corresponding syntax planned for mount command is 251 mount --make-slave /mnt 252 253 (iii) To mark all the mounts under /mnt as private execute the 254 following command: 255 256 smount /mnt rprivate 257 the corresponding syntax planned for mount command is 258 mount --make-rprivate /mnt 259 260 just to mark a mount /mnt as private, execute the following 261 command: 262 smount /mnt private 263 the corresponding syntax planned for mount command is 264 mount --make-private /mnt 265 266 NOTE: by default all the mounts are created as private. But if 267 you want to change some shared/slave/unbindable mount as 268 private at a later point in time, this command can help. 269 270 (iv) To mark all the mounts under /mnt as unbindable execute the 271 following 272 273 command: 274 smount /mnt runbindable 275 the corresponding syntax planned for mount command is 276 mount --make-runbindable /mnt 277 278 just to mark a mount /mnt as unbindable, execute the following 279 command: 280 smount /mnt unbindable 281 the corresponding syntax planned for mount command is 282 mount --make-unbindable /mnt 283 284 285 4) Use cases 286 ------------ 287 288 A) A process wants to clone its own namespace, but still wants to 289 access the CD that got mounted recently. 290 291 Solution: 292 293 The system administrator can make the mount at /cdrom shared 294 mount --bind /cdrom /cdrom 295 mount --make-shared /cdrom 296 297 Now any process that clones off a new namespace will have a 298 mount at /cdrom which is a replica of the same mount in the 299 parent namespace. 300 301 So when a CD is inserted and mounted at /cdrom that mount gets 302 propagated to the other mount at /cdrom in all the other clone 303 namespaces. 304 305 B) A process wants its mounts invisible to any other process, but 306 still be able to see the other system mounts. 307 308 Solution: 309 310 To begin with, the administrator can mark the entire mount tree 311 as shareable. 312 313 mount --make-rshared / 314 315 A new process can clone off a new namespace. And mark some part 316 of its namespace as slave 317 318 mount --make-rslave /myprivatetree 319 320 Hence forth any mounts within the /myprivatetree done by the 321 process will not show up in any other namespace. However mounts 322 done in the parent namespace under /myprivatetree still shows 323 up in the process's namespace. 324 325 326 Apart from the above semantics this feature provides the 327 building blocks to solve the following problems: 328 329 C) Per-user namespace 330 331 The above semantics allows a way to share mounts across 332 namespaces. But namespaces are associated with processes. If 333 namespaces are made first class objects with user API to 334 associate/disassociate a namespace with userid, then each user 335 could have his/her own namespace and tailor it to his/her 336 requirements. Offcourse its needs support from PAM. 337 338 D) Versioned files 339 340 If the entire mount tree is visible at multiple locations, then 341 a underlying versioning file system can return different 342 version of the file depending on the path used to access that 343 file. 344 345 An example is: 346 347 mount --make-shared / 348 mount --rbind / /view/v1 349 mount --rbind / /view/v2 350 mount --rbind / /view/v3 351 mount --rbind / /view/v4 352 353 and if /usr has a versioning filesystem mounted, than that 354 mount appears at /view/v1/usr, /view/v2/usr, /view/v3/usr and 355 /view/v4/usr too 356 357 A user can request v3 version of the file /usr/fs/namespace.c 358 by accessing /view/v3/usr/fs/namespace.c . The underlying 359 versioning filesystem can then decipher that v3 version of the 360 filesystem is being requested and return the corresponding 361 inode. 362 363 5) Detailed semantics: 364 ------------------- 365 The section below explains the detailed semantics of 366 bind, rbind, move, mount, umount and clone-namespace operations. 367 368 Note: the word 'vfsmount' and the noun 'mount' have been used 369 to mean the same thing, throughout this document. 370 371 5a) Mount states 372 373 A given mount can be in one of the following states 374 1) shared 375 2) slave 376 3) shared and slave 377 4) private 378 5) unbindable 379 380 A 'propagation event' is defined as event generated on a vfsmount 381 that leads to mount or unmount actions in other vfsmounts. 382 383 A 'peer group' is defined as a group of vfsmounts that propagate 384 events to each other. 385 386 (1) Shared mounts 387 388 A 'shared mount' is defined as a vfsmount that belongs to a 389 'peer group'. 390 391 For example: 392 mount --make-shared /mnt 393 mount --bin /mnt /tmp 394 395 The mount at /mnt and that at /tmp are both shared and belong 396 to the same peer group. Anything mounted or unmounted under 397 /mnt or /tmp reflect in all the other mounts of its peer 398 group. 399 400 401 (2) Slave mounts 402 403 A 'slave mount' is defined as a vfsmount that receives 404 propagation events and does not forward propagation events. 405 406 A slave mount as the name implies has a master mount from which 407 mount/unmount events are received. Events do not propagate from 408 the slave mount to the master. Only a shared mount can be made 409 a slave by executing the following command 410 411 mount --make-slave mount 412 413 A shared mount that is made as a slave is no more shared unless 414 modified to become shared. 415 416 (3) Shared and Slave 417 418 A vfsmount can be both shared as well as slave. This state 419 indicates that the mount is a slave of some vfsmount, and 420 has its own peer group too. This vfsmount receives propagation 421 events from its master vfsmount, and also forwards propagation 422 events to its 'peer group' and to its slave vfsmounts. 423 424 Strictly speaking, the vfsmount is shared having its own 425 peer group, and this peer-group is a slave of some other 426 peer group. 427 428 Only a slave vfsmount can be made as 'shared and slave' by 429 either executing the following command 430 mount --make-shared mount 431 or by moving the slave vfsmount under a shared vfsmount. 432 433 (4) Private mount 434 435 A 'private mount' is defined as vfsmount that does not 436 receive or forward any propagation events. 437 438 (5) Unbindable mount 439 440 A 'unbindable mount' is defined as vfsmount that does not 441 receive or forward any propagation events and cannot 442 be bind mounted. 443 444 445 State diagram: 446 The state diagram below explains the state transition of a mount, 447 in response to various commands. 448 ------------------------------------------------------------------------ 449 | |make-shared | make-slave | make-private |make-unbindab| 450 --------------|------------|--------------|--------------|-------------| 451 |shared |shared |*slave/private| private | unbindable | 452 | | | | | | 453 |-------------|------------|--------------|--------------|-------------| 454 |slave |shared | **slave | private | unbindable | 455 | |and slave | | | | 456 |-------------|------------|--------------|--------------|-------------| 457 |shared |shared | slave | private | unbindable | 458 |and slave |and slave | | | | 459 |-------------|------------|--------------|--------------|-------------| 460 |private |shared | **private | private | unbindable | 461 |-------------|------------|--------------|--------------|-------------| 462 |unbindable |shared |**unbindable | private | unbindable | 463 ------------------------------------------------------------------------ 464 465 * if the shared mount is the only mount in its peer group, making it 466 slave, makes it private automatically. Note that there is no master to 467 which it can be slaved to. 468 469 ** slaving a non-shared mount has no effect on the mount. 470 471 Apart from the commands listed below, the 'move' operation also changes 472 the state of a mount depending on type of the destination mount. Its 473 explained in section 5d. 474 475 5b) Bind semantics 476 477 Consider the following command 478 479 mount --bind A/a B/b 480 481 where 'A' is the source mount, 'a' is the dentry in the mount 'A', 'B' 482 is the destination mount and 'b' is the dentry in the destination mount. 483 484 The outcome depends on the type of mount of 'A' and 'B'. The table 485 below contains quick reference. 486 --------------------------------------------------------------------------- 487 | BIND MOUNT OPERATION | 488 |************************************************************************** 489 |source(A)->| shared | private | slave | unbindable | 490 | dest(B) | | | | | 491 | | | | | | | 492 | v | | | | | 493 |************************************************************************** 494 | shared | shared | shared | shared & slave | invalid | 495 | | | | | | 496 |non-shared| shared | private | slave | invalid | 497 *************************************************************************** 498 499 Details: 500 501 1. 'A' is a shared mount and 'B' is a shared mount. A new mount 'C' 502 which is clone of 'A', is created. Its root dentry is 'a' . 'C' is 503 mounted on mount 'B' at dentry 'b'. Also new mount 'C1', 'C2', 'C3' ... 504 are created and mounted at the dentry 'b' on all mounts where 'B' 505 propagates to. A new propagation tree containing 'C1',..,'Cn' is 506 created. This propagation tree is identical to the propagation tree of 507 'B'. And finally the peer-group of 'C' is merged with the peer group 508 of 'A'. 509 510 2. 'A' is a private mount and 'B' is a shared mount. A new mount 'C' 511 which is clone of 'A', is created. Its root dentry is 'a'. 'C' is 512 mounted on mount 'B' at dentry 'b'. Also new mount 'C1', 'C2', 'C3' ... 513 are created and mounted at the dentry 'b' on all mounts where 'B' 514 propagates to. A new propagation tree is set containing all new mounts 515 'C', 'C1', .., 'Cn' with exactly the same configuration as the 516 propagation tree for 'B'. 517 518 3. 'A' is a slave mount of mount 'Z' and 'B' is a shared mount. A new 519 mount 'C' which is clone of 'A', is created. Its root dentry is 'a' . 520 'C' is mounted on mount 'B' at dentry 'b'. Also new mounts 'C1', 'C2', 521 'C3' ... are created and mounted at the dentry 'b' on all mounts where 522 'B' propagates to. A new propagation tree containing the new mounts 523 'C','C1',.. 'Cn' is created. This propagation tree is identical to the 524 propagation tree for 'B'. And finally the mount 'C' and its peer group 525 is made the slave of mount 'Z'. In other words, mount 'C' is in the 526 state 'slave and shared'. 527 528 4. 'A' is a unbindable mount and 'B' is a shared mount. This is a 529 invalid operation. 530 531 5. 'A' is a private mount and 'B' is a non-shared(private or slave or 532 unbindable) mount. A new mount 'C' which is clone of 'A', is created. 533 Its root dentry is 'a'. 'C' is mounted on mount 'B' at dentry 'b'. 534 535 6. 'A' is a shared mount and 'B' is a non-shared mount. A new mount 'C' 536 which is a clone of 'A' is created. Its root dentry is 'a'. 'C' is 537 mounted on mount 'B' at dentry 'b'. 'C' is made a member of the 538 peer-group of 'A'. 539 540 7. 'A' is a slave mount of mount 'Z' and 'B' is a non-shared mount. A 541 new mount 'C' which is a clone of 'A' is created. Its root dentry is 542 'a'. 'C' is mounted on mount 'B' at dentry 'b'. Also 'C' is set as a 543 slave mount of 'Z'. In other words 'A' and 'C' are both slave mounts of 544 'Z'. All mount/unmount events on 'Z' propagates to 'A' and 'C'. But 545 mount/unmount on 'A' do not propagate anywhere else. Similarly 546 mount/unmount on 'C' do not propagate anywhere else. 547 548 8. 'A' is a unbindable mount and 'B' is a non-shared mount. This is a 549 invalid operation. A unbindable mount cannot be bind mounted. 550 551 5c) Rbind semantics 552 553 rbind is same as bind. Bind replicates the specified mount. Rbind 554 replicates all the mounts in the tree belonging to the specified mount. 555 Rbind mount is bind mount applied to all the mounts in the tree. 556 557 If the source tree that is rbind has some unbindable mounts, 558 then the subtree under the unbindable mount is pruned in the new 559 location. 560 561 eg: lets say we have the following mount tree. 562 563 A 564 / \ 565 B C 566 / \ / \ 567 D E F G 568 569 Lets say all the mount except the mount C in the tree are 570 of a type other than unbindable. 571 572 If this tree is rbound to say Z 573 574 We will have the following tree at the new location. 575 576 Z 577 | 578 A' 579 / 580 B' Note how the tree under C is pruned 581 / \ in the new location. 582 D' E' 583 584 585 586 5d) Move semantics 587 588 Consider the following command 589 590 mount --move A B/b 591 592 where 'A' is the source mount, 'B' is the destination mount and 'b' is 593 the dentry in the destination mount. 594 595 The outcome depends on the type of the mount of 'A' and 'B'. The table 596 below is a quick reference. 597 --------------------------------------------------------------------------- 598 | MOVE MOUNT OPERATION | 599 |************************************************************************** 600 | source(A)->| shared | private | slave | unbindable | 601 | dest(B) | | | | | 602 | | | | | | | 603 | v | | | | | 604 |************************************************************************** 605 | shared | shared | shared |shared and slave| invalid | 606 | | | | | | 607 |non-shared| shared | private | slave | unbindable | 608 *************************************************************************** 609 NOTE: moving a mount residing under a shared mount is invalid. 610 611 Details follow: 612 613 1. 'A' is a shared mount and 'B' is a shared mount. The mount 'A' is 614 mounted on mount 'B' at dentry 'b'. Also new mounts 'A1', 'A2'...'An' 615 are created and mounted at dentry 'b' on all mounts that receive 616 propagation from mount 'B'. A new propagation tree is created in the 617 exact same configuration as that of 'B'. This new propagation tree 618 contains all the new mounts 'A1', 'A2'... 'An'. And this new 619 propagation tree is appended to the already existing propagation tree 620 of 'A'. 621 622 2. 'A' is a private mount and 'B' is a shared mount. The mount 'A' is 623 mounted on mount 'B' at dentry 'b'. Also new mount 'A1', 'A2'... 'An' 624 are created and mounted at dentry 'b' on all mounts that receive 625 propagation from mount 'B'. The mount 'A' becomes a shared mount and a 626 propagation tree is created which is identical to that of 627 'B'. This new propagation tree contains all the new mounts 'A1', 628 'A2'... 'An'. 629 630 3. 'A' is a slave mount of mount 'Z' and 'B' is a shared mount. The 631 mount 'A' is mounted on mount 'B' at dentry 'b'. Also new mounts 'A1', 632 'A2'... 'An' are created and mounted at dentry 'b' on all mounts that 633 receive propagation from mount 'B'. A new propagation tree is created 634 in the exact same configuration as that of 'B'. This new propagation 635 tree contains all the new mounts 'A1', 'A2'... 'An'. And this new 636 propagation tree is appended to the already existing propagation tree of 637 'A'. Mount 'A' continues to be the slave mount of 'Z' but it also 638 becomes 'shared'. 639 640 4. 'A' is a unbindable mount and 'B' is a shared mount. The operation 641 is invalid. Because mounting anything on the shared mount 'B' can 642 create new mounts that get mounted on the mounts that receive 643 propagation from 'B'. And since the mount 'A' is unbindable, cloning 644 it to mount at other mountpoints is not possible. 645 646 5. 'A' is a private mount and 'B' is a non-shared(private or slave or 647 unbindable) mount. The mount 'A' is mounted on mount 'B' at dentry 'b'. 648 649 6. 'A' is a shared mount and 'B' is a non-shared mount. The mount 'A' 650 is mounted on mount 'B' at dentry 'b'. Mount 'A' continues to be a 651 shared mount. 652 653 7. 'A' is a slave mount of mount 'Z' and 'B' is a non-shared mount. 654 The mount 'A' is mounted on mount 'B' at dentry 'b'. Mount 'A' 655 continues to be a slave mount of mount 'Z'. 656 657 8. 'A' is a unbindable mount and 'B' is a non-shared mount. The mount 658 'A' is mounted on mount 'B' at dentry 'b'. Mount 'A' continues to be a 659 unbindable mount. 660 661 5e) Mount semantics 662 663 Consider the following command 664 665 mount device B/b 666 667 'B' is the destination mount and 'b' is the dentry in the destination 668 mount. 669 670 The above operation is the same as bind operation with the exception 671 that the source mount is always a private mount. 672 673 674 5f) Unmount semantics 675 676 Consider the following command 677 678 umount A 679 680 where 'A' is a mount mounted on mount 'B' at dentry 'b'. 681 682 If mount 'B' is shared, then all most-recently-mounted mounts at dentry 683 'b' on mounts that receive propagation from mount 'B' and does not have 684 sub-mounts within them are unmounted. 685 686 Example: Lets say 'B1', 'B2', 'B3' are shared mounts that propagate to 687 each other. 688 689 lets say 'A1', 'A2', 'A3' are first mounted at dentry 'b' on mount 690 'B1', 'B2' and 'B3' respectively. 691 692 lets say 'C1', 'C2', 'C3' are next mounted at the same dentry 'b' on 693 mount 'B1', 'B2' and 'B3' respectively. 694 695 if 'C1' is unmounted, all the mounts that are most-recently-mounted on 696 'B1' and on the mounts that 'B1' propagates-to are unmounted. 697 698 'B1' propagates to 'B2' and 'B3'. And the most recently mounted mount 699 on 'B2' at dentry 'b' is 'C2', and that of mount 'B3' is 'C3'. 700 701 So all 'C1', 'C2' and 'C3' should be unmounted. 702 703 If any of 'C2' or 'C3' has some child mounts, then that mount is not 704 unmounted, but all other mounts are unmounted. However if 'C1' is told 705 to be unmounted and 'C1' has some sub-mounts, the umount operation is 706 failed entirely. 707 708 5g) Clone Namespace 709 710 A cloned namespace contains all the mounts as that of the parent 711 namespace. 712 713 Lets say 'A' and 'B' are the corresponding mounts in the parent and the 714 child namespace. 715 716 If 'A' is shared, then 'B' is also shared and 'A' and 'B' propagate to 717 each other. 718 719 If 'A' is a slave mount of 'Z', then 'B' is also the slave mount of 720 'Z'. 721 722 If 'A' is a private mount, then 'B' is a private mount too. 723 724 If 'A' is unbindable mount, then 'B' is a unbindable mount too. 725 726 727 6) Quiz 728 729 A. What is the result of the following command sequence? 730 731 mount --bind /mnt /mnt 732 mount --make-shared /mnt 733 mount --bind /mnt /tmp 734 mount --move /tmp /mnt/1 735 736 what should be the contents of /mnt /mnt/1 /mnt/1/1 should be? 737 Should they all be identical? or should /mnt and /mnt/1 be 738 identical only? 739 740 741 B. What is the result of the following command sequence? 742 743 mount --make-rshared / 744 mkdir -p /v/1 745 mount --rbind / /v/1 746 747 what should be the content of /v/1/v/1 be? 748 749 750 C. What is the result of the following command sequence? 751 752 mount --bind /mnt /mnt 753 mount --make-shared /mnt 754 mkdir -p /mnt/1/2/3 /mnt/1/test 755 mount --bind /mnt/1 /tmp 756 mount --make-slave /mnt 757 mount --make-shared /mnt 758 mount --bind /mnt/1/2 /tmp1 759 mount --make-slave /mnt 760 761 At this point we have the first mount at /tmp and 762 its root dentry is 1. Lets call this mount 'A' 763 And then we have a second mount at /tmp1 with root 764 dentry 2. Lets call this mount 'B' 765 Next we have a third mount at /mnt with root dentry 766 mnt. Lets call this mount 'C' 767 768 'B' is the slave of 'A' and 'C' is a slave of 'B' 769 A -> B -> C 770 771 at this point if we execute the following command 772 773 mount --bind /bin /tmp/test 774 775 The mount is attempted on 'A' 776 777 will the mount propagate to 'B' and 'C' ? 778 779 what would be the contents of 780 /mnt/1/test be? 781 782 7) FAQ 783 784 Q1. Why is bind mount needed? How is it different from symbolic links? 785 symbolic links can get stale if the destination mount gets 786 unmounted or moved. Bind mounts continue to exist even if the 787 other mount is unmounted or moved. 788 789 Q2. Why can't the shared subtree be implemented using exportfs? 790 791 exportfs is a heavyweight way of accomplishing part of what 792 shared subtree can do. I cannot imagine a way to implement the 793 semantics of slave mount using exportfs? 794 795 Q3 Why is unbindable mount needed? 796 797 Lets say we want to replicate the mount tree at multiple 798 locations within the same subtree. 799 800 if one rbind mounts a tree within the same subtree 'n' times 801 the number of mounts created is an exponential function of 'n'. 802 Having unbindable mount can help prune the unneeded bind 803 mounts. Here is a example. 804 805 step 1: 806 lets say the root tree has just two directories with 807 one vfsmount. 808 root 809 / \ 810 tmp usr 811 812 And we want to replicate the tree at multiple 813 mountpoints under /root/tmp 814 815 step2: 816 mount --make-shared /root 817 818 mkdir -p /tmp/m1 819 820 mount --rbind /root /tmp/m1 821 822 the new tree now looks like this: 823 824 root 825 / \ 826 tmp usr 827 / 828 m1 829 / \ 830 tmp usr 831 / 832 m1 833 834 it has two vfsmounts 835 836 step3: 837 mkdir -p /tmp/m2 838 mount --rbind /root /tmp/m2 839 840 the new tree now looks like this: 841 842 root 843 / \ 844 tmp usr 845 / \ 846 m1 m2 847 / \ / \ 848 tmp usr tmp usr 849 / \ / 850 m1 m2 m1 851 / \ / \ 852 tmp usr tmp usr 853 / / \ 854 m1 m1 m2 855 / \ 856 tmp usr 857 / \ 858 m1 m2 859 860 it has 6 vfsmounts 861 862 step 4: 863 mkdir -p /tmp/m3 864 mount --rbind /root /tmp/m3 865 866 I wont' draw the tree..but it has 24 vfsmounts 867 868 869 at step i the number of vfsmounts is V[i] = i*V[i-1]. 870 This is an exponential function. And this tree has way more 871 mounts than what we really needed in the first place. 872 873 One could use a series of umount at each step to prune 874 out the unneeded mounts. But there is a better solution. 875 Unclonable mounts come in handy here. 876 877 step 1: 878 lets say the root tree has just two directories with 879 one vfsmount. 880 root 881 / \ 882 tmp usr 883 884 How do we set up the same tree at multiple locations under 885 /root/tmp 886 887 step2: 888 mount --bind /root/tmp /root/tmp 889 890 mount --make-rshared /root 891 mount --make-unbindable /root/tmp 892 893 mkdir -p /tmp/m1 894 895 mount --rbind /root /tmp/m1 896 897 the new tree now looks like this: 898 899 root 900 / \ 901 tmp usr 902 / 903 m1 904 / \ 905 tmp usr 906 907 step3: 908 mkdir -p /tmp/m2 909 mount --rbind /root /tmp/m2 910 911 the new tree now looks like this: 912 913 root 914 / \ 915 tmp usr 916 / \ 917 m1 m2 918 / \ / \ 919 tmp usr tmp usr 920 921 step4: 922 923 mkdir -p /tmp/m3 924 mount --rbind /root /tmp/m3 925 926 the new tree now looks like this: 927 928 root 929 / \ 930 tmp usr 931 / \ \ 932 m1 m2 m3 933 / \ / \ / \ 934 tmp usr tmp usr tmp usr 935 936 8) Implementation 937 938 8A) Datastructure 939 940 4 new fields are introduced to struct vfsmount 941 ->mnt_share 942 ->mnt_slave_list 943 ->mnt_slave 944 ->mnt_master 945 946 ->mnt_share links together all the mount to/from which this vfsmount 947 send/receives propagation events. 948 949 ->mnt_slave_list links all the mounts to which this vfsmount propagates 950 to. 951 952 ->mnt_slave links together all the slaves that its master vfsmount 953 propagates to. 954 955 ->mnt_master points to the master vfsmount from which this vfsmount 956 receives propagation. 957 958 ->mnt_flags takes two more flags to indicate the propagation status of 959 the vfsmount. MNT_SHARE indicates that the vfsmount is a shared 960 vfsmount. MNT_UNCLONABLE indicates that the vfsmount cannot be 961 replicated. 962 963 All the shared vfsmounts in a peer group form a cyclic list through 964 ->mnt_share. 965 966 All vfsmounts with the same ->mnt_master form on a cyclic list anchored 967 in ->mnt_master->mnt_slave_list and going through ->mnt_slave. 968 969 ->mnt_master can point to arbitrary (and possibly different) members 970 of master peer group. To find all immediate slaves of a peer group 971 you need to go through _all_ ->mnt_slave_list of its members. 972 Conceptually it's just a single set - distribution among the 973 individual lists does not affect propagation or the way propagation 974 tree is modified by operations. 975 976 A example propagation tree looks as shown in the figure below. 977 [ NOTE: Though it looks like a forest, if we consider all the shared 978 mounts as a conceptual entity called 'pnode', it becomes a tree] 979 980 981 A <--> B <--> C <---> D 982 /|\ /| |\ 983 / F G J K H I 984 / 985 E<-->K 986 /|\ 987 M L N 988 989 In the above figure A,B,C and D all are shared and propagate to each 990 other. 'A' has got 3 slave mounts 'E' 'F' and 'G' 'C' has got 2 slave 991 mounts 'J' and 'K' and 'D' has got two slave mounts 'H' and 'I'. 992 'E' is also shared with 'K' and they propagate to each other. And 993 'K' has 3 slaves 'M', 'L' and 'N' 994 995 A's ->mnt_share links with the ->mnt_share of 'B' 'C' and 'D' 996 997 A's ->mnt_slave_list links with ->mnt_slave of 'E', 'K', 'F' and 'G' 998 999 E's ->mnt_share links with ->mnt_share of K 1000 'E', 'K', 'F', 'G' have their ->mnt_master point to struct 1001 vfsmount of 'A' 1002 'M', 'L', 'N' have their ->mnt_master point to struct vfsmount of 'K' 1003 K's ->mnt_slave_list links with ->mnt_slave of 'M', 'L' and 'N' 1004 1005 C's ->mnt_slave_list links with ->mnt_slave of 'J' and 'K' 1006 J and K's ->mnt_master points to struct vfsmount of C 1007 and finally D's ->mnt_slave_list links with ->mnt_slave of 'H' and 'I' 1008 'H' and 'I' have their ->mnt_master pointing to struct vfsmount of 'D'. 1009 1010 1011 NOTE: The propagation tree is orthogonal to the mount tree. 1012 1013 1014 8B Algorithm: 1015 1016 The crux of the implementation resides in rbind/move operation. 1017 1018 The overall algorithm breaks the operation into 3 phases: (look at 1019 attach_recursive_mnt() and propagate_mnt()) 1020 1021 1. prepare phase. 1022 2. commit phases. 1023 3. abort phases. 1024 1025 Prepare phase: 1026 1027 for each mount in the source tree: 1028 a) Create the necessary number of mount trees to 1029 be attached to each of the mounts that receive 1030 propagation from the destination mount. 1031 b) Do not attach any of the trees to its destination. 1032 However note down its ->mnt_parent and ->mnt_mountpoint 1033 c) Link all the new mounts to form a propagation tree that 1034 is identical to the propagation tree of the destination 1035 mount. 1036 1037 If this phase is successful, there should be 'n' new 1038 propagation trees; where 'n' is the number of mounts in the 1039 source tree. Go to the commit phase 1040 1041 Also there should be 'm' new mount trees, where 'm' is 1042 the number of mounts to which the destination mount 1043 propagates to. 1044 1045 if any memory allocations fail, go to the abort phase. 1046 1047 Commit phase 1048 attach each of the mount trees to their corresponding 1049 destination mounts. 1050 1051 Abort phase 1052 delete all the newly created trees. 1053 1054 NOTE: all the propagation related functionality resides in the file 1055 pnode.c 1056 1057 1058 ------------------------------------------------------------------------ 1059 1060 version 0.1 (created the initial document, Ram Pai linuxram@us.ibm.com) 1061 version 0.2 (Incorporated comments from Al Viro)
Cache object: 2560b4b4017c45bb39b009bea11ffc7c
[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]