| 867 | |
| 868 | |
| 869 | void |
| 870 | Space::afc_unshare(void) { |
| 871 | if (ssd.data().gpi.unshare()) { |
| 872 | for (Propagators ps(*this); ps(); ++ps) { |
| 873 | Propagator& p = ps.propagator(); |
| 874 | Kernel::GPI::Info* gpi |
| 875 | = ssd.data().gpi.allocate(p.gpi().pid,p.gpi().gid); |
| 876 | if (p.disabled()) |
| 877 | p.gpi_disabled = Support::mark(gpi); |
| 878 | else |
| 879 | p.gpi_disabled = gpi; |
| 880 | } |
| 881 | } |
| 882 | } |
| 883 | |
| 884 | void |
| 885 | LocalObject::fwdcopy(Space& home) { |