24 commits

Author	SHA1	Message	Date
Daan	992ebd4eae	Merge branch 'dev' into dev2	2025-03-19 18:50:59 -07:00
Daan	26fa8be427	improved accounting of committed bytes (issue #1035)	2025-03-19 18:50:53 -07:00
Daan Leijen	806bf8ea7e	merge from dev	2024-12-16 23:44:56 -08:00
daanx	c8607a8d01	remove os_tld and stats parameters to os interface	2024-12-08 17:56:13 -08:00
Daan	d3455ea29e	Merge branch 'dev' into dev-slice	2024-10-27 18:17:38 -07:00
Daan	2b0d039cf3	fix assertion check	2024-10-23 01:21:41 -07:00
Daan	79aa5bbb7a	Merge branch 'dev' into dev-slice	2024-04-20 19:59:19 -07:00
Daan	88aa84727d	fix spelling errors (pr #710)	2024-04-20 17:12:09 -07:00
Daan	bcb8ce94f1	merge from dev-abandon	2024-03-03 14:17:07 -08:00
Daan	027b22aaf2	add arena stats	2024-03-03 09:37:46 -08:00
Daan Leijen	f4e006fa76	merge from dev-reset	2023-03-31 21:10:25 -07:00
Daan Leijen	595add5e3d	wip: initial work on purgable arenas	2023-03-31 20:51:35 -07:00
Daan Leijen	7cf60deb12	wip: initial delayed purging of arenas	2023-03-31 14:07:59 -07:00
Daan Leijen	ea40b8fcda	merge from dev-platform	2023-03-15 19:17:20 -07:00
Daan Leijen	cfe3d04299	cleanup	2023-03-15 19:15:53 -07:00
daan	9f36808a7f	initial api for heaps restricted to a certain arena	2022-11-01 16:22:51 -07:00
daan	83ffd92b2b	merge from dev	2021-11-13 15:16:23 -08:00
daan	09e59e0610	use size_t instead of uintptr_t where appropiate	2021-11-13 15:13:16 -08:00
Daan Leijen	10ce8839fa	merge from dev	2021-04-28 13:23:46 -07:00
Jim Huang	5940d3bcce	Bump copyright date ... Each source file has been changed according to relevant Git activities.	2021-04-24 16:35:11 +00:00
daan	fa01875eb2	merge from dev (with is_pinned/is_large separation)	2020-09-08 17:54:58 -07:00
daan	14b8d27386	track pinned memory separately from large os pages	2020-09-08 16:46:03 -07:00
daan	a948724340	merge from dev (bitmap split)	2020-09-08 10:33:30 -07:00
daan	c86459afef	split bitmap code into separate header and source file	2020-09-08 10:14:13 -07:00