Enforce write-once property #1

Closed
jadeallenx wants to merge 20 commits from mra/write-once into master

20 commits

Author SHA1 Message Date
Mark Allen
548259de98 Include the filename mgr in other places. 2015-10-01 20:35:10 -05:00
Mark Allen
9dcbde4919 Add a filename manager
This component's job is to map prefixes to filenames and
increment the sequence number of a file when appropriate.
It also will list files associated with a prefix.
2015-10-01 20:34:24 -05:00
Mark Allen
52b851a520 WIP. It's a hot mess. 2015-09-23 13:56:59 -05:00
Mark Allen
dd27d10eec Register name 2015-09-23 13:56:41 -05:00
Mark Allen
e76fa50498 Sync before terminate 2015-09-23 13:56:29 -05:00
Mark Allen
be76f1163e EQC improvements
* Generate a list of write intervals at test start
* Add a rewrite command to validate writes cannot be
  overwritten
* Fixed a bug when validating offsets after appends
* Test model under parallel execution
2015-09-17 18:35:59 -06:00
Mark Allen
5a1dfed15c Listener wip 2015-09-14 21:01:02 -05:00
Mark Allen
d54cef7752 WIP 2015-09-10 22:09:02 -05:00
Mark Allen
ae0e04df91 Add metadata manager 2015-08-27 23:04:15 -05:00
Mark Allen
a8da5038cc Remove todo 2015-08-27 23:03:50 -05:00
Mark Allen
2ed57cf338 Checkpointing EQC 2015-08-25 22:26:23 -05:00
Mark Allen
72ba1b5bb0 Tons of model fixes 2015-08-24 14:55:39 -05:00
Mark Allen
ff7a8e58c2 Testing WIP 2015-08-24 12:17:56 -05:00
Mark Allen
772a7741f2 Clean up doc strings; add new case clause on reads
Previously if a lookup of an offset and size tuple
from the process dictionary returned a checksum that
was different from the one we were expecting, it
would trigger a case clause exception. We should
handle that case a little more elegantly.
2015-08-15 23:37:29 -05:00
Mark Allen
06b4890a63 Now with 100% more written byte tracking 2015-08-15 00:33:59 -05:00
Mark Allen
2bcc7d0680 Refactor reads and writes into functions 2015-08-13 17:33:37 -05:00
Mark Allen
96c50aa5c9 Compiles but needs tests 2015-08-12 16:51:14 -05:00
Mark Allen
b548e895ad Ignore vim swap files 2015-08-12 14:10:06 -05:00
Mark Allen
8330649837 WIP 2015-08-12 13:41:39 -05:00
Mark Allen
3f57cca954 Enforce write-once property 2015-08-05 15:09:53 -05:00