Mercurial > urweb
annotate caching-tests/test.ur @ 2271:85f91c7452b0
First draft of cache consolidation.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Wed, 21 Oct 2015 09:18:36 -0400 |
| parents | f7bc7c11a656 |
| children | a3cac6cea625 |
| 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@2269 | 14 fun cache2 id v = |
| ziv@2269 | 15 res <- oneOrNoRows (SELECT tab.Val |
| ziv@2269 | 16 FROM tab |
| ziv@2269 | 17 WHERE tab.Id = {[id]} AND tab.Val = {[v]}); |
| ziv@2269 | 18 return <xml><body> |
| ziv@2269 | 19 Reading {[id]}. |
| ziv@2269 | 20 {case res of |
| ziv@2269 | 21 None => <xml>Nope, that's not it.</xml> |
| ziv@2269 | 22 | Some _ => <xml>Hooray! You guessed it!</xml>} |
| ziv@2269 | 23 </body></xml> |
| ziv@2269 | 24 |
| ziv@2213 | 25 fun flush id = |
| ziv@2239 | 26 dml (UPDATE tab |
| ziv@2239 | 27 SET Val = Val * (Id + 2) / Val - 3 |
| ziv@2239 | 28 WHERE Id = {[id]} OR Id = {[id - 1]} OR Id = {[id + 1]}); |
| ziv@2204 | 29 return <xml><body> |
| ziv@2235 | 30 Changed {[id]}! |
| ziv@2204 | 31 </body></xml> |
| ziv@2234 | 32 |
| ziv@2242 | 33 val flush17 = |
| ziv@2242 | 34 dml (UPDATE tab |
| ziv@2242 | 35 SET Val = Val * (Id + 2) / Val - 3 |
| ziv@2242 | 36 WHERE Id = 17); |
| ziv@2242 | 37 return <xml><body> |
| ziv@2242 | 38 Changed specifically 17! |
| ziv@2242 | 39 </body></xml> |
| ziv@2242 | 40 |
| ziv@2235 | 41 (* fun flush id = *) |
| ziv@2235 | 42 (* res <- oneOrNoRows (SELECT tab.Val *) |
| ziv@2235 | 43 (* FROM tab *) |
| ziv@2235 | 44 (* WHERE tab.Id = {[id]}); *) |
| ziv@2235 | 45 (* (case res of *) |
| ziv@2235 | 46 (* None => dml (INSERT INTO tab (Id, Val) *) |
| ziv@2235 | 47 (* VALUES ({[id]}, 0)) *) |
| ziv@2235 | 48 (* | Some row => dml (UPDATE tab *) |
| ziv@2235 | 49 (* SET Val = {[row.Tab.Val + 1]} *) |
| ziv@2235 | 50 (* WHERE Id = {[id]} OR Id = {[id + 1]})); *) |
| ziv@2235 | 51 (* return <xml><body> *) |
| ziv@2235 | 52 (* {case res of *) |
| ziv@2235 | 53 (* None => <xml>Initialized {[id]}!</xml> *) |
| ziv@2235 | 54 (* | Some row => <xml>Incremented {[id]}!</xml>} *) |
| ziv@2235 | 55 (* </body></xml> *) |