Wednesday, October 26, 2022

Digest for comp.programming.threads@googlegroups.com - 3 updates in 3 topics

Amine Moulay Ramdane <aminer68@gmail.com>: Oct 25 04:58PM -0700

Hello,
 
 
 
 
More of my philosophy of happiness of USA and happiness of France and more of my thoughts..
 
I am a white arab from Morocco, and i think i am smart since i have also
invented many scalable algorithms and algorithms..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, i will ask a philosophical question of:
 
Why french people are less happy than USA people ?
 
Since notice how the following web page is explaining that french people
are less happy than USA people, read more here in french:
 
https://www.les4verites.com/economie-4v/letat-providence-nirvana-philosophique-de-luc-ferry
 
 
I think i am smart, and i say that France has tried to learn critical thinking to french people, but they have not learned them correctly how to be decency, since France lacks Christian values, so it is why it is
lacking on decency, and since it is lacking on decency , so this lacking
on decency makes the french individual less confident towards french people, so it makes the french people much more individualistic , so it makes the french people much less happy, but in USA there is still the
"In God we trust" and there is still Christian values that brings decency, and this bringing decency makes the individual in USA more confident towards people of USA, and this more confident makes the individual in USA less individualistic and it makes the individual in USA more happy, and it is why i am saying the following:
 
From where comes happiness ?
 
 
But i think i am smart, and i have to discover the pattern that answers this question, and of course i have not to make it complex , so i
have to talk about the most important thing that has a great weight of
importance, so i think that happiness comes from decency in the relationships between people, so i think that this decency is like
the soul in form of a positive energy and it is what gives happiness, and of course i am not against the being rich, since you can be rich and be decency, but notice with me that i can not say that it is the being rich that makes you happy, since i think i am smart and i say that our world is an interconnected world of humans, so happiness is a systemic thing, but i think that decency is a so important factor that has a great weight of importance. And of course i can say that decency is like a good teacher that shows the good way of doing. Also of course i am talking about how to become happy in my new philosophy that i have invented, here it is:
 
https://groups.google.com/g/alt.culture.morocco/c/WDPcc45utLQ
 
More of my philosophy about happiness and addiction and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, i have just looked at a video of the french Luc Ferry philosopher about consumerism in capitalism and happiness and i invite you to look at it:
 
Conférence Luc Ferry : Les paradoxes de l'économie du bonheur
 
https://www.youtube.com/watch?v=ywvP4JSZbg8
 
 
And i think the french philosopher Luc Ferry on the above video is making a mistake, since he is saying that the logic of consumerism in capitalism is identical to the logic of addiction , so he is like saying that our kind of consumerism in capitalism creates addiction, but i think it is not correct to say so, since addiction is now understood to be a brain disease. Whether it's alcohol, prescription pain pills, nicotine, gambling, or something else, overcoming an addiction isn't as simple as just stopping or exercising greater control over impulses, so i invite you to read the following web page from Yale Medecine so that to understand it:
 
 
https://www.yalemedicine.org/news/how-an-addicted-brain-works
 
 
More of my philosophy of from where comes happiness and more of thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, i will ask a philosophical question of:
 
From where comes happiness ?
 
 
But i think i am smart, and i have to discover the pattern that answers this question, and of course i have not to make it complex , so i
have to talk about the most important thing that has a great weight of
importance, so i think that happiness comes from decency in the relationships between people, so i think that this decency is like
the soul in form of a positive energy and it is what gives happiness, and of course i am not against the being rich, since you can be rich and be decency, but notice with me that i can not say that it is the being rich that makes you happy, since i think i am smart and i say that our world is an interconnected world of humans, so happiness is a systemic thing, but i think that decency is a so important factor that has a great weight of importance. And of course i can say that decency is like a good teacher that shows the good way of doing. Also of course i am talking about how to become happy in my new philosophy that i have invented, here it is:
 
https://groups.google.com/g/alt.culture.morocco/c/WDPcc45utLQ
 
 
More of my philosophy about the reliability of the system and about Liberty and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, i will ask a philosophical question:
 
