System and method for efficient verification of memory consistency model compliance

A system for efficiently verifying compliance with a memory consistency model includes a test module and an analysis module. The test module may coordinate an execution of a multithreaded test program on a test platform. If the test platform provides an indication of the order in which writes from m...

Full description

Saved in:
Bibliographic Details
Main Authors HANGAL SUDHEENDRA G, MANOVIT CHAIYASIT, CYPHER ROBERT E
Format Patent
LanguageEnglish
Published 17.08.2010
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

Abstract A system for efficiently verifying compliance with a memory consistency model includes a test module and an analysis module. The test module may coordinate an execution of a multithreaded test program on a test platform. If the test platform provides an indication of the order in which writes from multiple processing elements are performed at shared memory locations, the analysis module may use a first set of rules to verify that the results of the execution correspond to a valid ordering of events according to a memory consistency model. If the test platform does not provide an indication of write ordering, the analysis module may use a second set of rules to verify compliance with the memory consistency model.
AbstractList A system for efficiently verifying compliance with a memory consistency model includes a test module and an analysis module. The test module may coordinate an execution of a multithreaded test program on a test platform. If the test platform provides an indication of the order in which writes from multiple processing elements are performed at shared memory locations, the analysis module may use a first set of rules to verify that the results of the execution correspond to a valid ordering of events according to a memory consistency model. If the test platform does not provide an indication of write ordering, the analysis module may use a second set of rules to verify compliance with the memory consistency model.
Author HANGAL SUDHEENDRA G
CYPHER ROBERT E
MANOVIT CHAIYASIT
Author_xml – fullname: HANGAL SUDHEENDRA G
– fullname: MANOVIT CHAIYASIT
– fullname: CYPHER ROBERT E
BookMark eNqNizsOwjAQBV1Awe8OewEKlMJKSwSiD9SRZT-LleLdyLaQcntccACqNxrN25uNqGBnxnEtFYmcBEqobw0UNRNiZM-QSh9kbuwqq5DGFiXNK3mVwu0pfqWkAXMzaZnZicfRbKObC06_PRi6357D44xFJ5TFeQjq9BqttX3Xd9dL90fyBVxIOp4
ContentType Patent
DBID EVB
DatabaseName esp@cenet
DatabaseTitleList
Database_xml – sequence: 1
  dbid: EVB
  name: esp@cenet
  url: http://worldwide.espacenet.com/singleLineSearch?locale=en_EP
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
Discipline Medicine
Chemistry
Sciences
Physics
ExternalDocumentID US7779393B1
GroupedDBID EVB
ID FETCH-epo_espacenet_US7779393B13
IEDL.DBID EVB
IngestDate Fri Jul 19 12:34:36 EDT 2024
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-epo_espacenet_US7779393B13
Notes Application Number: US20050137755
OpenAccessLink https://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20100817&DB=EPODOC&CC=US&NR=7779393B1
ParticipantIDs epo_espacenet_US7779393B1
PublicationCentury 2000
PublicationDate 20100817
PublicationDateYYYYMMDD 2010-08-17
PublicationDate_xml – month: 08
  year: 2010
  text: 20100817
  day: 17
PublicationDecade 2010
PublicationYear 2010
RelatedCompanies ORACLE AMERICA, INC
RelatedCompanies_xml – name: ORACLE AMERICA, INC
Score 2.7854686
Snippet A system for efficiently verifying compliance with a memory consistency model includes a test module and an analysis module. The test module may coordinate an...
SourceID epo
SourceType Open Access Repository
SubjectTerms CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Title System and method for efficient verification of memory consistency model compliance
URI https://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20100817&DB=EPODOC&locale=&CC=US&NR=7779393B1
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LT4NAEJ409XlT1Fhf2YPhRoRCWT0QE15pTPqIbU1vzbILSQ-FpmBM_72zC61e9LqQCfuY3W_Yb74BeLTdjCMKMQ2L95jh2AJdSnQzQ1g2NR3GEkZlgvNg6PZnztu8N2_BcpcLo3RCv5Q4InoUR3-v1H69_vmJFSpuZfmULLGpeI2nXqg30bFUqrGoHvpeNB6Fo0APAm820YfvHqW4EF9sHwOlA4mipcx-9OHLpJT17xMlPoPDMRrLq3NopbkGJ8Gu8JoGx4PmvluDI0XQ5CU2Nk5YXsCkVhknLBekLgBNEHmSVIlBoEmCq1MSgFQ3SJHhS6tisyVccmFLiZG3RBXAITWfXM77JZA4mgZ9A79zsR-TxWyy75F9Be28yNNrIK6FM2JarMsF4hxuJyJJn10qMGYxGYK3DnT-NHPzz7NbOK1vzTHipHfQrjaf6T0exlXyoIbxG9Z1kLo
link.rule.ids 230,309,786,891,25594,76906
linkProvider European Patent Office
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LT8JAEJ4QfOBNUQM-92B6a2wpdPXQmNDSoNJCpBhuZLtbEg62hNYY_r2zW0Avet02k-5jdr_pfvMNwJ1lzzmiEEM3eYfpbUugS4nWXBemRY02YzGjMsE5CO3-pP0y7UwrsNjmwiid0C8ljogexdHfC7VfL39-YnmKW5nfxwtsyp78yPG0TXQslWpMqnldpzcaekNXc11nMtbCN4dSXIiPVhcDpT0qxXklcnrvyqSU5e8TxT-G_REaS4sTqCRpHWrutvBaHQ6DzX13HQ4UQZPn2LhxwvwUxqXKOGGpIGUBaILIkyRKDAJNElydkgCkukGyOb70ka3WhEsubC4x8pqoAjik5JPLeT8D4vcit6_jd852YzKbjHc9ss6hmmZp0gBimzgjhslaXCDO4VYs4uTBpgJjFoMheGtC808zF_88u4VaPwoGs8Fz-HoJR-UNOkaf9AqqxeozucaDuYhv1JB-A8Rck6c
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Apatent&rft.title=System+and+method+for+efficient+verification+of+memory+consistency+model+compliance&rft.inventor=HANGAL+SUDHEENDRA+G&rft.inventor=MANOVIT+CHAIYASIT&rft.inventor=CYPHER+ROBERT+E&rft.date=2010-08-17&rft.externalDBID=B1&rft.externalDocID=US7779393B1