<div dir="ltr">Presumably you will have a safe and an unsafe variant of each function, the safe one calling its corresponding unsafe variant guarded by an appropriate locking mechanism. Just export both and note why the unsafe variants are marked "unsafe". Separating policy from implementation is always nice for callers. Presumably they know their application and what they are willing to pay for each call.<div><br></div><div>Best,</div><div>Ben</div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, 12 Apr 2016 at 08:57 Thomas Koster <<a href="mailto:tkoster@gmail.com">tkoster@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi friends,<div><br></div><div>I am writing a library that has Handle-like values for resources that are not thread-safe (foreign state from a non-thread-safe C library). In other words, a resource can only be "used" by one Haskell thread at a time. Unless I take steps, if one shares the resource between concurrent Haskell threads, bad things will happen at runtime (even with a single-threaded runtime).</div><div><br></div><div>Naturally, I want consumers to use my library safely, so I am considering making it safe for all by pessimistically enforcing safe usage with MVars.<br></div><div><br></div><div>Is it common/expected that Haskell libraries enforce safe access like this?</div><div><br></div><div>MVars are not free from cost, but are they cheap (i.e. almost as fast as no forced synchronization) as long as no blocking/rescheduling occurs?<br></div><div><br></div><div>Thanks,<br></div><div>--</div><div>Thomas Koster</div><div><br></div></div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div>