<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<i>If immutability applied &#8220;up to a point&#8221; so would apply program
correctness.<br>
<br>
</i>awkward grammar, suggest: <i>If immutability applied "up to a
point" then so would program correctness.</i><br>
------------------------------------<br>
Need to mention the existence of "shared const". Also point out why
shared is not implicitly convertible to const, and why const is not
implicitly convertible to shared const.<br>
-------------------------------------------<br>
<i>Such serialization is considerably expensive in the presence of
elaborate cache hierarchies.</i><br>
<br>
grammar<br>
--------------------------------------------<br>
<i>The good news is that such a speed loss would happen if all data in
a program were<br>
treated as shared. In real programs, shared bits are few and far apart;
most data is not<br>
shared and therefore need not meet sequential consistency requirements.</i><br>
<br>
<br>
The first sentence sounds awkward. Try: <i>The good news is that such
a speed loss only occurs with shared data, which tends to be rare. In
real programs, most data is not shared and therefore need not meet
sequential consistency requirements.</i><br>
------------------------------------------------<br>
</body>
</html>