How as a philosopher do i view Liberty ?
 
 
So i think i am a smart philosopher, so i think that the defect of white supremacism or neo-nazism or such ideologies is that when you are a
good philosopher you will understand that there is the way of politics that you are noticing, like the wanting to be a kind of Liberty and the wanting to be a kind of human diversity etc. but when you are a good philosopher you will notice that the problematic is that you have to look at how reliable are the fondations of the philosophy , and it is the way of the being smart to look at it carefully, so i think that i am a smart philosopher and i say that the problematic is that we are like requiring a too much difficult and too much complex way of doing
from the people so that to make the fondations of the philosophy
reliable, but i think that it is a weakness, since i think that you have to first make it simple and efficient rules that we understand
or believe so that to make the philosophy reliable, and i think that it is my way of doing by inventing two religions, since from the believing
i want to make people follow simple and efficient rules so that to make the philosophy
and people reliable.
 
 
More of my philosophy about the nature of God and more of my thoughts..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, so i have invented two religions, read about them below, and i think that the most probable in a monotheistic religion is that the nature of God is that he is greatly arrogant and
even if he has cursed Adam and Eve and there descendants , God has also made compassion by bringing to us Jesus Christ , and Jesus Christ is the savior, and it is what said my new monotheistic religion, and of course my new monotheistic religion says that God has not created the universe and he has not created humans, but he has created Adam and Eve that looks like humans and he has cursed Adam and Eve and there descendants. And you can read below about my new monotheistic religion
so that to understand it much more deeply:
 
 
More of my philosophy about my contributions and more of my thoughts..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, and now you are knowing more about my contributions here, for example i have invented a new philosophy and many proverbs and many poems of Love and poems, you can take a look at them in the following web link:
 
https://groups.google.com/g/alt.culture.morocco/c/WDPcc45utLQ
 
 
Also i have just invented quickly another new religion, so i have invented two religions, one not monotheistic religion and another monotheistic religion, so here is my just new not monotheistic religion, you can read about it in the following web link:
 
https://groups.google.com/g/alt.culture.morocco/c/Ad2tRwDxdjA
 
 
And here is my other monotheistic religion that i have invented(click
on the "Amine Moulay Ramdane" post so that to read it):
 
https://groups.google.com/g/soc.culture.usa/c/vKBlK160YR0
 
 
And of course you can read my thoughts about technology in the following web link:
 
https://groups.google.com/g/soc.culture.usa/c/N_UxX3OECX4
 
Also you can read my new writing about new interesting medical treatments and drugs and about antibiotic resistance here:
 
https://groups.google.com/g/alt.culture.morocco/c/vChmXT_pXUI
 
 
And of course you can read my just new two poems below and you can
read my other interesting thoughts below:
 
 
Here is my other new poem and read my below thoughts:
 
 
Am i a man or am i a woman ?
 
But i know that i am not an afghan
 
But i know that i am not the ape-man
 
But i know that i am not a caveman
 
But i want like to be the good and sophisticated plan
'
And i don't want to be the old like fortran
 
So even if i don't come from japan
 
I think i know how to play it like a good jazzman
 
And i want to be like the sophisticated repairman
 
Since i have to know how to make afghanistan like a sophisticated japan
 
And as you notice i am not at all the ku klux klan
 
And be sure that i have no secret plan
 
But you are clearly noticing that i want to be the good businessman
 
And that i am not the madman
 
So am i a man or am i a woman ?
 
Since notice that i want to be like a beautiful batman
 
 
 
Thank you,
Amine Moulay Ramdane.
 
--
 
 
Here is my new poem and read all my thoughts below:
 
 
 
I am not sad to say
 
That i am on my way
 
And it's like always my beautiful day
 
And since i am like walking all along the beautiful Broadway
 
Or it is like my visit to the beautiful Bombay
 
Since my Love for human life doesn't want to decay
 
So i want to display my beautiful portray
 
Of writing to you my poems of Love like a beautiful essay
 
And I am not sad to say
 
That i am on my way
 
Since it's like always my beautiful school day
 
And even my new religion above is like a saints' day
 
And my new philosophy above is like a christmas day
 
And my beautiful thoughts below are like my DNA
 
So as you see that it is not like the God's Judgment day
 
But i am showing you my wisdom right away
 
So as you notice it is like taking the good vitamins such as the vitamin A
 
And don't forget that my poems of Love below are like my valentine's day
 
So I am not sad to say
 
That i am on my beautiful way
 
 
 
 
Thank you,
Amine Moulay Ramdane.
 
 
---
 
 
More of my philosophy about the good leadership and more of my thoughts..
 
I am a white arab from Morocco, and i think i am smart since i have also
invented many scalable algorithms and algorithms..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, so i will ask a philosophical question of:
 
What is the good leadership ?
 
 
So if you are smart you will first discover a pattern that is related to
what is not a good leadership, and it is the following:
 
A high IQ person can be not the being wise and can even be mentally handicaped , so the good leadership is not just about saying that you have to be of a high IQ, so being wise is so important characteristics for being a good leader, so what is it the being wise ? i think that it is a good balance that brings the good judgment, so being wise is also being the intellectual good precision and this intellectual good precision is also a genetical characteristic but it is not just having a high IQ, and being wise is also knowing how to behave correctly, and the good behavior is also genetical characteristics and it is good for relationships and it is good for diplomacy, so as you notice that the being a wise man is not just having a high IQ, since it is also the having a high IQ since it permits to have a good judgment, but it is also the other characteristics that i am talking about above etc.
 
 
More of my philosophy about my technicality and about my new philosophy and more of my thoughts..
 
 
Also i am also technicality, and think i am a more serious software developer, and so that to know me more, here is one of my open source software project that i have invented so that you notice it:
 
