Package il.ac.bgu.cs.bp.bpjs.model.eventselection

Class OrderedEventSelectionStrategy

java.lang.Object

il.ac.bgu.cs.bp.bpjs.model.eventselection.AbstractEventSelectionStrategy

il.ac.bgu.cs.bp.bpjs.model.eventselection.OrderedEventSelectionStrategy

All Implemented Interfaces:

EventSelectionStrategy

public class OrderedEventSelectionStrategy
extends AbstractEventSelectionStrategy

An event selection strategy that takes, for each statement, the first requested-and-not-blocked event. So, for the following code, only event evt1 will be considered for selection, assuming it is not blocked by other b-threads. bsync({request:[evt1, evt2]...});

Author:

michael

Field Summary

Fields inherited from class il.ac.bgu.cs.bp.bpjs.model.eventselection.AbstractEventSelectionStrategy

rnd, seed

Constructor Summary

Constructors

Constructor	Description
OrderedEventSelectionStrategy()

Method Summary

Modifier and Type	Method	Description
Set<BEvent>	selectableEvents(BProgramSyncSnapshot bpss)	Creates the set of selectable events, given a b-program's synchronization point.

Methods inherited from class il.ac.bgu.cs.bp.bpjs.model.eventselection.AbstractEventSelectionStrategy

getRequestedAndNotBlocked, getSeed, select, warnOnHints

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

OrderedEventSelectionStrategy

public OrderedEventSelectionStrategy()

Method Details

selectableEvents

public Set<BEvent> selectableEvents(BProgramSyncSnapshot bpss)

Description copied from interface: EventSelectionStrategy

Creates the set of selectable events, given a b-program's synchronization point.

Parameters:

bpss - a BProgram at a synchronization point.

Returns:

A set of events that may be selected for execution.