search for: linearizability

Hello, I intend to create a tool for detecting thread-safety problems within libraries. Therefore I would like to use the "Linearizability" correctness principle. Were there any efforts within the KLEE project regarding to that topic? Would it be interesting for the community at all? Best regards, Andreas

...ght be of interest to you: http://cloud9.epfl.ch/ Best, On Thu, Oct 25, 2012 at 3:49 PM, Andreas Wilhelm <andreas.wilhelm at in.tum.de> wrote: > Hello, > > I intend to create a tool for detecting thread-safety problems within libraries. > Therefore I would like to use the "Linearizability" correctness principle. Were there > any efforts within the KLEE project regarding to that topic? Would it be interesting > for the community at all? > > Best regards, > Andreas > _______________________________________________ > klee-dev mailing list > klee-dev at keed...

Here are some comments, quotes are from the draft. > an operation based constraint cannot guard other operations I think constraints associated with a particular instruction usually apply to this instruction and previous/subsequent instructions, so this wouldn't be true. This is the case in the atomic_ops model, and also on ia64 I think. > The single instruction constraints can,

Hello, This is the second major revision of the atomic proposal for LLVM. I will try and give a brief overview of the motivating changes, but a greater portion of the text has changed, along with some changes to the proposed additions. http://chandlerc.net/llvm_atomics.html - The proposal has been rewritten to better delineate the goals and purposes of LLVM, and these additions to LLVM. The why

I have a model Q=K*A*(R^r)*(S^s) A, R, and S are data I have and K is a curve fitting parameter. I have linearized as log(Q)=log(K)+log(A)+r*log(R)+s*log(S) I have taken the log of the data that I have and this is the model formula without the K part lm(Q~offset(A)+R+S, data=x) What is the formula that I should use? Thanks for all of your help. I can provide a subset of data if necessary.

On 7/12/07, Torvald Riegel <torvald at se.inf.tu-dresden.de> wrote: > Here are some comments, quotes are from the draft. > > > an operation based constraint cannot guard other operations > > I think constraints associated with a particular instruction usually apply > to this instruction and previous/subsequent instructions, so this wouldn't > be true. This is the