2 ms·
Ur/Web uses region based memory management. Details are in http://adam.chlipala.net/papers/UrWebICFP15/ http://adam.chlipala.net/papers/UrWebICFP15/ search for
by ezyang 10y ago
Ur/Web uses region based memory management. Details are in http://adam.chlipala.net/papers/UrWebICFP15/ http://adam.chlipala.net/papers/UrWebICFP15/ search for "memory management".
- Jweb_Guru 10y agoThanks for the link! I was actually at that talk :) To quote from the relevant slide: * Transactions are integrated into Ur/Web at a deep level, so, whenever we run out of space, we can always abort the execution, allocate a larger heap, and restart. * As a further optimization, we use region-based memory management, inferring a stack structure to allow freeing whole sets of objects at key points during execution.