mem.cpp 6.88 KB
Newer Older
Antoine Kaufmann's avatar
Antoine Kaufmann committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
/*
 * Copyright 2021 Max Planck Institute for Software Systems, and
 * National University of Singapore
 *
 * Permission is hereby granted, free of charge, to any person obtaining
 * a copy of this software and associated documentation files (the
 * "Software"), to deal in the Software without restriction, including
 * without limitation the rights to use, copy, modify, merge, publish,
 * distribute, sublicense, and/or sell copies of the Software, and to
 * permit persons to whom the Software is furnished to do so, subject to
 * the following conditions:
 *
 * The above copyright notice and this permission notice shall be
 * included in all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
 * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
 * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
 * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
 * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 */

Antoine Kaufmann's avatar
Antoine Kaufmann committed
25
26
#include <iostream>

Antoine Kaufmann's avatar
Antoine Kaufmann committed
27
28
29
#include "sims/nic/corundum/debug.h"
#include "sims/nic/corundum/mem.h"
#include "sims/nic/corundum/dma.h"
Antoine Kaufmann's avatar
Antoine Kaufmann committed
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

/*
 * 1024 bits total data width
 * = 128 bytes total
 *
 * 1024 / 8 = 128 bit per segment
 * = 16 bytes / segment
 */

#define DATA_WIDTH (512 * 2)
#define SEG_COUNT 8
#define SEG_WIDTH (DATA_WIDTH / SEG_COUNT)

void MemWriter::step()
{
45
46
47
48
49
50
    if (cur && p.mem_ready &&
            ((p.mem_ready & p.mem_valid) == p.mem_valid))
    {
#ifdef MEM_DEBUG
        std::cerr << "completed write to: " << cur->ram_addr << std::endl;
#endif
Antoine Kaufmann's avatar
Antoine Kaufmann committed
51
52
53
        p.mem_valid = 0;
        p.mem_be[0] = p.mem_be[1] = p.mem_be[2] = p.mem_be[3] = 0;

54
55
56
57
58
59
60
61
        if (cur_off == cur->len) {
            /* operation is done */
            pending.pop_front();
            cur->engine->mem_op_complete(cur);
            cur_off = 0;
        } else {
            /* operation is not done yet, we'll pick it back up */
        }
Antoine Kaufmann's avatar
Antoine Kaufmann committed
62
        cur = 0;
63
    } else if (!cur && !pending.empty()) {
Antoine Kaufmann's avatar
Antoine Kaufmann committed
64
65
        cur = pending.front();

66
67
68
#ifdef MEM_DEBUG
        std::cerr << "issuing write to " << cur->ram_addr << std::endl;
#endif
Antoine Kaufmann's avatar
Antoine Kaufmann committed
69
70

        size_t data_byte_width = DATA_WIDTH / 8;
71
        size_t data_offset = (cur->ram_addr + cur_off) % data_byte_width;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
72

Antoine Kaufmann's avatar
Antoine Kaufmann committed
73
74
75
76
77
        /* first reset everything */
        p.mem_sel = 0;
        p.mem_addr[0] = p.mem_addr[1] = p.mem_addr[2] = 0;
        p.mem_be[0] = p.mem_be[1] = p.mem_be[2] = p.mem_be[3] = 0;
        p.mem_valid = 0;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
78
79
        for (size_t i = 0; i < data_byte_width / 4; i++)
            p.mem_data[i] = 0;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
80
81
82
83


        /* put data bytes in the right places */
        size_t off = data_offset;
84
85
86
        size_t cur_len = (cur->len - cur_off > data_byte_width - data_offset ?
                data_byte_width - data_offset : cur->len - cur_off);
        for (size_t i = 0; i < cur_len; i++, off++) {
Antoine Kaufmann's avatar
Antoine Kaufmann committed
87
            size_t byte_off = off % 4;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
88
89
            p.mem_data[off / 4] |= (((uint32_t) cur->data[cur_off + i]) <<
                    (byte_off * 8));
Antoine Kaufmann's avatar
Antoine Kaufmann committed
90
91
92
93
            p.mem_be[off / 32] |= (1 << (off % 32));
            p.mem_valid |= (1 << (off / (SEG_WIDTH / 8)));
        }

94
        uint64_t seg_addr = (cur->ram_addr + cur_off) / data_byte_width;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
95
96
97
98
99
100
101
102
103
104
105
        size_t seg_addr_bits = 12;

        // iterate over the address bit by bit
        for (size_t i = 0; i < seg_addr_bits; i++) {
            uint32_t bit = ((seg_addr >> i) & 0x1);
            // iterate over the segments
            for (size_t j = 0; j < SEG_COUNT; j++) {
                size_t dst_bit = j * seg_addr_bits + i;
                p.mem_addr[dst_bit / 32] |= (bit << (dst_bit % 32));
            }
        }
106
107

        cur_off += cur_len;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
108
109
110
111
112
    }
}

void MemWriter::op_issue(DMAOp *op)
{
113
114
115
#ifdef MEM_DEBUG
    std::cerr << "enqueued write to " << op->ram_addr << std::endl;
#endif
Antoine Kaufmann's avatar
Antoine Kaufmann committed
116
117
    pending.push_back(op);
}
Antoine Kaufmann's avatar
Antoine Kaufmann committed
118
119
120
121
122
123
124
125




