Re: [MirageOS-devel] BLOCK APIs

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 29 Oct 2015, at 17:37, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

This is similar to the existing mirage/mirage-flow repo, only for `BLOCK`.

Let me know what you think!

That's very useful. Would also useful be useful if we have unit-tests functors that BLOCK implementation can instantiate to check that they are correct. Haven't done that for mirage-flow, but that would be nice.

That's a really good idea -- would the Core quickcheck come in handy here?

https://blogs.janestreet.com/quickcheck-for-core/

Block devices are particularly amenable to simple fuzz testing, especially if we had a Quickcheck module that applied the graph of BLOCK functors in random permutations (via first-class modules).

-anil

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel