[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Minios-devel] [UNIKRAFT PATCH v2] plat/*: Configure timer interrupt frequency

Hi Costin,

let me give a quick answer:

On 10/02/2018 09:16 AM, Costin Lupu wrote:
I find allowing users the freedom to set any frequency they like to have
2 disadvantages:

1. The tick frequency should be chosen based on a prior analysis
depending on the application. An integer field would allow users to set
any frequency they want whether they know what they're doing or not. I
find this level of freedom dangerous here.

Well, that's up to the developer, I think. I'm for the freedom to shoot yourself in the foot if you think you know better what to set here.

2. A given frequency value may not be supported by the underlying timers
and therefore it would either have no effect (e.g. being ignored) or
generate an incorrect behavior.

That should be captured by an error-handling mechanism, right? Through a CRIT warning or worst case crash when a settings doesn't work. Or are you saying that some timers silently ignore unsupported settings without giving any way to figure out whether a setting will work or not?

Now regarding the number of options, two should be enough for making the
case for how we can configure the timer. Please feel free to amend this
patch or to submit another one for extending the number of options.

I might do that, but I'd prefer to have some additional input from others first.


Minios-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.