Scott Lystig Fritchie
|
58ced8d14c
|
Add PULSE control over sequencer handing out duplicate page numbers
|
2015-03-02 18:03:08 +09:00 |
|
Scott Lystig Fritchie
|
21a3fd6d07
|
Use temporal logic for check_trace()
|
2015-03-02 18:03:08 +09:00 |
|
Scott Lystig Fritchie
|
e0ec95e8f7
|
Added small PULSE usage sketch in docs/corfurl.md
|
2015-03-02 18:03:08 +09:00 |
|
Scott Lystig Fritchie
|
b430fa479c
|
PULSE condition checking is only 98% embarassing
|
2015-03-02 18:03:08 +09:00 |
|
Scott Lystig Fritchie
|
bcc6cf1e6a
|
PULSE bugfix: race with finish_init message
|
2015-03-02 18:03:08 +09:00 |
|
Scott Lystig Fritchie
|
a294a0eff0
|
Skeleton of PULSE test created, first bug (race in sequencer init) is found, huzzah!
|
2015-03-02 18:03:05 +09:00 |
|
Scott Lystig Fritchie
|
feed231d5e
|
Move EUnit test code to test subdir
|
2015-03-02 17:59:31 +09:00 |
|
Scott Lystig Fritchie
|
3963ce44f0
|
More sanity checking for fill() in smoke test
|
2015-03-02 17:57:31 +09:00 |
|
Scott Lystig Fritchie
|
3d2be7255f
|
Basic smoke test for read repair
|
2015-03-02 17:57:31 +09:00 |
|
Scott Lystig Fritchie
|
6014b0584e
|
Fix read() response to a prior fill
|
2015-03-02 17:57:31 +09:00 |
|
Scott Lystig Fritchie
|
c23aeabc20
|
Read-repair, not tested
|
2015-03-02 17:57:30 +09:00 |
|
Scott Lystig Fritchie
|
945635f837
|
Basic scan_forward done
|
2015-03-02 17:57:30 +09:00 |
|
Scott Lystig Fritchie
|
05a71eebb0
|
corfurl:read_page() done, no read-repair yet
|
2015-03-02 17:57:30 +09:00 |
|
Scott Lystig Fritchie
|
72bf329e1c
|
Add fledgling log implementation based on CORFU papers
|
2015-03-02 17:57:27 +09:00 |
|