# Shows a problem up to revision 893, fixed(?) in 894.

# Look out for Mandingo: while it (he?) blocks at 
# a certain point, he could immediately run,
# having higher priority than Peter North. Instead
# Peter continues his great fuck with Jenna, although
# he should pre-empt, because Rocco comes before
# Mandingo in the Jenna allocation queue.

# We can both assume: a) this is good as it is:
# since Rocco requested Jenna before Mandingo, he's
# his due right to mutilate her pussy for first; or b)
# this is wrong, because it lets a lower priority
# thread to run instead of a thread with higher 
# priority that could use the other Jenna's hole
# while it's free (admittedly, Jenna Jameson as a
# resource should have at least four or five places,
# but for the sake of semplicity of this example 
# we assumed that mouth, earholes and navel don't 
# count).

# TO SEE THIS PROBLEM CLEARLY, look with 
# attention at the resource queue at instant 2

# Use round robin with preemption by 
# priority and a time slice of 1
set cpu-policy 4
configure-cpu-policy
1
1

load environments/Porno_priority_inversion.xgp


run
