[m-rev.] diff: minutes for 7/4 and 4/5
David Overton
dmo at cs.mu.OZ.AU
Fri May 11 16:56:33 AEST 2001
Hi,
Here are the minutes for last week's meeting and for a meeting in April
which never got added to the web site.
David
Estimated hours taken: 0.2
w3/news/reportsdb.inc:
w3/information/reports/minutes_07_04_01.html:
w3/information/reports/minutes_04_05_01.html:
Add minutes for the mercury meetings on 7/4 and 4/5.
Index: information/reports/minutes_04_05_01.html
===================================================================
RCS file: minutes_04_05_01.html
diff -N minutes_04_05_01.html
--- /dev/null Wed Apr 18 14:39:12 2001
+++ minutes_04_05_01.html Tue May 8 11:24:52 2001
@@ -0,0 +1,71 @@
+
+<html>
+
+<pre>
+We had a meeting of the Mercury group on Fri May 4, 2001,
+from 3.15pm to 4.15.
+
+Attendees:
+ Zoltan Somogyi (zs)
+ Mark Brown (dougl)
+ Simon Taylor (stayl)
+ David Overton (dmo)
+ Fergus Henderson (fjh)
+
+Progress reports
+
+ We went around the table, with each person in turn discussing what
+ they had been working on recently and/or what they were planning
+ to work on.
+
+ Zoltan Somogyi (zs):
+ - Has posted a diff of the deep profiler for review.
+ Tom Conway and Simon Taylor will review it.
+
+ - Asked about how to check for the existence of a web
+ server and how to determine installation directory
+ for CGI programs during installation.
+ - For Linux we should follow the FSH standard
+ for directories.
+ - For Red Hat and Debian packages we should
+ add dependencies on a web browser. For
+ Debian this should be "recommended" rather
+ than "required". It was unknown whether RPM
+ supports "recommended" dependencies or
+ something similar.
+
+ Mark Brown (dougl):
+ - Has been doing more work on the search strategy in
+ the declarative debugger.
+ - Has been trying to compile the Mercury compiler
+ using MSVC. Ran into some problems with '-l' flag
+ not supported by MSVC. Will update the relevant
+ README file to describe how to get it working.
+ - Has started writing up a report on using the
+ declarative debugger to debug the ICFP competition
+ entry.
+
+ Simon Taylor (stayl):
+ - Has been working on smart recompilation.
+ - Has fixed a few bugs.
+
+ David Overton (dmo):
+ - Has been working on factoring implication
+ constraints out of ROBDDs. This will remove all
+ 2-sat constraints from the ROBDDs which are most of
+ the constraints needed for mode checking. This
+ should greatly reduce the size of the ROBDDs which
+ have been suffering from an exponential explosion,
+ thus reducing the overall time and memory use for
+ mode checking.
+
+ Fergus Henderson (fjh):
+ - Has been doing bug squishing in the RTTI for
+ existential types.
+
+ - Has been looking at the .net namespace question.
+
+
+Minutes taken by David Overton (dmo at cs.mu.oz.au).
+</pre>
+</html>
Index: information/reports/minutes_07_04_01.html
===================================================================
RCS file: minutes_07_04_01.html
diff -N minutes_07_04_01.html
--- /dev/null Wed Apr 18 14:39:12 2001
+++ minutes_07_04_01.html Fri May 11 16:48:22 2001
@@ -0,0 +1,78 @@
+<html>
+<pre>
+We had a meeting of the Mercury group on Fri April 7, 2001, at 3.15pm.
+
+Attendees:
+ David Jeffery (dgj)
+ David Overton (dmo)
+ Fergus Henderson (trd)
+ Mark Brown (dougl)
+ Simon Taylor (stayl)
+ Tyson Dowd (trd)
+ Zoltan Somogyi (zs)
+
+Progress reports
+
+ We went around the table, with each person in turn discussing what
+ they had been working on recently and/or what they were planning
+ to work on.
+
+ Tyson Dowd (trd):
+ Has been working on misc fixes on the IL backend.
+ Will be leaving for Europe the day after the meeting.
+
+ Mark Brown (dougl)
+ Has spent most of his time getting up to speed on .NET.
+
+ David Jeffery (dgj)
+ Has been working mostly on HAL stuff.
+
+ David Overton (dmo)
+ Has continued work on the constraint based mode analysis
+ system. It now handles iota, the classic predicate for
+ filling in a partially instantiated data structure.
+ It also handles most of the test cases in the benchmark
+ directory, but it has performance problems with the relatively
+ large number of function symbols in the main type used in the
+ deriv test case.
+
+ Zoltan Somogyi (zs)
+ Has started performance testing the deep profiler. At the
+ moment, turning on deep profiling slows a program does by a
+ factor of about 2.6, compared to about a a factor of 2.1 for
+ using the debug grade. The overhead is due to instrumentation
+ code added to the program and lost optimizations, including
+ tail recursion.
+
+ In an effort to reduce the overhead and account for it better,
+ Zoltan has refactored the instrumentation predicates, in order
+ to avoid redundant entries/exits to instrumentation code. Since
+ some of the instrumentation predicates are pragma foreign code
+ with determinism failure, he has also improved the code
+ generation for such predicates.
+
+ We also discussed ways to manage sessions of user interaction
+ with the deep profiling tool.
+
+ Fergus Henderson (fjh)
+ Finished the 0.10.1 release. Congratulations!
+
+ Simon Taylor (stayl)
+ Has been working on a system that allows the compiler to avoid
+ unnecessary recompilations. The idea is to effectively
+ associate a time stamp not only with each interface file,
+ which we already do, but with each item in interface files.
+ This allows the compiler to avoid recompiling a module if
+ if none of the items that a module depends have changed since
+ the module was last recompiled, even if other items in the
+ interface file have changed or been added. This should reduce
+ the cost adding a new predicate e.g. to module `list'.
+
+ We discussed ways of checking whether an item has changed or
+ not. While comparing cryptographically secure hashes (e.g. MD5)
+ may be somewhat faster, psychologically a full comparison
+ is more acceptable to most people.
+
+Minutes taken by Zoltan Somogyi (zs at cs.mu.oz.au).
+</pre>
+</html>
Index: news/reportsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/reportsdb.inc,v
retrieving revision 1.20
diff -u -r1.20 reportsdb.inc
--- news/reportsdb.inc 2001/05/01 05:40:11 1.20
+++ news/reportsdb.inc 2001/05/11 06:47:21
@@ -12,10 +12,14 @@
*/
$reportsdb = array(
+ "4 May 2001" =>
+ array("minutes_04_05_01.html", "Mercury Meeting Minutes"),
"27 April 2001" =>
array("minutes_27_04_01.html", "Mercury Meeting Minutes"),
"20 April 2001" =>
array("minutes_20_04_01.html", "Mercury Meeting Minutes"),
+ "7 April 2001" =>
+ array("minutes_07_04_01.html", "Mercury Meeting Minutes"),
"30 March 2001" =>
array("minutes_30_03_01.html", "Mercury Meeting Minutes"),
"16 March 2001" =>
--
David Overton Department of Computer Science & Software Engineering
PhD Student The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159 http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list