Date: Wed, 28 Jul 2021 11:57:15 -0400
Meeting Notes.
Thanks to Staffan Tjernstrom for chairing the meeting.
Attendance:
Paul M. Bendixen
Patrice Roy
CA-Michael Wong (CA)
michael wong(ca)
Stanley Lam
Haines# Derek
Jeff Smith (Jeff)
Tjernstrom# Staffan
Sophia Poirier
René Ferdinand Rivera Morell
damon
Charles Bay
Andrew Lumsdaine
Viktor Zhou
Ronen Friedman
John McFarlane
Felix Schmoll
Antony Peacock
Matheus Izvekov
Inbal Levi
Charles Bay
On Tue, Jul 13, 2021 at 12:09 PM Michael Wong <fraggamuffin_at_[hidden]>
wrote:
> Topic: SG14 Low Latency Monthly
>
> This meeting is focused on Finance .
>
> Hi,
>
> Michael Wong is inviting you to a scheduled Zoom meeting.
>
> Topic: SG14 monthly
> Time: 2nd Wednesdays 02:00 PM Eastern Time 1800 UTC (US and Canada)
> Every month on the Second Wed,
>
> June 9, 2021 02:00 PM 1800 UTC
>
> Join from PC, Mac, Linux, iOS or Android:
> https://iso.zoom.us/j/93151864365?pwd=aDhOcDNWd2NWdTJuT1loeXpKbTcydz09
> Password: 789626
>
> Or iPhone one-tap :
> US: +12532158782,,93151864365# or +13017158592,,93151864365#
> Or Telephone:
> Dial(for higher quality, dial a number based on your current location):
> US: +1 253 215 8782 or +1 301 715 8592 or +1 312 626 6799 or +1
> 346 248 7799 or +1 408 638 0968 or +1 646 876 9923 or +1 669 900 6833
> or 877 853 5247 (Toll Free)
> Meeting ID: 931 5186 4365
> Password: 789626
> International numbers available: https://iso.zoom.us/u/abRrVivZoD
>
> Or Skype for Business (Lync):
> https://iso.zoom.us/skype/93151864365
>
> Agenda:
>
> 1. Opening and introduction
>
> ISO Code of Conduct
> <
>
> https://isotc.iso.org/livelink/livelink?func=ll&objId=20882226&objAction=Open&nexturl=%2Flivelink%2Flivelink%3Ffunc%3Dll%26objId%3D20158641%26objAction%3Dbrowse%26viewType%3D1
> >
>
> ISO patent policy.
>
> https://isotc.iso.org/livelink/livelink/fetch/2000/2122/3770791/Common_Policy.htm?nodeid=6344764&vernum=-2
>
> WG21 Code of COnduct:
>
>
> https://isocpp.org/std/standing-documents/sd-4-wg21-practices-and-procedures
>
> 1.1 Roll call of participants
>
> 1.2 Adopt agenda
>
> 1.3 Approve minutes from previous meeting, and approve publishing
> previously approved minutes to ISOCPP.org
>
> 1.4 Action items from previous meetings
>
> 2. Main issues (125 min)
>
> 2.1 General logistics
>
> Future meeting plans
>
>
>
> July 14, 2021 02:00 PM ET/1800 UTC: Finance/Low Latency
>
> Aug 11, 2021 02:00 PM ET/1800 UTC: Games
>
> 2.2 Paper reviews
>
> Discussion about Finance topics:
>
> https://lists.isocpp.org/sg14/2021/06/0636.php
>
> https://lists.isocpp.org/sg14/2021/07/0642.php
>
>
> P2388r0 John M
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2388r0.html
Abort-only contract
people who want contracts to continue to do diagnostic work in production
code: logging contract violation and continue execution
what to do after contract violation: continue or abort?
low-latency concerns: tolerating bugs at runtime and get sensible behaviour
while balancing performance needs
embedded side: this is another way to handle exceptional exceptions,
microcontroller running at kilohertz does not like a lot of checks
This view is not well represented
Finance prefers to maintain zero overhead principle
Like Andre's direction: like writing code that behaves as if all the
conditions will be met. Games like to see contracts progressing but dont
want any overhead
The abort need to be worded carefully and is a way to trigger early
termination other the ncallign through noexcept
Can we name our own contract handler? its a separate paper
SG14 sees the ability of the optimizer to see through contract conditions
and assertions for optimization purposes is a valuable functionality
SG14 supports the direction as taken in P2388R0
2/10/0/0/0
SG14 encourages SG21 to enable the assumption that contract violations as
in P2388r0 are potential optimization opportunities.
6/4/0/0/0
https://lists.isocpporg/sg14/att-0647/eager-tls-init.html
Jeff Smith
2.2.1 any other proposal for reviews?
>
> Deterministic Exception for Embedded by James Renwick
>
> https://www.pure.ed.ac.uk/ws/portalfiles/portal/78829292/low_cost_deterministic_C_exceptions_for_embedded_systems.pdf
>
> Freestanding?
>
> SG14/SG19 features/issues/defects:
>
>
> https://docs.google.com/spreadsheets/d/1JnUJBO72QVURttkKr7gn0_WjP--P0vAne8JBfzbRiy0/edit#gid=0
>
> 2.3 Domain-specific discussions
>
> 2.3.1 SIG chairs
>
> - Embedded Programming chairs: Ben Craig, Wouter van Ooijen and Odin
> Holmes, John McFarlane
>
> - Financial/Trading chairs: Staffan
> TjernstrÃÃâ€
> ’¶m, Carl
> Cooke, Neal
> Horlock,
> Mateusz Pusz, Clay Trychta,
> - Games chairs: Rene Riviera, Guy Davidson and Paul Hampson
> - Linear Algebra chairs: Bob Steagall, Mark Hoemmen, Guy Davidson
>
> 2.4 Other Papers and proposals
>
> 2.5 Future F2F meetings:
>
> 2.6 future C++ Standard meetings:
> https://isocpp.org/std/meetings-and-participation/upcoming-meetings
>
> -
>
> 3. Any other business
> Reflector
> https://lists.isocpp.org/mailman/listinfo.cgi/sg14
> As well as look through papers marked "SG14" in recent standards committee
> paper mailings:
> http://open-std.org/jtc1/sc22/wg21/docs/papers/2015/
> http://open-std.org/jtc1/sc22/wg21/docs/papers/2016/
>
> Code and proposal Staging area
> https://github.com/WG21-SG14/SG14
> 4. Review
>
> 4.1 Review and approve resolutions and issues [e.g., changes to SG's
> working draft]
>
> 4.2 Review action items (5 min)
>
> 5. Closing process
>
> 5.1 Establish next agenda
>
> 5.2 Future meeting
>
> July 14, 2021 02:00 PM ET/1800 UTC: Finance/Low Latency
>
> Aug 11, 2021 02:00 PM ET/1800 UTC: Games
>
> Kind Rgds
>
Thanks to Staffan Tjernstrom for chairing the meeting.
Attendance:
Paul M. Bendixen
Patrice Roy
CA-Michael Wong (CA)
michael wong(ca)
Stanley Lam
Haines# Derek
Jeff Smith (Jeff)
Tjernstrom# Staffan
Sophia Poirier
René Ferdinand Rivera Morell
damon
Charles Bay
Andrew Lumsdaine
Viktor Zhou
Ronen Friedman
John McFarlane
Felix Schmoll
Antony Peacock
Matheus Izvekov
Inbal Levi
Charles Bay
On Tue, Jul 13, 2021 at 12:09 PM Michael Wong <fraggamuffin_at_[hidden]>
wrote:
> Topic: SG14 Low Latency Monthly
>
> This meeting is focused on Finance .
>
> Hi,
>
> Michael Wong is inviting you to a scheduled Zoom meeting.
>
> Topic: SG14 monthly
> Time: 2nd Wednesdays 02:00 PM Eastern Time 1800 UTC (US and Canada)
> Every month on the Second Wed,
>
> June 9, 2021 02:00 PM 1800 UTC
>
> Join from PC, Mac, Linux, iOS or Android:
> https://iso.zoom.us/j/93151864365?pwd=aDhOcDNWd2NWdTJuT1loeXpKbTcydz09
> Password: 789626
>
> Or iPhone one-tap :
> US: +12532158782,,93151864365# or +13017158592,,93151864365#
> Or Telephone:
> Dial(for higher quality, dial a number based on your current location):
> US: +1 253 215 8782 or +1 301 715 8592 or +1 312 626 6799 or +1
> 346 248 7799 or +1 408 638 0968 or +1 646 876 9923 or +1 669 900 6833
> or 877 853 5247 (Toll Free)
> Meeting ID: 931 5186 4365
> Password: 789626
> International numbers available: https://iso.zoom.us/u/abRrVivZoD
>
> Or Skype for Business (Lync):
> https://iso.zoom.us/skype/93151864365
>
> Agenda:
>
> 1. Opening and introduction
>
> ISO Code of Conduct
> <
>
> https://isotc.iso.org/livelink/livelink?func=ll&objId=20882226&objAction=Open&nexturl=%2Flivelink%2Flivelink%3Ffunc%3Dll%26objId%3D20158641%26objAction%3Dbrowse%26viewType%3D1
> >
>
> ISO patent policy.
>
> https://isotc.iso.org/livelink/livelink/fetch/2000/2122/3770791/Common_Policy.htm?nodeid=6344764&vernum=-2
>
> WG21 Code of COnduct:
>
>
> https://isocpp.org/std/standing-documents/sd-4-wg21-practices-and-procedures
>
> 1.1 Roll call of participants
>
> 1.2 Adopt agenda
>
> 1.3 Approve minutes from previous meeting, and approve publishing
> previously approved minutes to ISOCPP.org
>
> 1.4 Action items from previous meetings
>
> 2. Main issues (125 min)
>
> 2.1 General logistics
>
> Future meeting plans
>
>
>
> July 14, 2021 02:00 PM ET/1800 UTC: Finance/Low Latency
>
> Aug 11, 2021 02:00 PM ET/1800 UTC: Games
>
> 2.2 Paper reviews
>
> Discussion about Finance topics:
>
> https://lists.isocpp.org/sg14/2021/06/0636.php
>
> https://lists.isocpp.org/sg14/2021/07/0642.php
>
>
> P2388r0 John M
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2388r0.html
Abort-only contract
people who want contracts to continue to do diagnostic work in production
code: logging contract violation and continue execution
what to do after contract violation: continue or abort?
low-latency concerns: tolerating bugs at runtime and get sensible behaviour
while balancing performance needs
embedded side: this is another way to handle exceptional exceptions,
microcontroller running at kilohertz does not like a lot of checks
This view is not well represented
Finance prefers to maintain zero overhead principle
Like Andre's direction: like writing code that behaves as if all the
conditions will be met. Games like to see contracts progressing but dont
want any overhead
The abort need to be worded carefully and is a way to trigger early
termination other the ncallign through noexcept
Can we name our own contract handler? its a separate paper
SG14 sees the ability of the optimizer to see through contract conditions
and assertions for optimization purposes is a valuable functionality
SG14 supports the direction as taken in P2388R0
2/10/0/0/0
SG14 encourages SG21 to enable the assumption that contract violations as
in P2388r0 are potential optimization opportunities.
6/4/0/0/0
https://lists.isocpporg/sg14/att-0647/eager-tls-init.html
Jeff Smith
2.2.1 any other proposal for reviews?
>
> Deterministic Exception for Embedded by James Renwick
>
> https://www.pure.ed.ac.uk/ws/portalfiles/portal/78829292/low_cost_deterministic_C_exceptions_for_embedded_systems.pdf
>
> Freestanding?
>
> SG14/SG19 features/issues/defects:
>
>
> https://docs.google.com/spreadsheets/d/1JnUJBO72QVURttkKr7gn0_WjP--P0vAne8JBfzbRiy0/edit#gid=0
>
> 2.3 Domain-specific discussions
>
> 2.3.1 SIG chairs
>
> - Embedded Programming chairs: Ben Craig, Wouter van Ooijen and Odin
> Holmes, John McFarlane
>
> - Financial/Trading chairs: Staffan
> TjernstrÃÃâ€
> ’¶m, Carl
> Cooke, Neal
> Horlock,
> Mateusz Pusz, Clay Trychta,
> - Games chairs: Rene Riviera, Guy Davidson and Paul Hampson
> - Linear Algebra chairs: Bob Steagall, Mark Hoemmen, Guy Davidson
>
> 2.4 Other Papers and proposals
>
> 2.5 Future F2F meetings:
>
> 2.6 future C++ Standard meetings:
> https://isocpp.org/std/meetings-and-participation/upcoming-meetings
>
> -
>
> 3. Any other business
> Reflector
> https://lists.isocpp.org/mailman/listinfo.cgi/sg14
> As well as look through papers marked "SG14" in recent standards committee
> paper mailings:
> http://open-std.org/jtc1/sc22/wg21/docs/papers/2015/
> http://open-std.org/jtc1/sc22/wg21/docs/papers/2016/
>
> Code and proposal Staging area
> https://github.com/WG21-SG14/SG14
> 4. Review
>
> 4.1 Review and approve resolutions and issues [e.g., changes to SG's
> working draft]
>
> 4.2 Review action items (5 min)
>
> 5. Closing process
>
> 5.1 Establish next agenda
>
> 5.2 Future meeting
>
> July 14, 2021 02:00 PM ET/1800 UTC: Finance/Low Latency
>
> Aug 11, 2021 02:00 PM ET/1800 UTC: Games
>
> Kind Rgds
>
Received on 2021-07-28 10:57:33