static void Main(string[] args)
{
Console.WriteLine("How many Philosophers?\t");
int philosophers = Int32.Parse(Console.ReadLine());
Any2OneChannel service = Channel.any2one();
One2AnyChannel deliver = Channel.one2any();
One2OneChannel supply = Channel.one2one();
List <IamCSProcess> network = new List <IamCSProcess>();
Philosopher[] philosopherList = new Philosopher[philosophers];
for (int i = 0; i < philosophers; i++)
{
philosopherList.SetValue(new Philosopher(philosopherId: i,
service: service.Out(),
deliver:
deliver.In()), i);
network.Add(philosopherList[i]);
}
network.Add(new QueuingServery(service: service.In(),
deliver: deliver.Out(),
supply: supply.In()));
network.Add(new Kitchen(supply: supply.Out()));
new CSPParallel(network.ToArray()).run();
}
/**
* Constructs and returns an array of <code>One2AnyChannel</code>
* objects with a given buffering behaviour.
*
* @param n the size of the array of channels.
* @param buffer the buffer implementation to use.
* @return the array of channels.
*
* @see jcsp.lang.ChannelArrayFactory#createOne2Any(int)
*/
public One2AnyChannel[] createOne2Any(ChannelDataStore buffer, int n)
{
One2AnyChannel[] toReturn = new One2AnyChannel[n];
for (int i = 0; i < n; i++)
{
toReturn[i] = createOne2Any(buffer);
}
return(toReturn);
}
/**
* Constructs and returns an array of <code>One2AnyChannel</code>
* objects.
*
* @param n the size of the array of channels.
* @return the array of channels.
*
* @see jcsp.lang.ChannelArrayFactory#createOne2Any(int)
*/
public One2AnyChannel[] createOne2Any(int n)
{
One2AnyChannel[] toReturn = new One2AnyChannel[n];
for (int i = 0; i < n; i++)
{
toReturn[i] = createOne2Any();
}
return(toReturn);
}
public static One2AnyChannel[] one2anyArray(int size, ChannelDataStore data, int immunity)
{
One2AnyChannel[] r = new One2AnyChannel[size];
for (int i = 0; i < size; i++)
{
r[i] = one2any(data, immunity);
}
return(r);
}
public static One2AnyChannel[] one2anyArray(int size)
{
One2AnyChannel[] r = new One2AnyChannel[size];
for (int i = 0; i < size; i++)
{
r[i] = one2any();
}
return(r);
}
static void Main(string[] args)
{
// synchronisation components
AltingBarrier[] stable = AltingBarrier.create(10);
var elfGroups = Bucket.create(4);
// Santa to Vestibule Channels
One2OneChannel openForBusiness = Channel.createOne2One();
One2OneChannel consultationOver = Channel.createOne2One();
//reindeer channels
Any2OneChannel harness = Channel.createAny2One();
One2AnyChannel harnessed = Channel.createOne2Any();
One2AnyChannel returned = Channel.createOne2Any();
One2OneChannel[] unharness = Channel.createOne2One(9);
ChannelOutputList unharnessList = new ChannelOutputList(unharness);
// elf channels, including Vestibule channels
Any2OneChannel needToConsult = Channel.createAny2One();
One2AnyChannel joinGroup = Channel.createOne2Any();
Any2OneChannel consult = Channel.createAny2One();
Any2OneChannel negotiating = Channel.createAny2One();
One2OneChannel[] consulting = Channel.createOne2One(10);
One2OneChannel[] consulted = Channel.createOne2One(10);
ChannelOutputList consultingList = new ChannelOutputList(consulting);
ChannelOutputList consultedList = new ChannelOutputList(consulted);
List <IamCSProcess> grottoList = new List <IamCSProcess>();
Reindeer[] herd = new Reindeer[9];
for (int i = 0; i < 9; i++)
{
herd[i] = new Reindeer(number: i,
stable: stable[i],
harness: harness.Out(),
harnessed:
harnessed.In(),
returned:
returned.In(),
unharness:
unharness[i].In(),
holidayTime:
15000
);
grottoList.Add(herd[i]);
}
Elf[] elves = new Elf[9];
IamCSProcess[] elvesNetwork = new IamCSProcess[8];
for (int i = 0; i < 9; i++)
{
elves[i] = new Elf(number: i,
groups: elfGroups,
needToConsult: needToConsult.Out(),
joinGroup:
joinGroup.In(),
consult:
consult.Out(),
consulting:
consulting[i].In(),
negotiating:
negotiating.Out(),
consulted:
consulted[i].In(),
workingTime:
1000
);
grottoList.Add(elves[i]);
}
Santa santa = new Santa(openForBusiness: openForBusiness.Out(),
consultationOver: consultationOver.Out(),
harness:
harness.In(),
harnessed:
harnessed.Out(),
returned:
returned.Out(),
unharnessList:
unharnessList,
stable:
stable[9],
consult:
consult.In(),
consulting:
consultingList,
negotiating:
negotiating.In(),
consulted:
consultedList,
deliveryTime:
1000,
consultationTime:
1000
);
Vestibule vestibule = new Vestibule(groups: elfGroups,
needToConsult: needToConsult.In(),
joinGroup: joinGroup.Out(),
openForBusiness:
openForBusiness.In(),
consultationOver:
consultationOver.In()
);
grottoList.Add(santa);
grottoList.Add(vestibule);
IamCSProcess[] grotto = grottoList.ToArray();
new CSPParallel(grotto).run();
}
/**
* Constructs a new filtered channel from an existing channel.
*
* @param chan the existing channel.
*/
public FilteredOne2AnyChannelImpl(One2AnyChannel chan)
{
_In = new FilteredSharedChannelInputWrapper(chan.In());
_Out = new FilteredChannelOutputWrapper(chan.Out());
}
