view caching-tests/test.ur @ 2209:0ca11d57c175

Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
author Ziv Scully <ziv@mit.edu>
date Sat, 31 May 2014 03:08:16 -0400
parents 01c8aceac480
children 365727ff68f4
line wrap: on
line source
table foo01 : {Id : int, Bar : string} PRIMARY KEY Id
table foo10 : {Id : int, Bar : string} PRIMARY KEY Id

fun flush01 () : transaction page =
    dml (UPDATE foo01 SET Bar = "baz01" WHERE Id = 42);
    return <xml><body>
      Flushed 1!
    </body></xml>

fun flush10 () : transaction page =
    dml (UPDATE foo10 SET Bar = "baz10" WHERE Id = 42);
    return <xml><body>
      Flushed 2!
    </body></xml>

fun flush11 () : transaction page =
    dml (UPDATE foo01 SET Bar = "baz11" WHERE Id = 42);
    dml (UPDATE foo10 SET Bar = "baz11" WHERE Id = 42);
    return <xml><body>
      Flushed 1 and 2!
    </body></xml>

fun cache01 () : transaction page =
    res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42);
    return <xml><body>
      Reading 1.
      {case res of
           None => <xml></xml>
         | Some row => <xml>{[row.Foo01.Bar]}</xml>}
    </body></xml>

fun cache10 () : transaction page =
    res <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42);
    return <xml><body>
      Reading 2.
      {case res of
           None => <xml></xml>
         | Some row => <xml>{[row.Foo10.Bar]}</xml>}
    </body></xml>

fun cache11 () : transaction page =
    res <- oneOrNoRows (SELECT foo01.Bar FROM foo01 WHERE foo01.Id = 42);
    bla <- oneOrNoRows (SELECT foo10.Bar FROM foo10 WHERE foo10.Id = 42);
    return <xml><body>
      Reading 1 and 2.
      {case res of
           None => <xml></xml>
         | Some row => <xml>{[row.Foo01.Bar]}</xml>}
      {case bla of
           None => <xml></xml>
         | Some row => <xml>{[row.Foo10.Bar]}</xml>}
    </body></xml>