Verification of management of real storage via multi-threaded thrashers in multiple address spaces

A system to verify management of real storage in a computing system via multi-threaded thrashers in multiple address spaces, the system comprising:

• a memory device configured to store instructions for units of work and a verification program;
• and
• two or more processors configured to execute the instructions to dynamically scale the number of units of work and a number of address spaces based on a number of the two or more processors, each of the units of work representing a function to be executed and each of the address spaces identifying a contiguous range of virtual addresses within the real storage, and dynamically scale an amount and page size of storage pages representing virtual storage accessed by each of the units of work based on a total available memory, wherein
• each of the units of work is configured to obtain different types of storage frame sizes and attributes to obtain enough real memory, represented by a sum of the virtual storage accessed by each of the units of work, to exceed the real storage, and to access the storage pages corresponding with the respective different types of storage frame sizes and attributes to perform a respective function, and
• the two or more processors verify, for each of the units of work performing the respective function, a location of the storage pages and content of the storage pages based on the respective function, wherein the two or more processors verify the location of the storage pages based on checking whether the location is an expected storage area.

A non-transitory computer program product storing instructions which, when processed by a processor, cause the processor to implement a method of verifying management of real storage in a computing system via multi-threaded thrashers in multiple address spaces, the method comprising:

• dynamically scaling a number of units of work and a number of address spaces based on a number of available processors, each of the units of work representing a function to be executed and each of the address spaces identifying a contiguous range of virtual addresses within the real storage;
• dynamically scaling an amount and page size of storage pages representing virtual storage accessed by each of the units of work based on a total available memory;
• obtaining, at each of the units of work, different types of storage frame sizes and attributes, wherein the obtaining results in obtaining enough real memory, represented by a sum of the virtual storage accessed by each of the units of work, to exceed the real storage;
• accessing, using each of the units of work, the storage pages corresponding with the respective different types of storage frame sizes and attributes and performing a respective function;
• and
• verifying, for each of the units of work performing the respective function, a location of the storage pages and content of the storage pages based on the respective function, wherein the verifying the location of the storage pages includes checking whether the location is an expected storage area.