Messages in this thread | | | Date | Thu, 17 Feb 2005 21:13:29 +0100 | From | Carl-Daniel Hailfinger <> | Subject | Re: [ACPI] Call for help: list of machines with working S3 |
| |
Vernon Mauery schrieb: > Carl-Daniel Hailfinger wrote: > >>1. A first step towards better DSDTs would be to make the ASL compiler >>complain about the same things which are complained about by the >>in-kernel ACPI interpreter. An example would be the following: >> >>acpi_processor-0496 [10] acpi_processor_get_inf: Invalid PBLK length [7] >> >>The ASL compiler will not complain about it, yet the kernel will >>refuse to do any processor throttling with a PBLK length of 7. > > > This is like getting gcc to complain about run-time bugs in a program.
Oh, gcc does that to a certain extent. For example, it has warnings like "this comparison is always true" or "value too big for selected type".
> The compiler of a language (ASL in this case) compiles the language, > regardless of run-time bugs because it can only detect syntax errors. > And iasl does that pretty well.
It is possible to do quite a bit of semantic verification at compile time, but of course there are limits to everything.
Regards, Carl-Daniel -- http://www.hailfinger.org/ - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |