[Libre-soc-bugs] [Bug 708] PartitionedSignal API design

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=708

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lkcl at lkcl.net

--- Comment #3 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
unfortunately, although it is a great idea, it should have been raised 18
months
ago at the time when the original discussion, design, and implementation of
PartitionedSignal was taking place.

there has now been about 4-5 man-months of work (and payments) already gone
out, leaving no spare budget for a major overhaul of the design *and* unit
tests *and* Formal Correctness Proofs *and* updating the associated wiki
documentation which is critical to understanding the API and its rationale.

in addition to that, a redesign would push us even further behind.

therefore unfortunately we are committed to completing the existing design,
which was planned about 15-18 months ago, and will have to revisit this when
other obligations have been met.

i don't have a problem at all with putting in a "refactoring" Grant request
which learns from the lessons and experiences we get from actual practical
application of the *current* design.  the reason being that any painful gotchas
will be indelibly etched on our retinas like supernova flares and can be part
or the justification for the extra Grant request.

right now if we put in such a Grant request without having completed the
milestones already underway, without having concrete results and progress, it
will raise eyebrows, with good justification, i feel.

-- 
You are receiving this mail because:
You are on the CC list for the bug.