More of my philosophy about my scalable algorithms of my Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored above 115 IQ, and I have just written the following:
---
 
More of my philosophy about the new Zen 4 AMD Ryzen™ 9 7950X and more of my thoughts..
 
 
So i have just looked at the new Zen 4 AMD Ryzen™ 9 7950X CPU, and i invite you to look at it here:
 
https://www.amd.com/en/products/cpu/amd-ryzen-9-7950x
 
But notice carefully that the problem is with the number of supported memory channels, since it just support two memory channels, so it is not good, since for example my following Open source software project of Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well is scaling around 8X on my 16 cores Intel Xeon with 2 NUMA nodes and with 8 memory channels, but it will not scale correctly on the
new Zen 4 AMD Ryzen™ 9 7950X CPU with just 2 memory channels since it is also memory-bound, and here is my Powerful Open source software project of Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well and i invite you to take carefully a look at it:
 
https://sites.google.com/site/scalable68/scalable-parallel-c-conjugate-gradient-linear-system-solver-library
 
So i advice you to buy an an AMD Epyc CPU or an Intel Xeon CPU that supports 8 memory channels.
 
---
 
 
And of course you can use the next Twelve DDR5 Memory Channels for Zen 4 AMD EPYC CPUs so that to scalable more my above algorithm, and read about it here:
 
https://www.tomshardware.com/news/amd-confirms-12-ddr5-memory-channels-on-genoa
 
 
And here is the simulation program that uses the probabilistic mechanism that i have talked about and that prove to you that my algorithm of my Parallel C++ Conjugate Gradient Linear System Solver Library is scalable:
 
If you look at my scalable parallel algorithm, it is dividing the each array of the matrix by 250 elements, and if you look carefully i am using two functions that consumes the greater part of all the CPU, it is the atsub() and asub(), and inside those functions i am using a probabilistic mechanism so that to render my algorithm scalable on NUMA architecture , and it also make it scale on the memory channels, what i am doing is scrambling the array parts using a probabilistic function and what i have noticed that this probabilistic mechanism is very efficient, to prove to you what i am saying , please look at the following simulation that i have done using a variable that contains the number of NUMA nodes, and what i have noticed that my simulation is giving almost a perfect scalability on NUMA architecture, for example let us give to the "NUMA_nodes" variable a value of 4, and to our array a value of 250, the simulation bellow will give a number of contention points of a quarter of the array, so if i am using 16 cores , in the worst case it will scale 4X throughput on NUMA architecture, because since i am using an array of 250 and there is a quarter of the array of contention points , so from the Amdahl's law this will give a scalability of almost 4X throughput on four NUMA nodes, and this will give almost a perfect scalability on more and more NUMA nodes, so my parallel algorithm is scalable on NUMA architecture
Amine Moulay Ramdane <aminer68@gmail.com>: Oct 25 02:23PM -0700

Hello,
 
 
 
 
More of my philosophy about the AMD Epyc CPU and more of my thoughts..
 
I am a white arab from Morocco, and i think i am smart since i have also
invented many scalable algorithms and algorithms..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, if you want to be serious about buying
a CPU and motherboard, i advice you to buy the following AMD Epyc 7313p Milan 16 cores CPU that costs much less(around 1000 US dollars) and that is reliable and fast, since it is a 16 cores CPU and it supports standard ECC memory and it supports 8 memory channels, here it is:
 
https://en.wikichip.org/wiki/amd/epyc/7313p
 
And the good Supermicro motherboard for it that supports the Epyc Milan 7003 is the following:
 
https://www.newegg.com/supermicro-mbd-h12ssl-nt-o-supports-single-amd-epyc-7003-7002-series-processor/p/1B4-005W-00911?Description=amd%20epyc%20motherboard&cm_re=amd_epyc%20motherboard-_-1B4-005W-00911-_-Product
 
 
And the above AMD Epyc 7313p Milan 16 cores CPU can be configured
as NUMA using the good Supermicro motherboard above as following:
 
This setting enables a trade-off between minimizing local memory latency for NUMAaware or highly parallelizable workloads vs. maximizing per-core memory bandwidth for non-NUMA-friendly workloads. The default configuration (one NUMA domain per socket) is recommended for most workloads. NPS4 is recommended for HPC and other highly parallel workloads.Here is the detail introduction for such options:
 
• NPS0: Interleave memory accesses across all channels in both sockets (not recommended)
 
• NPS1: Interleave memory accesses across all eight channels in each socket, report one NUMA node per socket (unless L3 Cache as NUMA is enabled)
 
• NPS2: Interleave memory accesses across groups of four channels (ABCD and EFGH) in each socket, report two NUMA nodes per socket (unless L3 Cache as NUMA is enabled)
 
• NPS4: Interleave memory accesses across pairs of two channels (AB, CD, EF and GH) in each socket, report four NUMA nodes per socket (unless L3 Cache as NUMA is enabled)
 
 
And of course you have to read my following writing about DDR5 memory that is not a fully ECC memory:

