<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="font-family: Times; "><pre><span class="Apple-style-span" style="white-space: normal; "><font class="Apple-style-span" face="Helvetica" size="3"><span class="Apple-style-span" style="font-size: 12px; ">Hi,</span></font></span></pre></span><span class="Apple-style-span" style="font-family: Times; "><pre><span class="Apple-style-span" style="white-space: normal; "><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10.9px/normal Helvetica; "><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; ">DSTM is an implementation of a robust distributed Software Transactional Memory (STM) library for Haskell. Many real-life applications are distributed by nature. Concurrent applications may profit from robustness added by re-implementation as distributed applications. DSTM&nbsp;</span></font><span class="Apple-style-span" style="font-size: 12px; ">extends the STM abstraction to distributed systems and presents an implementation efficient enough to be used in soft real-time applications. Further, the implemented library is robust in itself, offering the application developer a high abstraction level to realize robustness, hence, significantly simplifying this, in general, complex task.</span></div></span></pre></span><span class="Apple-style-span" style="font-family: Times; "><pre><span class="Apple-style-span" style="white-space: normal; "><font class="Apple-style-span" face="Helvetica" size="3"><span class="Apple-style-span" style="font-size: 12px; ">The DSTM package consists of the DSTM library, a name server application, and three sample distributed programs using the library. Provided are a simple Dining Philosophers, a Chat, and a soft real-time Bomberman game application. Distributed communication is transparent to the application programmer. The application designer uses a very simple name server mechanism to set up the system. The DSTM library includes the management of unavailable process nodes and provides the application with abstract error information thus facilitating the implementation of robust distributed application programs.</span></font></span></pre></span><span class="Apple-style-span" style="font-family: Times; "><pre><span class="Apple-style-span" style="white-space: normal; "><font class="Apple-style-span" face="Helvetica" size="3"><span class="Apple-style-span" style="font-size: 12px; ">For usage please look into the documentation file: DSTMManual.pdf.</span></font></span><font class="Apple-style-span" face="Helvetica" size="3"><span class="Apple-style-span" style="font-size: 12px; ">

The package including the documentation can be found on:
<a href="http://hackage.haskell.org/package/DSTM-0.1.1">http://hackage.haskell.org/package/DSTM-0.1.1</a></span></font></pre></span><span class="Apple-style-span" style="font-family: Times; "><pre><font class="Apple-style-span" face="Helvetica" size="3"><span class="Apple-style-span" style="font-size: 12px; ">
Best regards,
Frank Kupke</span></font></pre><div><font class="Apple-style-span" face="Helvetica" size="3"><span class="Apple-style-span" style="font-size: 12px; "><br></span></font></div></span></body></html>