mirror of
https://github.com/urbit/shrub.git
synced 2025-01-05 02:57:18 +03:00
reclaim memory every 1k events in live operation or replay
This commit is contained in:
parent
51d8b6889a
commit
4d4280651f
@ -2061,6 +2061,10 @@ u3_raft_chip(void)
|
|||||||
|
|
||||||
u3z(rus);
|
u3z(rus);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if ( 0 == (u3A->ent_d % 1000ULL) ) {
|
||||||
|
u3m_reclaim();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/* u3_raft_play(): synchronously process events.
|
/* u3_raft_play(): synchronously process events.
|
||||||
|
@ -1090,6 +1090,10 @@ _sist_rest()
|
|||||||
|
|
||||||
u3z(ven);
|
u3z(ven);
|
||||||
cur_d += c3_wiseof(len_w) + len_w + c3_wiseof(lar_u);
|
cur_d += c3_wiseof(len_w) + len_w + c3_wiseof(lar_u);
|
||||||
|
|
||||||
|
if ( 0 == (xno_w % 1000) ) {
|
||||||
|
u3m_reclaim();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
fputc('\r', stderr);
|
fputc('\r', stderr);
|
||||||
fputc('\n', stderr);
|
fputc('\n', stderr);
|
||||||
|
Loading…
Reference in New Issue
Block a user