A Variant of Concurrent Constraint Programming on GPU
The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately, constraint programming solvers do not take advantage yet of GPU parallelism. One reason is that constraint solvers were primarily designed within th...
Uloženo v:
| Vydáno v: | arXiv.org |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Paper |
| Jazyk: | angličtina |
| Vydáno: |
Ithaca
Cornell University Library, arXiv.org
18.07.2022
|
| Témata: | |
| ISSN: | 2331-8422 |
| 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 | The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately, constraint programming solvers do not take advantage yet of GPU parallelism. One reason is that constraint solvers were primarily designed within the mental frame of sequential computation. To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming. We then re-examine parallel constraint solving on GPUs within this formalism, and develop Turbo, a simple constraint solver entirely programmed on GPUs. Turbo validates the correctness of our approach and compares positively to a parallel CPU-based solver. |
|---|---|
| AbstractList | The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately, constraint programming solvers do not take advantage yet of GPU parallelism. One reason is that constraint solvers were primarily designed within the mental frame of sequential computation. To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming. We then re-examine parallel constraint solving on GPUs within this formalism, and develop Turbo, a simple constraint solver entirely programmed on GPUs. Turbo validates the correctness of our approach and compares positively to a parallel CPU-based solver. |
| Author | Bouvry, Pascal Pinel, Frédéric Talbot, Pierre |
| Author_xml | – sequence: 1 givenname: Pierre surname: Talbot fullname: Talbot, Pierre – sequence: 2 givenname: Frédéric surname: Pinel fullname: Pinel, Frédéric – sequence: 3 givenname: Pascal surname: Bouvry fullname: Bouvry, Pascal |
| BookMark | eNotjc1KAzEURoMoWGsfwN2A6xlvcpNMZlkGrULBLqrbkt8yxSaazIiP74Cuzjmb77shlzFFT8gdhYYrIeBB55_hu2EM2oYySuUFWTBEWivO2DVZlXICACZbJgQuiFhX7zoPOo5VClWfop1y9nPNWsash1l3OR2zPp-HeKxSrDa7t1tyFfRH8at_Lsn-6XHfP9fb181Lv97WWjBaS9cqYy33HAFdMAjU2eA0VdBZRA-ic9IqEZSRwME5ZQIXRneB8oDK45Lc_81-5vQ1-TIeTmnKcX48MNnxFgRIir80ZEhe |
| ContentType | Paper |
| Copyright | 2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: 2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | 8FE 8FG ABJCF ABUWG AFKRA AZQEC BENPR BGLVJ CCPQU DWQXO HCIFZ L6V M7S PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| DOI | 10.48550/arxiv.2207.12116 |
| DatabaseName | ProQuest SciTech Collection ProQuest Technology Collection ProQuest Materials Science & Engineering ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central SciTech Premium Collection ProQuest Engineering Collection Engineering Database ProQuest Central Premium ProQuest One Academic Publicly Available Content Database ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering collection |
| DatabaseTitle | Publicly Available Content Database Engineering Database Technology Collection ProQuest One Academic Middle East (New) ProQuest Central Essentials ProQuest One Academic Eastern Edition ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest One Academic UKI Edition ProQuest Central Korea Materials Science & Engineering Collection ProQuest Central (New) ProQuest One Academic ProQuest One Academic (New) Engineering Collection |
| DatabaseTitleList | Publicly Available Content Database |
| Database_xml | – sequence: 1 dbid: PIMPY name: Publicly Available Content Database url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Physics |
| EISSN | 2331-8422 |
| Genre | Working Paper/Pre-Print |
| GroupedDBID | 8FE 8FG ABJCF ABUWG AFKRA ALMA_UNASSIGNED_HOLDINGS AZQEC BENPR BGLVJ CCPQU DWQXO FRJ HCIFZ L6V M7S M~E PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| ID | FETCH-LOGICAL-a521-6d78bcc4e4303dfb301dcfda1809c33e059d6c85f8b6040dd8bf45ba9f14f38e3 |
| IEDL.DBID | M7S |
| IngestDate | Mon Jun 30 09:29:35 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a521-6d78bcc4e4303dfb301dcfda1809c33e059d6c85f8b6040dd8bf45ba9f14f38e3 |
| Notes | SourceType-Working Papers-1 ObjectType-Working Paper/Pre-Print-1 content type line 50 |
| OpenAccessLink | https://www.proquest.com/docview/2694705061?pq-origsite=%requestingapplication% |
| PQID | 2694705061 |
| PQPubID | 2050157 |
| ParticipantIDs | proquest_journals_2694705061 |
| PublicationCentury | 2000 |
| PublicationDate | 20220718 |
| PublicationDateYYYYMMDD | 2022-07-18 |
| PublicationDate_xml | – month: 07 year: 2022 text: 20220718 day: 18 |
| PublicationDecade | 2020 |
| PublicationPlace | Ithaca |
| PublicationPlace_xml | – name: Ithaca |
| PublicationTitle | arXiv.org |
| PublicationYear | 2022 |
| Publisher | Cornell University Library, arXiv.org |
| Publisher_xml | – name: Cornell University Library, arXiv.org |
| SSID | ssj0002672553 |
| Score | 1.8008418 |
| SecondaryResourceType | preprint |
| Snippet | The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately,... |
| SourceID | proquest |
| SourceType | Aggregation Database |
| SubjectTerms | Graphics processing units Programming languages Solvers |
| Title | A Variant of Concurrent Constraint Programming on GPU |
| URI | https://www.proquest.com/docview/2694705061 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwED5BCxITb_EoVQbWUFI7sTMhqFpAgiqCgsqE_DhLHUhKUip-PrabwoDEwubIS3S27zt_vvsO4JSkSaSEcLwbmpCmgoSSURmytItScZRx5AuF79hwyMfjNKsJt6pOq1z6RO-odaEcR95xFZfsPLbwczF9D13XKPe6WrfQWIWmU0mIfOre4zfH0k2YjZjJ4jHTS3d1RPk5mZ91Pa9i7z7JLxfscWWw-d8_2oJmJqZYbsMK5juw7vM5VbUL8WXwbG_B1mxBYYJekauFDpMbVr4txCzIFqlZbxa8giIPrrOnPRgN-qPeTVh3SAiFhd0w0YxLpShSC0TaSHtYtTJaOE0uRQja0EkniseGy8QeVq25NDSWIjURNYQj2YdGXuR4AIFCJSVHyoy2MQpJhBJoCEOKKOKYmUNoLY3wWu_y6vXHAkd_Tx_DRteVDThBSt6Cxqz8wBNYU_PZpCrb0LzqD7OHtl88-5Xd3mcvX02ypd4 |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LTwIxEJ4gaPTkOz5Q96DHFdnubrsHYwyKGpCQiIYb6WOacHAXWUT9Uf5H2wJ6MPHGwVuTJk0z83VenQfAMUniquTcxt1Q-2HCiS9oKHyaBCgkQxFVXaFwk7ZarNtN2gX4nNXC2LTKmUx0glpl0sbIK7bikp5FRv1cDF58OzXK_q7ORmhMYNHAjzfjsuXnd1eGvydBUL_u1G796VQBnxtV5ceKMiFliKER3koLA3AlteK2j5UkBI25oWLJIs1EbACuFBM6jARPdDXUhCExxy5AyVgRQeIyBR--QzpBTI2BTiZ_p65TWIUP3_vj08CFcYyrFf-S-E6N1Vf_GQHWoNTmAxyuQwHTDVhy2aoy34To0nsyPr4BhZdpr5alctJlyi5zN_Ri5LUniWfPRjV7WerdtB-3oDOPi25DMc1S3AFPohSCYUi1MhYYibnkqAnFEJFHEdW7UJ7RvDd9w3nvh-B7f28fwfJt577Za961GvuwEtgCCdt6k5WhOBq-4gEsyvGonw8PHV486M2ZPV9NXAAW |
| 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=A+Variant+of+Concurrent+Constraint+Programming+on+GPU&rft.jtitle=arXiv.org&rft.au=Talbot%2C+Pierre&rft.au=Pinel%2C+Fr%C3%A9d%C3%A9ric&rft.au=Bouvry%2C+Pascal&rft.date=2022-07-18&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.2207.12116 |