[LITMUS^RT] SRP -> PCP

Björn Brandenburg bbb at mpi-sws.org
Wed Apr 25 21:04:53 CEST 2012


On Apr 25, 2012, at 8:37 PM, Glenn Elliott <gelliott at cs.unc.edu> wrote:

> I don't believe SRP can support suspensions, since it could violate stack constraints.  To be honest, I haven't throughly reviewed the Litmus SRP implementation, so maybe this really isn't an issue and I can just use SRP as-is.
> 

Processes is Linux don't use the same stack, the constraint is irrelevant.  The important thing is that a resuming process must check the system ceiling since it may have been raised while the process was suspended. The current implementation *should* do that.

- Björn





More information about the litmus-dev mailing list