RFR: 8284890: Support for Do not fragment IP socket options [v2]

[Magnus Ihse Bursie]

On Fri, 15 Apr 2022 11:49:29 GMT, Michael McMahon <michaelm at openjdk.org> wrote:

>> Hi,
>> 
>> Could I get the following PR review please? It adds a new JDK specific extended socket option
>> called IP_DONTFRAGMENT, which disables IP packet fragmentation in both IPv4 and IPv6
>> UDP sockets (NIO DatagramChannels). For IPv4 in particular, it sets the DF (Dont Fragment) bit
>> in the IP header. There is no equivalent in the IPv6 packet header as fragmentation is implemented
>> exclusively by the sending and receiving nodes.
>> 
>> Thanks,
>> Michael
>
> Michael McMahon has updated the pull request incrementally with one additional commit since the last revision:
> 
>   builds in github action now

Build changes look OK.

-------------

Marked as reviewed by ihse (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/8245