search for: nondeterministically

We're presently running Samba 1.9.15 on a Dec Alpha running OSF-3.2. We've been running this configuration for over a year and have developed a new problem in the last few weeks. Intermiddently, when a user attempts to save a file or copy (via desktop) a file to the server, the server returns a disk full error. If the user tries the exact same transaction, it usually works on the second

Hello I have a Samba PDC in domain KEVF_D4 called OBERON and a NT4 workstation NEPTUN in workgroup (not domain, workgroup) WORKGROUP I tried to map \\oberon\linux from OBERON using smbclient \\\\oberon\\linux -U <username> and gave password and it worked. I tried to map \\oberon\linux from NEPTUN and 1) got error message: "\\Oberon is not accessible. Logon failure: the user has not

On Fri, Jan 08, 2010 at 05:04:17PM -0800, Chris Lattner wrote: > On Jan 8, 2010, at 5:01 PM, Julien Lerouge wrote: > >Hello, > > > >The CodeExtractor contains a std::set<BasicBlock*> to keep track > >of the > >blocks to extract. Iterators on this set are not deterministic, and so > >the functions that are generated are not (the order of the >

On Jan 8, 2010, at 5:01 PM, Julien Lerouge wrote: > Hello, > > The CodeExtractor contains a std::set<BasicBlock*> to keep track of > the > blocks to extract. Iterators on this set are not deterministic, and so > the functions that are generated are not (the order of the > inputs/outputs can change). > > The attached patch uses a SetVector instead. Ok to apply ?

...this message: ssh_dispatch_run_fatal: Connection to a.b.c.d port 22: incorrect signature It quickly became apparent that the problem only affected connections authenticated with ED25519. I found, by instrumenting ed25519.c:crypto_sign_ed25519_open(), that bit #256 (of 255 valid bits) in sm[] was nondeterministically set or clear, whereas the corresponding bit in t2[] was always clear. I strongly suspect the new behavior is due to new compiler behavior, because (1) reverting to openssh-8.9_p1 fixed the problem even though all ED source code is identical, and (2) reverting to a rebuilt openssh-9.0_p1-r4 (Gentoo...

Hello, The CodeExtractor contains a std::set<BasicBlock*> to keep track of the blocks to extract. Iterators on this set are not deterministic, and so the functions that are generated are not (the order of the inputs/outputs can change). The attached patch uses a SetVector instead. Ok to apply ? Thanks, Julien -- Julien Lerouge PGP Key Id: 0xB1964A62 PGP Fingerprint: 392D 4BAD DB8B CE7F

...gt; (store x, p; v = load freeze p => store x, p; v = freeze x) >> >> >> (3) The third case is the value of struct/union padding. >> Padding is filled with unspecified value in C, so it is too undefined to >> use poison. >> We can fill it with defined bits nondeterministically chosen at >> allocation time (freeze poison). >> >> ``` >> <C> >> struct { >> char a; // 3 bytes padding >> int b; >> } s; >> >> v = s.b; >> >> => >> >> <IR> >> s = alloca {i8, i32} // alloc...

Further to that, I thought an example might be useful. In the following code, n should end up with a value that varies nondeterministically with the scheduling decisions made by the underlying run time system -- my model checker, for example, should in theory be able to enumerate all possible values. Anyway, if you look at the compiler output (see below), the volatile global variable, n, has vanished, with the printf output only e...

...re x, p; v = freeze x) >>>> >>>> >>>> (3) The third case is the value of struct/union padding. >>>> Padding is filled with unspecified value in C, so it is too undefined >>>> to use poison. >>>> We can fill it with defined bits nondeterministically chosen at >>>> allocation time (freeze poison). >>>> >>>> ``` >>>> <C> >>>> struct { >>>> char a; // 3 bytes padding >>>> int b; >>>> } s; >>>> >>>> v = s.b; >>&gt...

...Store forwarding isn’t free; needs insertion of freeze (store x, p; v = load freeze p => store x, p; v = freeze x) (3) The third case is the value of struct/union padding. Padding is filled with unspecified value in C, so it is too undefined to use poison. We can fill it with defined bits nondeterministically chosen at allocation time (freeze poison). ``` <C> struct { char a; // 3 bytes padding int b; } s; v = s.b; => <IR> s = alloca {i8, i32} // alloca initializes bytes in a type-dependent manner // s[0], s[4~7]: poison // s[1~3]: let's fill these bytes with nondet. bits s2...

Sarah Thompson wrote: > Further to that, I thought an example might be useful. In the following > code, n should end up with a value that varies nondeterministically with > the scheduling decisions made by the underlying run time system -- my > model checker, for example, should in theory be able to enumerate all > possible values. Anyway, if you look at the compiler output (see below), > the volatile global variable, n, has vanished, with the p...

...>>>>>> >>>>>> (3) The third case is the value of struct/union padding. >>>>>> Padding is filled with unspecified value in C, so it is too undefined >>>>>> to use poison. >>>>>> We can fill it with defined bits nondeterministically chosen at >>>>>> allocation time (freeze poison). >>>>>> >>>>>> ``` >>>>>> <C> >>>>>> struct { >>>>>> char a; // 3 bytes padding >>>>>> int b; >>>>>...

Hi All, Here are my notes for the LLVM 1.8 release, please send me feedback :). I'm sure I've forgotten and overlooked something, if so, please let me know! <Note: we're back to 3-month release cycle: yay!> ----- 8< ----- 8< ----- High Level Changes: *. Jim has finished enough support for DWARF debugging information that it is now enabled by default in

...;>>>>>> (3) The third case is the value of struct/union padding. >>>>>>>> Padding is filled with unspecified value in C, so it is too >>>>>>>> undefined to use poison. >>>>>>>> We can fill it with defined bits nondeterministically chosen at >>>>>>>> allocation time (freeze poison). >>>>>>>> >>>>>>>> ``` >>>>>>>> <C> >>>>>>>> struct { >>>>>>>> char a; // 3 bytes padding >&g...

Looking through the gcc testsuite turned up an interesting edge case. Let's assume our target leaves a hole for alignment in struct x, as do x86 and powerpc. Do you think the following code can validly abort? struct x { char c; short s; }; int i; char *p; memset(&X, 0, sizeof(struct x)); memset(&Y, 22, sizeof(struct x)); X = Y; for (i=0, p=(char *)&X;

I'm trying to get Samba 3.0.28 to work as an MS Dfs root providing a share that links home directories to the actual servers they reside on. Unfortunately, when I access the share from a Windows XP client, and try to open one of the directories, the client gives an error that it "refers to a location that is unavailable". I've done a lot of searching, and found a number of

I thought pointer referencing like this was only valid for arrays. I could be wrong, but it might be that looping over the struct like that is invalid, making it undefined behavior (and then the hole doesn't matter because there is no valid way to access it). That said, I've definitely seen a lot of code that uses pointers to reference struct contents. On Mar 11, 2008, at 10:42

Someone recently posted on the x2go list that he had a problem with jerky videos playing remotely on Ubuntu, but solved it by installing a low latency kernel that was available as an alternative. That made me curious as to whether CentOS has an equivalent - or a way to build something similar. -- Les Mikesell lesmikesell at gmail.com

> Except that some aspects of the host platform leak through > to .bc files. This may or may not be a problem. I know a bit about how Michael Norrish dealt with this sort of thing in his formal semantics for C. For example, integer width is modeled as a constant, but one with an unspecified value. Other C level choices such as order of evaluation of function arguments are modeled using

On Fri, May 2, 2008 at 2:07 PM, Sandro Magi <naasking at gmail.com> wrote: > Sorry, clicked send by accident. It seems there's some background I'm > missing though. Can I read up on this "as-if" rule anywhere? > >From the latest C++0x draft (n2588), 1.9/1 [intro.execution]: "The semantic descriptions in this International Standard define a parameterized