[ https://issues.apache.org/jira/browse/HADOOP-9495?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Steve Loughran updated HADOOP-9495: ----------------------------------- Attachment: HADOOP-9495.patch Patch defines Seek and PositionedRead all together, along with a summary of key requirements of InputStream. It adds definitions and invariants for use across other specifications. It doesn't include {{readFully()}} yet. This is a fairly formal specification, despite its uses of MUST and MAY, you could rewrite it any modern formal specification language with relative ease. I don't plan to do the rest of the FS specification quite as rigorously. > Define behaviour of Seekable.seek(), write tests, fix all hadoop > implementations for compliance > ----------------------------------------------------------------------------------------------- > > Key: HADOOP-9495 > URL: https://issues.apache.org/jira/browse/HADOOP-9495 > Project: Hadoop Common > Issue Type: Sub-task > Components: fs > Affects Versions: 1.2.0, 3.0.0 > Reporter: Steve Loughran > Assignee: Steve Loughran > Attachments: HADOOP-9495.patch > > > {{Seekable.seek()}} seems a good starting point for specifying, testing and > implementing FS API compliance: one method, relatively non-ambiguous > semantics, easily assessed used in the Hadoop codebase. Specify and test it > first -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira