Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Read again, i correct a typo
50 views
Skip to first unread message
Sky89
May 9, 2018, 2:04:15 PM5/9/18
to
Hello...
Read again, i correct a typo
About Deadlock-freedom and Starvation-freedom..
"Starvation-freedom can be defined as: Whatever the process p, each
invocation of acquire_mutex() issused by p eventually terminates. OR Any
process trying to enter critical section, will eventually enter critical
section.
Deadlock-freedom: Whatever the time T , if before T one or several
processes have invoked the operation acquire_mutex() and none of them
has terminated its invocation at time T , then there is a time T' > T at
which a process that has invoked acquire_mutex() terminates its
invocation.[Raynal, Concurrent Programming: Algorithms, Principles, and
Foundations] OR If process is trying to enter critical section, then
some process, not necessary same one, eventually will enter critical
section. OR At least one, always wins.
Notice, that deadlock-freedom is saying that there are some processes
will make progresses, but others might be stuck(starving), trying to get
into critical section. It sound weird at first, but it is so: not all
threads are stuck, so there is no deadlock, i.e. deadlock-freedom.
On other hand, starvation-freedom is saying that every process trying to
get into critical section, will eventually do so. There will be no
processes that will ever starve.
This makes starvation-freedom much stronger property than deadlock-freedom."
Also read the following paper:
https://arxiv.org/pdf/1311.3200.pdf
It says that:
"Recently, Herlihy and Shavit [12] suggested that perhaps the answer
lies in a surprising property of lock-free algorithms: in practice, they
often behave as if they were wait-free (and similarly, deadlock-free
algorithms behave as if they were starvation-free)."
So deadlock-free algorithms are starvation-free.
So the Windows critical section object and the Spinlock are starvation-free.
Thank you,
Amine Moulay Ramdane.
Read again, i correct a typo
About Deadlock-freedom and Starvation-freedom..
"Starvation-freedom can be defined as: Whatever the process p, each
invocation of acquire_mutex() issused by p eventually terminates. OR Any
process trying to enter critical section, will eventually enter critical
section.
Deadlock-freedom: Whatever the time T , if before T one or several
processes have invoked the operation acquire_mutex() and none of them
has terminated its invocation at time T , then there is a time T' > T at
which a process that has invoked acquire_mutex() terminates its
invocation.[Raynal, Concurrent Programming: Algorithms, Principles, and
Foundations] OR If process is trying to enter critical section, then
some process, not necessary same one, eventually will enter critical
section. OR At least one, always wins.
Notice, that deadlock-freedom is saying that there are some processes
will make progresses, but others might be stuck(starving), trying to get
into critical section. It sound weird at first, but it is so: not all
threads are stuck, so there is no deadlock, i.e. deadlock-freedom.
On other hand, starvation-freedom is saying that every process trying to
get into critical section, will eventually do so. There will be no
processes that will ever starve.
This makes starvation-freedom much stronger property than deadlock-freedom."
Also read the following paper:
https://arxiv.org/pdf/1311.3200.pdf
It says that:
"Recently, Herlihy and Shavit [12] suggested that perhaps the answer
lies in a surprising property of lock-free algorithms: in practice, they
often behave as if they were wait-free (and similarly, deadlock-free
algorithms behave as if they were starvation-free)."
So deadlock-free algorithms are starvation-free.
So the Windows critical section object and the Spinlock are starvation-free.
Thank you,
Amine Moulay Ramdane.
Sky89
May 12, 2018, 5:48:18 PM5/12/18
to
Hello...
Read again, i correct a typo
About my library and Linux:
Read again, i correct a typo
As you have noticed i have provided you with a Lockfree bounded LIFO
stack and a Lockfree bounded FIFO queue , they are very fast..
But as you have noticed the Lockfree FIFO queue works with both Windows
and Linux, but the Lockfree stack works with only windows, but i am
right now coming with a Lockfree unbound LIFO stack that works on Linux too.
They can be ported easily to other operating systems.
So stay tuned !
And you can port those Lockfree algorithms to C++
Thank youm
Amine Moulay Ramdane.
Mr Flibble
May 12, 2018, 7:47:07 PM5/12/18
to
On 13/05/2018 02:48, Sky89 wrote:
> Hello...
>
> Read again, i correct a typo
Why do you repeatedly do this? Why do you re-post because you want to
> Hello...
>
> Read again, i correct a typo
"correct a typo" when nobody cares? Nobody else "corrects" typos in Usenet
posts in this way because it just adds noise you demented fuckwit.
/Flibble
--
"Suppose it’s all true, and you walk up to the pearly gates, and are
confronted by God," Bryne asked on his show The Meaning of Life. "What
will Stephen Fry say to him, her, or it?"
"I’d say, bone cancer in children? What’s that about?" Fry replied.
"How dare you? How dare you create a world to which there is such misery
that is not our fault. It’s not right, it’s utterly, utterly evil."
"Why should I respect a capricious, mean-minded, stupid God who creates a
world that is so full of injustice and pain. That’s what I would say."
Dan Purgert
May 12, 2018, 8:09:46 PM5/12/18
to
Mr Flibble wrote:
> On 13/05/2018 02:48, Sky89 wrote:
>> Hello...
>>
>> Read again, i correct a typo
>
> Why do you repeatedly do this? Why do you re-post because you want to
> "correct a typo" when nobody cares? Nobody else "corrects" typos in Usenet
> posts in this way because it just adds noise you demented fuckwit.
>
Well, at least my suspicions have been confirmed about him ...
> On 13/05/2018 02:48, Sky89 wrote:
>> Hello...
>>
>> Read again, i correct a typo
>
> Why do you repeatedly do this? Why do you re-post because you want to
> "correct a typo" when nobody cares? Nobody else "corrects" typos in Usenet
> posts in this way because it just adds noise you demented fuckwit.
>
--
|_|O|_| Registered Linux user #585947
|_|_|O| Github: https://github.com/dpurgert
|O|O|O| PGP: 05CA 9A50 3F2E 1335 4DC5 4AEE 8E11 DDF3 1279 A281
Sky89
May 17, 2018, 7:35:12 PM5/17/18
to
Hello,
My way of thinking..
It is like a scientist that wants to implement more mathematical tools
or the kind and that doesn't care about the best code factorization or
about the beautifulness of the code, i am like that , i am not a
software programmer, i have a university level diploma in
microelectronics and i have studied Turbo pascal and assembler when i
have studied for my Diploma in microelectronics and after that i have
learned Delphi that looks like Turbo pascal and i have learned C++ and
Java to implement my scalable algorithms and my software tools, and i
have learned operational research and i have learned more mathematics
and i have learned more computer science.
I am not a coder like you.
My way of thinking..
It is like a scientist that wants to implement more mathematical tools
or the kind and that doesn't care about the best code factorization or
about the beautifulness of the code, i am like that , i am not a
software programmer, i have a university level diploma in
microelectronics and i have studied Turbo pascal and assembler when i
have studied for my Diploma in microelectronics and after that i have
learned Delphi that looks like Turbo pascal and i have learned C++ and
Java to implement my scalable algorithms and my software tools, and i
have learned operational research and i have learned more mathematics
and i have learned more computer science.
I am not a coder like you.
Sky89
May 17, 2018, 8:22:35 PM5/17/18
to
Hello,
Read again, i correct a typo:
You have to know about political philosophy
What is the very important part of political philosophy ?
You can not call it political philosophy if it is not "order"
And you can not call it disciplined if it is not "order"
and "order" has to be defined more precisely by a priori moral
and by empirical moral.
If you start to "hate" arabs and hate others and hate our world, that's
not "order", and if there is no order over this planet that's dangerous.
Read again, i correct a typo:
You have to know about political philosophy
What is the very important part of political philosophy ?
You can not call it political philosophy if it is not "order"
And you can not call it disciplined if it is not "order"
and "order" has to be defined more precisely by a priori moral
and by empirical moral.
If you start to "hate" arabs and hate others and hate our world, that's
not "order", and if there is no order over this planet that's dangerous.
Sky89
May 19, 2018, 10:57:22 PM5/19/18
to
Hello..
Read again, i correct a typo
I think i have made a "mistake" about our beloved Richard Stallman here:
https://en.wikipedia.org/wiki/Richard_Stallman
I think we can not have a dictatorship of capitalism, i think this is
the main idea of our brother Richard Stallman, he is defending the idea
of freely helping the others, so we can not think that a job has
to be a job with a salary, this is a dictatorship of capitalism, because
we can have also a "job" that doesn't pay money and that has as a goal
to help the others, so that capitalism is not dictatorship and socialism
is not a dictatorship , so we have to "tune" it smartly to make our
world a better world, so our brother Richard Stallman is welcomed,
this is why like Richard Stallman i have helped the others by providing
them with "some" of my scalable algorithms and other of my projects here:
https://sites.google.com/site/aminer68/
Read again, i correct a typo
https://en.wikipedia.org/wiki/Richard_Stallman
I think we can not have a dictatorship of capitalism, i think this is
the main idea of our brother Richard Stallman, he is defending the idea
of freely helping the others, so we can not think that a job has
to be a job with a salary, this is a dictatorship of capitalism, because
we can have also a "job" that doesn't pay money and that has as a goal
to help the others, so that capitalism is not dictatorship and socialism
is not a dictatorship , so we have to "tune" it smartly to make our
world a better world, so our brother Richard Stallman is welcomed,
this is why like Richard Stallman i have helped the others by providing
them with "some" of my scalable algorithms and other of my projects here:
https://sites.google.com/site/aminer68/
0 new messages