April 2001 - Cvs-nhc98

No log message
by malcolm＠sparud.net 06 Apr '01

06 Apr '01

malcolm: Fri Apr 6 11:08:43 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeIO In directory hinken:/tmp/cvs-serv11852/src/prelude/PreludeIO Modified Files: Makefile Log Message: Oops, make sure Interact is not suspected when not tracing!

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:29 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv10193/src/tracer/runtime Modified Files: fileformat.c Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:29 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv10193/src/prelude/PreludeDebug Modified Files: HatArchive.hs PreludeDebug.hs Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:28 CEST 2001 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv10193/src/compiler98 Modified Files: DbgId.hs DbgTrans.hs GcodeFix.hs Main.hs PrimCode.hs Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Modified tracing transformation to create different progra
by olaf＠sparud.net 05 Apr '01

05 Apr '01

olaf: Thu Apr 5 21:13:27 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv10193/include Modified Files: Prelude.T.hi Log Message: Modified tracing transformation to create different programs for trusted and suspected modules. In trusted modules no trace nodes for if, case, guards and lambdas are created. In trusted modules all trace nodes that are still created have the trace passed to the function or the hidden version of it as parent (hidden trace node is only created once in a trusted function). In trusted modules no trace nodes for the used functions are created. These have to be trusted functions (for the construction of the trace nodes for functions that are passed as arguments the module where the function is passed is responsible anyway). Some transformed trusted code is slightly simpler than suspected code (case, if, guards). Now have suspected and trusted versions of combinators fun and prim (tfun and tprim). The suspected ones always create a name for a function, the trusted ones only if the parent is not trusted. The trace node Root is now always trusted. This is needed to avoid names for trusted CAFs. This transformation profits from - enter and primEnter no longer requiring a table name: so with this transformation trusted table names are no longer constructed - Interact.hs being transformed as suspected: otherwise the output of a program using interact would directly point to Root. The new transformation leads to 10-20% smaller trace files and 10% faster runtime of traced programs. The main remaining unreachable parts of a trace seem to be: - data structures internal to trusted code - SAT's (all C?) for all trusted applications in non-project contexts - indirections in trusted code

1 0

Hat: suspect the Interact function by default.
by malcolm＠sparud.net 05 Apr '01

05 Apr '01

malcolm: Thu Apr 5 19:38:41 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeIO In directory hinken:/tmp/cvs-serv9867 Modified Files: Makefile Log Message: Hat: suspect the Interact function by default.

1 0

Hat: primSR3() wrongly assumed ModInfo already in file.
by malcolm＠sparud.net 05 Apr '01

05 Apr '01

malcolm: Thu Apr 5 16:57:50 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv9323/src/tracer/runtime Modified Files: fileformat.c Log Message: Hat: primSR3() wrongly assumed ModInfo already in file.

1 0

Hat: speed up cEnter, and remove its NmType argument.
by malcolm＠sparud.net 05 Apr '01

05 Apr '01

malcolm: Thu Apr 5 16:41:16 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv9240/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: Hat: speed up cEnter, and remove its NmType argument. Because cEnter is called on every reduction step, any improvement in its speed should go a long way. At the moment, it looks like we gain only about 1.5% by eliminating tests in C that are no longer useful. However, by eliminating its NmType argument, we hope that we can change some of the transformation/combinators, to produce much fewer NmType nodes in the file.

1 0

Hat: speed up cEnter, and remove its NmType argument.
by malcolm＠sparud.net 05 Apr '01

05 Apr '01

malcolm: Thu Apr 5 16:41:15 CEST 2001 Update of /usr/src/master/nhc/src/tracer/runtime In directory hinken:/tmp/cvs-serv9240/src/tracer/runtime Modified Files: io.c Log Message: Hat: speed up cEnter, and remove its NmType argument. Because cEnter is called on every reduction step, any improvement in its speed should go a long way. At the moment, it looks like we gain only about 1.5% by eliminating tests in C that are no longer useful. However, by eliminating its NmType argument, we hope that we can change some of the transformation/combinators, to produce much fewer NmType nodes in the file.

1 0

Add missing instances of Eq and Show for IO.Handle and of
by malcolm＠sparud.net 04 Apr '01

04 Apr '01

malcolm: Wed Apr 4 18:40:50 CEST 2001 Update of /usr/src/master/nhc/src/prelude/IO In directory hinken:/tmp/cvs-serv6748/src/prelude/IO Modified Files: IO.hs Makefile Eq_HandlePosn.hs Added Files: Eq_Handle.hs Show_Handle.hs Show_HandlePosn.hs Log Message: Add missing instances of Eq and Show for IO.Handle and of Show for IO.HandlePosn.

1 0