Programming model to detect deadlocks in concurrent programs
Described are embodiments for developing a message-passing application program. The program is constructed using stages having a plurality of asynchronous functions, or operations. The operations communicate with other operations of other message-passing programs in a distributed computing environme...
Saved in:
Main Authors | , , |
---|---|
Format | Patent |
Language | English |
Published |
20.04.2010
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Described are embodiments for developing a message-passing application program. The program is constructed using stages having a plurality of asynchronous functions, or operations. The operations communicate with other operations of other message-passing programs in a distributed computing environment. The operations also communicate with other operations on other stages of the message-passing application. In order to reduce deadlock errors, a behavioral type signature is appended to the declaration of each operation of the message-passing application program. The behavioral type signature specifies behavioral properties for each operation, such as when an operation should send a message to another operation. A type checker utilizes typing rules and the behavioral type signature to extract an implementation model of each function. The type checker then compares the implementation model to the behavioral type signature to determine whether the asynchronous function conforms to the behavioral type signature. |
---|---|
AbstractList | Described are embodiments for developing a message-passing application program. The program is constructed using stages having a plurality of asynchronous functions, or operations. The operations communicate with other operations of other message-passing programs in a distributed computing environment. The operations also communicate with other operations on other stages of the message-passing application. In order to reduce deadlock errors, a behavioral type signature is appended to the declaration of each operation of the message-passing application program. The behavioral type signature specifies behavioral properties for each operation, such as when an operation should send a message to another operation. A type checker utilizes typing rules and the behavioral type signature to extract an implementation model of each function. The type checker then compares the implementation model to the behavioral type signature to determine whether the asynchronous function conforms to the behavioral type signature. |
Author | LARUS JAMES R REHOF JAKOB RAJAMANI SRIRAM K |
Author_xml | – fullname: LARUS JAMES R – fullname: RAJAMANI SRIRAM K – fullname: REHOF JAKOB |
BookMark | eNrjYmDJy89L5WSwCSjKTy9KzM3NzEtXyM1PSc1RKMlXSEktSU0uAVKJKTn5ydnFCpl5Csn5ecmlRUWpeSUKBRA9xTwMrGmJOcWpvFCam0HBzTXE2UM3tSA_PrW4IDE5NS-1JD402NzcwNjA3NzJyJgIJQC78TGw |
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 | US7703077B2 |
GroupedDBID | EVB |
ID | FETCH-epo_espacenet_US7703077B23 |
IEDL.DBID | EVB |
IngestDate | Fri Jul 19 12:25:36 EDT 2024 |
IsOpenAccess | true |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-epo_espacenet_US7703077B23 |
Notes | Application Number: US20020136596 |
OpenAccessLink | https://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20100420&DB=EPODOC&CC=US&NR=7703077B2 |
ParticipantIDs | epo_espacenet_US7703077B2 |
PublicationCentury | 2000 |
PublicationDate | 20100420 |
PublicationDateYYYYMMDD | 2010-04-20 |
PublicationDate_xml | – month: 04 year: 2010 text: 20100420 day: 20 |
PublicationDecade | 2010 |
PublicationYear | 2010 |
RelatedCompanies | MICROSOFT CORPORATION |
RelatedCompanies_xml | – name: MICROSOFT CORPORATION |
Score | 2.7729661 |
Snippet | Described are embodiments for developing a message-passing application program. The program is constructed using stages having a plurality of asynchronous... |
SourceID | epo |
SourceType | Open Access Repository |
SubjectTerms | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
Title | Programming model to detect deadlocks in concurrent programs |
URI | https://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20100420&DB=EPODOC&locale=&CC=US&NR=7703077B2 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1bS8MwFD6MeX3Tqjhv5EH6VlzX1LZgEXpjCNuK22RvI-laKMN22Ip_35O0m77oUyCBQxI450vynfMF4J5lui2gTtMt3dSow0zNMTjVWJqkLLNtRzdFofBo_Dic05eFuehAvq2FkTqhX1IcET0qQX-vZbze_DxiBTK3snrgOXaVz9HMDdT2dizkzwZ9NfDcMJ4EE1_1fXc-VcevriWFrywPo_WeOEULmf3wzRNFKZvfiBKdwH6Mxor6FDppocCRv_14TYHDUct3K3AgEzSTCjtbJ6zO4ClucqreEXWI_MmG1CVZpYIOwIatEJ_WFckLgnfdpNFfIm0eVnUOJApn_lDDCS13i1_Op7upGxfQLcoivQRicqGVZWSWJeRjDNPhjDNB8tEkoVl_0IPen2au_hm7huOGHqfoPjfQrT8-01tE3Zrfyf36BpAdhqc |
link.rule.ids | 230,309,786,891,25594,76903 |
linkProvider | European Patent Office |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LS8NAEB5KfdSbVqX1uQfJLdg0WdOAQWjSULWPYBPpLWzSDRQxLSbi33d2k1YvelrYhWF2YeZjdma-AbhhqdYTUKdqpkZVw2JUtfTYUBlPOEt7PUujolF4PLkbhsbTnM5rsNz0wkie0C9JjogWlaC9F9Jfr38-sVxZW5nfxkvcWj14ge0qVXQs6M-6HcXt2wN_6k4dxXHscKZMXmxTEl-ZffTWOyZGhDJSeu2LppT1b0TxDmHXR2FZcQQ1njWh4WwGrzVhf1zlu5uwJws0kxw3KyPMj-HeL2uq3hF1iJxkQ4oVWXCRDsCFLRCf3nKyzAjGuknJv0SqOqz8BIg3CJyhigpF28tH4Wyrun4K9WyV8RYQGguuLD01TUEfo1MrZjETST4jSYy0021D-08xZ_-cXUNjGIxH0ehx8nwOB2Wq3EBTuoB68fHJLxGBi_hKvt03AYqJkQ |
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=Programming+model+to+detect+deadlocks+in+concurrent+programs&rft.inventor=LARUS+JAMES+R&rft.inventor=RAJAMANI+SRIRAM+K&rft.inventor=REHOF+JAKOB&rft.date=2010-04-20&rft.externalDBID=B2&rft.externalDocID=US7703077B2 |