Dynamic Memory Verification via Inspection Code Comparison
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Conventional gaming machine verification methods fail to effectively verify computer programs with discontinuous memory addresses due to the adoption of dynamic memory allocation, which prevents continuous verification of main memory contents.
Innovation Solution
An information processing device that utilizes dynamic memory allocation to verify computer programs by referencing virtual memory tables, comparing inspection codes, and restricting operations if inconsistencies are detected, ensuring the integrity of the computer program.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If dynamic memory allocation is adopted to allow parallel and random execution of multiple computer programs, then system efficiency and program execution flexibility are improved, but the ability to continuously verify main memory contents is lost
Solution Approach 1:
The patent applies preliminary action by creating a verification program that is executed in advance and continuously monitors main memory contents. The verification program is loaded into main memory before normal program execution begins, and it continuously verifies memory contents as programs are loaded and executed, rather than attempting to verify memory after programs have been allocated discontinuous addresses.
Solution Approach 2:
The patent uses an intermediary approach by introducing a separate verification program that acts as a mediator between the operating system's memory management and the verification process. This verification program runs independently and continuously checks main memory contents, bridging the gap between dynamic memory allocation and verification needs without interfering with normal program execution.
2Measurement precision
If conventional verification methods scan the entire main memory to verify program integrity, then verification thoroughness is improved, but verification time and system performance are worsened
Solution Approach 1:
The patent applies continuity of useful action by implementing a verification program that continuously and periodically checks main memory contents during normal system operation. Rather than performing discrete, time-consuming scans, the verification program operates continuously in the background, verifying memory contents as they are written to by various programs, thus maintaining verification thoroughness without significant performance penalty.
Data Source
AI summary
An apparatus for processing information includes a memory device and a controller. The controller is configured to: access to a memory area in the memory device in which information related to a location of data including a computer program is stored; store contents of the memory area as a first inspection code into a first memory area of the memory device; at predetermined timing, access to a memory area in the memory device in which latest information is stored; store contents of the memory area as a second inspection code into a second memory area; compare the first and the second inspection codes; if the second inspection code does not agree with the first inspection code, output an error signal indicating inconsistency between the first and the second inspection codes; and if the second inspection code agrees with the first inspection code, perform verification of the computer program.