"On-die ECC: The presence of on-die ECC on DDR5 memory has been the subject of many discussions and a lot of confusion among consumers and the press alike. Unlike standard ECC, on-die ECC primarily aims to improve yields at advanced process nodes, thereby allowing for cheaper DRAM chips. On-die ECC only detects errors if they take place within a cell or row during refreshes. When the data is moved from the cell to the cache or the CPU, if there's a bit-flip or data corruption, it won't be corrected by on-die ECC. Standard ECC corrects data corruption within the cell and as it is moved to another device or an ECC-supported SoC."
 
Read more here to notice it:
 
https://www.hardwaretimes.com/ddr5-vs-ddr4-ram-quad-channel-and-on-die-ecc-explained/
 
 
So if you want to get serious and professional you can buy the above
AMD Epyc 7313p Milan 16 cores CPU with the Supermicro motherboard that supports it and that i am advicing and that supports the fully ECC memory and that supports 8 memory channels.
 
And of course you can read my thoughts about technology in the following web link:
 
https://groups.google.com/g/soc.culture.usa/c/N_UxX3OECX4
 
 
And of course you have to read my following thoughts that also show how
powerful is to use 8 memory channels:
 
 
 
I have just said the following:
 
--
 
More of my philosophy about the new Zen 4 AMD Ryzen™ 9 7950X and more of my thoughts..
 
 
So i have just looked at the new Zen 4 AMD Ryzen™ 9 7950X CPU, and i invite you to look at it here:
 
https://www.amd.com/en/products/cpu/amd-ryzen-9-7950x
 
But notice carefully that the problem is with the number of supported memory channels, since it just support two memory channels, so it is not good, since for example my following Open source software project of Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well is scaling around 8X on my 16 cores Intel Xeon with 2 NUMA nodes and with 8 memory channels, but it will not scale correctly on the
new Zen 4 AMD Ryzen™ 9 7950X CPU with just 2 memory channels since it is also memory-bound, and here is my Powerful Open source software project of Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well and i invite you to take carefully a look at it:
 
https://sites.google.com/site/scalable68/scalable-parallel-c-conjugate-gradient-linear-system-solver-library
 
So i advice you to buy an AMD Epyc CPU or an Intel Xeon CPU that supports 8 memory channels.
 
---
 
 
And of course you can use the next Twelve DDR5 Memory Channels for Zen 4 AMD EPYC CPUs so that to scale more my above algorithm, and read about it here:
 
https://www.tomshardware.com/news/amd-confirms-12-ddr5-memory-channels-on-genoa
 
 
And here is the simulation program that uses the probabilistic mechanism that i have talked about and that prove to you that my algorithm of my Parallel C++ Conjugate Gradient Linear System Solver Library is scalable:
 
If you look at my scalable parallel algorithm, it is dividing the each array of the matrix by 250 elements, and if you look carefully i am using two functions that consumes the greater part of all the CPU, it is the atsub() and asub(), and inside those functions i am using a probabilistic mechanism so that to render my algorithm scalable on NUMA architecture , and it also make it scale on the memory channels, what i am doing is scrambling the array parts using a probabilistic function and what i have noticed that this probabilistic mechanism is very efficient, to prove to you what i am saying , please look at the following simulation that i have done using a variable that contains the number of NUMA nodes, and what i have noticed that my simulation is giving almost a perfect scalability on NUMA architecture, for example let us give to the "NUMA_nodes" variable a value of 4, and to our array a value of 250, the simulation bellow will give a number of contention points of a quarter of the array, so if i am using 16 cores , in the worst case it will scale 4X throughput on NUMA architecture, because since i am using an array of 250 and there is a quarter of the array of contention points , so from the Amdahl's law this will give a scalability of almost 4X throughput on four NUMA nodes, and this will give almost a perfect scalability on more and more NUMA nodes, so my parallel algorithm is scalable on NUMA architecture and it also scale well on the memory channels,
 
Here is the simulation that i have done, please run it and you will notice yourself that my parallel algorithm is scalable on NUMA architecture.
 
Here it is:
 
---
program test;
 
uses math;
 
var tab,tab1,tab2,tab3:array of integer;
a,n1,k,i,n2,tmp,j,numa_nodes:integer;
begin
 
a:=250;
Numa_nodes:=4;
 
setlength(tab2,a);
 
for i:=0 to a-1
do
begin
 
tab2:=i mod numa_nodes;
 
end;
 
setlength(tab,a);
 
randomize;
 
for k:=0 to a-1
do tab:=k;
 
n2:=a-1;
 
for k:=0 to a-1
do
begin
n1:=random(n2);
tmp:=tab;
tab:=tab[n1];
tab[n1]:=tmp;
end;
 
setlength(tab1,a);
 
randomize;
 
for k:=0 to a-1
do tab1:=k;
 
n2:=a-1;
 
