[Barrelfish-users] Fwd: How to reclaim the memory allocated by frame_alloc?

[Kornilios Kourtis]

Hi,

On Wed, Mar 28, 2012 at 11:37:52PM +0000, Baumann  Andrew wrote:
> Sending a cap is expensive, because it is just a reference to some
> protected kernel state, so the transfer goes out of band and involves
> work in the kernel and monitor on both sender and receiver cores. If
> you know you have shared memory hardware, the best thing to do is use a
> cap transfer to establish a shared region, and then send small messages
> to coordinate the use of that shared region. This is exactly what the
> bulk transport code is supposed to do. Although the current API is a
> bit lacking, it sounds like it might be enough for what you need.

Note that you can find a description of the current API in our wiki:
http://wiki.barrelfish.org/BulkTransfers

cheers,
Kornilios.

-- 
Kornilios Kourtis