search for: erasure

...n languages, which is one of the goals of llvm. Second, polymorphism can be made more efficient if it has low-level codegen support -- see my earlier offset code. Third, any language which has polymorphism is faced with the task of ``erasing'' it before it can hand the code to llvm. Such erasure can be done in different ways -- compare Java type erasure (use pointers, instantiate nothing), with C++ (instantiate everything), with .Net (instantiate some things). (I don't know how Ocaml does it) It is very difficult to share code between languages if the erasure semantics differ so wide...

On Fri, Jun 13, 2014 at 08:34:03PM +0200, Akim Demaille wrote: > > Le 5 juin 2014 à 00:32, Rafael Espíndola <rafael.espindola at gmail.com> a écrit : > > > I think the difference is actually in the c++ library. It looks like > > libstdc++ changed to always use strcmp of the typeinfo names: > > > >

On Sat, Jun 14, 2014 at 6:15 AM Joerg Sonnenberger <joerg at britannica.bec.de> wrote: > On Fri, Jun 13, 2014 at 08:34:03PM +0200, Akim Demaille wrote: > > > > Le 5 juin 2014 à 00:32, Rafael Espíndola <rafael.espindola at gmail.com> a > écrit : > > > > > I think the difference is actually in the c++ library. It looks like > > > libstdc++

Le 5 juin 2014 à 00:32, Rafael Espíndola <rafael.espindola at gmail.com> a écrit : > I think the difference is actually in the c++ library. It looks like > libstdc++ changed to always use strcmp of the typeinfo names: > > https://gcc.gnu.org/viewcvs/gcc?view=revision&revision=149964 > > Should we do the same with libc++? What do people think about this issue?

On Mar 24, 2009, at 10:22 AM, Luke Dalessandro wrote: > OK, so it's mainly a problem of becoming comfortable with the llvm-gcc > internals that are affected and not a fundamental whole-compiler > design > problem. That's correct. > So I can essentially rematerialize the vtable types by pushing things > back through from the indirect calls in the program. Wouldn't

On Wed, Jun 04, 2014 at 06:32:35PM -0400, Rafael Espíndola wrote: > I think the difference is actually in the c++ library. It looks like > libstdc++ changed to always use strcmp of the typeinfo names: > > https://gcc.gnu.org/viewcvs/gcc?view=revision&revision=149964 > > Should we do the same with libc++? No. It pessimizes correctly behaving code to work around code that

I'm curious about the type erasure that goes on when llvm-g++ compiles C++ code. Is this a consequence of it just being the easiest way to do things based on the design of gcc and how LLVM is plugged into it? Can someone more familiar with the llvm-gcc infrastructure comment on the difficulty of generating more strongly typed vi...

Mike Stump wrote: > On Mar 24, 2009, at 10:22 AM, Luke Dalessandro wrote: > >> I guess that alias analysis doesn't always "trust" casts, where if I >> manually >> pushed back I would be assuming that the casts are correct? > > Once all the pushing is in, one should be able to discover that the > casts all convert to the same type, and remove

On Mar 24, 2009, at 8:40 AM, Luke Dalessandro wrote: > Can someone more familiar with the llvm-gcc infrastructure comment on > the difficulty of generating more strongly typed virtual function > tables > rather than just having them all be variable length arrays of pointers > of unknown type and casting to the "known" type before the call? The easiest way would be to

Mike Stump wrote: > On Mar 24, 2009, at 8:40 AM, Luke Dalessandro wrote: >> Can someone more familiar with the llvm-gcc infrastructure comment on >> the difficulty of generating more strongly typed virtual function >> tables >> rather than just having them all be variable length arrays of pointers >> of unknown type and casting to the "known" type

...HLVM. > Second, polymorphism can be made more efficient if it has low-level > codegen support -- see my earlier offset code. In theory, perhaps. > Third, any language which has polymorphism is faced with the task > of ``erasing'' it before it can hand the code to llvm. Such erasure can be > done in different ways -- compare Java type erasure (use pointers, > instantiate nothing), with C++ (instantiate everything), with .Net > (instantiate some things). (I don't know how Ocaml does it) It is very > difficult to share code between languages if the erasure sema...

Hi, Is there any existing support/on going work for zeroing buffers in llvm infrastructure? (either in the form of intrinsics or IR code buffer erasure?) My basic "grep" did not show up any. Please let me know any info on this. I will be glad to hear out! -- Anitha

...problem. I don't know however, how to address it elegantly in a way that pleases both gcc and clang. Consider a `base` class which features a down-casting operator, `as`, and a `derived` class template, that contains some payload. The pair `base`/`derived<T>` is used to implement type-erasure: // foo.hh #define API __attribute__((visibility("default"))) struct API base { virtual ~base() {} template <typename T> const T& as() const { return dynamic_cast<const T&>(*this); } }; template <typename T>...

...ges - feedback on the usecase and upcoming features that may benefit this usecase. Some of the points discussed * Need to ensure there are no issues when expanding a gluster volume when sharding is turned on. * Throttling feature for self-heal, rebalance process could be useful for this usecase * Erasure coded volumes with sharding - seen as a good fit for VM disk storage * Performance related ** accessing qemu images using gfapi driver does not perform as well as fuse access. Need to understand why. ** Using zfs with cache or lvmcache for xfs filesystem is seen to improve performance If you h...

...f all possible types > would safe a lot of memory, but would destroy all optimizations because > of the bitcasts; i dont know how to implement unions in llvm > > 3 is the way it is done in the interpreter, so i would prefer a way that > is very close to 3. > Suggestions? Do type erasure before emitting llvm ir.

Why do you say that people who compile, e.g., functional languages would benefit from type variables in LLVM? I like the level the LLVM is at, and would prefer to deal with instantiating parametric polymorphism at a higher level. On Wed, Feb 18, 2009 at 10:43 PM, DeLesley Hutchins <delesley.spambox at googlemail.com> wrote: >> I think many people were confused by this at first but an

...d to provide our services or, failing that, for the >> period required by law. The data provided will not be disclosed to any >> third party except as may be required by applicable law. As a Data >> Subject, >> you may at any time exercise the right of access, rectification, erasure, >> restriction of the processing, as well as the right to data portability >> or >> object to processing by writing to Outvise, S.L., with Tax Identification >> No. B66335947 and registered office at C/ Milanesat, 6, 08017 - Barcelona >> <https://www.google.com/map...

Hi, I'm about designing the compiler backend of my script language and I have generic types in the language. An example is the array. An array#int means array of integers. You can compare it to Java's generics. Whenever i have a variable of the type "generic", the type should be replaced by the really used type. Now the question is: how do i represent them in llvm without losing

...atures that may benefit this > usecase. > > Some of the points discussed > > * Need to ensure there are no issues when expanding a gluster volume when > sharding is turned on. > * Throttling feature for self-heal, rebalance process could be useful for > this usecase > * Erasure coded volumes with sharding - seen as a good fit for VM disk > storage I am working on this with a customer, we have been able to do 400-500 MB / sec writes! Normally things max out at ~150-250. The trick is to use multiple files, create the lvm stack and use native LVM striping. We have fou...

...fine. You need to plan ahead with large installations like this. Do complete workload tests and make sure your use case is suitable for EC. On Wed, Jun 28, 2017 at 11:18 PM, Jason Kiebzak <jkiebzak at gmail.com> wrote: > Has anyone scaled to a multi petabyte gluster setup? How well does erasure > code do with such a large setup? > > Thanks > > _______________________________________________ > Gluster-users mailing list > Gluster-users at gluster.org > http://lists.gluster.org/mailman/listinfo/gluster-users -------------- next part -------------- An HTML attachment...