lwp_mmap_fd_map_fixed_merge.c 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214
  1. /*
  2. * Copyright (c) 2006-2023, RT-Thread Development Team
  3. *
  4. * SPDX-License-Identifier: Apache-2.0
  5. *
  6. * Change Logs:
  7. * Date Author Notes
  8. * 2023-08-17 Shell test case for aspace_map(MAP_FIXED)
  9. */
  10. #include "common.h"
  11. #include "lwp_user_mm.h"
  12. #include "utest_assert.h"
  13. #include <mm_private.h>
  14. #include <rtthread.h>
  15. #define PAGE_SZ (1 << MM_PAGE_SHIFT)
  16. #define PAGE_COUNT ('z' - 'a' + 1)
  17. #define FILE_PATH "/test_mmap"
  18. #define FILE_SZ (PAGE_COUNT * PAGE_SZ)
  19. static struct rt_lwp *lwp;
  20. static size_t former_vsz;
  21. static size_t former_vcount;
  22. static char page_sz_buf[PAGE_SZ];
  23. static void *ex_start = (void *)0x100000000;
  24. static size_t ex_size = 0x5000;
  25. static long pgoffset = 0;
  26. static size_t ex_prot = PROT_NONE;
  27. static size_t ex_flags = MAP_PRIVATE | MAP_ANONYMOUS;
  28. static char *private0 = (char *)0x100000000;
  29. static char *private1 = (char *)0x100000000 + 0x1000;
  30. static char *private2 = (char *)0x100000000 + 0x2000;
  31. static char *private3 = (char *)0x100000000 + 0x3000;
  32. static char *private4 = (char *)0x100000000 + 0x4000;
  33. static size_t or_size = 0x1000;
  34. static size_t or_prot = PROT_READ | PROT_WRITE;
  35. static size_t or_flags = MAP_ANON | MAP_FIXED;
  36. static long anon_fd = -1;
  37. static int _count_vsz(rt_varea_t varea, void *arg)
  38. {
  39. rt_base_t *pvsz = arg;
  40. *pvsz += 1;
  41. return 0;
  42. }
  43. static rt_base_t count_vcount(rt_aspace_t aspace)
  44. {
  45. rt_base_t vcount = 0;
  46. rt_aspace_traversal(aspace, _count_vsz, &vcount);
  47. return vcount;
  48. }
  49. static rt_err_t _lwp_get_user(struct rt_lwp *lwp, char *vaddr, char *buffer)
  50. {
  51. rt_varea_t varea = _aspace_bst_search(lwp->aspace, vaddr);
  52. if (varea && varea->mem_obj && varea->mem_obj->page_read)
  53. {
  54. struct rt_aspace_io_msg io_msg;
  55. rt_mm_io_msg_init(&io_msg, MM_PA_TO_OFF(vaddr), vaddr, buffer);
  56. varea->mem_obj->page_read(varea, &io_msg);
  57. }
  58. return RT_EOK;
  59. }
  60. static void _verify_file_content(struct rt_lwp *lwp, const char *mmap_buf, int ch)
  61. {
  62. _lwp_get_user(lwp, (char *)mmap_buf, page_sz_buf);
  63. utest_int_equal(RT_EOK, memtest(page_sz_buf, ch, PAGE_SZ));
  64. }
  65. static void test_mmap_fd_fixed(void)
  66. {
  67. former_vsz = rt_aspace_count_vsz(lwp->aspace);
  68. former_vcount = count_vcount(lwp->aspace);
  69. /* create an existed mapping */
  70. long temp_fd;
  71. temp_fd = open(FILE_PATH, O_RDONLY);
  72. LOG_D("New fd=%ld path=%s", temp_fd, FILE_PATH);
  73. uassert_true(temp_fd >= 0);
  74. utest_int_equal(
  75. lwp_mmap2(lwp, ex_start, ex_size, ex_prot, ex_flags, anon_fd, pgoffset),
  76. ex_start);
  77. utest_int_equal(former_vsz + ex_size, rt_aspace_count_vsz(lwp->aspace));
  78. utest_int_equal(former_vcount + 1, count_vcount(lwp->aspace));
  79. former_vsz += ex_size;
  80. former_vcount += 1;
  81. _verify_file_content(lwp, private0, 0);
  82. _verify_file_content(lwp, private1, 0);
  83. _verify_file_content(lwp, private2, 0);
  84. _verify_file_content(lwp, private3, 0);
  85. _verify_file_content(lwp, private4, 0);
  86. /* create an override mapping */
  87. utest_int_equal(
  88. lwp_mmap2(lwp, private2, or_size, or_prot, or_flags, temp_fd, 2),
  89. private2);
  90. utest_int_equal(former_vsz, rt_aspace_count_vsz(lwp->aspace));
  91. utest_int_equal(former_vcount + 2, count_vcount(lwp->aspace));
  92. former_vcount += 2;
  93. _verify_file_content(lwp, private0, 0);
  94. _verify_file_content(lwp, private1, 0);
  95. _verify_file_content(lwp, private2, 'c');
  96. _verify_file_content(lwp, private3, 0);
  97. _verify_file_content(lwp, private4, 0);
  98. /* fix private from left most */
  99. utest_int_equal(
  100. lwp_mmap2(lwp, private0, or_size, or_prot, or_flags, temp_fd, 0),
  101. private0);
  102. utest_int_equal(former_vsz, rt_aspace_count_vsz(lwp->aspace));
  103. utest_int_equal(former_vcount + 1, count_vcount(lwp->aspace));
  104. former_vcount += 1;
  105. _verify_file_content(lwp, private0, 'a');
  106. _verify_file_content(lwp, private1, 0);
  107. _verify_file_content(lwp, private2, 'c');
  108. _verify_file_content(lwp, private3, 0);
  109. _verify_file_content(lwp, private4, 0);
  110. /* fix private from right most */
  111. utest_int_equal(
  112. lwp_mmap2(lwp, private4, or_size, or_prot, or_flags, temp_fd, 4),
  113. private4);
  114. utest_int_equal(former_vsz, rt_aspace_count_vsz(lwp->aspace));
  115. utest_int_equal(former_vcount + 1, count_vcount(lwp->aspace));
  116. former_vcount += 1;
  117. _verify_file_content(lwp, private0, 'a');
  118. _verify_file_content(lwp, private1, 0);
  119. _verify_file_content(lwp, private2, 'c');
  120. _verify_file_content(lwp, private3, 0);
  121. _verify_file_content(lwp, private4, 'e');
  122. /* fix private from left-middle */
  123. utest_int_equal(
  124. lwp_mmap2(lwp, private1, or_size, or_prot, or_flags, temp_fd, 1),
  125. private1);
  126. rt_aspace_print_all(lwp->aspace);
  127. utest_int_equal(former_vsz, rt_aspace_count_vsz(lwp->aspace));
  128. utest_int_equal(former_vcount - 1, count_vcount(lwp->aspace));
  129. former_vcount -= 1;
  130. _verify_file_content(lwp, private0, 'a');
  131. _verify_file_content(lwp, private1, 'b');
  132. _verify_file_content(lwp, private2, 'c');
  133. _verify_file_content(lwp, private3, 0);
  134. _verify_file_content(lwp, private4, 'e');
  135. /* fix private from right-middle */
  136. utest_int_equal(
  137. lwp_mmap2(lwp, private3, or_size, or_prot, or_flags, temp_fd, 3),
  138. private3);
  139. utest_int_equal(former_vsz, rt_aspace_count_vsz(lwp->aspace));
  140. utest_int_equal(former_vcount - 1, count_vcount(lwp->aspace));
  141. former_vcount -= 1;
  142. _verify_file_content(lwp, private0, 'a');
  143. _verify_file_content(lwp, private1, 'b');
  144. _verify_file_content(lwp, private2, 'c');
  145. _verify_file_content(lwp, private3, 'd');
  146. _verify_file_content(lwp, private4, 'e');
  147. /* close */
  148. close(temp_fd);
  149. utest_int_equal(RT_EOK, rt_aspace_unmap_range(lwp->aspace, ex_start, FILE_SZ));
  150. }
  151. static void testcase_main(void)
  152. {
  153. test_mmap_fd_fixed();
  154. }
  155. static void _setup_file_content(long fd)
  156. {
  157. char ch = 'a';
  158. for (size_t i = 0; i < PAGE_COUNT; i++, ch++)
  159. {
  160. memset(page_sz_buf, ch, PAGE_SZ);
  161. write(fd, page_sz_buf, PAGE_SZ);
  162. }
  163. }
  164. static rt_err_t utest_tc_init(void)
  165. {
  166. /* setup file */
  167. long temp_file_des;
  168. temp_file_des = open(FILE_PATH, O_RDWR | O_CREAT, 0777);
  169. LOG_D("New fd=%ld path=%s", temp_file_des, FILE_PATH);
  170. if (temp_file_des < 0)
  171. return -RT_ERROR;
  172. _setup_file_content(temp_file_des);
  173. close(temp_file_des);
  174. lwp = lwp_create(0);
  175. if (lwp)
  176. lwp_user_space_init(lwp, 1);
  177. else
  178. return -RT_ENOMEM;
  179. return RT_EOK;
  180. }
  181. static rt_err_t utest_tc_cleanup(void)
  182. {
  183. lwp_ref_dec(lwp);
  184. return RT_EOK;
  185. }
  186. static void testcase(void)
  187. {
  188. UTEST_UNIT_RUN(testcase_main);
  189. }
  190. UTEST_TC_EXPORT(testcase, "testcases.lwp.mman.mmap_fd.map_fixed_merge", utest_tc_init, utest_tc_cleanup, 10);