Communications directed by bound types in Linda: presentation and formal model
Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show that this model suffers from the false matching phenomenon. We explain under which conditions this problem occurs, we examine the solutions already proposed to so...
Uloženo v:
| Vydáno v: | IEEE transactions on parallel and distributed systems Ročník 13; číslo 8; s. 828 - 843 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
New York
IEEE
01.08.2002
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Témata: | |
| ISSN: | 1045-9219, 1558-2183 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show that this model suffers from the false matching phenomenon. We explain under which conditions this problem occurs, we examine the solutions already proposed to solve it, and we show why they are not sufficient. In this framework, our goal is to propose an extension to the Linda model in order to eliminate the false matching phenomenon. This model-Linda with bound types or B-Linda-suitable for modern programming paradigms, adds an extended-type notion into the basic Linda model. It is first introduced in an informal manner, then we present an implementation of it. Some formal aspects are specified in the appendix: The definition of the model's elements and operational semantics. |
|---|---|
| AbstractList | Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show that this model suffers from the false matching phenomenon. We explain under which conditions this problem occurs, we examine the solutions already proposed to solve it, and we show why they are not sufficient. In this framework, our goal is to propose an extension to the Linda model in order to eliminate the false matching phenomenon. This model-Linda with bound types or B-Linda-suitable for modern programming paradigms, adds an extended-type notion into the basic Linda model. It is first introduced in an informal manner, then we present an implementation of it. Some formal aspects are specified in the appendix: The definition of the model's elements and operational semantics. Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show in this paper that this model suffers from the false matching phenomenon. We explain under hich conditions this problem occurs, we examine the solutions already proposed to solve it, and we show why they are not sufficient. In this framework, our goal is to propose an extension to the Linda model in order to eliminate the false matching phenomenon. This model-Linda with bound types or B-Linda suitable for modern programming paradigms, adds an extended-type notion into the basic Linda model. It is first introduced in an informal manner, then we present an implementation of it. Some formal aspects are specified in the appendix: The definition of the model's elements and operational semantics. |
| Author | Gibaud, A. Thomin, P. |
| Author_xml | – sequence: 1 givenname: A. surname: Gibaud fullname: Gibaud, A. organization: Lab. of Ind. & Human Mech. & Autom. Control, Univ. of Valenciennes & Hainaut-Cambresis, France – sequence: 2 givenname: P. surname: Thomin fullname: Thomin, P. organization: Lab. of Ind. & Human Mech. & Autom. Control, Univ. of Valenciennes & Hainaut-Cambresis, France |
| BookMark | eNqF0U1r3DAQBmBREuhm0x9QehE5tCdvRh-2pdzK5hOWttDtWcjSGBxsaSvZh_338Xb3EHpITjMwzwwM7wU5CzEgIZ8ZrBgDfb39dft7xQH4igFXUugPZMHKUhWcKXE29yDLQnOmP5KLnJ8BmCxBLsiPdRyGKXTOjl0MmfouoRvR02ZPmzgFT8f9DjPtAt10wdsbukuYMYz_PLUzaGMabE-H6LG_JOet7TN-OtUl-XN_t10_FpufD0_r75vCCVGNRSNsK0vWKGhry5wFX7GGW8Y9cEDuaouSOZCtQ99WWPpaNJV2EkArK7AWS_LteHeX4t8J82iGLjvsexswTtloqHXFFYhZfn1TcsV5XSr1Pqyh4iCqGV79B5_jlML8rtGaq0oLyWfEjsilmHPC1uxSN9i0NwzMITFzSMwcEjOnxOadL8edDhFf-eP0BRDDkzk |
| CODEN | ITDSEO |
| Cites_doi | 10.1007/3-540-59450-7_8 10.1109/2.44903 10.1109/reldis.1994.336905 10.1145/155332.155335 10.1016/0169-7552(96)00045-1 10.1016/S1389-1286(00)00178-X 10.1007/3-540-51285-3_30 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2002 |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2002 |
| DBID | RIA RIE AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D F28 FR3 |
| DOI | 10.1109/TPDS.2002.1028439 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ANTE: Abstracts in New Technology & Engineering Engineering Research Database |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional Engineering Research Database ANTE: Abstracts in New Technology & Engineering |
| DatabaseTitleList | Technology Research Database Computer and Information Systems Abstracts Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1558-2183 |
| EndPage | 843 |
| ExternalDocumentID | 2629171681 10_1109_TPDS_2002_1028439 1028439 |
| GroupedDBID | --Z -~X .DC 0R~ 29I 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABFSI ABQJQ ABVLG ACGFO ACIWK AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 E.L EBS EJD HZ~ H~9 ICLAB IEDLZ IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P PQQKQ RIA RIE RNI RNS RZB TN5 TWZ UHB VH1 AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D RIG F28 FR3 |
| ID | FETCH-LOGICAL-c336t-b3af451b80f7a1ca0d61b2a12d020e2c7ae41c04fcedf6e5d73b69c40098a3e73 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000177281500005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1045-9219 |
| IngestDate | Thu Oct 02 10:26:22 EDT 2025 Mon Sep 29 02:47:32 EDT 2025 Thu Oct 02 10:59:57 EDT 2025 Fri Jul 25 07:30:10 EDT 2025 Sat Nov 29 08:08:11 EST 2025 Wed Aug 27 02:52:31 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 8 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c336t-b3af451b80f7a1ca0d61b2a12d020e2c7ae41c04fcedf6e5d73b69c40098a3e73 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 content type line 23 |
| PQID | 992869342 |
| PQPubID | 23500 |
| PageCount | 16 |
| ParticipantIDs | crossref_primary_10_1109_TPDS_2002_1028439 proquest_journals_992869342 proquest_miscellaneous_907962803 proquest_miscellaneous_28227588 proquest_miscellaneous_27062036 ieee_primary_1028439 |
| PublicationCentury | 2000 |
| PublicationDate | 2002-08-01 |
| PublicationDateYYYYMMDD | 2002-08-01 |
| PublicationDate_xml | – month: 08 year: 2002 text: 2002-08-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on parallel and distributed systems |
| PublicationTitleAbbrev | TPDS |
| PublicationYear | 2002 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | Gelernter (ref1) ref12 ref14 Leichter (ref13) 1993 ref10 ref2 Lehman (ref7) ref17 Bakken (ref20) 1993 ref19 Shoenfielinger (ref8) 1995 Gibaud (ref18) 1999; 19 Carriero (ref9) 1990 ref6 Pinakis (ref11) 1993 (ref16) 2000 Plotkin (ref22) 1981 Priami (ref23) 1996 Siegel (ref4) 1991 Matson (ref3) 1992 Gibaud (ref21) 1996; 8 (ref5) 2000 Ciancarini (ref24) 1992 Hupfer (ref15) 1990 |
| References_xml | – ident: ref6 doi: 10.1007/3-540-59450-7_8 – year: 1993 ident: ref11 article-title: Using Linda as the Basis of an Operating System Microkernel – volume: 8 start-page: 365 issue: 4 year: 1996 ident: ref21 article-title: Linda Typé : Une Approche Plus Sûre de la Programmation Distribuée Avec Linda. [Typed Linda: A Safer Approach to Distributed Programming with Linda] publication-title: Calculateurs Parallèles – year: 1992 ident: ref3 article-title: The C-Linda Language for Network of Workstations – volume: 19 start-page: 43 year: 1999 ident: ref18 article-title: Linda Typé: Une Extension du Modèle Linda Pour Environnement Multiapplicatif. [Typed Linda: An Extension of the Linda Model for Multiapplicative Environment] publication-title: Technique et Science Informatiques (TSI) – year: 1995 ident: ref8 article-title: WWW Meets Linda: Linda for Global WWW-Based Transaction Processing Systems publication-title: World Wide Web J. – start-page: 255 volume-title: Proc. Int’l Conf. Parallel Programming ident: ref1 article-title: Parallel Programming in Linda – year: 1990 ident: ref15 article-title: Melinda: Linda with Multiple Tuple Spaces – ident: ref10 doi: 10.1109/2.44903 – ident: ref19 doi: 10.1109/reldis.1994.336905 – volume-title: JavaSpaces Service Specification year: 2000 ident: ref5 – volume-title: Hawaii Int’l Conf. System Sciences ident: ref7 article-title: Tspaces: The Next Wave – ident: ref2 doi: 10.1145/155332.155335 – volume-title: How to Write Parallel Programs: A first Course. year: 1990 ident: ref9 – ident: ref12 doi: 10.1016/0169-7552(96)00045-1 – year: 1991 ident: ref4 article-title: Implementing Distributed Linda in Standard ml – year: 1993 ident: ref20 article-title: Supporting Fault Tolerant Parallel Programming in Linda – year: 1981 ident: ref22 article-title: A Structural Approach to Operational Semantics – ident: ref17 doi: 10.1016/S1389-1286(00)00178-X – volume-title: Paradise User’s Guide and Reference Manual year: 2000 ident: ref16 – year: 1996 ident: ref23 article-title: Enhanced Operational Semantics for Concurrency – year: 1993 ident: ref13 article-title: Shared Memories, Buses, and LansLinda Implementations Across the Spectrum of Connectivity – ident: ref14 doi: 10.1007/3-540-51285-3_30 – year: 1992 ident: ref24 article-title: The Semantics of a Parallel Language Based on a Shared Data Space |
| SSID | ssj0014504 |
| Score | 1.6448314 |
| Snippet | Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show that this model... Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show in this paper that... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 828 |
| SubjectTerms | Application software Associative memory Computer architecture Computer networks Concurrent computing Distributed computing Matching Mathematical models Parallel processing Parallel programming Power generation economics Power system economics Programming Semantics Variable speed drives |
| Title | Communications directed by bound types in Linda: presentation and formal model |
| URI | https://ieeexplore.ieee.org/document/1028439 https://www.proquest.com/docview/992869342 https://www.proquest.com/docview/27062036 https://www.proquest.com/docview/28227588 https://www.proquest.com/docview/907962803 |
| Volume | 13 |
| WOSCitedRecordID | wos000177281500005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1558-2183 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0014504 issn: 1045-9219 databaseCode: RIE dateStart: 19900101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB5q8aAHq1Wx1scePInRJPvKehO1eCoFFbyFfQUESUvTCv57dzdpVXyAt5AMYZnZ2ZnZeXwAJxhjKRUXkeJKREQZHEl3DEZaF84hl7hgpAab4MNh9vQkRi04W_bCWGtD8Zk9948hl2_Geu6vyi68MXQGdAVWOOd1r9YyY0BogAp00QWNhFPDJoOZxOLiYXRzH4oRzpsffLFBAVTl20kczMug87-FbcJG40aiq1ruW9CyZRc6C4gG1GhsF9Y_zRvchuGXdpAK1fbMGqTekPL4SsjfyFbouUQhVr9Ek4_upBJJRxB83BcUAHR24HFw-3B9FzWACpHGmM0ihWVBaKKyuOAy0TI2LFGpk41xTqNNNZeWJDomhbamYJYajhUTmvihoxJbjnehXY5LuwcI-wwNE0wmhhIpiaLUCOOck4wWMmWmB6cLFueTem5GHuKNWOReHh7-Ms0bvvVg2_P0E2Hzur8QSt5oVpULkWZMYJL24Hj51amEz3PI0o7nVZ7ymPn86h8Uzi1ygVLWA_QLhYi5YB65a__ntfVhLeDChFLAA2jPpnN7CKv6dfZcTY_C1nwHdQTifQ |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1ZS8QwEB50FdQH1xPXMw8-idW2uRrfxANFXQRX8K3kKgjSFbsr-O9N0u6qeIBvpR1KmMlkZjLHB7CLMZZScREprkRElMGRdMdgpHXhHHKJC0ZqsAne7WYPD-J2AvbHvTDW2lB8Zg_8Y8jlm74e-quyQ28MnQGdhClKSJrU3VrjnAGhASzQxRc0Ek4RmxxmEovD3u3pXShHOGh-8cUKBViVb2dxMDDn7f8tbQHmG0cSHdeSX4QJWy5BewTSgBqdXYK5TxMHl6H7pSGkQrVFswapN6Q8whLyd7IVeixRiNaP0PNHf1KJpCMIXu4TChA6K3B_ftY7uYgaSIVIY8wGkcKyIDRRWVxwmWgZG5ao1EnHOLfRpppLSxIdk0JbUzBLDceKCU382FGJLcer0Cr7pV0DhH2OhgkmE0OJlERRaoRx7klGC5ky04G9EYvz53pyRh4ijljkXh4eADPNG751YNnz9BNh83pjJJS80a0qFyLNmMAk7cDO-KtTCp_pkKXtD6s85THzGdY_KJxj5EKlrAPoFwoRc8E8dtf6z2vbgZmL3s11fn3ZvdqA2YASEwoDN6E1eBnaLZjWr4PH6mU7bNN3YFflxA |
| 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%3Ajournal&rft.genre=article&rft.atitle=Communications+directed+by+bound+types+in+Linda%3A+presentation+and+formal+model&rft.jtitle=IEEE+transactions+on+parallel+and+distributed+systems&rft.au=Gibaud%2C+A&rft.au=Thomin%2C+P&rft.date=2002-08-01&rft.issn=1045-9219&rft.volume=13&rft.issue=8&rft.spage=828&rft.epage=843&rft_id=info:doi/10.1109%2FTPDS.2002.1028439&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1045-9219&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1045-9219&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1045-9219&client=summon |