void MemReader::step()
{
    size_t data_byte_width = DATA_WIDTH / 8;

126
127
    if (cur && p.mem_resvalid &&
            ((p.mem_resvalid & p.mem_valid) == p.mem_valid)) {
Antoine Kaufmann's avatar
Antoine Kaufmann committed
128
#ifdef MEM_DEBUG
Antoine Kaufmann's avatar
Antoine Kaufmann committed
129
130
        std::cerr << "completed read from: " << std::hex << cur->ram_addr <<
            std::endl;
131
        std::cerr << "  reval = " << (unsigned) p.mem_resvalid << std::endl;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
132
#endif
Antoine Kaufmann's avatar
Antoine Kaufmann committed
133
        p.mem_valid = 0;
134
135
136
137
#ifdef MEM_DEBUG
        for (size_t i = 0; i < 32; i++)
            std::cerr << "    val = " << p.mem_data[i] << std::endl;
#endif
138
139
140
141
142

        size_t off = (cur->ram_addr + cur_off) % data_byte_width;
        size_t cur_len = (cur->len - cur_off > data_byte_width - off ?
                data_byte_width - off : cur->len - cur_off);
        for (size_t i = 0; i < cur_len; i++, off++) {
143
            size_t byte_off = (off % 4);
Antoine Kaufmann's avatar
Antoine Kaufmann committed
144
145
            cur->data[cur_off + i] = (p.mem_data[off / 4] >> (byte_off * 8)) &
                0xff;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
146
        }
147
        cur_off += cur_len;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
148

149
150
151
152
153
154
155
156
157
        if (cur_off == cur->len) {
            /* operation is done */
            pending.pop_front();
            cur->engine->mem_op_complete(cur);
            cur_off = 0;
        } else {
            /* operation is not done yet, we'll pick it back up */
        }

Antoine Kaufmann's avatar
Antoine Kaufmann committed
158
        cur = 0;
159
    } else if (!cur && !pending.empty()) {
Antoine Kaufmann's avatar
Antoine Kaufmann committed
160
        cur = pending.front();
Antoine Kaufmann's avatar
Antoine Kaufmann committed
161
        size_t data_offset = (cur->ram_addr + cur_off) % data_byte_width;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
162

Antoine Kaufmann's avatar
Antoine Kaufmann committed
163
#ifdef MEM_DEBUG
Antoine Kaufmann's avatar
Antoine Kaufmann committed
164
165
        std::cerr << "issuing op=" << cur << " read from " << std::hex <<
            cur->ram_addr << std::endl;
166
        std::cerr << "    off=" << data_offset << std::endl;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
167
#endif
Antoine Kaufmann's avatar
Antoine Kaufmann committed
168
169
170
171
172
173
174
175
176

        /* first reset everything */
        p.mem_sel = 0;
        p.mem_addr[0] = p.mem_addr[1] = p.mem_addr[2] = 0;
        p.mem_valid = 0x0;


        /* put data bytes in the right places */
        size_t off = data_offset;
177
178
179
        size_t cur_len = (cur->len - cur_off > data_byte_width - data_offset ?
                data_byte_width - data_offset : cur->len - cur_off);
        for (size_t i = 0; i < cur_len; i++, off++) {
Antoine Kaufmann's avatar
Antoine Kaufmann committed
180
181
            p.mem_valid |= (1 << (off / (SEG_WIDTH / 8)));
        }
Antoine Kaufmann's avatar
Antoine Kaufmann committed
182
        // p.mem_resready = p.mem_valid;
183
        p.mem_resready = 0xff;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
184

185
        uint64_t seg_addr = (cur->ram_addr + cur_off) / data_byte_width;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
186
187
188
189
190
191
192
193
194
195
196
197
        size_t seg_addr_bits = 12;

        // iterate over the address bit by bit
        for (size_t i = 0; i < seg_addr_bits; i++) {
            uint32_t bit = ((seg_addr >> i) & 0x1);
            // iterate over the segments
            for (size_t j = 0; j < SEG_COUNT; j++) {
                size_t dst_bit = j * seg_addr_bits + i;
                p.mem_addr[dst_bit / 32] |= (bit << (dst_bit % 32));
            }
        }

198
199
#ifdef MEM_DEBUG
        for (size_t i = 0; i < 3; i++)
200
            std::cerr << "    addr = " << p.mem_addr[i] << std::endl;
201
202
        std::cerr << "    mem_valid = " << (unsigned) p.mem_valid << std::endl;
#endif
Antoine Kaufmann's avatar
Antoine Kaufmann committed
203
204
205
206
207
    }
}

void MemReader::op_issue(DMAOp *op)
{
Antoine Kaufmann's avatar
Antoine Kaufmann committed
208
#ifdef MEM_DEBUG
Antoine Kaufmann's avatar
Antoine Kaufmann committed
209
    std::cerr << "enqueued read from " << op->ram_addr << std::endl;
Antoine Kaufmann's avatar
Antoine Kaufmann committed
210
#endif
Antoine Kaufmann's avatar
Antoine Kaufmann committed
211
212
    pending.push_back(op);
}