[Ur] interfacing with C or other languages - example system

Adam Chlipala adamc at impredicative.com
Tue Nov 30 09:20:22 EST 2010


Marc Weber wrote:
> Does a transaction always last form the begin of generating a result
> page until the end?
>
> Thus could I use the commit callback to remove the cache ?
>    

Yes, this would work.

> Could I use the context pointer as key to find a cached reply within one
> attempt to generate the output page which may be retried?
> Thus will the same ctx be passed when a request is rerun?
>    

In fact, you can do better, in a way that avoids the need to build your 
own lookup structure.  The uw_[get|set]_global() functions let you 
associate data with contexts.



More information about the Ur mailing list