Re: Worst case execution time problem




If one wants to create structured , modular code , timing IS
deterministic . But i code it into the kernel , so he calc's it ....
he knows exactly when to do every task ...

Even in the VN mem module , ARM7 , it is deterministic ,
if you disipline yourself to structured code .

But you must not do this urself , let the kernel calc and
control all the idle time...
Computers arent like humans , they wont "create" idle , like
a Trade Unionist !!

BTW comming soon to a theater near you , a free OpSys
for ARM . Its so structured , takes minutes to figure
everything in the kernel , then use those patterns
to disassemble any code !!


_______________________________________________________________




Christian Christmann wrote:
Hi,

in real-time systems the worst case execution time (WCET) is an important
issue. In the literature I found the statement that its calculation is
undecidable in general. Why? I appreciate a detailed explanation.

Regards,
Chris

.



Relevant Pages

  • Re: CPU load
    ... How does the kernel calculates the value it places in `/proc/stat' at ... For background information as to why this question arose in the first ... for the duration of one period on completely idle system) we extended ... the test to show the percentage of CPU that was utilized. ...
    (Linux-Kernel)
  • CPU load
    ... How does the kernel calculates the value it places in `/proc/stat' at ... For background information as to why this question arose in the first ... for the duration of one period on completely idle system) we extended ... According to the methods outlined above the load is ...
    (Linux-Kernel)
  • Re: [APM] CPU idle calls causing problem with ASUS P4PE MoBo
    ... > I am experiencing problems with the CPU idle call feature on an ASUS P4PE ... > the kernel to determine the status of our IRQ, ...
    (Linux-Kernel)
  • Re: Updated Ross Dickson C1Halt patch for 2.6.5
    ... > and turn APIC off in settings then the kernel will crash at compile ... > to record the compile error as well. ... Agreed it is time to clean the patch up. ... Perhaps a config item to change the idle preselected for boot ...
    (Linux-Kernel)
  • Re: dynamic-hz
    ... the system is idle. ... So far, in all my Linux kernel experience, I've ... yet to see a kernel where it's possible to stay in the idle thread ... send the line "unsubscribe linux-kernel" in ...
    (Linux-Kernel)