📄 delugevolumemanagerp.nc
字号:
/* Copyright (c) 2007 Johns Hopkins University.* All rights reserved.** Permission to use, copy, modify, and distribute this software and its* documentation for any purpose, without fee, and without written* agreement is hereby granted, provided that the above copyright* notice, the (updated) modification history and the author appear in* all copies of this source code.** THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS `AS IS'* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR CONTRIBUTORS* BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, LOSS OF USE, DATA,* OR PROFITS) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF* THE POSSIBILITY OF SUCH DAMAGE.*//** * @author Razvan Musaloiu-E. <razvanm@cs.jhu.edu> * @author Chieh-Jan Mike Liang <cliang4@cs.jhu.edu> */module DelugeVolumeManagerP{ provides interface DelugeVolumeManager[uint8_t client]; uses { interface BlockWrite[uint8_t volumeId]; interface Resource[uint8_t volumeId]; }}implementation{ uint8_t currentClient; bool busy = FALSE; command error_t DelugeVolumeManager.erase[uint8_t client](uint8_t imgNum) { if (busy) return FAIL; busy = call Resource.request[imgNum]() == SUCCESS; if (busy) { currentClient = client; return SUCCESS; } return FAIL; } event void Resource.granted[uint8_t imgNum]() { call BlockWrite.erase[imgNum](); } event void BlockWrite.eraseDone[uint8_t imgNum](error_t error) { busy = FALSE; call Resource.release[imgNum](); signal DelugeVolumeManager.eraseDone[currentClient](error); } event void BlockWrite.writeDone[uint8_t imgNum](storage_addr_t addr, void* buf, storage_len_t len, error_t error) {} event void BlockWrite.syncDone[uint8_t imgNum](error_t error) {} default command error_t BlockWrite.erase[uint8_t imgNum]() { return FAIL; } default event void DelugeVolumeManager.eraseDone[uint8_t client](uint8_t imgNum) {} default async command error_t Resource.request[uint8_t imgNum]() { return FAIL; } default async command error_t Resource.release[uint8_t imgNum]() { return FAIL; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -