|
|
Next: Aggregates
Up: rel
Previous: Summary
Language and System Features
New Features:
- The memory manager has been extended so that on Linux systems,
better use is made of the mmap() system call. This
causes less memory fragmentation and generally ensures that freed
memory is returned to the operating system dynamically (within a
single function call). This means that Magma may use significantly
less memory than before for some inputs. The new use of mmap()
also fixes some problems occurring in some newer versions of Linux
(involving randomly mapped shared system libraries).
|
|
