PersistentTable.cc revision 7054
19651SAndreas.Sandberg@ARM.com/*
29651SAndreas.Sandberg@ARM.com * Copyright (c) 1999-2008 Mark D. Hill and David A. Wood
39651SAndreas.Sandberg@ARM.com * All rights reserved.
49651SAndreas.Sandberg@ARM.com *
59651SAndreas.Sandberg@ARM.com * Redistribution and use in source and binary forms, with or without
69651SAndreas.Sandberg@ARM.com * modification, are permitted provided that the following conditions are
79651SAndreas.Sandberg@ARM.com * met: redistributions of source code must retain the above copyright
89651SAndreas.Sandberg@ARM.com * notice, this list of conditions and the following disclaimer;
99651SAndreas.Sandberg@ARM.com * redistributions in binary form must reproduce the above copyright
109651SAndreas.Sandberg@ARM.com * notice, this list of conditions and the following disclaimer in the
119651SAndreas.Sandberg@ARM.com * documentation and/or other materials provided with the distribution;
129651SAndreas.Sandberg@ARM.com * neither the name of the copyright holders nor the names of its
139651SAndreas.Sandberg@ARM.com * contributors may be used to endorse or promote products derived from
149651SAndreas.Sandberg@ARM.com * this software without specific prior written permission.
159651SAndreas.Sandberg@ARM.com *
169651SAndreas.Sandberg@ARM.com * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
179651SAndreas.Sandberg@ARM.com * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
189651SAndreas.Sandberg@ARM.com * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
199651SAndreas.Sandberg@ARM.com * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
209651SAndreas.Sandberg@ARM.com * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
219651SAndreas.Sandberg@ARM.com * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
229651SAndreas.Sandberg@ARM.com * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
239651SAndreas.Sandberg@ARM.com * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
249651SAndreas.Sandberg@ARM.com * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
259651SAndreas.Sandberg@ARM.com * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
269651SAndreas.Sandberg@ARM.com * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
279651SAndreas.Sandberg@ARM.com */
289651SAndreas.Sandberg@ARM.com
299651SAndreas.Sandberg@ARM.com#include "mem/gems_common/util.hh"
309651SAndreas.Sandberg@ARM.com#include "mem/ruby/system/PersistentTable.hh"
319651SAndreas.Sandberg@ARM.com
329651SAndreas.Sandberg@ARM.com// randomize so that handoffs are not locality-aware
339651SAndreas.Sandberg@ARM.com#if 0
349651SAndreas.Sandberg@ARM.comint persistent_randomize[] = {0, 4, 8, 12, 1, 5, 9, 13, 2, 6,
359651SAndreas.Sandberg@ARM.com                              10, 14, 3, 7, 11, 15};
369651SAndreas.Sandberg@ARM.comint persistent_randomize[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9,
379651SAndreas.Sandberg@ARM.com                              10, 11, 12, 13, 14, 15};
389651SAndreas.Sandberg@ARM.com#endif
399651SAndreas.Sandberg@ARM.com
409651SAndreas.Sandberg@ARM.comPersistentTable::PersistentTable()
419651SAndreas.Sandberg@ARM.com{
429651SAndreas.Sandberg@ARM.com    m_map_ptr = new Map<Address, PersistentTableEntry>;
439651SAndreas.Sandberg@ARM.com}
449651SAndreas.Sandberg@ARM.com
459651SAndreas.Sandberg@ARM.comPersistentTable::~PersistentTable()
469651SAndreas.Sandberg@ARM.com{
479651SAndreas.Sandberg@ARM.com    delete m_map_ptr;
489651SAndreas.Sandberg@ARM.com    m_map_ptr = NULL;
499651SAndreas.Sandberg@ARM.com}
509651SAndreas.Sandberg@ARM.com
5110857Sandreas.sandberg@arm.comvoid
529883Sandreas@sandberg.pp.sePersistentTable::persistentRequestLock(const Address& address,
539883Sandreas@sandberg.pp.se                                       MachineID locker,
549657Sandreas.sandberg@arm.com                                       AccessType type)
559651SAndreas.Sandberg@ARM.com{
569651SAndreas.Sandberg@ARM.com#if 0
579651SAndreas.Sandberg@ARM.com    if (locker == m_chip_ptr->getID())
589651SAndreas.Sandberg@ARM.com        cout << "Chip " << m_chip_ptr->getID() << ": " << llocker
599651SAndreas.Sandberg@ARM.com             << " requesting lock for " << address << endl;
609651SAndreas.Sandberg@ARM.com
619651SAndreas.Sandberg@ARM.com    MachineID locker = (MachineID) persistent_randomize[llocker];
629651SAndreas.Sandberg@ARM.com#endif
639651SAndreas.Sandberg@ARM.com
649651SAndreas.Sandberg@ARM.com    assert(address == line_address(address));
65    if (!m_map_ptr->exist(address)) {
66        // Allocate if not present
67        PersistentTableEntry entry;
68        entry.m_starving.add(locker);
69        if (type == AccessType_Write) {
70            entry.m_request_to_write.add(locker);
71        }
72        m_map_ptr->add(address, entry);
73    } else {
74        PersistentTableEntry& entry = m_map_ptr->lookup(address);
75
76        //
77        // Make sure we're not already in the locked set
78        //
79        assert(!(entry.m_starving.isElement(locker)));
80
81        entry.m_starving.add(locker);
82        if (type == AccessType_Write) {
83            entry.m_request_to_write.add(locker);
84        }
85        assert(entry.m_marked.isSubset(entry.m_starving));
86    }
87}
88
89void
90PersistentTable::persistentRequestUnlock(const Address& address,
91                                         MachineID unlocker)
92{
93#if 0
94    if (unlocker == m_chip_ptr->getID())
95        cout << "Chip " << m_chip_ptr->getID() << ": " << uunlocker
96             << " requesting unlock for " << address << endl;
97
98    MachineID unlocker = (MachineID) persistent_randomize[uunlocker];
99#endif
100
101    assert(address == line_address(address));
102    assert(m_map_ptr->exist(address));
103    PersistentTableEntry& entry = m_map_ptr->lookup(address);
104
105    //
106    // Make sure we're in the locked set
107    //
108    assert(entry.m_starving.isElement(unlocker));
109    assert(entry.m_marked.isSubset(entry.m_starving));
110    entry.m_starving.remove(unlocker);
111    entry.m_marked.remove(unlocker);
112    entry.m_request_to_write.remove(unlocker);
113    assert(entry.m_marked.isSubset(entry.m_starving));
114
115    // Deallocate if empty
116    if (entry.m_starving.isEmpty()) {
117        assert(entry.m_marked.isEmpty());
118        m_map_ptr->erase(address);
119    }
120}
121
122bool
123PersistentTable::okToIssueStarving(const Address& address,
124                                   MachineID machId) const
125{
126    assert(address == line_address(address));
127    if (!m_map_ptr->exist(address)) {
128        // No entry present
129        return true;
130    } else if (m_map_ptr->lookup(address).m_starving.isElement(machId)) {
131        // We can't issue another lockdown until are previous unlock
132        // has occurred
133        return false;
134    } else {
135        return m_map_ptr->lookup(address).m_marked.isEmpty();
136    }
137}
138
139MachineID
140PersistentTable::findSmallest(const Address& address) const
141{
142    assert(address == line_address(address));
143    assert(m_map_ptr->exist(address));
144    const PersistentTableEntry& entry = m_map_ptr->lookup(address);
145    return entry.m_starving.smallestElement();
146}
147
148AccessType
149PersistentTable::typeOfSmallest(const Address& address) const
150{
151    assert(address == line_address(address));
152    assert(m_map_ptr->exist(address));
153    const PersistentTableEntry& entry = m_map_ptr->lookup(address);
154    if (entry.m_request_to_write.
155        isElement(entry.m_starving.smallestElement())) {
156        return AccessType_Write;
157    } else {
158        return AccessType_Read;
159    }
160}
161
162void
163PersistentTable::markEntries(const Address& address)
164{
165    assert(address == line_address(address));
166    if (m_map_ptr->exist(address)) {
167        PersistentTableEntry& entry = m_map_ptr->lookup(address);
168
169        // None should be marked
170        assert(entry.m_marked.isEmpty());
171
172        // Mark all the nodes currently in the table
173        entry.m_marked = entry.m_starving;
174    }
175}
176
177bool
178PersistentTable::isLocked(const Address& address) const
179{
180    assert(address == line_address(address));
181
182    // If an entry is present, it must be locked
183    return m_map_ptr->exist(address);
184}
185
186int
187PersistentTable::countStarvingForAddress(const Address& address) const
188{
189    if (m_map_ptr->exist(address)) {
190        PersistentTableEntry& entry = m_map_ptr->lookup(address);
191        return (entry.m_starving.count());
192    } else {
193        return 0;
194    }
195}
196
197int
198PersistentTable::countReadStarvingForAddress(const Address& address) const
199{
200    if (m_map_ptr->exist(address)) {
201        PersistentTableEntry& entry = m_map_ptr->lookup(address);
202        return (entry.m_starving.count() - entry.m_request_to_write.count());
203    } else {
204        return 0;
205    }
206}
207
208void
209PersistentTable::print(ostream& out) const
210{
211}
212
213