delugevolumemanagerp.nc

tinyos-2.x.rar

/* 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. <[e-mail]>
 * @author Chieh-Jan Mike Liang <[e-mail]>
 */

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; }
}