annotate caching-tests/test.ur @ 2234:2f7ed04332a0

Progress on LRU cache but still more known bugs to fix.
author Ziv Scully <ziv@mit.edu>
date Sun, 28 Jun 2015 12:46:51 -0700
parents 6262dabc08d6
children 0aae15c2a05a
rev   line source
ziv@2213 1 table tab : {Id : int, Val : int} PRIMARY KEY Id
ziv@2203 2
ziv@2213 3 fun cache id =
ziv@2225 4 res <- oneOrNoRows (SELECT tab.Val
ziv@2225 5 FROM tab
ziv@2225 6 WHERE tab.Id = {[id]});
ziv@2204 7 return <xml><body>
ziv@2213 8 Reading {[id]}.
ziv@2204 9 {case res of
ziv@2213 10 None => <xml>?</xml>
ziv@2213 11 | Some row => <xml>{[row.Tab.Val]}</xml>}
ziv@2204 12 </body></xml>
ziv@2203 13
ziv@2213 14 fun flush id =
ziv@2225 15 res <- oneOrNoRows (SELECT tab.Val
ziv@2225 16 FROM tab
ziv@2225 17 WHERE tab.Id = {[id]});
ziv@2221 18 (case res of
ziv@2234 19 None => return () (* dml (INSERT INTO tab (Id, Val) *)
ziv@2234 20 (* VALUES ({[id]}, 0)) *)
ziv@2225 21 | Some row => dml (UPDATE tab
ziv@2225 22 SET Val = {[row.Tab.Val + 1]}
ziv@2234 23 WHERE Id = {[id + 1]} OR Id = {[id]} (* OR Id = {[id - 1]} *)));
ziv@2204 24 return <xml><body>
ziv@2204 25 {case res of
ziv@2213 26 None => <xml>Initialized {[id]}!</xml>
ziv@2213 27 | Some row => <xml>Incremented {[id]}!</xml>}
ziv@2204 28 </body></xml>
ziv@2234 29
ziv@2234 30 (* task periodic 5 = *)
ziv@2234 31 (* fn () => *)
ziv@2234 32 (* t <- now; *)
ziv@2234 33 (* let *)
ziv@2234 34 (* val n = toSeconds t % 2 *)
ziv@2234 35 (* in *)
ziv@2234 36 (* dml (UPDATE tab *)
ziv@2234 37 (* SET Val = 9001 *)
ziv@2234 38 (* WHERE Id = {[n]} OR Id = {[n+1]}) *)
ziv@2234 39 (* end *)