Poly/ML April 2004

polyml@lists.polyml.org

5 participants
3 discussions

Bindings
by pocm＠netvisao.pt 30 Apr '04

30 Apr '04

Hi all, Are there any bindings for PolyML to databases like mysql or postgresql? Cheers, -- Paulo J. Matos : pocm [_at_] mega . ist . utl . pt Instituto Superior Tecnico - Lisbon Computer and Software Eng. - A.I. - > http://mega.ist.utl.pt/~pocm --- -> God had a deadline... So, he wrote it all in Lisp!

2 1

Poly/ML on Mac OS X 10.3
by rda＠lemma-one.com 17 Apr '04

17 Apr '04

Every time you run poly, it does a memory access that causes a memory fault, which it then handles and recovers from - a perfectly reasonable way to do its memory management, I would say. Unfortunately, on Mac OS X, the memory fault triggers a crash log to be generated, and this causes quite an overhead (about 30% of the CPU time in my ProofPower build which runs poly a few hundred times). On Mac OS X 10.2, you could turn this off with the Console utility preferences, and that claws back the lost CPU, but you can't do this on Mac OS X 10.3. Has anyone got a work-around for this? I consider it to be a bug in Mac OS X and would report it to Apple if I had a simple program to demonstrate the problem (but the technique Poly/ML is using is quite a hard one, so that's not trivial). Regards, Rob.

2 3

time measurement
by p.clayton＠eris.qinetiq.com 08 Apr '04

08 Apr '04

All, I have a few questions about timing... 1. Are the times printed by PolyML.timing `user' times or elapsed times? (I suspect the first but would like to check...) 2. Do any of these times include garbage collection? 3. Is there any way for an ML program to access these times, i.e. can they be bound (perhaps as a record) to an ML name? (Either at the top-level only or even within a program for time so far.) 4. If the utime component of Posix.ProcEnv.times () was used to measure sections of code within a program would this time include interludes for garbage collection? (Is the garbage collector a different process and therefore not counted in this `user' time?) Thanks for any help, Phil.

2 3

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 April 2004