sbp commented on issue #299: URL: https://github.com/apache/tooling-trusted-releases/issues/299#issuecomment-3872465687
The continuation passing style solution may be too cumbersome for preventing detached objects from being reused, but we have an opportunity to investigate and test this sort of approach in #628. That issue calls for quarantined mode when uploading files, which requires a significant extension to our existing new revision manager. It will probably be convenient to split it up into a little state machine, as a result, but this incurs the same problem as the present issue: Python does not have linear or affine types, and cannot track the metamorphosis or closing of resources directly in types. Since continuation passing style is the most complete solution for #628 as well, I suggest that we try it out there. Then we may be able to use it in other parts of the code where we want to prevent use after change, or whatever the name is for the more general problem of which use after free is an instance. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
