Source-level threads

A system for transforming a program having a first multi-tasking property to a program having a second multi-tasking property, the system comprising:

• a data structure transformer for transforming a first program having a first multi-tasking property into a data structure;
• a multi-tasking transformer for transforming the data structure to include an explicit multi-tasking transfer of control command;
• a program state optimizer for optimizing the data structure to reduce an amount of program state that is saved at a transfer of control;
• and
• a program generator for generating a second program having a second multi-tasking property using the optimized data structure.

An article of manufacture for transforming a program having a first multi-tasking property to a program having a second multi-tasking property, the article of manufacture comprising:

• at least one processor readable carrier;
• and
• instructions carried on the at least one carrier;
• wherein the instructions are configured to be readable from the at least one carrier by at least one processor and thereby cause the at least one processor to operate so as to:
• transform a first program having a first multi-tasking property into a data structure;
• transform the data structure to include an explicit multi-tasking transfer of control command;
• optimize the data structure to reduce an amount of program state that is saved at a transfer of control;
• and
• generate a second program having a second multi-tasking property using the optimized data structure.

A processor readable medium for providing instructions to at least one processor for directing the at least one processor to:

• transform a first program having a first multi-tasking property into a data structure;
• transform the data structure to include an explicit multi-tasking transfer of control command;
• optimize the data structure to reduce an amount of program state that is saved at a transfer of control;
• and
• generate a second program having a second multi-tasking property using the optimized data structure.

A signal embodied in a carrier wave and representing sequences of instructions which, when executed by at least one processor, cause the at least one processor to transform a program having a first multi-tasking property to a program having a second multi-tasking property by performing the steps of:

• transforming a first program having a first multi-tasking property into a data structure;
• transforming the data structure to include an explicit multi-tasking transfer of control command;
• optimizing the data structure to reduce an amount of program state that is saved at a transfer of control;
• and
• generating a second program having a second multi-tasking property using the optimized data structure.