[jboss-jira] [JBoss JIRA] Updated: (JGRP-660) Model FLUSH in Promela and run simulations in Spin

[Bela Ban (JIRA)]

     [ http://jira.jboss.com/jira/browse/JGRP-660?page=all ]

Bela Ban updated JGRP-660:
--------------------------

    Fix Version/s: 2.x

> Model FLUSH in Promela and run simulations in Spin
> --------------------------------------------------
>
>                 Key: JGRP-660
>                 URL: http://jira.jboss.com/jira/browse/JGRP-660
>             Project: JGroups
>          Issue Type: Feature Request
>            Reporter: Vladimir Blagojevic
>         Assigned To: Vladimir Blagojevic
>             Fix For: 2.x
>
>
> We should model FLUSH in Promela and run model simulations in SPIN. Verify feasibility and cost/benefit of this approach. If the outcome is beneficial consider modeling other protocols as well. 

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://jira.jboss.com/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira