Software constructed strands for execution on a multi-core architecture

An article comprising a non-transitory machine-accessible medium including instructions that when executed cause a system to:

• obtain code of a superblock including a plurality of basic blocks in a compiler;
• build a dependency directed acyclic graph (DAG) for the code;
• sort a plurality of nodes coupled by edges of the dependency DAG into a topological order, each node representing an instruction and each edge representing a dependency between instructions;
• form a plurality of strands from the plurality of nodes based on at least one of hardware constraints of a multi-core processor of the system, rule constraints, and scheduling constraints, each of the strands including at least one node;
• identify from the plurality of strands a potential strand, wherein the potential strand violates one of the rule constraints, and duplicate at least one of the nodes after identifying the potential strand;
• form a first strand from the potential strand and form a second strand including at least one of the duplicated nodes but not the potential strand;
• optimize at least some of the plurality of strands by conversion of branches within the at least some strands into assertions and insert a non-strand version of recovery code if a misspeculation occurs;
• and
• generate executable code for each of the first and second strands and store the executable code in a storage of the system.