darcs

Patch 1828 v3: optimizations

Title v3: optimizations
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To
Milestone

Created on 2019-06-15.09:04:04 by bf, last changed 2019-06-15.09:11:44 by bf.

Files
File name Status Uploaded Type Edit Remove
add-a-number-of-inline-or-inlinable-pragmas.dpatch bf, 2019-06-15.09:04:04 application/x-darcs-patch
patch-preview.txt bf, 2019-06-15.09:04:04 text/x-darcs-patch
unnamed bf, 2019-06-15.09:04:04 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20820 (view) Author: bf Date: 2019-06-15.09:04:04
5 patches for repository /home/ben/src/darcs/without-v3:

patch cb7f2f109d05d80e662b019e9fb581cbea757e78
Author: Ben Franksen <ben.franksen@online.de>
Date:   Fri Feb 15 12:12:30 CET 2019
  * add a number of INLINE or INLINABLE pragmas

patch e11285095b9b167b32e4ae1a160d41a69d378dcb
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Feb 16 12:37:44 CET 2019
  * optimize parsing of PrimPatchId
  
  Profiling showed that a lot of time was spent inside b16Dec when reading v3
  patches. We now read the SHA1 directly off the ByteString which is much
  faster than going via b16Dec and binary decoding. Also fail properly in the
  parse monad if the hash is malformed rather than calling error.

patch f0c8eecb250f549298d5bcb541c46f1f0d18d6e6
Author: Ben Franksen <ben.franksen@online.de>
Date:   Fri Feb 22 15:00:25 CET 2019
  * optimize ctxNoConflicts

patch 1ec49cd68573933323f79b9febd4148952a5eff2
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Feb 23 12:04:28 CET 2019
  * optimize ctxAdd* by using the better fold

patch 5cedd4caaf09fd5bc04c612780ffdb547f4863d2
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Feb 23 14:00:00 CET 2019
  * clean up the foldXX mess in D.P.W.Ordered
  
  We now export only the natural folds i.e. the versions that allow lazy
  consumption of the result i.e. the one where the list constructor is
  replaced with the argument function.
Attachments
msg20821 (view) Author: bf Date: 2019-06-15.09:11:43
I added "clean up the foldXX mess in D.P.W.Ordered" because I think I 
remember there was a semantic dependency here.
History
Date User Action Args
2019-06-15 09:04:04bfcreate
2019-06-15 09:11:44bfsetstatus: needs-screening -> needs-review
messages: + msg20821