Early-drop Test Plan

Input

MUSIC Behavior

Create table

Table is created in keyspace specified

Eventual Insert

Insert data in non-blocking call

Eventual select

data can be read in a non-blocking call

Eventual Update

Update data in non-blocking call

Eventual delete

data is deleted in a non-blocking way

Create lock

Unique lock is created and is owner

Acquire lock

Only lock at top of queue returns true

Critical Insert

Only lock at top of queue allows write

Critical update

Only lock at top of queue allows write

Create read lock

Create a unique lock that is of type read

Critical read

only write lock at top of queue can read, or read locks that are also lock owner

Critical delete

Only lock at top of queue can delete