[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