Poly/ML September 2020

polyml@lists.polyml.org

4 participants
2 discussions

polyml sometimes runs out of memory with plenty available
by sorear＠fastmail.com 05 Oct '20

05 Oct '20

Attempting to run the CakeML CI test sequence (a 2-3 day process) on any Poly/ML version newer than 5.7 frequently results in out of memory errors. The probability of any given test failing is low and seems very sensitive to environmental factors, and I am still trying to reliably reproduce the failure in any setting, but I have managed to generate --debug gc --debug heapsize logs from failures (attached). The log file is from v5.8.1 but I have seen the issue on several different HEAD revisions over the past month. The "Run out of store - interrupting threads" message in the middle of a block of GC output makes me suspect a race condition but otherwise I have little to go on here. Any advice would be appreciated. I'll update if I find anything. The machine has 256GB installed and I generally run tests with --maxheap 75000, so a failure with a heap size of only 2GB is quite odd. -s

2 3

Non-blocking sockets
by vijay.the.lisper＠gmail.com 07 Sep '20

07 Sep '20

To use the non-blocking functions like acceptNB and sendVecNB, do I need to explicitly set the socket to non-blocking mode? If that is the case, how can I do it? Are there any documents/examples on how to generally do non-blocking IO in PolyML? Thank you, Vijay

3 2

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML September 2020