1. A method of controlling execution of a dataflow program that defines one or more actors and one or more connections, wherein each connection passes a token from an output port of any one of the actors to an input port of any one of the actors, and wherein each of the actors has an actor state, the method comprising:
causing one or more processors to access and execute instructions of the dataflow program, wherein execution of the instructions of the dataflow program causes a plurality of events to be generated, wherein each event is a token produced onto a connection, a token consumed from a connection, or an instance of an actor state after an action firing;
in response to generation of an event, ascertaining whether there exists a sequence of events that matches a breakpoint condition, and if a sequence of events that matches the breakpoint condition exists, then causing execution of the dataflow program to halt,
wherein the breakpoint condition is at least partially a function of an extended history of related events, wherein two events are considered to be related to one another if they pertain to a same connection or if they pertain to a same actor state, and wherein the extended history comprises at least two related events.
2. The method of claim 1, comprising:
for each generated event, adding a trace record to a set of trace records that represents a sequence of generated events, wherein the added trace record represents the generated event,
wherein ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises processing the set of trace records to ascertain whether there exists in the set of trace records a representation of a sequence of events represented by the set of trace records that matches the breakpoint condition.
3. The method of claim 2, wherein adding the trace record to the set of trace records that represents the sequence of events comprises:
causing the one or more processors to execute trace record creating instructions that have been merged into a set of program instructions that were generated by a dataflow program build tool.
4. The method of claim 1, wherein ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises:
causing the one or more processors to execute breakpoint ascertaining instructions that have been merged into a set of program instructions that were generated by a dataflow program build tool.
5. The method of claim 1, wherein ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises:
concurrent with causing the one or more processors to access and execute instructions of the dataflow program, causing the one or more processors to trap execution of dataflow program instructions that create tokens or consume tokens, and as part of trap processing to add a trace record to the set of trace records.
6. The method of claim 1, wherein at least one of the breakpoint conditions is at least partly a function of a predicate that is satisfied when there exists at least a minimum number of unconsumed tokens that are associated with one of the connections, wherein the minimum number of tokens is greater than 1.
7. The method of claim 1, wherein at least one of the breakpoint conditions is at least partly a function of a predicate that is satisfied based on a comparison of a value of a first token produced onto a connection with a value of a second token produced onto the connection, wherein the second token is older than the first token.
8. The method of claim 1, wherein at least one of the breakpoint conditions is at least partly a function of a predicate that is satisfied based on a comparison between a specified sequence of values and a historical sequence of two or more token values produced onto a connection.
9. The method of claim 8, wherein the historical sequence of two or more token values produced onto the connection comprises as many token values as were produced onto the connection since a most recent resumption of dataflow program execution following a halting of the dataflow program.
10. The method of claim 1, wherein causing the one or more processors to access and execute instructions of the dataflow program comprises causing the one or more processors to simulate execution of the dataflow program.
11. The method of claim 1, wherein:
causing the one or more processors to access and execute instructions of the dataflow program comprises causing the one or more processors to access and execute a set of program instructions that have been generated by a dataflow program build tool; and
ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises causing the one or more processors to execute breakpoint ascertaining instructions that have been generated by a dataflow program build tool.
12. An apparatus for controlling execution of a dataflow program that defines one or more actors and one or more connections, wherein each connection passes a token from an output port of any one of the actors to an input port of any one of the actors, and wherein each of the actors has an actor state, the apparatus comprising:
circuitry configured to cause one or more processors to access and execute instructions of the dataflow program, wherein execution of the instructions of the dataflow program causes a plurality of events to be generated, wherein each event is a token produced onto a connection, a token consumed from a connection, or an instance of an actor state after an action firing;
circuitry configured to respond to generation of an event by ascertaining whether there exists a sequence of events that matches a breakpoint condition, and if a sequence of events that matches the breakpoint condition exists, then causing execution of the dataflow program to halt,
wherein the breakpoint condition is at least partially a function of an extended history of related events, wherein two events are considered to be related to one another if they pertain to a same connection or if they pertain to a same actor state, and wherein the extended history comprises at least two related events.
13. The apparatus of claim 12, comprising:
circuitry configured to add, for each generated event, a trace record to a set of trace records that represents a sequence of generated events, wherein the added trace record represents the generated event,
wherein ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises processing the set of trace records to ascertain whether there exists in the set of trace records a representation of a sequence of events represented by the set of trace records that matches the breakpoint condition.
14. The apparatus of claim 13, wherein the circuitry configured to add the trace record to the set of trace records that represents the sequence of events comprises:
circuitry configured to cause the one or more processors to execute trace record creating instructions that have been merged into a set of program instructions that were generated by a dataflow program build tool.
15. The apparatus of claim 12, wherein ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises:
causing the one or more processors to execute breakpoint ascertaining instructions that have been merged into a set of program instructions that were generated by a dataflow program build tool.
16. The apparatus of claim 12, wherein ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises:
concurrent with causing the one or more processors to access and execute instructions of the dataflow program, causing the one or more processors to trap execution of dataflow program instructions that create tokens or consume tokens, and as part of trap processing to add a trace record to the set of trace records.
17. The apparatus of claim 12, wherein at least one of the breakpoint conditions is at least partly a function of a predicate that is satisfied when there exists at least a minimum number of unconsumed tokens that are associated with one of the connections, wherein the minimum number of tokens is greater than 1.
18. The apparatus of claim 12, wherein at least one of the breakpoint conditions is at least partly a function of a predicate that is satisfied based on a comparison of a value of a first token produced onto a connection with a value of a second token produced onto the connection, wherein the second token is older than the first token.
19. The apparatus of claim 12, wherein at least one of the breakpoint conditions is at least partly a function of a predicate that is satisfied based on a comparison between a specified sequence of values and a historical sequence of two or more token values produced onto a connection.
20. The apparatus of claim 19, wherein the historical sequence of two or more token values produced onto the connection comprises as many token values as were produced onto the connection since a most recent resumption of dataflow program execution following a halting of the dataflow program.
21. The apparatus of claim 12, wherein causing the one or more processors to access and execute instructions of the dataflow program comprises causing the one or more processors to simulate execution of the dataflow program.
22. The apparatus of claim 12, wherein:
the circuitry configured to cause the one or more processors to access and execute instructions of the dataflow program comprises circuitry configured to cause the one or more processors to access and execute a set of program instructions that have been generated by a dataflow program build tool; and
ascertaining whether there exists a sequence of events that matches a breakpoint condition comprises causing the one or more processors to execute breakpoint ascertaining instructions that have been generated by a dataflow program build tool.
23. A computer readable storage medium having stored thereon instructions that, when executed by processing equipment, cause the processing equipment to perform a method of controlling execution of a dataflow program that defines one or more actors and one or more connections, wherein each connection passes a token from an output port of any one of the actors to an input port of any one of the actors, and wherein each of the actors has an actor state, the method comprising:
causing one or more processors to access and execute instructions of the dataflow program, wherein execution of the instructions of the dataflow program causes a plurality of events to be generated, wherein each event is a token produced onto a connection, a token consumed from a connection, or an instance of an actor state after an action firing;
in response to generation of an event, ascertaining whether there exists a sequence of events that matches a breakpoint condition, and if a sequence of events that matches the breakpoint condition exists, then causing execution of the dataflow program to halt,
wherein the breakpoint condition is at least partially a function of an extended history of related events, wherein two events are considered to be related to one another if they pertain to a same connection or if they pertain to a same actor state, and wherein the extended history comprises at least two related events.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
1. A composite shut-off means for casting moulds, including a sliding closure with at least one passageway passing through it, wherein in use, when in a first open position the passageway is positioned so as to allow the passage of molten metal there through, into the mould, and in a second closed position, the molten metal is unable to pass through the passageway and the sliding closure seals the mould, preventing the entry of molten metal into the mould.
2. A composite shut-off means for casting moulds, including a sliding closure that includes sealing means, and molten metal filtering means, wherein said shut-off means is the interface between the metal source and the mould.
3. The composite shut-off means for casting moulds of claim 1, further characterised in that the sliding closure is operable by way of sliding it substantially transverse to metal flow.
4. The composite shut-off means for casting moulds of claim 1, further characterised in that the sliding closure, and the means for retaining said sliding closure, are attached to the mould, so that in use, the mould can be closed and sealed by the sliding closure, and removed from the launder.
5. The composite shut-off means for casting moulds of claim 1, further characterised in that the sliding closure is a rectangular plate element having an aperture or passageway passing there through.
6. The composite shut-off means for casting moulds of claim 1, further characterised in that the sliding closure is a composite construction of sand, binding agent and compressive refractory material.
7. The composite shut-off means for casting moulds of claim 1, further characterised in that the sliding closure sealing means includes a gasket made of compressive refractory material.
8. The composite shut-off means for casting moulds of claim 1, further characterised in that the sliding closure utilises the compressive properties of the composite refractory material, such that in use, the pressure from the launder compresses the sliding closure, thereby effecting a seal.
9. The composite shut-off means for casting moulds of claim 1, further characterised in that the filtering means uses either a stainless steel or fibreglass screen covering the aperture or passageway in the sliding closure.
10. The composite shut-off means for casting moulds of claim 1, further characterised in that the sliding closure is actuated by a pneumatic or hydraulic cylinder.
11. A method of actuating a composite shut-off means for casting moulds that includes a sliding closure, wherein there is a production system utilising a carousel that retains the mould, in which the motion of the carousel indexing is used rotate the carousel and the mould relative to the sliding closure, which is held in a fixed position via interference with the launder.
12. A method of actuating a composite shut-off means for casting moulds that includes a sliding closure, wherein the launder is attached to a positionable, and programmable three-axis gantry, and the launder actuates the sliding closure via an interference with the sliding closure.
13. A method of actuating a composite shut-off means for casting moulds that includes a sliding closure, wherein a robot retains, and moves the mould relative to the sliding closure, which is held in a fixed position via interference with the launder.
14. (canceled)
15. (canceled)
16. The composite shut-off means for casting moulds of claim 2, further characterised in that the sliding closure is operable by way of sliding it substantially transverse to metal flow.
17. The composite shut-off means for casting moulds of claim 2, further characterised in that the sliding closure, and the means for retaining said sliding closure, are attached to the mould, so that in use, the mould can be closed and sealed by the sliding closure, and removed from the launder.
18. The composite shut-off means for casting moulds of claim 2, further characterised in that the sliding closure is a rectangular plate element having an aperture or passageway passing there through.
19. The composite shut-off means for casting moulds of claim 2, further characterised in that the sliding closure is a composite construction of sand, binding agent and compressive refractory material.
20. The composite shut-off means for casting moulds of claim 2, further characterised in that the sliding closure sealing means includes a gasket made of compressive refractory material.
21. The composite shut-off means for casting moulds of claim 2, further characterised in that the sliding closure utilises the compressive properties of the composite refractory material, such that in use, the pressure from the launder compresses the sliding closure, thereby effecting a seal.
22. The composite shut-off means for casting moulds of claim 2, further characterised in that the filtering means uses either a stainless steel or fibreglass screen covering the aperture or passageway in the sliding closure.
23. The composite shut-off means for casting moulds of claim 2, further characterised in that the sliding closure is actuated by a pneumatic or hydraulic cylinder.