Dynamic runtime range checking of different types on a...

Details Dynamic runtime range checking of different types on a... Dynamic runtime range checking of different types on a...

2011-06-14

2011-06-14

Kim, Kenneth S (Department: 2111)

Electrical computers and digital processing systems: processing

Processing control

Arithmetic operation instruction processing

C708S498000, C708S552000, C712S244000

Reexamination Certificate

active

07962729

ABSTRACT:
Software defects (e.g., array access out of bounds, stack overflow, infinite loops, and data corruption) occur due to integer values falling outside their expected range. Because programming languages do not include range-checking instructions as part of their language, to detect software defects and ensure that the code runs smoothly, programmers generally use 1) runtime assertions and/or 2) sub-range data types. However, these techniques cause additional conditional branches, incur additional overhead, and decrease processor performance. Processors comprising a range checking hardware feature supported by machine instructions for runtime integer range checking can eliminate the conditional branches generated during runtime integer range checks. Programming language extensions for the range checking hardware can allow dynamic range bounds to be defined during runtime without decreasing the processor's performance. This can allow for easier programming and code that is easier to maintain.

REFERENCES:
patent: 4542456 (1985-09-01), Hill
patent: 4760374 (1988-07-01), Moller
patent: 5272659 (1993-12-01), Starr
patent: 5440702 (1995-08-01), Brewer et al.
patent: 7277438 (2007-10-01), Ambe et al.
Lam, Lap-Chung et al., “Checking array bound violation using segmentation hardware”,International Conference on Dependable Systems and Networkshttp://ieeexplore.ieee.org/xpl/freeabs—all.jsp?arnumber=1467813, (Obtained from the internet on Jan. 11, 2010) Jun. 28-Jul. 1, 2005, 388-397.
Sato, Mitsuhisa et al., “Run-time checking in Lisp by integrating memory addressing and range checking”, ACM SIGARCH Computer Architecture News, vol. 17 , Issue 3 http://portal.acm.org/citation.cfm?id=74958&dl=GUIDE&coll=GUIDE&CFID=18908934&CFTOKEN=89315999 (Obtained from the internet on Jan. 26, 2009) Jun. 1989 , 290-297.

Affiliated with

Also associated with

Rating

Dynamic runtime range checking of different types on a... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Dynamic runtime range checking of different types on a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic runtime range checking of different types on a... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2641414