search for: sewell

On 27 June 2015 at 17:01, Duncan P. N. Exon Smith <dexonsmith at apple.com> wrote: > >> On 2015 Jun 26, at 17:02, Peter Sewell <Peter.Sewell at cl.cam.ac.uk> wrote: >> >> On 26 June 2015 at 22:53, Sean Silva <chisophugis at gmail.com <mailto:chisophugis at gmail.com>> wrote: >>> All of these seem to fall into the pattern of "The compiler is required to >>> do what you ex...

On 1 July 2015 at 13:29, Renato Golin <renato.golin at linaro.org> wrote: > On 1 July 2015 at 13:10, Peter Sewell <Peter.Sewell at cl.cam.ac.uk> wrote: >> while attractive from the compiler-writer point of view, is just not >> realistic, given the enormous body of C code out there which does >> depend on some particular properties which are not guaranteed by the >> ISO standard. &...

On 1 July 2015 at 10:17, Renato Golin <renato.golin at linaro.org> wrote: > On 1 July 2015 at 03:53, Sean Silva <chisophugis at gmail.com> wrote: >> Unfortunately in other cases it is very hard to communicate what the user >> should assert/why they should assert it, as Chris talks about in his blog >> posts. So it realistically becomes sort of black and white --

I am working with ext3 w/ the 2.4.20 kernel. I recently had a case where my root partition indicated that is was 100% full. I was unable to create new files, etc on the system. However, when I issued the 'du' command, the system indicated that only 2G of the 5G drive was in usage. I did a dump of the FS and I see were there is an indication of no free blocks. I decided to reboot

On 14 Mar 2002, david.e.sewell@jpmorgan.com wrote: > I'm sure you get a million and one requests for changes to rsync. I thought > I would put my bid in and sugest that a feature to perform a unix style > diff of files that are found to be different would be useful for > administrators that use rsync to maintain...

----- Original Message ----- > From: "Sean Silva" <chisophugis at gmail.com> > To: "Peter Sewell" <Peter.Sewell at cl.cam.ac.uk> > Cc: llvmdev at cs.uiuc.edu > Sent: Friday, June 26, 2015 4:53:30 PM > Subject: Re: [LLVMdev] C as used/implemented in practice: analysis of responses > > > > All of these seem to fall into the pattern of "The compiler is >...

On Tue, Jun 30, 2015 at 2:37 PM, Peter Sewell <Peter.Sewell at cl.cam.ac.uk> wrote: > On 30 June 2015 at 18:21, Hal Finkel <hfinkel at anl.gov> wrote: > > ----- Original Message ----- > >> From: "Sean Silva" <chisophugis at gmail.com> > >> To: "Peter Sewell" <Peter.Sewell at...

...obviously sort of a twisted logic, and I think that a lot of the > "malevolence" attributed to compilers is due to this. It certainly removes > many target-dependent checks from the mid-level optimizer though. > > -- Sean Silva > > On Fri, Jun 26, 2015 at 1:42 AM, Peter Sewell <Peter.Sewell at cl.cam.ac.uk> > wrote: >> >> As part of a project to clarify what behaviour of C implementations is >> actually relied upon in modern practice, and what behaviour is >> guaranteed by current mainstream implementations, we recently >> distribut...