for k:=0 to a-1
do
begin
n1:=random(n2);
tmp:=tab1;
tab1:=tab1[n1];
tab1[n1]:=tmp;
end;
 
for i:=0 to a-1
do
if tab2[tab]=tab2[tab1] then
begin
inc(j);
writeln('A contention at: ',i);
 
end;
 
writeln('Number of contention points: ',j);
setlength(tab,0);
setlength(tab1,0);
setlength(tab2,0);
end.
---
 
 
 
And i invite you to read my thoughts about technology here:
 
https://groups.google.com/g/soc.culture.usa/c/N_UxX3OECX4
 
More of my philosophy about the problem with capacity planning of a website and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored above 115 IQ, and i have just invented a new methodology
that simplifies a lot capacity planning of a website that can be of a
three-tier architecture with the web servers and with the applications servers and with the database servers, but i have to explain more so that you understand the big problem with capacity planning of a website, so when you want to for example to use web testing, the problem is
how to choose for example the correct distribution of the read and write and delete transactions on the database of a website ? so if it is not
realistic you can go beyond the knee of the curve and get a not acceptable waiting time, and the Mean value analysis (MVA) algorithm has
the same problem, so how to solve the problem ? so as you are noticing
it is why i have come with my new methodology that uses mathematics that
solves the problem. And read my previous thoughts:
 
 
More of my philosophy about website capacity planning and about Quality of service and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored above 115 IQ, so i think that you have to lower to a certain level the QoS (quality of service) of a website, since you have to fix the limit of the number of connections that we allow to the website so that to not go beyond the knee of the curve, and of course i will soon show you my mathematical calculations of my new methodology of how to do capacity planning of a website, and of course
you have to know that that we have to do capacity planning using
mathematics so that to know the average waiting time etc. and this
permits us to calculate the number of connections that we allow to the website.
 
More of my philosophy about the Mean value analysis (MVA) algorithm and more of my thoughts..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored above 115 IQ, and i have just read the following paper
about the Mean value analysis (MVA) algorithm, and i invite you to read it carefully:
 
https://www.cs.ucr.edu/~mart/204/MVA.pdf
 
 
But i say that i am understanding easily the above paper of Mean value analysis (MVA) algorithm, but i say that the above paper doesn't say that since you have to empirically collect the visit ratio and and the average demand of each class, so it is not so practical, since i say that you can and you have for example to calculate the "tendency" by also for example rendering the not memoryless service of for example the database to a memoryless service, but don't worry since i will soon make you understand my powerful methodology with all the mathematical calculations that easy for you the job and that makes it much more practical.
 
More of my philosophy about formal methods and about Leslie Lamport and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, and I have just looked at the following video about the man who revolutionized computer science with math, and i invite you to look at it:
 
https://www.youtube.com/watch?v=rkZzg7Vowao
 
So i say that in mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. And Leslie Lamport the known scientist is saying in the above video the following: "An algorithm without a proof is conjecture, and if you are proving things, that means using mathematics.", so then i think that Leslie Lamport the known scientist is not thinking correctly by saying so, since i think that you can also prove an algorithm by highering much more the probability of the success of the proof without using mathematics to prove the algorithm, and i say that a proof has not to be just a conclusion as a boolean logic of true or false, since i think that a proof can be a conclusion in fuzzy logic and by logical analogy it looks like how race detectors in the very agressive mode don't detect all the data races, so then they miss a really small number of real races , so it is like a very high probability of really detecting real races, so read my below thoughts about it so that yo understand my views. And i think that the second mistake of Leslie Lamport the known scientist is that he is wanting us to use formal methods, but read the following interesting article below about why don't people use formal methods:
 
And I invite you to read the following new article of the known computer expert in the above video called Leslie Lamport , and that says programmers need to use math by using formal methods, and how Lamport discuss some of his work, such as the TLA+ specification language (developed by Lamport over the past few decades, the TLA+ [Temporal Logic of Actions] specification language allows engineers to describe objectives of a program in a precise and mathematical way), and also cited some of the reasons why he gives a prominent place to mathematics in programming.
 
Read more in the following article and you have to translate it from french to english:
 
https://www.developpez.com/actu/333640/Un-expert-en-informatique-declare-que-les-programmeurs-ont-besoin-de-plus-de-mathematiques-ajoutant-que-les-ecoles-devraient-repenser-la-facon-dont-elles-enseignent-l-informatique/
 
But to answer the above expert called Leslie Lamport, i invite you to carefully read in the following interesting web page about the why don't people use formal methods:
 
WHY DON'T PEOPLE USE FORMAL METHODS?
 
https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
 
 
More of my philosophy of the polynomial-time complexity of race detection and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, so i have quickly understood how Rust
detects race conditions, but i think that a slew of
"partial order"-based methods have been proposed, whose
goal is to predict data races in polynomial time, but at the
cost of being incomplete and failing to detect data races in
"some" traces. These include algorithms based on the classical
happens-before partial order, and those based
on newer partial orders that improve the prediction of data
races over happens-before , so i think that we have to be optimistic
since read the following web page about the Sanitizers:
 
