pdf

Principles of Transactional Memory

  • 1星
  • 日期: 2021-01-07
  • 大小: 1.46MB
  • 所需积分:1分
  • 下载次数:0
  • favicon收藏
  • rep举报
  • 分享
  • free评论
标签: transactional-memory

transactional-memory

事务内存

transactional-memory

Transactional  memory  (TM)  is  an  appealing  paradigm  for  concurrent  programming  on  shared  memory  architectures.With  a  TM,  threads  of  an  application  communicate,  and  synchronize  their  actions,  via  in-memory  transactions.  Each  transaction  can  perform  any  number  of  operations  on  shared  data,  and  then  either  commit  or  abort.  When  the  transaction  commits,  the  effects  of  all  its  operations  become  immediately  visible  to  other  transactions;  when  it  aborts,  however,  those  effects  are  entirely  discarded.  Transactions  are  atomic:  programmers  get  the  illusion  that  every  transaction  executes  all  its  operations  instantaneously,  at  some  single  and  unique  point  in  time.  Yet,  a  TMruns  transactions  concurrently  to  leverage  the  parallelism  offered  by  modern  processors.

The  aim  of  this  book  is  to  provide  theoretical  foundations  for  transactional  memory.  This  includes  defining  a  model  of  a  TM,  as  well  as  answering  precisely  when  a  TM  implementation  is  correct,  what  kind  of  properties  it  can  ensure,  what  are  the  power  and  limitations  of  aTM,  and  what  inherent  trade-offs  are  involved  in  designing  aTMalgorithm.While  the  focus  of  this  book  is  on  the  fundamental  principles,  its  goal  is  to  capture  the  common  intuition  behind  the  semantics  of  TMs  and  the  properties  of  existing  TM  implementations.

更多简介内容

推荐帖子

评论

登录/注册

意见反馈

求资源

回顶部

datasheet推荐 换一换

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版 版权声明

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公网安备 11010802033920号 Copyright © 2005-2021 EEWORLD.com.cn, Inc. All rights reserved
$(function(){ var appid = $(".select li a").data("channel"); $(".select li a").click(function(){ var appid = $(this).data("channel"); $('.select dt').html($(this).html()); $('#channel').val(appid); }) })