[445] | 1 | /* |
---|
| 2 | * almosmkh.c - User level ALMOS-MKH specific library implementation. |
---|
| 3 | * |
---|
| 4 | * Author Alain Greiner (2016,2017,2018) |
---|
| 5 | * |
---|
| 6 | * Copyright (c) UPMC Sorbonne Universites |
---|
| 7 | * |
---|
| 8 | * This file is part of ALMOS-MKH. |
---|
| 9 | * |
---|
| 10 | * ALMOS-MKH is free software; you can redistribute it and/or modify it |
---|
| 11 | * under the terms of the GNU General Public License as published by |
---|
| 12 | * the Free Software Foundation; version 2.0 of the License. |
---|
| 13 | * |
---|
| 14 | * ALMOS-MKH is distributed in the hope that it will be useful, but |
---|
| 15 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 16 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
| 17 | * General Public License for more details. |
---|
| 18 | * |
---|
| 19 | * You should have received a copy of the GNU General Public License |
---|
| 20 | * along with ALMOS-MKH; if not, write to the Free Software Foundation, |
---|
| 21 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
---|
| 22 | */ |
---|
| 23 | |
---|
| 24 | #include <almosmkh.h> |
---|
[444] | 25 | #include <hal_user.h> |
---|
[457] | 26 | #include <hal_shared_types.h> |
---|
[445] | 27 | #include <syscalls_numbers.h> |
---|
| 28 | #include <string.h> |
---|
[444] | 29 | #include <stdio.h> |
---|
[445] | 30 | #include <stdlib.h> |
---|
| 31 | #include <unistd.h> |
---|
| 32 | #include <mman.h> |
---|
[444] | 33 | |
---|
[573] | 34 | #define MALLOC_DEBUG 0 |
---|
| 35 | |
---|
[445] | 36 | ///////////// Non standard system calls ///////////////////////////////// |
---|
[444] | 37 | |
---|
| 38 | ////////////////////////// |
---|
| 39 | int fg( unsigned int pid ) |
---|
| 40 | { |
---|
| 41 | return hal_user_syscall( SYS_FG, |
---|
| 42 | (reg_t)pid, 0, 0, 0 ); |
---|
| 43 | } |
---|
| 44 | |
---|
[457] | 45 | ////////////////////////////// |
---|
| 46 | int is_fg( unsigned int pid, |
---|
| 47 | unsigned int * owner ) |
---|
| 48 | { |
---|
| 49 | return hal_user_syscall( SYS_IS_FG, |
---|
| 50 | (reg_t)pid, |
---|
| 51 | (reg_t)owner, 0, 0 ); |
---|
| 52 | } |
---|
| 53 | |
---|
[444] | 54 | ////////////////////////////////////// |
---|
| 55 | int get_config( unsigned int * x_size, |
---|
| 56 | unsigned int * y_size, |
---|
| 57 | unsigned int * ncores ) |
---|
| 58 | { |
---|
| 59 | return hal_user_syscall( SYS_GET_CONFIG, |
---|
| 60 | (reg_t)x_size, |
---|
| 61 | (reg_t)y_size, |
---|
| 62 | (reg_t)ncores, 0 ); |
---|
| 63 | } |
---|
| 64 | |
---|
| 65 | ///////////////////////////////// |
---|
| 66 | int get_core( unsigned int * cxy, |
---|
| 67 | unsigned int * lid ) |
---|
| 68 | { |
---|
| 69 | return hal_user_syscall( SYS_GET_CORE, |
---|
| 70 | (reg_t)cxy, |
---|
| 71 | (reg_t)lid, 0, 0 ); |
---|
| 72 | } |
---|
| 73 | |
---|
| 74 | /////////////////////////////////////////// |
---|
| 75 | int get_cycle( unsigned long long * cycle ) |
---|
| 76 | { |
---|
| 77 | return hal_user_syscall( SYS_GET_CYCLE, |
---|
| 78 | (reg_t)cycle, 0, 0, 0 ); |
---|
| 79 | } |
---|
| 80 | |
---|
[589] | 81 | ////////////////////////////////// |
---|
| 82 | int place_fork( unsigned int cxy ) |
---|
| 83 | { |
---|
| 84 | return hal_user_syscall( SYS_PLACE_FORK, |
---|
| 85 | (reg_t)cxy, 0, 0, 0 ); |
---|
| 86 | } |
---|
| 87 | |
---|
[444] | 88 | ///////////////////////////////// |
---|
| 89 | int utls( unsigned int operation, |
---|
| 90 | unsigned int value ) |
---|
| 91 | { |
---|
| 92 | return hal_user_syscall( SYS_UTLS, |
---|
| 93 | (reg_t)operation, |
---|
| 94 | (reg_t)value, 0, 0 ); |
---|
| 95 | } |
---|
| 96 | |
---|
[580] | 97 | /////////////////////////////// |
---|
| 98 | unsigned int get_uint32( void ) |
---|
[444] | 99 | { |
---|
| 100 | unsigned int i; |
---|
[580] | 101 | int c; // ASCII character value |
---|
[444] | 102 | |
---|
| 103 | unsigned char buf[32]; |
---|
[580] | 104 | |
---|
[444] | 105 | unsigned int save = 0; |
---|
[580] | 106 | unsigned int value = 0; |
---|
[444] | 107 | unsigned int done = 0; |
---|
| 108 | unsigned int overflow = 0; |
---|
| 109 | unsigned int length = 0; |
---|
[580] | 110 | |
---|
[444] | 111 | // get characters |
---|
| 112 | while (done == 0) |
---|
| 113 | { |
---|
| 114 | // read one character |
---|
[580] | 115 | c = getchar(); |
---|
[444] | 116 | |
---|
[580] | 117 | // analyse this character |
---|
| 118 | if ( ((c > 0x2F) && (c < 0x3A)) || // 0 to 9 |
---|
| 119 | ((c > 0x40) && (c < 0x47)) || // A to F |
---|
| 120 | ((c > 0x60) && (c < 0x67)) || // a to f |
---|
| 121 | (((c == 0x58) || (c == 0x78)) && (length == 1)) ) // X or x |
---|
[444] | 122 | { |
---|
[580] | 123 | putchar( c ); // echo |
---|
| 124 | if ( c > 0x60 ) c = c - 0x20; // to upper case |
---|
| 125 | buf[length] = (unsigned char)c; |
---|
[444] | 126 | length++; |
---|
| 127 | } |
---|
[580] | 128 | else if (c == 0x0A) // LF character |
---|
[444] | 129 | { |
---|
| 130 | done = 1; |
---|
| 131 | } |
---|
[580] | 132 | else if ( (c == 0x7F) || // DEL character |
---|
| 133 | (c == 0x08) ) // BS character |
---|
[444] | 134 | { |
---|
| 135 | if ( length > 0 ) |
---|
| 136 | { |
---|
| 137 | length--; |
---|
[580] | 138 | printf("\b \b"); // BS / / BS |
---|
[444] | 139 | } |
---|
| 140 | } |
---|
[580] | 141 | else if ( c == 0 ) // EOF character |
---|
[444] | 142 | { |
---|
| 143 | return -1; |
---|
| 144 | } |
---|
| 145 | |
---|
| 146 | // test buffer overflow |
---|
| 147 | if ( length >= 32 ) |
---|
| 148 | { |
---|
| 149 | overflow = 1; |
---|
| 150 | done = 1; |
---|
| 151 | } |
---|
| 152 | } // end while characters |
---|
| 153 | |
---|
[580] | 154 | // string to int conversion with overflow detection |
---|
[444] | 155 | if ( overflow == 0 ) |
---|
| 156 | { |
---|
[580] | 157 | // test (decimal / hexa) |
---|
| 158 | if( (buf[0] == 0x30) && (buf[1] == 0x58) ) // hexadecimal input |
---|
[444] | 159 | { |
---|
[580] | 160 | for (i = 2; (i < length) && (overflow == 0) ; i++) |
---|
| 161 | { |
---|
| 162 | if( buf[i] < 0x40 ) value = (value << 4) + (buf[i] - 0x30); |
---|
| 163 | else value = (value << 4) + (buf[i] - 0x37); |
---|
| 164 | if (value < save) overflow = 1; |
---|
| 165 | save = value; |
---|
| 166 | } |
---|
[444] | 167 | } |
---|
[580] | 168 | else // decimal input |
---|
| 169 | { |
---|
| 170 | for (i = 0; (i < length) && (overflow == 0) ; i++) |
---|
| 171 | { |
---|
| 172 | value = (value * 10) + (buf[i] - 0x30); |
---|
| 173 | if (value < save) overflow = 1; |
---|
| 174 | save = value; |
---|
| 175 | } |
---|
| 176 | } |
---|
[444] | 177 | } |
---|
| 178 | |
---|
| 179 | // final evaluation |
---|
| 180 | if ( overflow == 0 ) |
---|
| 181 | { |
---|
| 182 | // return value |
---|
[580] | 183 | return value; |
---|
[444] | 184 | } |
---|
| 185 | else |
---|
| 186 | { |
---|
| 187 | // cancel all echo characters |
---|
| 188 | for (i = 0; i < length ; i++) |
---|
| 189 | { |
---|
| 190 | printf("\b \b"); // BS / / BS |
---|
| 191 | } |
---|
| 192 | |
---|
| 193 | // echo character '0' |
---|
| 194 | putchar( '0' ); |
---|
| 195 | |
---|
| 196 | // return 0 value |
---|
| 197 | return 0; |
---|
| 198 | } |
---|
[580] | 199 | } // end get_uint32() |
---|
[444] | 200 | |
---|
[626] | 201 | ////////////////////////////// |
---|
| 202 | int get_string( char * string, |
---|
| 203 | int maxlen ) |
---|
| 204 | { |
---|
| 205 | int c; |
---|
| 206 | int done = 0; |
---|
| 207 | int length = 0; |
---|
[445] | 208 | |
---|
[626] | 209 | while( done == 0 ) |
---|
| 210 | { |
---|
| 211 | // check buffer overflow |
---|
| 212 | if( length >= maxlen-1 ) |
---|
| 213 | { |
---|
| 214 | return -1; // return failure |
---|
| 215 | } |
---|
| 216 | |
---|
| 217 | // read one character |
---|
| 218 | c = getchar(); |
---|
| 219 | |
---|
| 220 | // analyse this character |
---|
| 221 | if ( (c >= 0x20) && (c < 0x7F) ) // printable character |
---|
| 222 | { |
---|
| 223 | putchar( c ); // echo |
---|
| 224 | string[length] = (char)c; // register character in string |
---|
| 225 | length++; // update length |
---|
| 226 | } |
---|
| 227 | else if (c == 0x0A) // LF character marks end of string |
---|
| 228 | { |
---|
| 229 | done = 1; |
---|
| 230 | } |
---|
| 231 | else if ( (c == 0x7F) || // DEL character |
---|
| 232 | (c == 0x08) ) // BS character |
---|
| 233 | { |
---|
| 234 | if ( length > 0 ) |
---|
| 235 | { |
---|
| 236 | length--; |
---|
| 237 | printf("\b \b"); // BS / / BS |
---|
| 238 | } |
---|
| 239 | } |
---|
| 240 | else if ( c == 0 ) // EOF character |
---|
| 241 | { |
---|
| 242 | return -1; // return failure |
---|
| 243 | } |
---|
| 244 | } |
---|
| 245 | |
---|
| 246 | // set NUL character in string and return success |
---|
| 247 | string[length] = 0; |
---|
| 248 | return 0; |
---|
| 249 | |
---|
| 250 | } // end get_string() |
---|
| 251 | |
---|
| 252 | |
---|
[445] | 253 | /////////////// non standard debug functions ////////////////////////// |
---|
| 254 | |
---|
| 255 | //////////////////////////////////// |
---|
| 256 | void display_string( char * string ) |
---|
| 257 | { |
---|
| 258 | hal_user_syscall( SYS_DISPLAY, |
---|
| 259 | DISPLAY_STRING, |
---|
| 260 | (reg_t)string, 0, 0 ); |
---|
| 261 | } |
---|
| 262 | |
---|
[580] | 263 | ///////////////////////////////////////////////////// |
---|
[445] | 264 | int display_vmm( unsigned int cxy, unsigned int pid ) |
---|
| 265 | { |
---|
| 266 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 267 | DISPLAY_VMM, |
---|
[580] | 268 | (reg_t)cxy, |
---|
| 269 | (reg_t)pid, 0 ); |
---|
[445] | 270 | } |
---|
| 271 | |
---|
[597] | 272 | //////////////////////////////////// |
---|
[445] | 273 | int display_sched( unsigned int cxy, |
---|
| 274 | unsigned int lid ) |
---|
| 275 | { |
---|
| 276 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 277 | DISPLAY_SCHED, |
---|
| 278 | (reg_t)cxy, |
---|
| 279 | (reg_t)lid, 0 ); |
---|
| 280 | } |
---|
| 281 | |
---|
[597] | 282 | //////////////////////////////////////////////// |
---|
[589] | 283 | int display_cluster_processes( unsigned int cxy, |
---|
| 284 | unsigned int owned ) |
---|
[445] | 285 | { |
---|
| 286 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 287 | DISPLAY_CLUSTER_PROCESSES, |
---|
[589] | 288 | (reg_t)cxy, |
---|
| 289 | (reg_t)owned, 0 ); |
---|
[445] | 290 | } |
---|
| 291 | |
---|
[580] | 292 | //////////////////////////////////////// |
---|
| 293 | int display_busylocks( unsigned int pid, |
---|
| 294 | unsigned int trdid ) |
---|
| 295 | { |
---|
| 296 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 297 | DISPLAY_BUSYLOCKS, |
---|
| 298 | (reg_t)pid, |
---|
| 299 | (reg_t)trdid, 0 ); |
---|
| 300 | } |
---|
| 301 | |
---|
| 302 | ///////////////////////// |
---|
[478] | 303 | int display_chdev( void ) |
---|
[445] | 304 | { |
---|
| 305 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 306 | DISPLAY_CHDEV, 0, 0, 0 ); |
---|
| 307 | } |
---|
| 308 | |
---|
[573] | 309 | /////////////////////// |
---|
[478] | 310 | int display_vfs( void ) |
---|
[445] | 311 | { |
---|
| 312 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 313 | DISPLAY_VFS, 0, 0, 0 ); |
---|
| 314 | } |
---|
| 315 | |
---|
| 316 | //////////////////////////////////////////////// |
---|
| 317 | int display_txt_processes( unsigned int txt_id ) |
---|
| 318 | { |
---|
| 319 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 320 | DISPLAY_TXT_PROCESSES, |
---|
| 321 | (reg_t)txt_id, 0, 0 ); |
---|
| 322 | } |
---|
| 323 | |
---|
[597] | 324 | //////////////////////// |
---|
| 325 | int display_dqdt( void ) |
---|
| 326 | { |
---|
| 327 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 328 | DISPLAY_DQDT, 0, 0, 0 ); |
---|
| 329 | } |
---|
| 330 | |
---|
[611] | 331 | /////////////////////////////////////// |
---|
| 332 | int display_mapper( char * path, |
---|
| 333 | unsigned int page_id, |
---|
| 334 | unsigned int nbytes) |
---|
| 335 | { |
---|
| 336 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 337 | DISPLAY_MAPPER, |
---|
| 338 | (reg_t)path, |
---|
| 339 | (reg_t)page_id, |
---|
| 340 | (reg_t)nbytes ); |
---|
| 341 | } |
---|
| 342 | |
---|
[623] | 343 | /////////////////////////////////////// |
---|
| 344 | int display_barrier( unsigned int pid ) |
---|
| 345 | { |
---|
| 346 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 347 | DISPLAY_BARRIER, |
---|
| 348 | (reg_t)pid, 0, 0 ); |
---|
| 349 | } |
---|
| 350 | |
---|
[626] | 351 | /////////////////////////////////////// |
---|
| 352 | int display_fat( unsigned int page_id, |
---|
| 353 | unsigned int nb_entries ) |
---|
| 354 | { |
---|
| 355 | return hal_user_syscall( SYS_DISPLAY, |
---|
| 356 | DISPLAY_FAT, |
---|
| 357 | (reg_t)page_id, |
---|
| 358 | (reg_t)nb_entries, 0 ); |
---|
| 359 | } |
---|
| 360 | |
---|
[573] | 361 | /////////////////////////////// |
---|
[445] | 362 | int trace( unsigned int active, |
---|
[457] | 363 | unsigned int cxy, |
---|
[445] | 364 | unsigned int lid ) |
---|
| 365 | { |
---|
| 366 | return hal_user_syscall( SYS_TRACE, |
---|
| 367 | (reg_t)active, |
---|
[457] | 368 | (reg_t)cxy, |
---|
[445] | 369 | (reg_t)lid, 0 ); |
---|
| 370 | } |
---|
| 371 | |
---|
[573] | 372 | ///////////////// |
---|
[478] | 373 | void idbg( void ) |
---|
[444] | 374 | { |
---|
| 375 | char cmd; |
---|
| 376 | |
---|
| 377 | while( 1 ) |
---|
| 378 | { |
---|
[626] | 379 | // display prompt |
---|
[444] | 380 | printf("\n[idbg] cmd = "); |
---|
[626] | 381 | |
---|
| 382 | // get a one character command |
---|
[444] | 383 | cmd = (char)getchar(); |
---|
| 384 | |
---|
[626] | 385 | // display all busylocks owned by thread(pid,trdid) |
---|
| 386 | if( cmd == 'b' ) |
---|
[444] | 387 | { |
---|
[626] | 388 | printf("b / pid = "); |
---|
| 389 | unsigned int pid = get_uint32(); |
---|
| 390 | printf(" / trdid = "); |
---|
| 391 | unsigned int trdid = get_uint32(); |
---|
| 392 | display_busylocks( pid , trdid ); |
---|
[444] | 393 | } |
---|
[626] | 394 | // return to calling process |
---|
| 395 | else if( cmd == 'c' ) |
---|
| 396 | { |
---|
| 397 | printf("c\n"); |
---|
| 398 | break; |
---|
| 399 | } |
---|
| 400 | // display FAT mapper(page,entries) |
---|
| 401 | else if( cmd == 'f' ) |
---|
| 402 | { |
---|
| 403 | printf("f / page = "); |
---|
| 404 | unsigned int page = get_uint32(); |
---|
| 405 | printf(" / entries = "); |
---|
| 406 | unsigned int entries = get_uint32(); |
---|
| 407 | display_fat( page , entries ); |
---|
| 408 | } |
---|
| 409 | // list all supported commands |
---|
| 410 | else if( cmd == 'h' ) |
---|
| 411 | { |
---|
| 412 | printf("h\n" |
---|
| 413 | "- b : display on TXT0 busylocks taken by thread[pid,trdid]\n" |
---|
| 414 | "- c : resume calling process execution\n" |
---|
| 415 | "- f : display on TXT0 FAT mapper[page,entries]\n" |
---|
| 416 | "- h : list of supported commands\n" |
---|
| 417 | "- m : display on TXT0 mapper[path,page,nbytes]\n" |
---|
| 418 | "- p : display on TXT0 process descriptors in cluster[cxy]\n" |
---|
| 419 | "- q : display on TXT0 DQDT state\n" |
---|
| 420 | "- s : display on TXT0 scheduler state for core[cxy,lid]\n" |
---|
| 421 | "- t : display on TXT0 process decriptors attached to TXT[tid]\n" |
---|
| 422 | "- v : display on TXT0 VMM state for process[cxy,pid]\n" |
---|
| 423 | "- x : force calling process to exit\n" |
---|
| 424 | "- y : activate/desactivate trace for core[cxy,lid]\n" |
---|
| 425 | ); |
---|
| 426 | } |
---|
| 427 | // display MAPPER(path,page,nbytes) |
---|
| 428 | else if( cmd == 'm' ) |
---|
| 429 | { |
---|
| 430 | char path[128]; |
---|
| 431 | printf("m / path = "); |
---|
| 432 | int error = get_string( path , 128 ); |
---|
| 433 | printf(" / page = "); |
---|
| 434 | unsigned int page = get_uint32(); |
---|
| 435 | printf(" / nbytes = "); |
---|
| 436 | unsigned int nbytes = get_uint32(); |
---|
| 437 | if( error == 0 ) display_mapper( path , page , nbytes ); |
---|
| 438 | } |
---|
| 439 | // display all processes in cluster(cxy) |
---|
[444] | 440 | else if( cmd == 'p' ) |
---|
| 441 | { |
---|
| 442 | printf("p / cxy = "); |
---|
[626] | 443 | unsigned int cxy = get_uint32(); |
---|
[589] | 444 | display_cluster_processes( cxy , 0 ); |
---|
[444] | 445 | } |
---|
[626] | 446 | // display DQDT |
---|
| 447 | else if( cmd == 'q' ) |
---|
| 448 | { |
---|
| 449 | printf("q\n"); |
---|
| 450 | display_dqdt(); |
---|
| 451 | } |
---|
| 452 | // display scheduler state for core(cxy,lid) |
---|
[444] | 453 | else if( cmd == 's' ) |
---|
| 454 | { |
---|
| 455 | printf("s / cxy = "); |
---|
[626] | 456 | unsigned int cxy = get_uint32(); |
---|
[444] | 457 | printf(" / lid = "); |
---|
[626] | 458 | unsigned int lid = get_uint32(); |
---|
[444] | 459 | display_sched( cxy , lid ); |
---|
| 460 | } |
---|
[626] | 461 | // display all processes attached to TXT(txt_id) |
---|
| 462 | else if( cmd == 't' ) |
---|
| 463 | { |
---|
| 464 | printf("t / txt_id = "); |
---|
| 465 | unsigned int txt_id = get_uint32(); |
---|
| 466 | display_txt_processes( txt_id ); |
---|
| 467 | } |
---|
| 468 | // display vmm state for process(cxy, pid) |
---|
[444] | 469 | else if( cmd == 'v' ) |
---|
| 470 | { |
---|
| 471 | printf("v / cxy = "); |
---|
[626] | 472 | unsigned int cxy = get_uint32(); |
---|
[580] | 473 | printf(" / pid = "); |
---|
[626] | 474 | unsigned int pid = get_uint32(); |
---|
[580] | 475 | display_vmm( cxy , pid ); |
---|
[444] | 476 | } |
---|
[626] | 477 | // force the calling process to exit |
---|
| 478 | else if( cmd == 'x' ) |
---|
[444] | 479 | { |
---|
[626] | 480 | printf("x\n"); |
---|
| 481 | exit( 0 ); |
---|
[444] | 482 | } |
---|
[626] | 483 | // activate scheduler trace for core(cxy,lid) |
---|
[444] | 484 | else if( cmd == 'y' ) |
---|
| 485 | { |
---|
| 486 | printf("y / active = "); |
---|
[626] | 487 | unsigned int active = get_uint32(); |
---|
[444] | 488 | printf(" / cxy = "); |
---|
[626] | 489 | unsigned int cxy = get_uint32(); |
---|
[444] | 490 | printf(" / lid = "); |
---|
[626] | 491 | unsigned int lid = get_uint32(); |
---|
[444] | 492 | trace( active , cxy , lid ); |
---|
| 493 | } |
---|
[626] | 494 | } // en while |
---|
[444] | 495 | } // end idbg() |
---|
| 496 | |
---|
| 497 | |
---|
[457] | 498 | /////////////// non standard malloc functions ////////////////////////// |
---|
[444] | 499 | |
---|
[445] | 500 | ///////////////////////////////////////////////////////////////////////////////////////// |
---|
| 501 | // Global variable defining the allocator array (one per cluster) |
---|
| 502 | // This array (about 16 Kbytes ) will be stored in the data segment |
---|
| 503 | // of any application linked with this malloc libray. |
---|
| 504 | ///////////////////////////////////////////////////////////////////////////////////////// |
---|
| 505 | |
---|
| 506 | malloc_store_t store[MALLOC_MAX_CLUSTERS]; |
---|
| 507 | |
---|
| 508 | // Macro returning the smallest power of 2 larger or equal to size value |
---|
| 509 | |
---|
| 510 | #define GET_SIZE_INDEX(size) (size <= 0x00000001) ? 0 :\ |
---|
| 511 | (size <= 0x00000002) ? 1 :\ |
---|
| 512 | (size <= 0x00000004) ? 2 :\ |
---|
| 513 | (size <= 0x00000008) ? 3 :\ |
---|
| 514 | (size <= 0x00000010) ? 4 :\ |
---|
| 515 | (size <= 0x00000020) ? 5 :\ |
---|
| 516 | (size <= 0x00000040) ? 6 :\ |
---|
| 517 | (size <= 0x00000080) ? 7 :\ |
---|
| 518 | (size <= 0x00000100) ? 8 :\ |
---|
| 519 | (size <= 0x00000200) ? 9 :\ |
---|
| 520 | (size <= 0x00000400) ? 10 :\ |
---|
| 521 | (size <= 0x00000800) ? 11 :\ |
---|
| 522 | (size <= 0x00001000) ? 12 :\ |
---|
| 523 | (size <= 0x00002000) ? 13 :\ |
---|
| 524 | (size <= 0x00004000) ? 14 :\ |
---|
| 525 | (size <= 0x00008000) ? 15 :\ |
---|
| 526 | (size <= 0x00010000) ? 16 :\ |
---|
| 527 | (size <= 0x00020000) ? 17 :\ |
---|
| 528 | (size <= 0x00040000) ? 18 :\ |
---|
| 529 | (size <= 0x00080000) ? 19 :\ |
---|
| 530 | (size <= 0x00100000) ? 20 :\ |
---|
| 531 | (size <= 0x00200000) ? 21 :\ |
---|
| 532 | (size <= 0x00400000) ? 22 :\ |
---|
| 533 | (size <= 0x00800000) ? 23 :\ |
---|
| 534 | (size <= 0x01000000) ? 24 :\ |
---|
| 535 | (size <= 0x02000000) ? 25 :\ |
---|
| 536 | (size <= 0x04000000) ? 26 :\ |
---|
| 537 | (size <= 0x08000000) ? 27 :\ |
---|
| 538 | (size <= 0x10000000) ? 28 :\ |
---|
| 539 | (size <= 0x20000000) ? 29 :\ |
---|
| 540 | (size <= 0x40000000) ? 30 :\ |
---|
| 541 | (size <= 0x80000000) ? 31 :\ |
---|
| 542 | 32 |
---|
| 543 | |
---|
| 544 | //////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 545 | // This static function display the current state of the allocator in cluster <cxy>. |
---|
| 546 | //////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 547 | |
---|
[573] | 548 | #if MALLOC_DEBUG |
---|
[445] | 549 | static void display_free_array( unsigned int cxy ) |
---|
| 550 | { |
---|
| 551 | unsigned int next; |
---|
| 552 | unsigned int id; |
---|
| 553 | unsigned int iter; |
---|
| 554 | |
---|
| 555 | printf("\n***** store[%x] base = %x / size = %x\n", |
---|
| 556 | cxy , store[cxy].store_base, store[cxy].store_size ); |
---|
| 557 | for ( id = 0 ; id < 32 ; id++ ) |
---|
| 558 | { |
---|
| 559 | next = store[cxy].free[id]; |
---|
| 560 | printf(" - free[%d] = " , id ); |
---|
| 561 | iter = 0; |
---|
| 562 | while ( next != 0 ) |
---|
| 563 | { |
---|
| 564 | printf("%x | ", next ); |
---|
| 565 | next = (*(unsigned int*)next); |
---|
| 566 | iter++; |
---|
| 567 | } |
---|
| 568 | printf("0\n"); |
---|
| 569 | } |
---|
| 570 | } // end display_free_array() |
---|
| 571 | #endif |
---|
| 572 | |
---|
| 573 | |
---|
| 574 | ////////////////////////////////////////////////////////////////////i////////////////////// |
---|
| 575 | // This static function initialises the store in the cluster identified by the <cxy> |
---|
| 576 | // arguments. It is called by the malloc() or remote_malloc when a specific store(x,y) |
---|
| 577 | // is accessed for the first time by a remote() or remote_malloc() request. |
---|
| 578 | // It uses the mmap( MAP_REMOTE ) syscall to allocate a new vseg mapped in cluster (cxy). |
---|
| 579 | ////////////////////////////////////////////////////////////////////i////////////////////// |
---|
| 580 | // @ cxy : target cluster identifier (fixed format). |
---|
| 581 | // @ store_size : store size (bytes). |
---|
| 582 | // # return without setting the initialized field in store(cxy) if failure. |
---|
| 583 | ////////////////////////////////////////////////////////////////////i////////////////////// |
---|
| 584 | static void store_init( unsigned int cxy, |
---|
| 585 | unsigned int store_size ) |
---|
| 586 | { |
---|
| 587 | unsigned int store_base; // store base address |
---|
| 588 | unsigned int free_index; // index in free[array] |
---|
| 589 | |
---|
| 590 | unsigned int alloc_base; // alloc[] array base |
---|
| 591 | unsigned int alloc_size; // alloc[] array size |
---|
| 592 | unsigned int alloc_index; // index in alloc[array] |
---|
| 593 | |
---|
| 594 | unsigned int iter; // iterator |
---|
| 595 | |
---|
| 596 | #if MALLOC_DEBUG |
---|
| 597 | printf("\n[MALLOC] %s : enter for store[%x] / size = %x\n", |
---|
| 598 | __FUNCTION__, cxy, store_size ); |
---|
| 599 | #endif |
---|
| 600 | |
---|
| 601 | // get index in free[] array from size |
---|
| 602 | free_index = GET_SIZE_INDEX( store_size ); |
---|
| 603 | |
---|
| 604 | // check store size power of 2 |
---|
[473] | 605 | if( store_size != (unsigned int)(1<<free_index) ) |
---|
[445] | 606 | { |
---|
| 607 | printf("\n[ERROR] in %s : store[%x] size not power of 2 / size = %x\n", |
---|
| 608 | __FUNCTION__, cxy , store_size ); |
---|
| 609 | return; |
---|
| 610 | } |
---|
| 611 | |
---|
| 612 | // allocate store in virtual space |
---|
| 613 | void * vadr = mmap( NULL, // MAP_FIXED not supported |
---|
| 614 | store_size, |
---|
| 615 | PROT_READ | PROT_WRITE, |
---|
| 616 | MAP_REMOTE| MAP_SHARED, |
---|
| 617 | cxy, // fd is cluster identifier |
---|
| 618 | 0 ); // offset unused |
---|
| 619 | |
---|
| 620 | if( vadr == NULL ) |
---|
| 621 | { |
---|
| 622 | printf("\n[ERROR] in %s : cannot mmap store[%x]\n", |
---|
| 623 | __FUNCTION__, cxy ); |
---|
| 624 | return; |
---|
| 625 | } |
---|
| 626 | |
---|
| 627 | store_base = (unsigned int)vadr; |
---|
| 628 | |
---|
| 629 | // check allocated store alignment |
---|
| 630 | if( store_base % store_size ) |
---|
| 631 | { |
---|
| 632 | printf("\n[ERROR] in %s : store[%x] not aligned / base = %x / size = %x\n", |
---|
| 633 | __FUNCTION__, cxy , store_base , store_size ); |
---|
| 634 | return; |
---|
| 635 | } |
---|
| 636 | |
---|
| 637 | #if MALLOC_DEBUG |
---|
| 638 | printf("\n[MALLOC] %s : mmap done for store[%x] / base = %x\n", |
---|
| 639 | __FUNCTION__, cxy, store_base ); |
---|
| 640 | #endif |
---|
| 641 | |
---|
| 642 | // compute size of block containing alloc[] array |
---|
| 643 | alloc_size = store_size / MALLOC_MIN_BLOCK_SIZE; |
---|
| 644 | if ( alloc_size < MALLOC_MIN_BLOCK_SIZE) alloc_size = MALLOC_MIN_BLOCK_SIZE; |
---|
| 645 | |
---|
| 646 | // get index for the corresponding block |
---|
| 647 | alloc_index = GET_SIZE_INDEX( alloc_size ); |
---|
| 648 | |
---|
| 649 | // compute alloc[] array base address |
---|
| 650 | alloc_base = store_base + store_size - alloc_size; |
---|
| 651 | |
---|
| 652 | // reset the free[] array |
---|
| 653 | for ( iter = 0 ; iter < 32 ; iter++ ) |
---|
| 654 | { |
---|
| 655 | store[cxy].free[iter] = 0; |
---|
| 656 | } |
---|
| 657 | |
---|
[573] | 658 | // DEPRECATED: we don't reset the alloc_base array |
---|
[445] | 659 | // because we don't want to allocate the physical memory |
---|
| 660 | // when the heap is created [AG] |
---|
| 661 | // memset( (void *)alloc_base , 0 , alloc_size ); |
---|
| 662 | |
---|
| 663 | // split the store into various sizes blocks, |
---|
| 664 | // initializes the free[] array and NEXT pointers |
---|
| 665 | // base is the block base address |
---|
| 666 | unsigned int base = store_base; |
---|
| 667 | unsigned int * ptr; |
---|
| 668 | for ( iter = free_index-1 ; iter >= alloc_index ; iter-- ) |
---|
| 669 | { |
---|
| 670 | store[cxy].free[iter] = base; |
---|
| 671 | ptr = (unsigned int*)base; |
---|
| 672 | *ptr = 0; |
---|
| 673 | base = base + (1<<iter); |
---|
| 674 | } |
---|
| 675 | |
---|
| 676 | // initialize store mutex |
---|
| 677 | if( pthread_mutex_init( &store[cxy].mutex , NULL ) ) |
---|
| 678 | { |
---|
| 679 | printf("\n[ERROR] in %s : cannot initialize mutex for store[%x]\n", |
---|
| 680 | __FUNCTION__, cxy ); |
---|
| 681 | return; |
---|
| 682 | } |
---|
| 683 | |
---|
| 684 | store[cxy].cxy = cxy; |
---|
| 685 | store[cxy].store_base = store_base; |
---|
| 686 | store[cxy].store_size = store_size; |
---|
| 687 | store[cxy].alloc_size = alloc_size; |
---|
| 688 | store[cxy].alloc_base = alloc_base; |
---|
| 689 | store[cxy].initialized = MALLOC_INITIALIZED; |
---|
| 690 | |
---|
| 691 | |
---|
| 692 | #if MALLOC_DEBUG |
---|
| 693 | printf("\n[MALLOC] %s : completes store[%x] initialisation\n", |
---|
| 694 | __FUNCTION__, cxy ); |
---|
| 695 | |
---|
| 696 | display_free_array( cxy ); |
---|
| 697 | #endif |
---|
| 698 | |
---|
| 699 | } // end store_init() |
---|
| 700 | |
---|
| 701 | //////////////////////////////////////////////////////// |
---|
| 702 | static unsigned int split_block( malloc_store_t * store, |
---|
| 703 | unsigned int vaddr, |
---|
| 704 | unsigned int searched_index, |
---|
| 705 | unsigned int requested_index ) |
---|
| 706 | { |
---|
| 707 | // push the upper half block into free[searched_index-1] |
---|
| 708 | unsigned int* new = (unsigned int*)(vaddr + (1<<(searched_index-1))); |
---|
| 709 | *new = store->free[searched_index-1]; |
---|
| 710 | store->free[searched_index-1] = (unsigned int)new; |
---|
| 711 | |
---|
| 712 | if ( searched_index == requested_index + 1 ) // terminal case: return lower half block |
---|
| 713 | { |
---|
| 714 | return vaddr; |
---|
| 715 | } |
---|
| 716 | else // non terminal case : lower half block must be split again |
---|
| 717 | { |
---|
| 718 | return split_block( store, vaddr, searched_index-1, requested_index ); |
---|
| 719 | } |
---|
| 720 | } // end split_block() |
---|
| 721 | |
---|
| 722 | ////////////////////////////////////////////////////// |
---|
| 723 | static unsigned int get_block( malloc_store_t * store, |
---|
| 724 | unsigned int searched_index, |
---|
| 725 | unsigned int requested_index ) |
---|
| 726 | { |
---|
| 727 | // test terminal case |
---|
[473] | 728 | if ( (unsigned int)(1<<searched_index) > store->store_size ) // failure |
---|
[445] | 729 | { |
---|
| 730 | return 0; |
---|
| 731 | } |
---|
| 732 | else // search a block in free[searched_index] |
---|
| 733 | { |
---|
| 734 | unsigned int vaddr = store->free[searched_index]; |
---|
| 735 | if ( vaddr == 0 ) // block not found : search in free[searched_index+1] |
---|
| 736 | { |
---|
| 737 | return get_block( store, searched_index+1, requested_index ); |
---|
| 738 | } |
---|
| 739 | else // block found : pop it from free[searched_index] |
---|
| 740 | { |
---|
| 741 | // pop the block from free[searched_index] |
---|
| 742 | unsigned int next = *((unsigned int*)vaddr); |
---|
| 743 | store->free[searched_index] = next; |
---|
| 744 | |
---|
| 745 | // test if the block must be split |
---|
| 746 | if ( searched_index == requested_index ) // no split required |
---|
| 747 | { |
---|
| 748 | return vaddr; |
---|
| 749 | } |
---|
| 750 | else // split is required |
---|
| 751 | { |
---|
| 752 | return split_block( store, vaddr, searched_index, requested_index ); |
---|
| 753 | } |
---|
| 754 | } |
---|
| 755 | } |
---|
| 756 | } // end get_block() |
---|
| 757 | |
---|
| 758 | //////////////////////////////////////// |
---|
| 759 | void * remote_malloc( unsigned int size, |
---|
| 760 | unsigned int cxy ) |
---|
| 761 | { |
---|
[573] | 762 | int error; |
---|
[445] | 763 | |
---|
| 764 | #if MALLOC_DEBUG |
---|
| 765 | printf("\n[MALLOC] %s : enter for size = %x / cxy = %x\n", |
---|
| 766 | __FUNCTION__ , size , cxy ); |
---|
| 767 | #endif |
---|
| 768 | |
---|
| 769 | // check arguments |
---|
| 770 | if( size == 0 ) |
---|
| 771 | { |
---|
| 772 | printf("\n[ERROR] in %s : requested size = 0 \n", |
---|
| 773 | __FUNCTION__ ); |
---|
| 774 | return NULL; |
---|
| 775 | } |
---|
| 776 | if( cxy >= MALLOC_MAX_CLUSTERS ) |
---|
| 777 | { |
---|
| 778 | printf("\n[ERROR] in %s : illegal cluster %x\n", |
---|
| 779 | __FUNCTION__ , cxy ); |
---|
| 780 | return NULL; |
---|
| 781 | } |
---|
| 782 | |
---|
| 783 | // initializes target store if required |
---|
| 784 | if( store[cxy].initialized != MALLOC_INITIALIZED ) |
---|
| 785 | { |
---|
| 786 | store_init( cxy , MALLOC_LOCAL_STORE_SIZE ); |
---|
| 787 | |
---|
| 788 | if( store[cxy].initialized != MALLOC_INITIALIZED ) |
---|
| 789 | { |
---|
| 790 | printf("\n[ERROR] in %s : cannot allocate store in cluster %x\n", |
---|
| 791 | __FUNCTION__ , cxy ); |
---|
| 792 | return NULL; |
---|
| 793 | } |
---|
| 794 | } |
---|
| 795 | |
---|
| 796 | // normalize size |
---|
| 797 | if ( size < MALLOC_MIN_BLOCK_SIZE ) size = MALLOC_MIN_BLOCK_SIZE; |
---|
| 798 | |
---|
| 799 | // compute requested_index for the free[] array |
---|
| 800 | unsigned int requested_index = GET_SIZE_INDEX( size ); |
---|
| 801 | |
---|
| 802 | // take the lock protecting access to store[cxy] |
---|
[573] | 803 | error = pthread_mutex_lock( &store[cxy].mutex ); |
---|
[445] | 804 | |
---|
[573] | 805 | if( error ) |
---|
| 806 | { |
---|
| 807 | printf("\n[ERROR] in %s : cannot take the lock protecting store in cluster %x\n", |
---|
| 808 | __FUNCTION__ , cxy ); |
---|
| 809 | return NULL; |
---|
| 810 | } |
---|
| 811 | |
---|
[445] | 812 | // call the recursive function get_block |
---|
| 813 | unsigned int base = get_block( &store[cxy], |
---|
| 814 | requested_index, |
---|
| 815 | requested_index ); |
---|
| 816 | |
---|
| 817 | // check block found |
---|
| 818 | if (base == 0) |
---|
| 819 | { |
---|
| 820 | pthread_mutex_unlock( &store[cxy].mutex ); |
---|
| 821 | printf("\n[ERROR] in %s : no more space in cluster %x\n", |
---|
| 822 | __FUNCTION__ , cxy ); |
---|
| 823 | return NULL; |
---|
| 824 | } |
---|
| 825 | |
---|
| 826 | // compute pointer in alloc[] array |
---|
| 827 | unsigned offset = (base - store[cxy].store_base) / MALLOC_MIN_BLOCK_SIZE; |
---|
| 828 | unsigned char * ptr = (unsigned char*)(store[cxy].alloc_base + offset); |
---|
| 829 | |
---|
[573] | 830 | // DEPRECATED : we cannot check the alloc[] array, |
---|
| 831 | // because it has not been initialised by store_init, |
---|
| 832 | // to avoid physical memory allocation at heap creation [AG] |
---|
[445] | 833 | // if ( *ptr != 0 ) |
---|
| 834 | // { |
---|
| 835 | // pthread_mutex_unlock( &store[cxy].mutex ); |
---|
| 836 | // printf("\n[PANIC] in %s : allocate an already allocated block...\n", |
---|
| 837 | // __FUNCTION__ ); |
---|
| 838 | // return NULL; |
---|
| 839 | // } |
---|
| 840 | |
---|
| 841 | // update alloc_array |
---|
| 842 | *ptr = requested_index; |
---|
| 843 | |
---|
| 844 | // release the lock |
---|
| 845 | pthread_mutex_unlock( &store[cxy].mutex ); |
---|
| 846 | |
---|
| 847 | #if MALLOC_DEBUG |
---|
| 848 | printf("\n[MALLOC] %s : exit / base = %x / size = %x / from store[%x]\n", |
---|
| 849 | __FUNCTION__, base , size , cxy ); |
---|
| 850 | #endif |
---|
| 851 | |
---|
| 852 | return (void*) base; |
---|
| 853 | |
---|
| 854 | } // end remote_malloc() |
---|
| 855 | |
---|
| 856 | |
---|
| 857 | |
---|
| 858 | ////////////////////////////////////////// |
---|
| 859 | void * remote_calloc ( unsigned int count, |
---|
| 860 | unsigned int size, |
---|
| 861 | unsigned int cxy ) |
---|
| 862 | { |
---|
| 863 | void * ptr = remote_malloc( count * size , cxy ); |
---|
| 864 | memset( ptr , 0 , count * size ); |
---|
| 865 | return ptr; |
---|
| 866 | } |
---|
| 867 | |
---|
| 868 | ////////////////////////////////// |
---|
| 869 | void * remote_realloc( void * ptr, |
---|
| 870 | unsigned int size, |
---|
| 871 | unsigned int cxy ) |
---|
| 872 | { |
---|
| 873 | // simple allocation when (ptr == NULL) |
---|
| 874 | if( ptr == NULL ) |
---|
| 875 | { |
---|
| 876 | return remote_malloc( size , cxy ); |
---|
| 877 | } |
---|
| 878 | |
---|
| 879 | // simple free when (size == 0) |
---|
| 880 | if( size == 0 ) |
---|
| 881 | { |
---|
| 882 | remote_free( ptr , cxy ); |
---|
| 883 | return NULL; |
---|
| 884 | } |
---|
| 885 | |
---|
| 886 | // check cxy and ptr in general case |
---|
| 887 | if( cxy >= MALLOC_MAX_CLUSTERS ) |
---|
| 888 | { |
---|
| 889 | printf("\n[ERROR] in %s : illegal cluster index %x\n", |
---|
| 890 | __FUNCTION__ , cxy ); |
---|
| 891 | return NULL; |
---|
| 892 | } |
---|
| 893 | |
---|
| 894 | unsigned int base = (unsigned int)ptr; |
---|
| 895 | |
---|
| 896 | if( (base < store[cxy].store_base) || |
---|
| 897 | (base >= (store[cxy].store_base + store[cxy].store_size)) ) |
---|
| 898 | { |
---|
| 899 | printf("\n[ERROR] in %s : illegal pointer = %x\n", |
---|
| 900 | __FUNCTION__, ptr ); |
---|
| 901 | return NULL; |
---|
| 902 | } |
---|
| 903 | |
---|
| 904 | // compute index in free[] array |
---|
| 905 | int index = (base - store[cxy].store_base) / MALLOC_MIN_BLOCK_SIZE; |
---|
| 906 | |
---|
| 907 | // compute old size |
---|
[473] | 908 | char * pchar = (char *) (store[cxy].alloc_base + index); |
---|
| 909 | unsigned int old_size = (unsigned int)(1 << ((int) *pchar)); |
---|
[445] | 910 | |
---|
| 911 | // allocate a new block |
---|
| 912 | void * new_ptr = remote_malloc( size , cxy ); |
---|
| 913 | |
---|
| 914 | // save old data to new block |
---|
[473] | 915 | int min_size = (int)((size < old_size) ? size : old_size); |
---|
[445] | 916 | memcpy( new_ptr, ptr, min_size ); |
---|
| 917 | |
---|
| 918 | // release old block |
---|
| 919 | remote_free( ptr , cxy ); |
---|
| 920 | |
---|
| 921 | return new_ptr; |
---|
| 922 | } |
---|
| 923 | |
---|
| 924 | ////////////////////////////////////////////////////// |
---|
| 925 | static void update_free_array( malloc_store_t * store, |
---|
| 926 | unsigned int base, |
---|
| 927 | unsigned int size_index ) |
---|
| 928 | { |
---|
| 929 | // This recursive function try to merge the released block |
---|
| 930 | // with the companion block if this companion block is free. |
---|
| 931 | // This companion has the same size, and almost the same address |
---|
| 932 | // (only one address bit is different) |
---|
| 933 | // - If the companion is not in free[size_index], |
---|
| 934 | // the released block is pushed in free[size_index]. |
---|
| 935 | // - If the companion is found, it is evicted from free[size_index] |
---|
| 936 | // and the merged bloc is pushed in the free[size_index+1]. |
---|
| 937 | |
---|
| 938 | |
---|
| 939 | // compute released block size |
---|
| 940 | unsigned int size = 1<<size_index; |
---|
| 941 | |
---|
| 942 | // compute companion block and merged block base addresses |
---|
| 943 | unsigned int companion_base; |
---|
| 944 | unsigned int merged_base; |
---|
| 945 | |
---|
| 946 | if ( (base & size) == 0 ) // the released block is aligned on (2*size) |
---|
| 947 | { |
---|
| 948 | companion_base = base + size; |
---|
| 949 | merged_base = base; |
---|
| 950 | } |
---|
| 951 | else |
---|
| 952 | { |
---|
| 953 | companion_base = base - size; |
---|
| 954 | merged_base = base - size; |
---|
| 955 | } |
---|
| 956 | |
---|
| 957 | // scan all blocks in free[size_index] |
---|
| 958 | // the iter & prev variables are actually addresses |
---|
| 959 | unsigned int found = 0; |
---|
| 960 | unsigned int iter = store->free[size_index]; |
---|
| 961 | unsigned int prev = (unsigned int)&store->free[size_index]; |
---|
| 962 | while ( iter ) |
---|
| 963 | { |
---|
| 964 | if ( iter == companion_base ) |
---|
| 965 | { |
---|
| 966 | found = 1; |
---|
| 967 | break; |
---|
| 968 | } |
---|
| 969 | prev = iter; |
---|
| 970 | iter = *(unsigned int*)iter; |
---|
| 971 | } |
---|
| 972 | |
---|
| 973 | if ( found == 0 ) // Companion not found => push in free[size_index] |
---|
| 974 | { |
---|
| 975 | *(unsigned int*)base = store->free[size_index]; |
---|
| 976 | store->free[size_index] = base; |
---|
| 977 | } |
---|
| 978 | else // Companion found : merge |
---|
| 979 | { |
---|
| 980 | // evict the searched block from free[size_index] |
---|
| 981 | *(unsigned int*)prev = *(unsigned int*)iter; |
---|
| 982 | |
---|
| 983 | // call the update_free() function for free[size_index+1] |
---|
| 984 | update_free_array( store, merged_base , size_index+1 ); |
---|
| 985 | } |
---|
| 986 | } // end update_free_array() |
---|
| 987 | |
---|
| 988 | //////////////////////////////////// |
---|
| 989 | void remote_free( void * ptr, |
---|
| 990 | unsigned int cxy ) |
---|
| 991 | { |
---|
| 992 | |
---|
| 993 | #if MALLOC_DEBUG |
---|
| 994 | printf("\n[MALLOC] %s : enter for block = %x / cxy = %x\n", |
---|
| 995 | __FUNCTION__, ptr, cxy ); |
---|
| 996 | #endif |
---|
| 997 | |
---|
| 998 | unsigned int base = (unsigned int)ptr; |
---|
| 999 | |
---|
| 1000 | // check cxy value |
---|
| 1001 | if( cxy >= MALLOC_MAX_CLUSTERS ) |
---|
| 1002 | { |
---|
| 1003 | printf("\n[ERROR] in %s : illegal cluster index %x\n", |
---|
| 1004 | __FUNCTION__ , cxy ); |
---|
| 1005 | return; |
---|
| 1006 | } |
---|
| 1007 | |
---|
| 1008 | // check ptr value |
---|
| 1009 | if( (base < store[cxy].store_base) || |
---|
| 1010 | (base >= (store[cxy].store_base + store[cxy].store_size)) ) |
---|
| 1011 | { |
---|
| 1012 | printf("\n[ERROR] in %s : illegal pointer for released block = %x\n", |
---|
| 1013 | __FUNCTION__, ptr ); |
---|
| 1014 | return; |
---|
| 1015 | } |
---|
| 1016 | |
---|
| 1017 | // get the lock protecting store[cxy] |
---|
| 1018 | pthread_mutex_lock( &store[cxy].mutex ); |
---|
| 1019 | |
---|
| 1020 | // compute released block index in alloc[] array |
---|
| 1021 | unsigned index = (base - store[cxy].store_base ) / MALLOC_MIN_BLOCK_SIZE; |
---|
| 1022 | |
---|
| 1023 | // get the released block size_index |
---|
| 1024 | unsigned char* pchar = (unsigned char*)(store[cxy].alloc_base + index); |
---|
| 1025 | unsigned int size_index = (unsigned int)*pchar; |
---|
| 1026 | |
---|
| 1027 | // check block is allocated |
---|
| 1028 | if ( size_index == 0 ) |
---|
| 1029 | { |
---|
| 1030 | pthread_mutex_unlock( &store[cxy].mutex ); |
---|
| 1031 | printf("\n[ERROR] in %s : released block not allocated / ptr = %x\n", |
---|
| 1032 | __FUNCTION__, ptr ); |
---|
| 1033 | return; |
---|
| 1034 | } |
---|
| 1035 | |
---|
| 1036 | // check released block alignment |
---|
| 1037 | if ( base % (1 << size_index) ) |
---|
| 1038 | { |
---|
| 1039 | pthread_mutex_unlock( &store[cxy].mutex ); |
---|
| 1040 | printf("\n[ERROR] in %s : released block not aligned / ptr = %x\n", |
---|
| 1041 | __FUNCTION__, ptr ); |
---|
| 1042 | return; |
---|
| 1043 | } |
---|
| 1044 | |
---|
| 1045 | // reset the alloc[index] entry |
---|
| 1046 | *pchar = 0; |
---|
| 1047 | |
---|
| 1048 | // call the recursive function update_free_array() |
---|
| 1049 | update_free_array( &store[cxy], base, size_index ); |
---|
| 1050 | |
---|
| 1051 | // release the lock |
---|
| 1052 | pthread_mutex_unlock( &store[cxy].mutex ); |
---|
| 1053 | |
---|
| 1054 | #if MALLOC_DEBUG |
---|
| 1055 | printf("\n[MALLOC] %s : conmpletes for block = %x / cxy = %x\n", |
---|
| 1056 | __FUNCTION__, ptr, cxy ); |
---|
| 1057 | #endif |
---|
| 1058 | |
---|
| 1059 | } // end remote_free() |
---|
| 1060 | |
---|
| 1061 | // Local Variables: |
---|
| 1062 | // tab-width: 4 |
---|
| 1063 | // c-basic-offset: 4 |
---|
| 1064 | // c-file-offsets:((innamespace . 0)(inline-open . 0)) |
---|
| 1065 | // indent-tabs-mode: nil |
---|
| 1066 | // End: |
---|
| 1067 | // vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4 |
---|
| 1068 | |
---|
| 1069 | |
---|
| 1070 | |
---|