El mapeo de VA a MA se hace usando la curr_page del OS activo para ese predicado?
Hola.
Se puede definir genéricamente para un os, aunque en el caso de estudio se usa para active OS. Luego, es afirmativa tu pregunta.
Saludos, Carlos
Hola.
Ahora me quedó la duda de si la página que mapea de va ma debe tener cómo owner al so activo. Es decir si ya hay que ponerlo en el predicado va_mapped_to_ma que dicha página pertenece al SO.
Saludos,
Jairo.
Hola.
No es necesario pedir esto en el predicado en cuestión.
Saludos, Carlos
¿Estaría mal entonces? Porque si lo hago así, la demostración 7 sale fácilmente.
Saludos,
Jairo.
La parte del owner no debería estar en el predicado.
Si está bien considerar que el os mapea la 'va' a una 'ma' en su current page.
Saludos, Carlos
Hola, respecto a este punto me quedó una duda. Yo tomé como que hay una tabla de página y esa es la que mapea a la va a una ma. Y que esa tabla de página es la current page del so. O sea la current page del so es la tabla y no la página que se encuentra ma con esto pude hacer la demostración 7 sin problemas.
Saludos,
Jairo.
Hola.
Está bien la consideración.
Saludos, Carlos