virtual.odin 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148
  1. package mem_virtual
  2. import "core:mem"
  3. DEFAULT_PAGE_SIZE := uint(4096)
  4. Allocator_Error :: mem.Allocator_Error
  5. reserve :: proc(size: uint) -> (data: []byte, err: Allocator_Error) {
  6. return _reserve(size)
  7. }
  8. commit :: proc(data: rawptr, size: uint) -> Allocator_Error {
  9. return _commit(data, size)
  10. }
  11. reserve_and_commit :: proc(size: uint) -> (data: []byte, err: Allocator_Error) {
  12. data = reserve(size) or_return
  13. commit(raw_data(data), size) or_return
  14. return
  15. }
  16. decommit :: proc(data: rawptr, size: uint) {
  17. _decommit(data, size)
  18. }
  19. release :: proc(data: rawptr, size: uint) {
  20. _release(data, size)
  21. }
  22. Protect_Flag :: enum u32 {
  23. Read,
  24. Write,
  25. Execute,
  26. }
  27. Protect_Flags :: distinct bit_set[Protect_Flag; u32]
  28. Protect_No_Access :: Protect_Flags{}
  29. protect :: proc(data: rawptr, size: uint, flags: Protect_Flags) -> bool {
  30. return _protect(data, size, flags)
  31. }
  32. Memory_Block :: struct {
  33. prev: ^Memory_Block,
  34. base: [^]byte,
  35. used: uint,
  36. committed: uint,
  37. reserved: uint,
  38. }
  39. Memory_Block_Flag :: enum u32 {
  40. Overflow_Protection,
  41. }
  42. Memory_Block_Flags :: distinct bit_set[Memory_Block_Flag; u32]
  43. memory_block_alloc :: proc(committed, reserved: uint, flags: Memory_Block_Flags) -> (block: ^Memory_Block, err: Allocator_Error) {
  44. align_formula :: proc "contextless" (size, align: uint) -> uint {
  45. result := size + align-1
  46. return result - result%align
  47. }
  48. page_size := DEFAULT_PAGE_SIZE
  49. committed := committed
  50. committed = clamp(committed, 0, reserved)
  51. total_size := uint(reserved + size_of(Platform_Memory_Block))
  52. base_offset := uintptr(size_of(Platform_Memory_Block))
  53. protect_offset := uintptr(0)
  54. do_protection := false
  55. if .Overflow_Protection in flags { // overflow protection
  56. rounded_size := align_formula(uint(reserved), page_size)
  57. total_size = uint(rounded_size + 2*page_size)
  58. base_offset = uintptr(page_size + rounded_size - uint(reserved))
  59. protect_offset = uintptr(page_size + rounded_size)
  60. do_protection = true
  61. }
  62. pmblock := platform_memory_alloc(0, total_size) or_return
  63. pmblock.block.base = ([^]byte)(uintptr(pmblock) + base_offset)
  64. commit(pmblock.block.base, committed) or_return
  65. // Should be zeroed
  66. assert(pmblock.block.used == 0)
  67. assert(pmblock.block.prev == nil)
  68. if (do_protection) {
  69. protect(rawptr(uintptr(pmblock) + protect_offset), page_size, Protect_No_Access)
  70. }
  71. pmblock.block.committed = committed
  72. pmblock.block.reserved = reserved
  73. sentinel := &global_platform_memory_block_sentinel
  74. platform_mutex_lock()
  75. pmblock.next = sentinel
  76. pmblock.prev = sentinel.prev
  77. pmblock.prev.next = pmblock
  78. pmblock.next.prev = pmblock
  79. platform_mutex_unlock()
  80. return &pmblock.block, nil
  81. }
  82. alloc_from_memory_block :: proc(block: ^Memory_Block, min_size, alignment: int) -> (data: []byte, err: Allocator_Error) {
  83. calc_alignment_offset :: proc(block: ^Memory_Block, alignment: uintptr) -> uint {
  84. alignment_offset := uint(0)
  85. ptr := uintptr(block.base[block.used:])
  86. mask := alignment-1
  87. if ptr & mask != 0 {
  88. alignment_offset = uint(alignment - (ptr & mask))
  89. }
  90. return alignment_offset
  91. }
  92. alignment_offset := calc_alignment_offset(block, uintptr(alignment))
  93. size := uint(min_size) + alignment_offset
  94. if block.used + size > block.reserved {
  95. err = .Out_Of_Memory
  96. return
  97. }
  98. ptr := block.base[block.used:]
  99. ptr = ptr[alignment_offset:]
  100. block.used += size
  101. assert(block.used <= block.reserved)
  102. return ptr[:min_size], nil
  103. }
  104. memory_block_dealloc :: proc(block_to_free: ^Memory_Block) {
  105. if block := (^Platform_Memory_Block)(block_to_free); block != nil {
  106. platform_mutex_lock()
  107. block.prev.next = block.next
  108. block.next.prev = block.prev
  109. platform_mutex_unlock()
  110. platform_memory_free(block)
  111. }
  112. }