I just published infos (PCB, Eagle files, simulator, library and example) about an inter arduino/mcu/pic/core mutex (up to 4 cores), permitting several cores to work on shared (but protected) resources (SD card, EEPROM, etc.).
See here if interested: http://piclock.wordpress.com/