https://github.com/google/sanitizers
 
And notice carefully the ThreadSanitizer, so read carefully
the following paper about ThreadSanitizer:
 
https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/35604.pdf
 
 
And it says in the conclusion the following:
 
"ThreadSanitizer uses a new algorithm; it has several modes of operation, ranging from the most conservative mode (which has few false positives but also misses real races) to a very aggressive one (which
has more false positives but detects the largest number of
real races)."
 
So as you are noticing since the very agressive mode doesn't detect
all the data races, so it misses a really small number of real races , so it is like a very high probability of really detecting real races ,
and i think that you can also use my below methodology of using incrementally a model from the source code and using Spin model checker so that to higher even more the probability of detecting real races.
 
 
Read my previous thoughts:
 
More of my philosophy about race conditions and about composability and more of my thoughts..
 
I say that a model is a representation of something. It captures not all attributes of the represented thing, but rather only those seeming relevant. So my way of doing in software development in Delphi and Freepascal is also that i am using a "model" from the source code that i am executing in Spin model checking so that to detect race conditions, so i invite you to take a look at the following new tutorial that uses the powerful Spin tool:
Amine Moulay Ramdane <aminer68@gmail.com>: Oct 25 10:22AM -0700

Hello,
 
 
 
More of my philosophy about happiness and addiction and more of my thoughts..
 
 
I am a white arab from Morocco, and i think i am smart since i have also
invented many scalable algorithms and algorithms..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, i have just looked at a video of the french Luc Ferry philosopher about consumerism in capitalism and happiness and i invite you to look at it:
 
Conférence Luc Ferry : Les paradoxes de l'économie du bonheur
 
https://www.youtube.com/watch?v=ywvP4JSZbg8
 
 
And i think the french philosopher Luc Ferry on the above video is making a mistake, since he is saying that the logic of consumerism in capitalism is identical to the logic of addiction , so he is like saying that this our kind of consumerism in capitalism creates addiction, but i think it is not correct to say so, since addiction is now understood to be a brain disease. Whether it's alcohol, prescription pain pills, nicotine, gambling, or something else, overcoming an addiction isn't as simple as just stopping or exercising greater control over impulses, so i invite you to read the following web page from Yale Medecine so that to understand it:
 
 
https://www.yalemedicine.org/news/how-an-addicted-brain-works
 
 
More of my philosophy of from where comes happiness and more of thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, i will ask a philosophical question of:
 
From where comes happiness ?
 
 
But i think i am smart, and i have to discover the pattern that answers this question, and of course i have not to make it complex , so i
have to talk about the most important thing that has a great weight of
importance, so i think that happiness comes from decency in the relationships between people, so i think that this decency is like
the soul in form of a positive energy and it is what gives happiness, and of course i am not against the being rich, since you can be rich and be decency, but notice with me that i can not say that it is the being rich that makes you happy, since i think i am smart and i say that our world is an interconnected world of humans, so happiness is a systemic thing, but i think that decency is a so important factor that has a great weight of importance. And of course i can say that decency is like a good teacher that shows the good way of doing. Also of course i am talking about how to become happy in my new philosophy that i have invented, here it is:
 
https://groups.google.com/g/alt.culture.morocco/c/WDPcc45utLQ
 
 
More of my philosophy about the reliability of the system and about Liberty and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, i will ask a philosophical question:
 
How as a philosopher do i view Liberty ?
 
 
So i think i am a smart philosopher, so i think that the defect of white supremacism or neo-nazism or such ideologies is that when you are a
good philosopher you will understand that there is the way of politics that you are noticing, like the wanting to be a kind of Liberty and the wanting to be a kind of human diversity etc. but when you are a good philosopher you will notice that the problematic is that you have to look at how reliable are the fondations of the philosophy , and it is the way of the being smart to look at it carefully, so i think that i am a smart philosopher and i say that the problematic is that we are like requiring a too much difficult and too much complex way of doing
from the people so that to make the fondations of the philosophy
reliable, but i think that it is a weakness, since i think that you have to first make it simple and efficient rules that we understand
or believe so that to make the philosophy reliable, and i think that it is my way of doing by inventing two religions, since from the believing
i want to make people follow simple and efficient rules so that to make the philosophy
and people reliable.
 
 
More of my philosophy about the nature of God and more of my thoughts..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, so i have invented two religions, read about them below, and i think that the most probable in a monotheistic religion is that the nature of God is that he is greatly arrogant and
even if he has cursed Adam and Eve and there descendants , God has also made compassion by bringing to us Jesus Christ , and Jesus Christ is the savior, and it is what said my new monotheistic religion, and of course my new monotheistic religion says that God has not created the universe and he has not created humans, but he has created Adam and Eve that looks like humans and he has cursed Adam and Eve and there descendants. And you can read below about my new monotheistic religion
so that to understand it much more deeply:
 
 
More of my philosophy about my contributions and more of my thoughts..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, and now you are knowing more about my contributions here, for example i have invented a new philosophy and many proverbs and many poems of Love and poems, you can take a look at them in the following web link:
 
