Thursday, November 14, 2019

Digest for comp.lang.c++@googlegroups.com - 12 updates in 4 topics

Nikki Locke <nikki@trumphurst.com>: Nov 14 11:23PM

Available C++ Libraries FAQ
 
URL: http://www.trumphurst.com/cpplibs/
 
This is a searchable list of libraries and utilities (both free
and commercial) available to C++ programmers.
 
If you know of a library which is not in the list, why not fill
in the form at http://www.trumphurst.com/cpplibs/cppsub.php
 
Maintainer: Nikki Locke - if you wish to contact me, please use the form on the website.
Bonita Montero <Bonita.Montero@gmail.com>: Nov 14 05:33PM +0100

> The proposal provides lock-free query functions on individual objects rather than whole types to permit unavoidably misaligned atomic variables without penalizing the performance of aligned atomic variables.
 
That's rather stupid since the language says that access to unaligned
data has an undefined behaviour. And there's not the least necessitiy
in using unaligned atomics.
Melzzzzz <Melzzzzz@zzzzz.com>: Nov 14 07:08PM

> be sure that the specialized atomics that are lock-free are declared
> to be properly aligned at the class-definition.
> Do you want to compete with Melzzzz in expertise-unawareness?
 
Do you know what lock free means?
 
 
--
press any key to continue or any other to quit...
U ničemu ja ne uživam kao u svom statusu INVALIDA -- Zli Zec
Svi smo svedoci - oko 3 godine intenzivne propagande je dovoljno da jedan narod poludi -- Zli Zec
Na divljem zapadu i nije bilo tako puno nasilja, upravo zato jer su svi
bili naoruzani. -- Mladen Gogala
Bonita Montero <Bonita.Montero@gmail.com>: Nov 14 08:12PM +0100

>> to be properly aligned at the class-definition.
>> Do you want to compete with Melzzzz in expertise-unawareness?
 
> Do you know what lock free means?
 
You're the last who knows that.
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Nov 14 01:09PM -0800

On 11/14/2019 1:43 AM, Bonita Montero wrote:
>> lock-free or not.
>> The method I used wrt dynamic code was well before C++11.
 
> C++ has no notion of DCAS; everything is transparent.
 
C++11 can handle DWCAS. However, DCAS is something different. The DW
stands for Double Width, so two _adjacent_ words in contiguous memory.
 
DCAS can operate on two non-adjacent words.
 
If its lock free wrt is_lock_free, well, it should be using cmpxchg8b
on, say a 32 bit x86. Or, cmpxchg16b on a 64 bit x86. Itanium had the
strange cmp8xchg16.
 
These have some bits in cpuid, iirc.
 
https://docs.microsoft.com/en-us/windows/win32/api/processthreadsapi/nf-processthreadsapi-isprocessorfeaturepresent
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Nov 14 01:32PM -0800

On 11/14/2019 2:45 AM, Bonita Montero wrote:
>> may depend on how variable of a type is (unavoidably) aligned in
>> memory if it can be accessed without locks atomically.
 
> Lock-free Atomic operations don't depend on the operating-system,
 
Are you sure about that? Remember that one can implement a pure std
c++11 atomic lib using semaphores. Windows has some interesting checks
wrt memory violations wrt its lock-free stack. Its all in the OS.
 
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Nov 14 01:33PM -0800

On 11/14/2019 8:16 AM, Öö Tiib wrote:
> That is official paper and it continues to say why lock free query
> function was proposed to be dynamic per object for how long it
> is archived.
 
BM is JG. am 99.98... percent sure....
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Nov 14 01:35PM -0800

On 11/14/2019 11:12 AM, Bonita Montero wrote:
>>> Do you want to compete with Melzzzz in expertise-unawareness?
 
>> Do you know what lock free means?
 
> You're the last who knows that.
 
You are quite a character. Watch out Melzzzz, the Cruel Puppet BM is
very strange!
 
https://www.thezorklibrary.com/history/cruel_puppet.html
 
CRUEL PUPPET
 
Few creatures are more despised than the cruel puppet, one which uses
its power not for good, evil or profit, but simply to hurt people's
feelings. Staunch monarchs have been reduced to tears by these merciless
shapeshifters; for it attacks by twisting itself into unflattering
caricatures of its opponents, accompanied by jeers, rude noises and
shocking accusations--which include the recital of nightly personal
habits in excruciating detail, accusing its adversary's mother of
shocking improprieties, reminding of weight gain, etc. They have also
been known to practice existential put downs. "You're so ugly you're
probably the creation of an unseen master who is controlling and shaping
the world around you. Nothing is real and nothing you do will have any
lasting effect on those around you. Welcome to the dark night of your
soul" is but one example. More often, however, they just insult your
knees. Insulting the cruel puppet in return is futile, for it feeds off
of them. Straining to ignore these verbal attacks is the only known defense.
 
Residents of Gurth City were warned during the mid-tenth century to keep
away from the Forest of Youth, as it was known home to cruel puppets.
 
During the Great Monster Uprising of the Second Age of Magic, cruel
puppets were reported in the following regions: The abandoned Casino of
Port Foozle, The Southern Wastes, The Coast Road near Borphee, Pheebor,
Forest of Youth, Gurth Woodland Trail, the Lost Castle of Y'Syska, Crab
Island, Egreth Castle, The Glass Maze, Bozbarland, Largoneth Castle, and
the G.U.E. Tech Training Grounds in the Ethereal Plane of Atrii. Many
perched in trees and other high and covert corners, raining handfuls of
exploding chestnuts down upon luckless adventurers.
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Nov 14 01:37PM -0800

On 11/14/2019 1:32 PM, Chris M. Thomasson wrote:
>>> may depend on how variable of a type is (unavoidably) aligned in
>>> memory if it can be accessed without locks atomically.
 
>> Lock-free Atomic operations don't depend on the operating-system,
 
How can you say that? How do you know what the os is doing?
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>: Nov 14 01:41PM -0800

On 11/14/2019 8:33 AM, Bonita Montero wrote:
 
> That's rather stupid since the language says that access to unaligned
> data has an undefined behaviour. And there's not the least necessitiy
> in using unaligned atomics.
 
You are JG, right?
wyniijj@gmail.com: Nov 14 10:54AM -0800

wyn...@gmail.com於 2019年11月12日星期二 UTC+8上午11時41分25秒寫道:
> else P(x)∈𝔸 // S(∞)∈𝔸 holds as well, just not yet used
 
> 4. Others are roughly the same as the average definition of Peano axioms.
> No need to be completely formal for now.
 
What does these to do with C++? I personally believe, the original (spirit?)
C++ is very mathematical, like 'class' (realization of the idea of set and
concept) and operator overloads, all felt like a computer version of abstract
algebra, besides the author of C++ is a mathematician. There is a subtle link
between C++ and mathematics. Who would know the outcome and effects to C++?
 
I decided to finish the headaching math stuff to start thinking about
program implements. But before that, I need opinions of the definition of
real number to finish it, not the officials, anything you feel right,
comfortable is welcome. And, could someone recommend some computer algebra
programs for me to try out things?
Bonita Montero <Bonita.Montero@gmail.com>: Nov 14 06:45PM +0100

Sorry, "threadObj.get_id() != thread::id()" worked. I did a "=="
instead of a "!=". But the question of the dynamic / static array
is still interesting for me.
You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page.
To unsubscribe from this group and stop receiving emails from it send an email to comp.lang.c+++unsubscribe@googlegroups.com.

No comments: