| aminer68@gmail.com: Jan 13 03:09PM -0800 Hello, I correct an english mistake in my post, i wanted to write "broader", not brother, read again: About modelizations and detection of race conditions and deadlocks in parallel programming.. I have just taken further a look at the following project in Delphi called DelphiConcurrent by an engineer called Moualek Adlene from France: https://github.com/moualek-adlene/DelphiConcurrent/blob/master/DelphiConcurrent.pas And i have just taken a look at the following webpage of Dr Dobb's journal: Detecting Deadlocks in C++ Using a Locks Monitor https://www.drdobbs.com/detecting-deadlocks-in-c-using-a-locks-m/184416644 And i think that both of them are using technics that are not as good as analysing deadlocks with Petri Nets in parallel applications , for example the above two methods are only addressing locks or mutexes or reader-writer locks , but they are not addressing semaphores or event objects and such other synchronization objects, so they are not good, this is why i have written a tutorial that shows my methodology of analysing and detecting deadlocks in parallel applications with Petri Nets, my methodology is more sophisticated because it is a generalization and it modelizes with Petri Nets the brother range of synchronization objects, and in my tutorial i will add soon other synchronization objects, you have to look at it, here it is: https://sites.google.com/site/scalable68/how-to-analyse-parallel-applications-with-petri-nets You have to get the powerful Tina software to run my Petri Net examples inside my tutorial, here is the powerful Tina software: http://projects.laas.fr/tina/ Also to detect race conditions in parallel programming you have to take a look at the following new tutorial that uses the powerful Spin tool: https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.html This is how you will get much more professional at detecting deadlocks and race conditions in parallel programming. Thank you, Amine Moulay Ramdane. |
| aminer68@gmail.com: Jan 13 01:50PM -0800 Hello, About modelizations and detection of race conditions and deadlocks in parallel programming.. I have just taken further a look at the following project in Delphi called DelphiConcurrent by an engineer called Moualek Adlene from France: https://github.com/moualek-adlene/DelphiConcurrent/blob/master/DelphiConcurrent.pas And i have just taken a look at the following webpage of Dr Dobb's journal: Detecting Deadlocks in C++ Using a Locks Monitor https://www.drdobbs.com/detecting-deadlocks-in-c-using-a-locks-m/184416644 And i think that both of them are using technics that are not as good as analysing deadlocks with Petri Nets in parallel applications , for example the above two methods are only addressing locks or mutexes or reader-writer locks , but they are not addressing semaphores or event objects and such other synchronization objects, so they are not good, this is why i have written a tutorial that shows my methodology of analysing and detecting deadlocks in parallel applications with Petri Nets, my methodology is more sophisticated because it is a generalization and it modelizes with Petri Nets the brother range of synchronization objects, and in my tutorial i will add soon other synchronization objects, you have to look at it, here it is: https://sites.google.com/site/scalable68/how-to-analyse-parallel-applications-with-petri-nets You have to get the powerful Tina software to run my Petri Net examples inside my tutorial, here is the powerful Tina software: http://projects.laas.fr/tina/ Also to detect race conditions in parallel programming you have to take a look at the following new tutorial that uses the powerful Spin tool: https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.html This is how you will get much more professional at detecting deadlocks and race conditions in parallel programming. Thank you, Amine Moulay Ramdane. |
| aminer68@gmail.com: Jan 13 10:31AM -0800 Hello, About smartness and how to measure it.. I think that in IQ tests smartness is measured by a level of difficulty, so you have to solve a certain level of difficulty. So it is relative to a certain level of difficulty of the IQ tests such as those of Mensa or such. But i think if we are smart and we lower the level of difficulty by for example easying the understanding of knowledge and science and technics, so i think that we are going to become more smart and more capable at smartness. This is why i also say the following: Now today i will do political philosophy about Pedagogy.. Can we ask the question of: What must be an efficient Pedagogy today?, i think that we have to notice that the exponential progress and the law of accelerating returns are influencing Pedagogy, because today we have to be more efficient at learning, because i think that the level of sophistication of today is much more than the past and i think that this has as a cause that we have to be much more sophisticated than the past to be able to be efficient learning, i think that this is the "first" requirement of today Pedagogy, and more than that we have to define the other main parts of what is it to be efficient learning, i mean what are the main parts of "efficient learning" that have a great importance ? take for example choosing the right tools for learning , so the first question of how to choose the right tools for learning is to know how to choose the right tools, not only that but to be able for the tool to be the right tool, the learning of the right tool must be made more "easier", now you are noticing that the parts of efficient learning are becoming more clear, this is why i said before in my political philosophy the following that permits you to understand more what i am saying: What is happening in my brain ? I will speak more about me so that you understand my way of doing since it is also like my philosophy, to be more smart you have to be capable of reducing efficiently "complexity" so that to be efficient and so that to be more successful, but how can you do it ? you have to be able to know about the steps that guides you into the right direction, first i will speak about my way so that you understand me better, first step you have to be able to "prioritize" efficiently, because to be able to be successful you have to prioritize, so look for example at me, i have decided to "study" more and to study more "efficiently" so that to be more successful, but this is not "sufficient" to know, because to be able to be efficient at reducing complexity you have to be able to be efficiently selective of your knowledge, and this efficiently "selective" has to adhere in its turn to the process of being efficient at reducing "complexity", so you have to be able to select "efficiently" "efficient" knowledge that is more "easy" to learn so that to reduce complexity, thus you have to be able to ask "questions" to this or that right persons to be able to be efficient at selecting your "knowledge", next step you have to be "tenacity" at studying efficiently and you have to study more and more and you have to ask questions to your professors and next step after you have been able to learn more and more you have to be able at being efficient at "reusability" of your efficient knowledge and this is a very important step , so don't neglect efficient "reusability" of your knowledge, this is also the steps that i have followed and i have also used my "smartness" to be more efficient. Also i said the following about smartness: I think there is a diversity in the set that we call people, but we have to understand that to be able to classify them by smartness, we have to understand that there is not only "IQ" as we know it that can measure smartness, because i say that there is a missing important part, this is why i say the way of measuring by IQ is still fuzzy, because i say that statistically we can see that a missing important part is that a human can be genetically like more articulated in his thinking and that is like more constancy of more calculations and/or more constancy of more logic and more constancy of more rationality, it is like being like a computer that calculates more and that is logical more and that is rationality more, and this how i am in real life, and this is also the missing part of smartness that is not measured by IQ because it is more dynamic. Thank you, Amine Moulay Ramdane. |
| 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:
Post a Comment