En informtica, un segmento de cdigo, tambin conocido como un segmento de texto o, simplemente, como texto, es una de las secciones de un programa

en un archivo de objeto o en la memoria, que contiene instrucciones ejecutables. Tiene un tamao fijo y suele ser de slo lectura. Si la seccin de texto no es de slo lectura, la arquitectura en particular permite cdigo auto-modificable.Posicin fija o posicin del cdigo independiente puede ser compartida en la memoria por varios procesos en los sistemas de memoria segmentada opaginado. Como una regin de memoria, un segmento de cdigo puede ser colocado por debajo del montn o pila con el fin de evitar que los montones ydesbordamientos de pila de sobrescribirlo.

Segmentos de cdigo Simulacin con el cdigo de Cada transicin puede tener un segmento de cdigo adjunto que contiene el cdigo de ML. Segmentos de cdigo se ejecutan cuando se produce la transicin padres. Aadir / editar los segmentos de cdigo Segmentos de cdigo se crean mediante la adicin / edicin de una inscripcin para una transicin. Antes de que un segmento de cdigo se ha aadido, el texto predeterminado para la inscripcin es la siguiente: de entrada (); de salida (); accin ();

Caractersticas y la sintaxis Segmentos de cdigo pueden usar variables de CPN y puede obligar a variables de CPN se encuentra en los arcos de salida que no estn obligados en otros lugares. Cada segmento de cdigo puede contener: Patrn de entrada (opcional)

Patrn de salida (opcional) Cdigo de la accin (obligatorio) Entrada patrn Un patrn de entrada es una tupla de variables CPN, precedida por la entrada de palabras clave. El patrn de entrada muestra las variables de CPN que se pueden utilizar en el cdigo de accin. La accin de cdigo pueden usar los valores de estas variables CPN, pero no puede cambiarlos. Las variables CPN lista en el patrn de entrada se puede utilizar en el cdigo de accin, incluso si se ha declarado un identificador de ML con el mismo nombre en el nodo de declaracin. Si la clusula de entrada se omite, se supone que ninguna variable PCN se puede utilizar en el cdigo de accin. Salida patrn Un patrn de salida es una tupla de variables CPN, precedido por la salida de palabras clave. El patrn de la produccin muestra las variables de CPN a cambiar como resultado de la ejecucin de la accin de cdigo. Un patrn de salida debe ser una variable PCN o una tupla de variables CPN sin repeticiones. Si la clusula de salida se omite, se supone que ninguna variable se calculan CPN. Acciones cdigo Un cdigo de accin es una expresin ML, precedida por la accin de palabra clave. La accin de cdigo no puede contener ninguna declaracin de conjuntos de colores, las variables de CPN, o variables de referencia. Puede, sin embargo, se aplican por el usuario declara constantes y predeclared, operaciones y funciones. Adems, nuevas funciones y constantes pueden ser definidas para el uso local por medio de la tregua en el extremo. La accin se ejecuta el cdigo como una declaracin local en un entorno que contiene las variables CPN especificado en el patrn de entrada. Esto garantiza que el cdigo de accin no se puede cambiar directamente las variables de CPN, pero slo las copias locales de ellos. Cuando la accin de cdigo ha sido ejecutado, su resultado se aplica a obligar a las variables del PCN en el patrn de salida. El cdigo de accin, cuando se evalu en un entorno que contiene las variables del patrn de entrada debe producir un resultado del

mismo tipo que el patrn de salida. Si no hay ningn patrn de salida se da, el tipo se supone que es la unidad. Ejemplo En este ejemplo, hay una variable en el patrn de entrada (m) y dos variables en el modelo de salida (n, b).

Incluso cuando la transicin se produce en el marcado dado, las variables CPN estar obligado de la siguiente manera: m se une a 3, n se une a 4, b est obligado a falso. La versin de E / S de la red de ejemplo para el ejemplo de protocolo simple tambin utiliza los segmentos de cdigo.

(memoria) segmento de cdigo - (Intel 8086 CS) El rea de memoria que contiene las instrucciones de cdigo mquina de un programa. El segmento de cdigo de un programa se puede compartir entre mltiples procesos en ejecucin que el cdigo siempre y cuando ninguno de ellos se trata de modificar. Unix, confusamente, llama a esto el "segmento de texto" y el rea de datosuninitialied, el segmento BSS. Datos inicializados se encuentra en el segmento de datos.