IPDL/Shmem: Difference between revisions

Jump to navigation Jump to search
(Created page with '== Introduction == IPDL provides a built-in <code>Shmem</code> type. <code>Shmem</code> represents a segment of memory mapped into both a parent's and child's address space. <…')
 
Line 21: Line 21:
   // transfers ownership of |s| from child to parent
   // transfers ownership of |s| from child to parent
   ThanksDone(Shmem s);
   ThanksDone(Shmem s);
};
'''WARNING''': there's currently a bug in the IPDL compiler that needs to be worked around (the bug should be fixed "soon").  If you use Shmem in a managed (i.e. not top-level) protocol, then the top-level protocol needs to use Shmem as well.  You can work around this with the following hack
protocol TopLevel {
  parent:  Dummy(Shmem _);
  // etc.
  };
  };


Confirmed users
699

edits

Navigation menu