...... Etc.. Etc... For all my 10 channels. Did you managed to solve this by asking ntl to deliver ISDN 110 or was is something else? I hope you receive this because Im getting a bit desperate :( Thanks Darren Darren Round B.Sc.(HONS) MANAGING DIRECTOR Advanced I.T. Solutions Ltd The Upper Lodge Sewell Road Lincoln LN2 5QX UK T: 0800 952 0080 F: 0870 751 0590 --- Outgoing mail is certified Virus Free. Checked by AVG anti-virus system (http://www.grisoft.com). Version: 6.0.681 / Virus Database: 443 - Release Date: 5/10/2004

...comments on those from the relevant compiler developers (or other experts). If you can answer these, please reply either below or by mailing the Cerberus mailing list: cl-cerberus at lists.cam.ac.uk https://lists.cam.ac.uk/mailman/listinfo/cl-cerberus many thanks, Kayvan Memarian and Peter Sewell (University of Cambridge) What is C in practice? (Cerberus survey): Conclusions ====================================================================== ## Kayvan Memarian and Peter Sewell ### University of Cambridge, 2015-06-21 -----------------------------------------...

...nfrastructure, and the conversion. -- Peter Wemm - peter@wemm.org; peter@FreeBSD.org; peter@yahoo-inc.com "All of this is for nothing if we don't go to the stars" - JMS/B5 "If Java had true garbage collection, most programs would delete themselves upon execution." -- Robert Sewell

...| | | +--------------------------------------------------------------------------------------------------------------+ Chat Later Ollie Sewell

...points to 1.2.0. Cheers, Erik -- ----------------------------------------------------------------- Erik de Castro Lopo ----------------------------------------------------------------- "If Java had true garbage collection, most programs would delete themselves upon execution." -- Robert Sewell

...el.org; gcc at gcc.gnu.org; llvm-dev at lists.llvm.org > Reply To: parallel at lists.isocpp.org > Cc: peterz at infradead.org; j.alglave at ucl.ac.uk; will.deacon at arm.com; dhowells at redhat.com; Ramana.Radhakrishnan at arm.com; luc.maranget at inria.fr; akpm at linux-foundation.org; Peter.Sewell at cl.cam.ac.uk; torvalds at linux-foundation.org; mingo at kernel.org > Subject: [isocpp-parallel] Proposal for new memory_order_consume definition > > Hello! > > A proposal (quaintly identified as P0190R0) for a new memory_order_consume > definition may be found here: > &g...

Hello! A proposal (quaintly identified as P0190R0) for a new memory_order_consume definition may be found here: http://www2.rdrop.com/users/paulmck/submission/consume.2016.02.10b.pdf As requested at the October C++ Standards Committee meeting, this is a follow-on to P0098R1 that picks one alternative and describes it in detail. This approach focuses on existing practice, with the goal of

Hey All, I am running rsync version 2.5.5 protocol version 26 on my remote machine (Redhat 8 def. install) and rsync version 2.5.6 protocol version 26 on my local machine (Redhat 7.2, 2.4.17 kernel instead of Redhat one with acl patches). I can copy files between these two machines (using ssh/scp) fine. When i run the command: rsync -rptz --delete --stats --include="*.ini"

...nu.org; llvm-dev at lists.llvm.org > > Reply To: parallel at lists.isocpp.org > > Cc: peterz at infradead.org; j.alglave at ucl.ac.uk; will.deacon at arm.com; > dhowells at redhat.com; Ramana.Radhakrishnan at arm.com; luc.maranget at inria.fr; > akpm at linux-foundation.org; Peter.Sewell at cl.cam.ac.uk; > torvalds at linux-foundation.org; mingo at kernel.org > > Subject: [isocpp-parallel] Proposal for new memory_order_consume > definition > > > > Hello! > > > > A proposal (quaintly identified as P0190R0) for a new > memory_order_consume >...

We already perform optimizations only when the compiler can prove they won’t break the program. The only difference between that and what you suggest is in the definition of “won’t break the program”. We define it as “won’t break the program with respect to the semantics implied by the C/C++ spec”. You want to redefine it, by specifying a new abstract machine, which is more conservative than

Hi Philip, On 29 May 2014 17:03, Philip Reames <listmail at philipreames.com> wrote: > I have some reservations about this proposal. I don't have anything > particularly concrete, but the idea of supporting both LL/SC and atomicrwm > in the IR concerns me from a complexity perspective. Well, I'll start by saying my particular optimisation use case looks like it's not

The first release candidate of the 9.1-RELEASE release cycle is now available on the FTP servers for amd64, i386, and powerpc64. The MD5/SHA256 checksums are at the bottom of this message. The ISO images and, for architectures that support it, the memory stick images are available here: ftp://ftp.freebsd.org/pub/FreeBSD/releases/ISO-IMAGES/9.1/ (or any of the FreeBSD mirror sites). Current