https://groups.google.com/g/alt.culture.morocco/c/WDPcc45utLQ
 
 
Also i have just invented quickly another new religion, so i have invented two religions, one not monotheistic religion and another monotheistic religion, so here is my just new not monotheistic religion, you can read about it in the following web link:
 
https://groups.google.com/g/alt.culture.morocco/c/Ad2tRwDxdjA
 
 
And here is my other monotheistic religion that i have invented(click
on the "Amine Moulay Ramdane" post so that to read it):
 
https://groups.google.com/g/soc.culture.usa/c/vKBlK160YR0
 
 
And of course you can read my thoughts about technology in the following web link:
 
https://groups.google.com/g/soc.culture.usa/c/N_UxX3OECX4
 
Also you can read my new writing about new interesting medical treatments and drugs and about antibiotic resistance here:
 
https://groups.google.com/g/alt.culture.morocco/c/vChmXT_pXUI
 
 
And of course you can read my just new two poems below and you can
read my other interesting thoughts below:
 
 
Here is my other new poem and read my below thoughts:
 
 
Am i a man or am i a woman ?
 
But i know that i am not an afghan
 
But i know that i am not the ape-man
 
But i know that i am not a caveman
 
But i want like to be the good and sophisticated plan
'
And i don't want to be the old like fortran
 
So even if i don't come from japan
 
I think i know how to play it like a good jazzman
 
And i want to be like the sophisticated repairman
 
Since i have to know how to make afghanistan like a sophisticated japan
 
And as you notice i am not at all the ku klux klan
 
And be sure that i have no secret plan
 
But you are clearly noticing that i want to be the good businessman
 
And that i am not the madman
 
So am i a man or am i a woman ?
 
Since notice that i want to be like a beautiful batman
 
 
 
Thank you,
Amine Moulay Ramdane.
 
--
 
 
Here is my new poem and read all my thoughts below:
 
 
 
I am not sad to say
 
That i am on my way
 
And it's like always my beautiful day
 
And since i am like walking all along the beautiful Broadway
 
Or it is like my visit to the beautiful Bombay
 
Since my Love for human life doesn't want to decay
 
So i want to display my beautiful portray
 
Of writing to you my poems of Love like a beautiful essay
 
And I am not sad to say
 
That i am on my way
 
Since it's like always my beautiful school day
 
And even my new religion above is like a saints' day
 
And my new philosophy above is like a christmas day
 
And my beautiful thoughts below are like my DNA
 
So as you see that it is not like the God's Judgment day
 
But i am showing you my wisdom right away
 
So as you notice it is like taking the good vitamins such as the vitamin A
 
And don't forget that my poems of Love below are like my valentine's day
 
So I am not sad to say
 
That i am on my beautiful way
 
 
 
 
Thank you,
Amine Moulay Ramdane.
 
 
---
 
 
More of my philosophy about the good leadership and more of my thoughts..
 
I am a white arab from Morocco, and i think i am smart since i have also
invented many scalable algorithms and algorithms..
 
 
I think i am highly smart since I have passed two certified IQ tests and i have scored "above" 115 IQ, so i will ask a philosophical question of:
 
What is the good leadership ?
 
 
So if you are smart you will first discover a pattern that is related to
what is not a good leadership, and it is the following:
 
A high IQ person can be not the being wise and can even be mentally handicaped , so the good leadership is not just about saying that you have to be of a high IQ, so being wise is so important characteristics for being a good leader, so what is it the being wise ? i think that it is a good balance that brings the good judgment, so being wise is also being the intellectual good precision and this intellectual good precision is also a genetical characteristic but it is not just having a high IQ, and being wise is also knowing how to behave correctly, and the good behavior is also genetical characteristics and it is good for relationships and it is good for diplomacy, so as you notice that the being a wise man is not just having a high IQ, since it is also the having a high IQ since it permits to have a good judgment, but it is also the other characteristics that i am talking about above etc.
 
 
More of my philosophy about my technicality and about my new philosophy and more of my thoughts..
 
 
Also i am also technicality, and think i am a more serious software developer, and so that to know me more, here is one of my open source software project that i have invented so that you notice it:
 
More of my philosophy about my scalable algorithms of my Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored above 115 IQ, and I have just written the following:
---
 
More of my philosophy about the new Zen 4 AMD Ryzen™ 9 7950X and more of my thoughts..
 
 
So i have just looked at the new Zen 4 AMD Ryzen™ 9 7950X CPU, and i invite you to look at it here:
 
https://www.amd.com/en/products/cpu/amd-ryzen-9-7950x
 
