Geodesic
On semilattice of Linux processes' states
Čebyševskij sbornik, Tome 20 (2019) no. 4, pp. 124-136

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper discusses a set of states of Linux processes as data structure, which is used in the task of process-tree reconstruction in Unix-like operating systems. The purpose of the study is to analyze dependencies in such structure, to introduce the natural order of dependencies, to propose the class of such reconstruction structure as upper complete semilattice. Following from the technical properties of the applied problem attributes' hierarchy allow to introduce additional restrictions on the minimum upper bounds in such semilattice. Constraints are formally described as suitable pre-closure and closure operators. The constraints implies the necessary condition for the correctness of the process tree. Based on the properties of points returned by the proposed operators and system call execution scheme, a sufficient condition for correctness is given. The introduced conditions form the criterion for process-tree correctness, which can be useful in such tasks as generating tests for checkpoint-restore in Unix-like operating systems, anomalies detection, increasing portability and reliability of software. Dependency schemes between attributes that impose particular constraints on the reconstructing set are also shown. Opened questions are also highlighted and further steps are suggested.
Keywords: mathematical modeling, applied algebra, semi-groups, trees, Unix-like operating systems, system calls, process tree, checkpoint restore, closures. 
@article{CHEB_2019_20_4_a8,
     author = {N. N. Efanov},
     title = {On semilattice of {Linux} processes' states},
     journal = {\v{C}eby\v{s}evskij sbornik},
     pages = {124--136},
     publisher = {mathdoc},
     volume = {20},
     number = {4},
     year = {2019},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/CHEB_2019_20_4_a8/}
}
TY  - JOUR
AU  - N. N. Efanov
TI  - On semilattice of Linux processes' states
JO  - Čebyševskij sbornik
PY  - 2019
SP  - 124
EP  - 136
VL  - 20
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CHEB_2019_20_4_a8/
LA  - ru
ID  - CHEB_2019_20_4_a8
ER  - 
%0 Journal Article
%A N. N. Efanov
%T On semilattice of Linux processes' states
%J Čebyševskij sbornik
%D 2019
%P 124-136
%V 20
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHEB_2019_20_4_a8/
%G ru
%F CHEB_2019_20_4_a8
N. N. Efanov. On semilattice of Linux processes' states. Čebyševskij sbornik, Tome 20 (2019) no. 4, pp. 124-136. http://geodesic.mathdoc.fr/item/CHEB_2019_20_4_a8/