Entremets

An entremets is a delicious dessert. It literally means between meals.

Entremets on the other hand is a testing library to intertwine your sql queries.

Goal

It's difficult to identify serializable anomalies. This project aims at:

• Provide a simple language to translate production code
• Quickly find anomalies
• Test solutions

Isolation Level is a mess

Sql engines offer different level of isolation. They can be qualified as the following:

| Isolation | Quality | |------------------|------------| | Read Uncommitted | Shit | | Read Committed | Less Shit | | Repeatable Read | Still Shit | | Serializable | Shit [^1] |

Most application uses Read Committed isolation.

Lost update scenario

Take this scenario where the two processes run concurrently. The code in entremets is:

``mets init do insert into users (id, age) values (1, 10)` end

process do begin readcommitted let t1age := select age from users where id = 1 update users set age := $t1_age + 1 where id = 1 commit end

process do begin readcommitted let t2age := select age from users where id = 1 update users set age := $t2_age * 2 where id = 1 commit end ```

You'd expect select age from users where id = 1 to be either 21 or 22 when both process are completed.

In entremets, you can test this property by adding this line to the specifications:

mets property eventually(`select age from users where id = 1` in {21, 22})

Now lets run this mets (mets are the specification, entremets finds the anomalies) under entremets:

```

entremets lost_update.mets Following property was violated: eventually(select age from users where id = 1 in {21, 22}) The following counter example was found: ... ```

The output shows a counter example for the property. It shows the trace of what happened to obtain this state.

State of entremets

For now entremets is in very early stage. It only supports read committed isolation level and very narrow sql syntax.

Do not hesitate to file issues for any features you feel is missing.