-
Notifications
You must be signed in to change notification settings - Fork 33
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
msg: Return a handle instead of kernel pointer in msgRecv
Breaking API change! Add idtree from libphoenix, some MISRA improvements JIRA: RTOS-606
- Loading branch information
1 parent
a4f4770
commit fad3053
Showing
14 changed files
with
493 additions
and
115 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,169 @@ | ||
/* | ||
* Phoenix-RTOS | ||
* | ||
* Operating system kernel | ||
* | ||
* id allocating tree | ||
* | ||
* Copyright 2018 Phoenix Systems | ||
* Author: Jan Sikorski | ||
* | ||
* This file is part of Phoenix-RTOS. | ||
* | ||
* %LICENSE% | ||
*/ | ||
|
||
#include "lib.h" | ||
|
||
|
||
static int lib_idtreeCmp(rbnode_t *n1, rbnode_t *n2) | ||
{ | ||
idnode_t *i1 = lib_treeof(idnode_t, linkage, n1); | ||
idnode_t *i2 = lib_treeof(idnode_t, linkage, n2); | ||
|
||
if (i1->id > i2->id) { | ||
return 1; | ||
} | ||
else if (i2->id > i2->id) { | ||
Check warning on line 27 in lib/idtree.c GitHub Actions / call-ci / build (armv7m7-imxrt105x-evk)
Check warning on line 27 in lib/idtree.c GitHub Actions / call-ci / build (armv7m7-imxrt106x-evk)
|
||
return -1; | ||
} | ||
else { | ||
return 0; | ||
} | ||
} | ||
|
||
|
||
static int lib_idtreeGapcmp(rbnode_t *n1, rbnode_t *n2) | ||
{ | ||
idnode_t *r1 = lib_treeof(idnode_t, linkage, n1); | ||
idnode_t *r2 = lib_treeof(idnode_t, linkage, n2); | ||
rbnode_t *child = NULL; | ||
int ret = 1; | ||
|
||
if (r1->lmaxgap > 0 && r1->rmaxgap > 0) { | ||
if (r2->id > r1->id) { | ||
child = n1->right; | ||
ret = -1; | ||
} | ||
else { | ||
child = n1->left; | ||
ret = 1; | ||
} | ||
} | ||
else if (r1->lmaxgap > 0) { | ||
child = n1->left; | ||
ret = 1; | ||
} | ||
else if (r1->rmaxgap > 0) { | ||
child = n1->right; | ||
ret = -1; | ||
} | ||
|
||
if (child == NULL) { | ||
return 0; | ||
} | ||
|
||
return ret; | ||
} | ||
|
||
|
||
static void lib_idtreeAugment(rbnode_t *node) | ||
{ | ||
rbnode_t *it; | ||
idnode_t *n = lib_treeof(idnode_t, linkage, node); | ||
idnode_t *p = n, *r, *l; | ||
|
||
if (node->left == NULL) { | ||
for (it = node; it->parent != NULL; it = it->parent) { | ||
p = lib_treeof(idnode_t, linkage, it->parent); | ||
if (it->parent->right == it) { | ||
break; | ||
} | ||
} | ||
|
||
n->lmaxgap = (n->id <= p->id) ? n->id : n->id - p->id - 1; | ||
} | ||
else { | ||
l = lib_treeof(idnode_t, linkage, node->left); | ||
n->lmaxgap = max(l->lmaxgap, l->rmaxgap); | ||
} | ||
|
||
if (node->right == NULL) { | ||
for (it = node; it->parent != NULL; it = it->parent) { | ||
p = lib_treeof(idnode_t, linkage, it->parent); | ||
if (it->parent->left == it) { | ||
break; | ||
} | ||
} | ||
|
||
n->rmaxgap = (n->id >= p->id) ? (unsigned)-1 - n->id - 1 : p->id - n->id - 1; | ||
} | ||
else { | ||
r = lib_treeof(idnode_t, linkage, node->right); | ||
n->rmaxgap = max(r->lmaxgap, r->rmaxgap); | ||
} | ||
|
||
for (it = node; it->parent != NULL; it = it->parent) { | ||
n = lib_treeof(idnode_t, linkage, it); | ||
p = lib_treeof(idnode_t, linkage, it->parent); | ||
|
||
if (it->parent->left == it) { | ||
p->lmaxgap = max(n->lmaxgap, n->rmaxgap); | ||
} | ||
else { | ||
p->rmaxgap = max(n->lmaxgap, n->rmaxgap); | ||
} | ||
} | ||
} | ||
|
||
|
||
void lib_idtreeInit(idtree_t *tree) | ||
{ | ||
lib_rbInit(tree, lib_idtreeCmp, lib_idtreeAugment); | ||
} | ||
|
||
|
||
idnode_t *lib_idtreeFind(idtree_t *tree, int id) | ||
{ | ||
idnode_t n; | ||
n.id = id; | ||
return lib_treeof(idnode_t, linkage, lib_rbFind(tree, &n.linkage)); | ||
} | ||
|
||
|
||
void lib_idtreeRemove(idtree_t *tree, idnode_t *node) | ||
{ | ||
lib_rbRemove(tree, &node->linkage); | ||
} | ||
|
||
|
||
int lib_idtreeId(idnode_t *node) | ||
{ | ||
return node->id; | ||
} | ||
|
||
|
||
int lib_idtreeAlloc(idtree_t *tree, idnode_t *n) | ||
{ | ||
idnode_t *f; | ||
|
||
n->id = 0; | ||
if (tree->root != NULL) { | ||
f = lib_treeof(idnode_t, linkage, lib_rbFindEx(tree->root, &n->linkage, lib_idtreeGapcmp)); | ||
|
||
if (f != NULL) { | ||
if (f->lmaxgap > 0) { | ||
n->id = f->id - 1; | ||
} | ||
else { | ||
n->id = f->id + 1; | ||
} | ||
} | ||
else { | ||
return -1; | ||
} | ||
} | ||
|
||
lib_rbInsert(tree, &n->linkage); | ||
return n->id; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,53 @@ | ||
/* | ||
* Phoenix-RTOS | ||
* | ||
* Operating system kernel | ||
* | ||
* id allocating tree | ||
* | ||
* Copyright 2018 Phoenix Systems | ||
* Author: Jan Sikorski | ||
* | ||
* This file is part of Phoenix-RTOS. | ||
* | ||
* %LICENSE% | ||
*/ | ||
|
||
#ifndef _PHOENIX_IDTREE_H_ | ||
#define _PHOENIX_IDTREE_H_ | ||
|
||
#include "rb.h" | ||
|
||
|
||
typedef rbtree_t idtree_t; | ||
|
||
|
||
typedef struct { | ||
rbnode_t linkage; | ||
unsigned int lmaxgap, rmaxgap; | ||
unsigned int id; | ||
} idnode_t; | ||
|
||
|
||
#define lib_idtreeof(type, node_field, node) ({ \ | ||
long _off = (long)&(((type *)0)->node_field); \ | ||
idnode_t *tmpnode = (node); \ | ||
(type *)((tmpnode == NULL) ? NULL : ((void *)tmpnode - _off)); \ | ||
}) | ||
|
||
|
||
void lib_idtreeInit(idtree_t *tree); | ||
|
||
|
||
idnode_t *lib_idtreeFind(idtree_t *tree, int id); | ||
|
||
|
||
void lib_idtreeRemove(idtree_t *tree, idnode_t *node); | ||
|
||
|
||
int lib_idtreeId(idnode_t *node); | ||
|
||
|
||
int lib_idtreeAlloc(idtree_t *tree, idnode_t *n); | ||
|
||
#endif |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.