Update src/alloc/isolated_alloc.rs

Co-authored-by: Ralf Jung <[email protected]>

Author: nia-e

src/alloc/isolated_alloc.rs

@@ -3,8 +3,8 @@ use std::sync;
 
 static ALLOCATOR: sync::Mutex<IsolatedAlloc> = sync::Mutex::new(IsolatedAlloc::empty());
 
-/// A distinct allocator for interpreter memory contents, allowing us to manage its
-/// memory separately from that of Miri itself. This is very useful for native-lib mode.
+/// A dedicated allocator for interpreter memory contents, ensuring they are stored on dedicated
+/// pages (not mixed with Miri's own memory). This is very useful for native-lib mode.
 #[derive(Debug)]
 pub struct IsolatedAlloc {
     /// Pointers to page-aligned memory that has been claimed by the allocator.