X-Git-Url: https://scm.lunaixsky.com/lunaix-os.git/blobdiff_plain/74926d2db1d9f3228acdfca03013a8ba0ac1d8c0..986ce23ace2f7875a1a561bd947f435a7594146c:/lunaix-os/kernel/mm/mmap.c diff --git a/lunaix-os/kernel/mm/mmap.c b/lunaix-os/kernel/mm/mmap.c index 0c0c383..8eb7482 100644 --- a/lunaix-os/kernel/mm/mmap.c +++ b/lunaix-os/kernel/mm/mmap.c @@ -11,9 +11,8 @@ #define BS_SIZE (KERNEL_MM_BASE - UMMAP_START) int -mem_has_overlap(vm_regions_t* regions, ptr_t start, size_t len) +mem_has_overlap(vm_regions_t* regions, ptr_t start, ptr_t end) { - ptr_t end = start + end - 1; struct mm_region *pos, *n; llist_for_each(pos, n, regions, head) { @@ -33,6 +32,29 @@ mem_has_overlap(vm_regions_t* regions, ptr_t start, size_t len) return 0; } +int +mem_adjust_inplace(vm_regions_t* regions, + struct mm_region* region, + ptr_t newend) +{ + ssize_t len = newend - region->start; + if (len == 0) { + return 0; + } + + if (len < 0) { + return EINVAL; + } + + if (mem_has_overlap(regions, region->start, newend)) { + return ENOMEM; + } + + region->end = newend; + + return 0; +} + int mem_map(void** addr_out, struct mm_region** created, @@ -40,68 +62,76 @@ mem_map(void** addr_out, struct v_file* file, struct mmap_param* param) { - ptr_t last_end = USER_START; + assert_msg(addr, "addr can not be NULL"); + + ptr_t last_end = USER_START, found_loc = (ptr_t)addr; struct mm_region *pos, *n; + vm_regions_t* vm_regions = ¶m->pvms->regions; + if ((param->flags & MAP_FIXED_NOREPLACE)) { - if (mem_has_overlap(param->regions, addr, param->length)) { + if (mem_has_overlap(vm_regions, found_loc, param->mlen + found_loc)) { return EEXIST; } - last_end = addr; goto found; } if ((param->flags & MAP_FIXED)) { int status = - mem_unmap(param->vms_mnt, param->regions, addr, param->length); + mem_unmap(param->vms_mnt, vm_regions, found_loc, param->mlen); if (status) { return status; } - last_end = addr; goto found; } - llist_for_each(pos, n, param->regions, head) + llist_for_each(pos, n, vm_regions, head) { - if (pos->start - last_end > param->length && last_end > addr) { - last_end += 1; - goto found; + if (last_end < found_loc) { + size_t avail_space = pos->start - found_loc; + if (pos->start > found_loc && avail_space > param->mlen) { + goto found; + } + found_loc = pos->end + PG_SIZE; } + last_end = pos->end; } return ENOMEM; found: - addr = last_end; - - if (addr >= KERNEL_MM_BASE || addr < USER_START) { + if (found_loc >= KERNEL_MM_BASE || found_loc < USER_START) { return ENOMEM; } struct mm_region* region = region_create_range( - addr, - param->length, - ((param->proct | param->flags) & 0x1f) | (param->type & ~0xffff)); + found_loc, + param->mlen, + ((param->proct | param->flags) & 0x3f) | (param->type & ~0xffff)); region->mfile = file; - region->offset = param->offset; + region->foff = param->offset; + region->flen = param->flen; + region->proc_vms = param->pvms; - region_add(param->regions, region); + region_add(vm_regions, region); u32_t attr = PG_ALLOW_USER; if ((param->proct & REGION_WRITE)) { attr |= PG_WRITE; } - for (u32_t i = 0; i < param->length; i += PG_SIZE) { - vmm_set_mapping(param->vms_mnt, addr + i, 0, attr, 0); + for (u32_t i = 0; i < param->mlen; i += PG_SIZE) { + vmm_set_mapping(param->vms_mnt, found_loc + i, 0, attr, 0); } - vfs_ref_file(file); + if (file) { + vfs_ref_file(file); + } if (addr_out) { - *addr_out = addr; + *addr_out = found_loc; } if (created) { *created = region; @@ -109,6 +139,15 @@ found: return 0; } +int +mem_remap(void** addr_out, + struct mm_region** remapped, + void* addr, + struct v_file* file, + struct mmap_param* param) +{ +} + void mem_sync_pages(ptr_t mnt, struct mm_region* region, @@ -127,7 +166,7 @@ mem_sync_pages(ptr_t mnt, } if (PG_IS_DIRTY(*mapping.pte)) { - size_t offset = mapping.va - region->start + region->offset; + size_t offset = mapping.va - region->start + region->foff; struct v_inode* inode = region->mfile->inode; region->mfile->ops->write_page(inode, mapping.va, PG_SIZE, offset); *mapping.pte &= ~PG_DIRTY; @@ -175,21 +214,37 @@ mem_msync(ptr_t mnt, return 0; } +void +mem_unmap_region(ptr_t mnt, struct mm_region* region) +{ + size_t len = ROUNDUP(region->end - region->start, PG_SIZE); + mem_sync_pages(mnt, region, region->start, len, 0); + + for (size_t i = region->start; i <= region->end; i += PG_SIZE) { + ptr_t pa = vmm_del_mapping(mnt, i); + if (pa) { + pmm_free_page(__current->pid, pa); + } + } + llist_delete(®ion->head); + region_release(region); +} + int mem_unmap(ptr_t mnt, vm_regions_t* regions, void* addr, size_t length) { length = ROUNDUP(length, PG_SIZE); - ptr_t cur_addr = ROUNDDOWN((ptr_t)addr, PG_SIZE); + ptr_t cur_addr = PG_ALIGN(addr); struct mm_region *pos, *n; llist_for_each(pos, n, regions, head) { - if (pos->start <= cur_addr) { + if (pos->start <= cur_addr && pos->end >= cur_addr) { break; } } - while (&pos->head != regions && cur_addr > pos->start) { + while (&pos->head != regions && cur_addr >= pos->start) { u32_t l = pos->end - cur_addr; pos->end = cur_addr; @@ -207,14 +262,14 @@ mem_unmap(ptr_t mnt, vm_regions_t* regions, void* addr, size_t length) for (size_t i = 0; i < l; i += PG_SIZE) { ptr_t pa = vmm_del_mapping(mnt, cur_addr + i); if (pa) { - pmm_free_page(__current->pid, pa); + pmm_free_page(pos->proc_vms->pid, pa); } } n = container_of(pos->head.next, typeof(*pos), head); if (pos->end == pos->start) { llist_delete(&pos->head); - region_release(__current->pid, pos); + region_release(pos); } pos = n; @@ -242,32 +297,33 @@ __DEFINE_LXSYSCALL3(void*, sys_mmap, void*, addr, size_t, length, va_list, lst) if (!addr) { addr = UMMAP_START; } else if (addr < UMMAP_START || addr + length >= UMMAP_END) { - errno = ENOMEM; - goto done; - } - - struct v_fd* vfd; - if ((errno = vfs_getfd(fd, &vfd))) { - goto done; + if (!(options & (MAP_FIXED | MAP_FIXED_NOREPLACE))) { + errno = ENOMEM; + goto done; + } } - struct v_file* file = vfd->file; + struct v_file* file = NULL; if (!(options & MAP_ANON)) { + struct v_fd* vfd; + if ((errno = vfs_getfd(fd, &vfd))) { + goto done; + } + + file = vfd->file; if (!file->ops->read_page) { errno = ENODEV; goto done; } - } else { - file = NULL; } struct mmap_param param = { .flags = options, - .length = ROUNDUP(length, PG_SIZE), + .mlen = ROUNDUP(length, PG_SIZE), .offset = offset, .type = REGION_TYPE_GENERAL, .proct = proct, - .regions = &__current->mm.regions, + .pvms = &__current->mm, .vms_mnt = VMS_SELF }; errno = mem_map(&result, NULL, addr, file, ¶m);