國立虎尾科技大學 |

Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Transactional Memory. Foundations, Algorithms, Tools, and Applications/ edited by Rachid Guerraoui, Paolo Romano.
其他題名:	COST Action Euro-TM IC1001 /
其他作者:	Guerraoui, Rachid.
面頁冊數:	XIV, 469 p. 133 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Algorithms. -
電子資源:	https://doi.org/10.1007/978-3-319-14720-8
ISBN:	9783319147208

Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 /
Transactional Memory. Foundations, Algorithms, Tools, and ApplicationsCOST Action Euro-TM IC1001 /[electronic resource] :edited by Rachid Guerraoui, Paolo Romano. - 1st ed. 2015. - XIV, 469 p. 133 illus.online resource. - Theoretical Computer Science and General Issues ;8913. - Theoretical Computer Science and General Issues ;9163.

Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM systems -- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications.

The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming, and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstraction of atomic transactions, Transactional Memory (TM) promises to free programmers from the complexity of conventional synchronization schemes, simplifying the development and verification of concurrent programs, enhancing code reliability, and boosting productivity. Over the last decade TM has been subject to intense research on a broad range of aspects including hardware and operating systems support, language integration, as well as algorithms and theoretical foundations. On the industrial side, the major players of the software and hardware markets have been up-front in the research and development of prototypal products providing support for TM systems. This has recently led to the introduction of hardware TM implementations on mainstream commercial microprocessors and to the integration of TM support for the world’s leading open source compiler. In such a vast inter-disciplinary domain, the Euro-TM COST Action (IC1001) has served as a catalyzer and a bridge for the various research communities looking at disparate, yet subtly interconnected, aspects of TM. This book emerged from the idea having Euro-TM experts compile recent results in the TM area in a single and consistent volume. Contributions have been carefully selected and revised to provide a broad coverage of several fundamental issues associated with the design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations, programming language integration and verification tools, hardware supports, distributed TM systems, self-tuning mechanisms, as well as lessons learnt from building complex TM-based applications.

ISBN: 9783319147208

Standard No.: 10.1007/978-3-319-14720-8doiSubjects--Topical Terms:

527865
Algorithms.

LC Class. No.: QA76.9.A43

Dewey Class. No.: 005.1

Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 /
LDR:03793nam a22004095i 4500 001 969993
003 DE-He213
005 20200630040327.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319147208 $9 978-3-319-14720-8
024 7 $a 10.1007/978-3-319-14720-8 $2 doi
035 $a 978-3-319-14720-8
050 4 $a QA76.9.A43
072 7 $a UMB $2 bicssc
072 7 $a COM051300 $2 bisacsh
072 7 $a UMB $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Transactional Memory. Foundations, Algorithms, Tools, and Applications $h [electronic resource] : $b COST Action Euro-TM IC1001 / $c edited by Rachid Guerraoui, Paolo Romano.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XIV, 469 p. 133 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 8913
505 0 $a Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM systems -- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications.
520 $a The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming, and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstraction of atomic transactions, Transactional Memory (TM) promises to free programmers from the complexity of conventional synchronization schemes, simplifying the development and verification of concurrent programs, enhancing code reliability, and boosting productivity. Over the last decade TM has been subject to intense research on a broad range of aspects including hardware and operating systems support, language integration, as well as algorithms and theoretical foundations. On the industrial side, the major players of the software and hardware markets have been up-front in the research and development of prototypal products providing support for TM systems. This has recently led to the introduction of hardware TM implementations on mainstream commercial microprocessors and to the integration of TM support for the world’s leading open source compiler. In such a vast inter-disciplinary domain, the Euro-TM COST Action (IC1001) has served as a catalyzer and a bridge for the various research communities looking at disparate, yet subtly interconnected, aspects of TM. This book emerged from the idea having Euro-TM experts compile recent results in the TM area in a single and consistent volume. Contributions have been carefully selected and revised to provide a broad coverage of several fundamental issues associated with the design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations, programming language integration and verification tools, hardware supports, distributed TM systems, self-tuning mechanisms, as well as lessons learnt from building complex TM-based applications.
650 0 $a Algorithms. $3 527865
650 0 $a Computer logic. $3 786340
650 0 $a Software engineering. $3 562952
650 1 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
700 1 $a Guerraoui, Rachid. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 784648
700 1 $a Romano, Paolo. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1065017
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319147215
776 0 8 $i Printed edition: $z 9783319147192
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-14720-8
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)