| ??? 08/03/06 22:12 Read: times |
#121639 - deterministic vs predictable Responding to: ???'s previous message |
I think eric that you are mistaking complexity for unpredictability.A programmed system is deterministic in that if you know all the details of the system and you know when external and internal events occur then you can predict the outcome, which is why simulators work
You can never know "when external events occur" Everything a computer does is predicatable, OK so far. However, tesitng and simulation can not cover the unpredicatble coincidences as the example I gave in my previous post. The timing of the interaction between interrupts and 'the main' is non-deterministic. That is the very reason that simulators (which do 'work') can not state "This is good". You know very well from your FPGA simulations that if you do not have synchronization (double D or similar) of randomly timed inputs your simulator may very well tell you all is good when we both know it is not. Yes, it is 'deterministic', but treating it as such can be dangerous. Foe example if the timing of events were deterministic there would be no atomicity concerns. Erik |
| Topic | Author | Date |
| reduced pin count multiplexing | 01/01/70 00:00 | |
| with e.g. ST2221A you need 3 pins | 01/01/70 00:00 | |
| No you are right Erik | 01/01/70 00:00 | |
| Well | 01/01/70 00:00 | |
| the wiring is simpler with ST2221A (equivalent) | 01/01/70 00:00 | |
| was it somone named Charlie ... | 01/01/70 00:00 | |
| ??? | 01/01/70 00:00 | |
| check out the appnote.. | 01/01/70 00:00 | |
| Reading the appnote always helps | 01/01/70 00:00 | |
| anyway | 01/01/70 00:00 | |
| who is he? | 01/01/70 00:00 | |
| walking through the description give you a charlie | 01/01/70 00:00 | |
| Small but real benefit | 01/01/70 00:00 | |
| who does your soldering? | 01/01/70 00:00 | |
| A billion dollar assembly house | 01/01/70 00:00 | |
| very small compared to | 01/01/70 00:00 | |
| Statistically or not | 01/01/70 00:00 | |
| I strongly disagree | 01/01/70 00:00 | |
| blah | 01/01/70 00:00 | |
| deterministic vs predictable | 01/01/70 00:00 | |
| and i know | 01/01/70 00:00 | |
| yes, but I am not talking about kettles | 01/01/70 00:00 | |
| just a minute, there, pilgrim ... | 01/01/70 00:00 | |
does not matter when they will happen eventhough ' | 01/01/70 00:00 |