Make global/static variables thread_local; use mmap() for managing memory

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

36 stars 23 forks source link

Make global/static variables thread_local; use mmap() for managing memory #1158

Closed stevenmeker closed 4 weeks ago

stevenmeker commented 4 weeks ago

Memory allocation is simplified by using mmap() to allocate a single 1TB block of addresses and relying on demand paging. Global and static variables are made thread_local and setThreadLocal(true) is used on such variables in the code generator.