Detecting reordered side-effects

Data processing: software development – installation – and managem – Software program development tool – Translation of code

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C717S138000, C717S151000, C712S227000

Reexamination Certificate

active

09434394

ABSTRACT:
A computer binary translator translates at least a segment of a binary representation of a program from a first instruction set architecture to a second instruction set architecture. A sequence of side-effects in the translation differs from a sequence of side-effects in the original. The translation distinguishes memory loads that are believed to be directed to well-behaved memory from memory loads that are believed to be directed to non-well-behaved memory device(s). Instruction execution circuitry identifies a memory reference that has a side-effect that has been reordered by translation, the memory reference having been believed at translation time to be directed to well-behaved memory but at execution it is found that the reference cannot be guaranteed to be well-behaved. The instruction execution circuitry identifies whether the difference in side-effect order may have a material effect on the execution of the program. A roll-back program state is established, and execution of the original code resumes.

REFERENCES:
patent: 3544969 (1970-12-01), Rakoczi
patent: 3781823 (1973-12-01), Senese
patent: 4077058 (1978-02-01), Appell
patent: 4084235 (1978-04-01), Hirtle
patent: 4275441 (1981-06-01), Takeuchi
patent: 4412303 (1983-10-01), Barnes
patent: 4455602 (1984-06-01), Baxter
patent: 4514803 (1985-04-01), Agnew
patent: 4575797 (1986-03-01), Gruner
patent: 4636940 (1987-01-01), Goodwin
patent: 4722050 (1988-01-01), Lee
patent: 4750112 (1988-06-01), Jones
patent: 4779187 (1988-10-01), Letwin
patent: 4812975 (1989-03-01), Adachi
patent: 4831515 (1989-05-01), Kamada
patent: 5043878 (1991-08-01), Ooi
patent: 5115500 (1992-05-01), Larsen
patent: 5121472 (1992-06-01), Danish
patent: 5127092 (1992-06-01), Gupta
patent: 5155835 (1992-10-01), Belsan
patent: 5168557 (1992-12-01), Shibuya
patent: 5241638 (1993-08-01), Mork
patent: 5241664 (1993-08-01), Ohba
patent: 5301287 (1994-04-01), Herrell
patent: 5307504 (1994-04-01), Robinson
patent: 5335331 (1994-08-01), Murao
patent: 5339422 (1994-08-01), Brender
patent: 5355487 (1994-10-01), Keller
patent: 5361340 (1994-11-01), Kelly
patent: 5371894 (1994-12-01), DiBrino
patent: 5377309 (1994-12-01), Sonobe
patent: 5386563 (1995-01-01), Thomas
patent: 5404473 (1995-04-01), Papworth
patent: 5404476 (1995-04-01), Kadaira
patent: 5432795 (1995-07-01), Robinson
patent: 5454117 (1995-09-01), Puziol
patent: 5479616 (1995-12-01), Garibay
patent: 5481684 (1996-01-01), Richter
patent: 5481693 (1996-01-01), Blomgren
patent: 5483647 (1996-01-01), Yu
patent: 5487156 (1996-01-01), Popsescu
patent: 5491827 (1996-02-01), Holtey
patent: 5507028 (1996-04-01), Liu
patent: 5515518 (1996-05-01), Stiles
patent: 5542059 (1996-07-01), Blomgren
patent: 5542109 (1996-07-01), Blomgren
patent: 5560013 (1996-09-01), Scalzi
patent: 5568646 (1996-10-01), Jaggar
patent: 5574927 (1996-11-01), Scantlin
patent: 5574929 (1996-11-01), Pieterse
patent: 5590309 (1996-12-01), Chencinski
patent: 5598546 (1997-01-01), Blomgren
patent: 5608886 (1997-03-01), Blomgren
patent: 5613114 (1997-03-01), Anderson
patent: 5613118 (1997-03-01), Heisch
patent: 5619666 (1997-04-01), Coon et al.
patent: 5625835 (1997-04-01), Ebcioglu
patent: 5628016 (1997-05-01), Kukol
patent: 5636366 (1997-06-01), Robinson
patent: 5638525 (1997-06-01), Hammond
patent: 5652869 (1997-07-01), Herdeg
patent: 5657474 (1997-08-01), Taine
patent: 5659679 (1997-08-01), Alpert
patent: 5659782 (1997-08-01), Senter
patent: 5664159 (1997-09-01), Richter
patent: 5673407 (1997-09-01), Poland
patent: 5675332 (1997-10-01), Limberg
patent: 5678032 (1997-10-01), Woods
patent: 5685009 (1997-11-01), Blomgren
patent: 5715421 (1998-02-01), Akiyama
patent: 5721855 (1998-02-01), Hinton
patent: 5721927 (1998-02-01), Baraz
patent: 5729728 (1998-03-01), Colwell
patent: 5732238 (1998-03-01), Sarkozy
patent: 5742780 (1998-04-01), Caulk
patent: 5751982 (1998-05-01), Morley
patent: 5754878 (1998-05-01), Asghar
patent: 5764947 (1998-06-01), Murphy
patent: 5768500 (1998-06-01), Agrawal
patent: 5774287 (1998-06-01), Leonhardt
patent: 5774686 (1998-06-01), Hammond
patent: 5781750 (1998-07-01), Blomgren et al.
patent: 5781758 (1998-07-01), Morley
patent: 5781792 (1998-07-01), Asghar
patent: 5784640 (1998-07-01), Asghar
patent: 5790824 (1998-08-01), Asghar
patent: 5794068 (1998-08-01), Asghar
patent: 5796939 (1998-08-01), Berc et al.
patent: 5802272 (1998-09-01), Sites et al.
patent: 5802337 (1998-09-01), Fielden
patent: 5802373 (1998-09-01), Yates
patent: 5805877 (1998-09-01), Black
patent: 5812864 (1998-09-01), McCoy
patent: 5815720 (1998-09-01), Buzbee
patent: 5819064 (1998-10-01), Razdan
patent: 5822578 (1998-10-01), Frank
patent: 5832205 (1998-11-01), Kelly
patent: 5838962 (1998-11-01), Larson
patent: 5838978 (1998-11-01), Buzbee
patent: 5842017 (1998-11-01), Hookway
patent: 5847955 (1998-12-01), Mitchell
patent: 5854913 (1998-12-01), Goetz
patent: 5864697 (1999-01-01), Shiell
patent: 5870763 (1999-02-01), Lomet
patent: 5884057 (1999-03-01), Blomgren
patent: 5901308 (1999-05-01), Cohn
patent: 5903750 (1999-05-01), Yeh
patent: 5903751 (1999-05-01), Hoyt
patent: 5903760 (1999-05-01), Farber et al.
patent: 5905855 (1999-05-01), Klaiber
patent: 5911073 (1999-06-01), Mattson
patent: 5918251 (1999-06-01), Yamada
patent: 5920721 (1999-07-01), Hunter
patent: 5926484 (1999-07-01), Takusagawa
patent: 5930509 (1999-07-01), Yates
patent: 5935220 (1999-08-01), Lumpkin
patent: 5949415 (1999-09-01), Lin
patent: 5958047 (1999-09-01), Panwar
patent: 5958061 (1999-09-01), Kelly et al.
patent: 5960198 (1999-09-01), Roediger
patent: 5966537 (1999-10-01), Ravichandran
patent: 5968162 (1999-10-01), Yard
patent: 5983335 (1999-11-01), Dwyer
patent: 5999736 (1999-12-01), Gupta
patent: 6000028 (1999-12-01), Chernoff
patent: 6002872 (1999-12-01), Alexander
patent: 6003038 (1999-12-01), Chen
patent: 6005551 (1999-12-01), Osborne
patent: 6006029 (1999-12-01), Bianchi
patent: 6006033 (1999-12-01), Heisch
patent: 6006277 (1999-12-01), Talati
patent: 6011908 (2000-01-01), Wing
patent: 6014735 (2000-01-01), Chennupaty
patent: 6021265 (2000-02-01), Nevill
patent: 6021484 (2000-02-01), Park
patent: 6021489 (2000-02-01), Poplingher
patent: 6026478 (2000-02-01), Dowling
patent: 6029004 (2000-02-01), Bortnikov
patent: 6029222 (2000-02-01), Kamiya
patent: 6031992 (2000-02-01), Cmelik et al.
patent: 6032247 (2000-02-01), Asghar
patent: 6035120 (2000-03-01), Ravichandran
patent: 6035393 (2000-03-01), Glew
patent: 6044220 (2000-03-01), Breternitz
patent: 6044221 (2000-03-01), Gupta
patent: 6047363 (2000-04-01), Lewchuk
patent: 6047390 (2000-04-01), Butt
patent: 6052771 (2000-04-01), Heller
patent: 6061711 (2000-05-01), Song
patent: 6065103 (2000-05-01), Tran et al.
patent: 6070009 (2000-05-01), Dean
patent: 6071317 (2000-06-01), Nagel
patent: 6076144 (2000-06-01), Peled
patent: 6081665 (2000-06-01), Nilsen et al.
patent: 6081890 (2000-06-01), Datta
patent: RE36766 (2000-07-01), Krauskopf
patent: 6088793 (2000-07-01), Liu
patent: 6091897 (2000-07-01), Yates
patent: 6092188 (2000-07-01), Corwin
patent: 6115809 (2000-09-01), Mattson
patent: 6119204 (2000-09-01), Chang
patent: 6119218 (2000-09-01), Arora
patent: 6128641 (2000-10-01), Fleck
patent: 6141683 (2000-10-01), Kraml
patent: 6154857 (2000-11-01), Mann
patent: 6157970 (2000-12-01), Gafken
patent: 6157993 (2000-12-01), Lewchuk
patent: 6163764 (2000-12-01), Dulong et al.
patent: 6175957 (2001-01-01), Ju
patent: 6195748 (2001-02-01), Chrysos
patent: 6199095 (2001-03-01), Robinson
patent: 6202205 (2001-03-01), Saboff
patent: 6205545 (2001-03-01), Shah
patent: 6212493 (2001-04-01), Huggins
patent: 6219774 (2001-04-01), Hammond et al.
patent: 6226789 (2001-05-01), Tye
patent: 6233678 (2001-05-01), Bala
patent: 6237073 (2001-05-01), Dean
patent: 6237074 (2001-05-01), Phillips
patent: 6240526 (2001-05-01), Petivan
patent: 6243804 (2001-06-01), Cheng
patent: 6249862 (2001-06-01), Chinnakonda et al.
patent: 6253215 (2001-06-01), Agesen
patent: 6256728 (2001-07-01), Witt
patent: 6256775 (2001-07-01), Flynn
patent: 6260191 (2001-07-01), Santhanam
patent: 6289445 (2001-09-01), Ekner
patent: 6295644 (2001-09-01), Hsu
patent: 6298477 (2001-10-01),

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Detecting reordered side-effects does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Detecting reordered side-effects, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Detecting reordered side-effects will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-3836014

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.