Mercurial > urweb
view caching-tests/bench.ur @ 2291:50ad02829abd
Make cache flushes happen immediately instead of at end of transaction.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Tue, 17 Nov 2015 02:44:37 -0500 |
parents | ab6ca12debeb |
children | 23eaec04e0f8 |
line wrap: on
line source
table tab : {Id : int, Val : int} PRIMARY KEY Id fun check id = res <- oneOrNoRows (SELECT tab.Val FROM tab WHERE tab.Id = {[id]}); return <xml><body> {case res of None => <xml>?</xml> | Some row => <xml>{[row.Tab.Val]}</xml>} </body></xml> fun flush id = dml (UPDATE tab SET Val = Val + 1 WHERE Id = {[id]}); return <xml><body> Changed {[id]}! </body></xml> fun main x y = r <- rand; let val id = r % x val doFlush = (r / x) % y = 0 in if doFlush then flush id else check id end