The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 18, 2017
Filed:
May. 12, 2015
Alex Goryachev, Haifa, IL;
Ronny Morad, Kiriat Ata, IL;
Tali Rabetti, Haifa, IL;
Sergey Shusterman, Haifa, IL;
Alex Goryachev, Haifa, IL;
Ronny Morad, Kiriat Ata, IL;
Tali Rabetti, Haifa, IL;
Sergey Shusterman, Haifa, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method, apparatus and product useful for verifying Distributed Symmetric Multi-Processing systems (DSMPs). The method comprising: determining one or more sub-systems of a DSMP, wherein each sub-system is a Symmetric Multi-Processing System (SMP) which comprises a shared memory and a set of processing entities that have the same access permissions to the shared memory; and verifying the DSMP using a verification tool designed to verify an SMP, wherein said verifying is performed by verifying each sub-system.