# HG changeset patch
# User Sean Halle <seanhalle@yahoo.com>
# Date 1381083980 25200
# Node ID ad931059d1c473e340a5d0afecb06202bc0b0d19
# Parent  3afbf8f9294b09c436432b4b5c85ee1f166b6ae8
slight mods for DKU

diff -r 3afbf8f9294b -r ad931059d1c4 PR__int.h
--- a/PR__int.h	Thu Sep 26 07:26:08 2013 -0700
+++ b/PR__int.h	Sun Oct 06 11:26:20 2013 -0700
@@ -248,6 +248,9 @@
 PR_int__get_wrapper_lock();
 
 inline void
+PR_int__get_master_lock();
+
+inline void
 PR_int__get_malloc_lock();
 
 #define PR_int__release_master_lock()  _PRTopEnv->masterLock  = UNLOCKED
diff -r 3afbf8f9294b -r ad931059d1c4 langlets/PRServ__wrapper_library.h
--- a/langlets/PRServ__wrapper_library.h	Thu Sep 26 07:26:08 2013 -0700
+++ b/langlets/PRServ__wrapper_library.h	Sun Oct 06 11:26:20 2013 -0700
@@ -37,9 +37,11 @@
 struct _DKUPiece
  {
    void        *payload;
+   int32        dataFootprint; //Kbytes of cache space used by piece -- set by root piece maker and then by divider
    DKUPiece    *parent;
    DKUPiece   **children;
-   int32        numChildren;
+   int32        childFootprint; //set as suggestion by PR, reset by divider
+   int32        numChildren; //set as suggestion by PR, reset by divider
    int32        numUnfinishedChildren;
    DKUInstance *dkuInstance;   //to get kernel and undivider
    void        *undividerInfo; //divider communicates to undivider
@@ -133,7 +135,7 @@
 PRServ__DKU_make_empty_DKU_piece();
 
 DKUPiece *
-PRServ__DKU_make_child_piece_from( pieceToDivide );
+PRServ__DKU_make_child_piece_from( DKUPiece *pieceToDivide );
 
 void
 PRServ__DKU_set_root_piece_maker( DKUInstance *dkuInstance,