java.util.Properties: reproducible write

Jaikiran Pai jai.forums2013 at gmail.com
Wed Nov 27 07:34:18 UTC 2024


Hello Rob,

On 27/11/24 12:52 am, Rob Spoor wrote:
> The comment provided in `store(Writer, String)` is added in addition 
> to the date comment:
>
>         if (comments != null) {
>             writeComments(bw, comments);
>         }
>         writeDateComment(bw);
>
> The system property can be used to replace the date with a constant, 
> but a) it's not possible to omit it because an empty property value 
> still leads to the date being written,

The caller of Properties.store(Writer, String), if they pass null to the 
comments parameter, then an attempt will be made to write out a comment. 
The value for that comment will come from a system property named 
java.properties.date. The value can be any free form text 
https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/util/Properties.html#java.properties.date. 
A blank (not empty) value can be set for that system property and that 
will write out just whitespace as the comment line. Here's a test which 
shows that usage 
https://github.com/openjdk/jdk/blob/master/test/jdk/java/util/Properties/StoreReproducibilityTest.java#L106.

> b) it's a global setting, not something to apply to a single 
> Properties instance, and c) you need to set it when starting the JVM 
> because its value is cached (tested in jshell).
>
> Perhaps adding an enum Properties.StoreProperties with single constant 
> OMIT_DATE can be used:

The change to support reproducibility for Properties.store() went 
through several rounds of discussions, including proposed overloads to 
methods, before we settled on the current implementation. Some of those 
discussions are here:

https://mail.openjdk.org/pipermail/core-libs-dev/2021-August/080758.html

https://mail.openjdk.org/pipermail/core-libs-dev/2021-September/081113.html

https://github.com/openjdk/jdk/pull/5372

-Jaikiran

>
>     // overload, not replacement; similar for OutputStream
>     public void store(Writer writer, String comments, 
> StoreProperties... properties)
>
> This can then be called as props.store(writer, null, 
> Properties.StoreProperties.OMIT_DATE).
>
>
> Rob
>
> On 26/11/2024 00:23, Roger Riggs wrote:
>> Hi Rafael,
>>
>> You might have missed the update added by JDK-8231640 <https:// 
>> bugs.openjdk.org/browse/JDK-8231640> Canonical property storage
>> The comment string can be provided either by a separate method 
>> `store(Writer, String)` or by a system property.
>>
>> Regards, Roger
>>
>> On 11/25/24 4:53 PM, Rafael Winterhalter wrote:
>>> Hello,
>>>
>>> I find the java.util.Properties class to be quite convenient when 
>>> writing minor collections of key-values. One unfortunate implication 
>>> of the store method is that it always contains a comment line with 
>>> the current date. The comment is never deserialized when loading the 
>>> file, but the file hash is of course always changed, even if the 
>>> content is identical at a later time. This can have unfortunate 
>>> implications when the file hash is relevant to some form of cashing 
>>> or validation mechanism.
>>>
>>> Would it be a good idea to add an overload that allows disabling the 
>>> date comment? This would only require minimal code changes and the 
>>> storage format would become reproducible. The key-values are already 
>>> sorted by their key. The date can be fixed by a system property, but 
>>> this is not always possible to define if the writer is not in 
>>> control of the command line. Right now I have to reimplement the 
>>> Properties::store method only to exclude this line.
>>>
>>> Thanks for your consideration and opinion,
>>> Rafael
>>
>


More information about the core-libs-dev mailing list