Electronic computer system with means for issuing a non-store request before executing state transition prosecution

Claim 1

In an electronic computer system comprising: a main memory for storing a plurality of programs and data; a processor for processing said programs, each of said programs comprising a succession of instructions, said succession of instructions including a specific instruction which has a state transition prosecution requiring cancellation of a checkpoint; instruction controlling means for fetching selected instructions and for delivering each of said fetched instructions as a delivered instruction and an execution request for said delivered instruction; executing means for executing said delivered instruction according to microsteps of a microprogram of a microprogram control means to produce a succession of store data units as data signals and a succession of corresponding store indications; store request producing means, coupled to said executing means and to said microprogram control means, for producing a succession of store requests as request signals corresponding to said succession of store data units as data signals according to said microsteps of said microprogram; and main memory control means, coupled to said executing means, to said store request producing means and to said main memory, for successively buffering said request signals as buffered request signals and for buffering said data signals as buffered data signals in response to said store indications, said main memory control means responsive to write enabling signals from said main memory for successively delivering said buffered request signal together with said buffered data signals to said main memory as delivered request signals and delivered data signals, said main memory writing said delivered data signals thereinto according to said delivered request signals; said microprogram control means responsive to an execution request for establishing a checkpoint at a start point of said microprogram so as to enable said executing means to retry said delivered instruction from said checkpoint when an error occurs during execution of said delivered instruction, said microprogram control means causing said executing means to execute state transition prosecution on occurrence of an instruction requiring state transition prosecution during execution of said delivered instruction; wherein said microprogram control means comprises state transition prosecution control means, responsive to occurrence of said state transition prosecution, for producing a first indication for producing a non-store request as one of said request signals and a second indication for producing an imitative store data unit as one of said data signals before causing said executing means to execute said state transition prosecution; said store request producing means and said executing means producing said non-store request and said imitative store data unit in response to said first and said second indications, respectively; and said main memory rejecting writing said imitative store data unit, in said delivered data signals, when a corresponding one of said delivered request signals is said non-store request.