Object-transactional models of programs in algorithmic languages
This paper is devoted to the issue of representability of programs written in algorithmic languages using formalisms based on the idea of using marginal partially transactional memory, including a single transactional cell and many ordinary cells. It is assumed that such formalisms are based on the...
Saved in:
| Published in: | Программные системы и вычислительные методы no. 4; pp. 162 - 169 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
01.04.2024
|
| ISSN: | 2454-0714, 2454-0714 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | This paper is devoted to the issue of representability of programs written in algorithmic languages using formalisms based on the idea of using marginal partially transactional memory, including a single transactional cell and many ordinary cells. It is assumed that such formalisms are based on the concept of a network of objects representing both the main and auxiliary elements of the solving problem. Objects function in memory of the specified type, executing methods containing exclusively branching code devoid of cycles. Cycles in this approach are replaced by multiple special object network renegotiation, similar to that implemented in classical transactional memory. Based on the most general ideas about the process of solving a problem in a certain subject area, the concept of an object-transactional model is introduced for the first time and their basic properties are formulated. The methods of discrete mathematics and the theory of algorithms are used in the formulation of the structure and basic principles of the functioning of object-transactional models. The concept of marginal partially transactional memory containing a single transactional cell with a special agreement is introduced. The features of matching such memory in the context of the proposed models are described. A hypothesis is put forward about the feasibility of arbitrary algorithms using object-transactional models. The basic principles of the functioning of such models are described, and their basic properties are formulated. The concepts of marginal non-parallel and parallel models are introduced. It is proved that the limiting nonparallel model is capable of executing an arbitrary Turing-solvable algorithm. It is proved that the limiting parallel model of K+2 nodes is equivalent to a system of K parallel running Turing machines and, accordingly, is capable of executing an arbitrary Turing-solvable algorithm implying the presence of K parallel branches. Thus, the hypothesis put forward in the paper on the feasibility of arbitrary algorithms has been proved. |
|---|---|
| AbstractList | This paper is devoted to the issue of representability of programs written in algorithmic languages using formalisms based on the idea of using marginal partially transactional memory, including a single transactional cell and many ordinary cells. It is assumed that such formalisms are based on the concept of a network of objects representing both the main and auxiliary elements of the solving problem. Objects function in memory of the specified type, executing methods containing exclusively branching code devoid of cycles. Cycles in this approach are replaced by multiple special object network renegotiation, similar to that implemented in classical transactional memory. Based on the most general ideas about the process of solving a problem in a certain subject area, the concept of an object-transactional model is introduced for the first time and their basic properties are formulated. The methods of discrete mathematics and the theory of algorithms are used in the formulation of the structure and basic principles of the functioning of object-transactional models. The concept of marginal partially transactional memory containing a single transactional cell with a special agreement is introduced. The features of matching such memory in the context of the proposed models are described. A hypothesis is put forward about the feasibility of arbitrary algorithms using object-transactional models. The basic principles of the functioning of such models are described, and their basic properties are formulated. The concepts of marginal non-parallel and parallel models are introduced. It is proved that the limiting nonparallel model is capable of executing an arbitrary Turing-solvable algorithm. It is proved that the limiting parallel model of K+2 nodes is equivalent to a system of K parallel running Turing machines and, accordingly, is capable of executing an arbitrary Turing-solvable algorithm implying the presence of K parallel branches. Thus, the hypothesis put forward in the paper on the feasibility of arbitrary algorithms has been proved. |
| Author | Pekunov, Vladimir Viktorovich |
| Author_xml | – sequence: 1 givenname: Vladimir Viktorovich surname: Pekunov fullname: Pekunov, Vladimir Viktorovich |
| BookMark | eNpNkMtKAzEYhYNUsNa-guQFZkz-5jLZKcUbFLrpPmRyGSMzSUnGhW8voyKuzoEDB77vGq1STh6hW0paCVzcAeOsIZKyFgiwlrVCAXQXaP03rP71K7StNfaEMcklEWqN7o_9u7dzMxeTqrFzzMmMeMrOjxXngM8lD8VMFceEzTjkEue3KVo8mjR8mMHXG3QZzFj99jc36PT0eNq_NIfj8-v-4dBYxbsGwFvBGKOBMODQc3Ch87RzklvqrXNGKsUFBKKockQJJTiRwTnquwC2322Q-Lm1JddafNDnEidTPjUlejGhF0i9QOrFhGb628TuC83gU2A |
| Cites_doi | 10.1007/11561927_26 10.7256/2454-0714.2020.2.32232 10.1145/165123.165164 10.1145/1941553.1941578 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.7256/2454-0714.2024.4.69228 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| EISSN | 2454-0714 |
| EndPage | 169 |
| ExternalDocumentID | 10_7256_2454_0714_2024_4_69228 |
| GroupedDBID | AAYXX ALMA_UNASSIGNED_HOLDINGS CITATION M~E |
| ID | FETCH-LOGICAL-c958-22ec64441f04252b52df8e18d75c1ecdda799562f0919d09696507fdd1e8f2cb3 |
| ISSN | 2454-0714 |
| IngestDate | Sat Nov 29 02:28:09 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Issue | 4 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c958-22ec64441f04252b52df8e18d75c1ecdda799562f0919d09696507fdd1e8f2cb3 |
| OpenAccessLink | https://doi.org/10.7256/2454-0714.2024.4.69228 |
| PageCount | 8 |
| ParticipantIDs | crossref_primary_10_7256_2454_0714_2024_4_69228 |
| PublicationCentury | 2000 |
| PublicationDate | 2024-4-00 |
| PublicationDateYYYYMMDD | 2024-04-01 |
| PublicationDate_xml | – month: 04 year: 2024 text: 2024-4-00 |
| PublicationDecade | 2020 |
| PublicationTitle | Программные системы и вычислительные методы |
| PublicationYear | 2024 |
| References | ref2 ref1 ref4 ref3 ref6 ref5 |
| References_xml | – ident: ref1 – ident: ref5 – ident: ref2 doi: 10.1007/11561927_26 – ident: ref6 doi: 10.7256/2454-0714.2020.2.32232 – ident: ref3 doi: 10.1145/165123.165164 – ident: ref4 doi: 10.1145/1941553.1941578 |
| SSID | ssib044757069 |
| Score | 1.8656293 |
| Snippet | This paper is devoted to the issue of representability of programs written in algorithmic languages using formalisms based on the idea of using marginal... |
| SourceID | crossref |
| SourceType | Index Database |
| StartPage | 162 |
| Title | Object-transactional models of programs in algorithmic languages |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2454-0714 dateEnd: 99991231 omitProxy: false ssIdentifier: ssib044757069 issn: 2454-0714 databaseCode: M~E dateStart: 20170101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtR1dT9sw0AK2h71MoG3aJ8qk9alKSYwdx2-jtGgPG9tDhXiLktgeESVFpVQ88du5s5PUTNE0HvZysR374uQud2fr7kzIF5PkSqL3VFJGJmRGy7BgTIRGRnmaKK2MjeM--y5OT9Pzc_lra_tzGwuznou6Tu_u5PV_JTW0AbExdPYJ5O6QQgOUgegAgewA_4nwPwvcWglXm4PAMUAED7yxXhuNQ5Z1g83nvxfLanWB_vHtxuWNb64OJtFAngwmMTpEQHk8tfDQa3Hw2IMTe3dsy3xoK7GtpG0ZIHW322E4YOg6uQttkQAUj0dDeey1-Jhc__5pdPPj3jD3Psx13aiJy9t6sbYuwPNcVVfVcnhWXWKyB5CrF_5GCfX9a6w8pYwzG6_lVF9PW-Xvb1h5HjeqQjc12ad1BJiNGFjT4hrh00dslEjaBL4_SvP9h_rtnCJhOYaYMsSTIZ4M8WQss3i2yTMquETB_eN-2opMTNcoIntwY_d4FwePqA76p-SZYJ4tNdslL5tFUHDkmHePbOn6Ffnax7iBY9xgYYKWcYOqDjzGDTrGfU1mJ9PZ8bewOd8jLCWHn5bqEqxxFhtUHLTgFASDjlMleBnrUqkckxUm1IBJK1WEaZxg8WKUinVqaFkcviE79aLWb0nA4yTh0oAxWkimUkQveCw0K5QqVcrfkYP2jbNrl8Ul-_vnfv_kER_Iiw3XfSQ7q-Wt_kSel-tVdbPct1R7AFSvchg |
| linkProvider | ISSN International Centre |
| 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=Object-transactional+models+of+programs+in+algorithmic+languages&rft.jtitle=%D0%9F%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%BD%D1%8B%D0%B5+%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B+%D0%B8+%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5+%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D1%8B&rft.au=Pekunov%2C+Vladimir+Viktorovich&rft.date=2024-04-01&rft.issn=2454-0714&rft.eissn=2454-0714&rft.issue=4&rft.spage=162&rft.epage=169&rft_id=info:doi/10.7256%2F2454-0714.2024.4.69228&rft.externalDBID=n%2Fa&rft.externalDocID=10_7256_2454_0714_2024_4_69228 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2454-0714&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2454-0714&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2454-0714&client=summon |