Concurrent Programming Interleavings formula

Associate
Joined
13 Jan 2007
Posts
2,424
Location
Belfast,Northern Ireland
Bit confused about this so I figure its best to clear it up:

essentially the forumula is:

(n.m)!/(m!)squared

An example I have is:

(2.3)!/(3!)squared = 720/36 = 20 Interleavings

n is the number of processes, I am now pretty confused what m actually is, I thought it was the interleavings but I guess this isnt the case. From another example I have, in a 3 process systems something is divided by 4 to give 90 possible interleavings. Of course this means the value is 360, some form of division goes on in the (n.m)! part but like I say im very unsure how this works.

An explanation would be very much appreciated
 
That's what I orginally thought too but if you look at the second example, its impossible to produce the 90 interleavings, some form of division must take place as well or somehow the second case is different to cause it to divide instead of multiply?
 
Back
Top Bottom