But notice carefully that the problem is with the number of supported memory channels, since it just support two memory channels, so it is not good, since for example my following Open source software project of Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well is scaling around 8X on my 16 cores Intel Xeon with 2 NUMA nodes and with 8 memory channels, but it will not scale correctly on the
new Zen 4 AMD Ryzen™ 9 7950X CPU with just 2 memory channels since it is also memory-bound, and here is my Powerful Open source software project of Parallel C++ Conjugate Gradient Linear System Solver Library that scales very well and i invite you to take carefully a look at it:
 
https://sites.google.com/site/scalable68/scalable-parallel-c-conjugate-gradient-linear-system-solver-library
 
So i advice you to buy an an AMD Epyc CPU or an Intel Xeon CPU that supports 8 memory channels.
 
---
 
 
And of course you can use the next Twelve DDR5 Memory Channels for Zen 4 AMD EPYC CPUs so that to scalable more my above algorithm, and read about it here:
 
https://www.tomshardware.com/news/amd-confirms-12-ddr5-memory-channels-on-genoa
 
 
And here is the simulation program that uses the probabilistic mechanism that i have talked about and that prove to you that my algorithm of my Parallel C++ Conjugate Gradient Linear System Solver Library is scalable:
 
If you look at my scalable parallel algorithm, it is dividing the each array of the matrix by 250 elements, and if you look carefully i am using two functions that consumes the greater part of all the CPU, it is the atsub() and asub(), and inside those functions i am using a probabilistic mechanism so that to render my algorithm scalable on NUMA architecture , and it also make it scale on the memory channels, what i am doing is scrambling the array parts using a probabilistic function and what i have noticed that this probabilistic mechanism is very efficient, to prove to you what i am saying , please look at the following simulation that i have done using a variable that contains the number of NUMA nodes, and what i have noticed that my simulation is giving almost a perfect scalability on NUMA architecture, for example let us give to the "NUMA_nodes" variable a value of 4, and to our array a value of 250, the simulation bellow will give a number of contention points of a quarter of the array, so if i am using 16 cores , in the worst case it will scale 4X throughput on NUMA architecture, because since i am using an array of 250 and there is a quarter of the array of contention points , so from the Amdahl's law this will give a scalability of almost 4X throughput on four NUMA nodes, and this will give almost a perfect scalability on more and more NUMA nodes, so my parallel algorithm is scalable on NUMA architecture and it also scale well on the memory channels,
 
Here is the simulation that i have done, please run it and you will notice yourself that my parallel algorithm is scalable on NUMA architecture.
 
Here it is:
 
---
program test;
 
uses math;
 
var tab,tab1,tab2,tab3:array of integer;
a,n1,k,i,n2,tmp,j,numa_nodes:integer;
begin
 
a:=250;
Numa_nodes:=4;
 
setlength(tab2,a);
 
for i:=0 to a-1
do
begin
 
tab2:=i mod numa_nodes;
 
end;
 
setlength(tab,a);
 
randomize;
 
for k:=0 to a-1
do tab:=k;
 
n2:=a-1;
 
for k:=0 to a-1
do
begin
n1:=random(n2);
tmp:=tab;
tab:=tab[n1];
tab[n1]:=tmp;
end;
 
setlength(tab1,a);
 
randomize;
 
for k:=0 to a-1
do tab1:=k;
 
n2:=a-1;
 
for k:=0 to a-1
do
begin
n1:=random(n2);
tmp:=tab1;
tab1:=tab1[n1];
tab1[n1]:=tmp;
end;
 
for i:=0 to a-1
do
if tab2[tab]=tab2[tab1] then
begin
inc(j);
writeln('A contention at: ',i);
 
end;
 
writeln('Number of contention points: ',j);
setlength(tab,0);
setlength(tab1,0);
setlength(tab2,0);
end.
---
 
 
 
And i invite you to read my thoughts about technology here:
 
https://groups.google.com/g/soc.culture.usa/c/N_UxX3OECX4
 
More of my philosophy about the problem with capacity planning of a website and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored above 115 IQ, and i have just invented a new methodology
that simplifies a lot capacity planning of a website that can be of a
three-tier architecture with the web servers and with the applications servers and with the database servers, but i have to explain more so that you understand the big problem with capacity planning of a website, so when you want to for example to use web testing, the problem is
how to choose for example the correct distribution of the read and write and delete transactions on the database of a website ? so if it is not
realistic you can go beyond the knee of the curve and get a not acceptable waiting time, and the Mean value analysis (MVA) algorithm has
the same problem, so how to solve the problem ? so as you are noticing
it is why i have come with my new methodology that uses mathematics that
solves the problem. And read my previous thoughts:
 
 
More of my philosophy about website capacity planning and about Quality of service and more of my thoughts..
 
I think i am highly smart since I have passed two certified IQ tests and i have scored above 115
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.programming.threads+unsubscribe@googlegroups.com.

No comments: