VERIFICATION OF SERIALIZATION OF STORAGE FRAMES WITHIN AN ADDRESS SPACE VIA MULTI-THREADED PROGRAMS

摘要

A method, system, and computer program product to verify serialization of storage frames within an address space via multi-threaded programs is described. The method includes dynamically scaling a number of units of work based on a number of available processors, each of the units of work configured to execute actions, and dynamically scaling an amount and page size of virtual storage accessed by each of the units of work based on a total available memory. The method also includes obtaining, at each of the units of work, different types of storage pages and accessing storage pages corresponding with the respective different types of virtual storage pages associated with the different frame sizes and attributes and performing a respective action, and verifying, for each of the units of work performing the respective action, a state and data content of the storage pages.

主权项

1. A method of verifying serialization of storage frames within an address space in a computing system via multi-threaded programs, the method comprising:
dynamically scaling a number of units of work based on a number of available processors, each of the units of work configured to execute actions; dynamically scaling an amount and page size of 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 pages in the virtual storage associated with different frame sizes and attributes of real storage; accessing, using each of the units of work, storage pages corresponding with the respective different types of virtual storage pages associated with the different frame sizes and attributes and performing a respective action; and verifying, for each of the units of work performing the respective action, a state and data content of the storage pages based on the respective action.