线性化和可序列化(在 Java 的上下文中)有什么区别?您能否通过示例解释它们之间的区别或提供一个很好的引用?
最佳答案
两者的主要区别在于 serializability 是一个 global 属性;整个操作/交易历史的属性。 线性化是一个局部属性;单个操作/事务的属性。另一个区别是线性化包括实时的概念,而串行化不包括:操作的线性化点必须位于其调用和响应时间之间。 (请参阅 Tim Harris:Transactional Memory, 2ed。有关示例和证明,请参阅 多处理器编程的艺术,关于线性化的部分中 Herlihy 的幻灯片,这些幻灯片是 available here .
这两个属性都针对同一个目标:顺序一致性。来自 Herlihy 的论文:
Much work on databases and distributed systems uses serializability as the basic correctness condition for concurrent computations. In this model, a transaction is a thread of control that applies a finite sequence of primitive operations to a set of objects shared with other transactions. A history is serializable if it is equivalent to one in which transactions appear to execute sequentially, i.e., without interleaving. A (partial) precedence order can be defined on non-overlapping pairs of transactions in the obvious way. A history is strictly serializable if the transactions’ order in the sequential history is compatible with their precedence order...
...Linearizability can be viewed as a special case of strict serializability where transactions are restricted to consist of a single operation applied to a single object. Nevertheless, this single-operation restriction has far-reaching practical and formal consequences, giving linearizable computations a different flavor from their serializable counterparts. An immediate practical consequence is that concurrency control mechanisms appropriate for serializability are typically inappropriate for linearizability because they introduce unnecessary overhead and place unnecessary restrictions on concurrency.
Harris、Tim、James Larus 和 Ravi Rajwar:事务性内存,2ed。计算机体系结构综合讲座。 Morgn & Claypool,2010。ISBN 9781608452354。网址:http://www.morganclaypool.com/doi/abs/10.2200/S00272ED1V01Y201006CAC011?journalCode=cac
Herlihy、Maurice 和 Jeanette Wing:线性化:并发对象的正确性条件。 ACM 翻译。编。朗。和系统。卷。 12,第 3 期,1990 年 7 月,第 463-492 页。网址 http://www.cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf
Papadimitriou,Christos:并发数据库更新的可序列化。 ACM 杂志第 26 卷。第 4 期。1979 年 10 月,第 631-653 页。网址 http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-210.pdf
Herlihy、Maurice 和 Nir Shavit:多处理器编程的艺术。爱思唯尔,2008。ISBN 978-0-12-370591-4。网址:http://www.elsevier.com/wps/find/bookdescription.cws_home/714091/description#description关于线性化的 PPT 幻灯片在这里:http://pub.ist.ac.at/courses/ppc10/slides/Linearizability.pptx
Attiya、Hagit 和 Jennifer Welch:顺序一致性与线性化。 ACM 计算机系统交易卷。 12,第 2 期,1994 年 5 月,第 91-122 页。网址 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.133.4969&rep=rep1&type=pdf
如果您真的关心这一点,请阅读介绍定义的论文。对于线性化,即 Linearizability: A Correctness Condition for Concurrent Objects, Herlihy and Wing .它很密集,但值得关注。请注意,在软件事务内存社区中,线性化是否是正确的目标/属性是一个悬而未决的问题。
可序列化是关于操作集合的结果/“系统”可以表达为所有操作。线性化是系统中单个操作子集的属性......如果一个操作/一组操作在其他操作看来好像它们相对于其他操作发生在(逻辑)时间的特定时刻,那么它们就是可线性化的。这里的规范论文是Papadimitriou, The Serializability of Concurrent Database Updates .
当您考虑“可线性化”时,请考虑“原子操作”。当(似乎)相对于系统的其他部分原子地发生时,(一组)操作是可线性化的。一个常见的表述是“提供每个操作在其调用和响应之间立即生效的错觉”。 线性化的公式是由于Herlihy ,它强调这是一个局部属性,而其他类型的顺序一致性属性(如“可序列化”)是全局的。
关于java - 线性化和串行化有什么区别?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4179587/
类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc
我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i
为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返
它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput
我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN?它们是对象、关键字还是其他东西? 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串
如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象
关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗?通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串?SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复?
我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么? 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设? 关于java-等价于Java中的RubyHash,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/22737685/