SimBlockingQueue.cfg

CONSTANTS

    Producers = {p1,p2,p3,p4,p5,p6,p7,p8,p9,p10}
    Consumers = {c1,c2,c3,c4,c5,c6,c7,c8,c9,c10}

    \* workers#|P|+|C|#Runtime#diameter#distinct
    \* 4#18#10min#281#39763739
    \* 4#20#03h 25min#197005672

    \* Dummy value to make BQ!Assumption happy. SimBlockingQueue determines
    \* the actual value based on |P| + |C|.
    BufCapacity = 1
    \* Evaluating the unused Sym definition becomes prohibitively expensive
    \* with the larger number of processes we have here.
    Sym <- TRUE

INIT SimInit
NEXT Next

CONSTRAINT OnDeadlock

VIEW View