Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 7d68da80 in mainline


Ignore:
Timestamp:
2012-07-02T21:31:24Z (8 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
master
Children:
e943ecf
Parents:
609a417
Message:

Add a write memory barrier also to ht_mapping_insert().

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/genarch/src/mm/page_ht.c

    r609a417 r7d68da80  
    4545#include <typedefs.h>
    4646#include <arch/asm.h>
     47#include <arch/barrier.h>
    4748#include <synch/spinlock.h>
    4849#include <arch.h>
     
    207208                pte->page = ALIGN_DOWN(page, PAGE_SIZE);
    208209                pte->frame = ALIGN_DOWN(frame, FRAME_SIZE);
     210
     211                write_barrier();
    209212               
    210213                hash_table_insert(&page_ht, key, &pte->link);
Note: See TracChangeset for help on using the changeset viewer.