Rozkazy nieefektywne i nielegalne - Historia wersji

Amo: /* Konsekwencje praktyczne */

2019-05-14T17:42:31Z

Konsekwencje praktyczne

← poprzednia wersja		Wersja z 17:42, 14 maj 2019
Linia 64:		Linia 64:

	Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest trudny do przewidzenia.		Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest trudny do przewidzenia.

			== Rozkazy rozgałęzień ==

			Wszystkie rozkazy rozgałęzień: BB, BM, BS, BC, BN, BLC, BRC, IB, TRB mają tę cechę, że przypadek pominięcia następnego rozkazu obarczony jest dodatkowym wydatkiem czasowym (~1.5us) związanym z koniecznością pobrania tego rozkazu z pamięci (mimo, iż nie zostanie on i tak wykonany). Może to mieć zauważalne konsekwencje wydajnościowe w ciasnych pętlach używających rozgałęzień do określenia przypadku wyjścia z pętli. Cecha ta dotyczy również innych rozkazów ustawiających flagę "P": IS, GIU i GIL, ale w ich przypadku kwestie wydajnościowe nie będą grały tak istotnej roli.

Amo: /* Wieloargumentowość rozkazów IN i OU */

2018-10-04T18:49:44Z

Wieloargumentowość rozkazów IN i OU

← poprzednia wersja		Wersja z 18:49, 4 paź 2018
Linia 55:		Linia 55:
	=== Wieloargumentowość rozkazów IN i OU ===		=== Wieloargumentowość rozkazów IN i OU ===

	Rozkazy IN i OU wymagają czterech dodatkowych argumentów umieszczonych bezpośrednio za rozkazem. Są one adresami, pod ~~które~~ nastąpi skok w ~~różnych przypadkach~~ zakończenia operacji wejścia/wyjścia. Ponieważ obsługa rozkazów nieefektywnych nie obejmuje ~~takiego~~ scenariusza, to należy zapewnić, aby rozkazy IN lub OU nie stały się w trakcie wykonywania programu nieefektywne. Zaniedbanie tego wymogu może skutkować tym, że argument zostanie potraktowany jako rozkaz i wykonany, a to może mieć nieprzewidziane konsekwencje.		Rozkazy IN i OU wymagają czterech dodatkowych argumentów umieszczonych bezpośrednio za rozkazem. Są one adresami, pod jeden z których nastąpi skok w zależności od sposobu zakończenia operacji wejścia/wyjścia. Ponieważ obsługa rozkazów nieefektywnych nie obejmuje scenariusza z czterema dodatkowymi argumentami, to należy zapewnić, aby rozkazy IN lub OU nie stały się w trakcie wykonywania programu nieefektywne. Zaniedbanie tego wymogu może skutkować tym, że argument zostanie potraktowany jako rozkaz i wykonany, a to może mieć nieprzewidziane konsekwencje.

	W praktyce sprowadza się to do dwóch ograniczeń:		W praktyce sprowadza się to do dwóch ograniczeń:
	# Bezpośrednio przed rozkazami IN i OU nie należy używać rozkazów ustawiających wskaźnik przeskoku P		# Bezpośrednio przed rozkazami IN i OU nie należy używać rozkazów ustawiających wskaźnik przeskoku P
	# Nie należy używać rozkazów IN i OU w programie użytkowym, jeśli komputer, na którym jest on uruchamiany traktuje takie rozkazy jako nielegalne, a system operacyjny maszyny nie obsługuje takiej sytuacji wyjątkowej.		# Nie należy używać rozkazów IN i OU w programie użytkowym, jeśli komputer, na którym jest on uruchamiany traktuje takie rozkazy jako nielegalne, a system operacyjny maszyny nie obsługuje takiej sytuacji wyjątkowej. Należy tu jednak zauważyć, że w standardowym wykonaniu pakietu P-D rozkazy IN i OU są legalne w trybie użytkownika.

	=== Nielegalność rozkazów IN i OU w trybie użytkownika ===		=== Nielegalność rozkazów IN i OU w trybie użytkownika ===

	Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest trudny do przewidzenia.		Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest trudny do przewidzenia.

Amo: /* Skoki warunkowe */

2018-10-04T18:45:43Z

Skoki warunkowe

← poprzednia wersja		Wersja z 18:45, 4 paź 2018
Linia 46:		Linia 46:
	Obsługa niepodejmowanych skoków warunkowych już na etapie dekodowania jest ciekawym trikiem powodującym, że rozkazy te kończone są bardzo wcześnie,		Obsługa niepodejmowanych skoków warunkowych już na etapie dekodowania jest ciekawym trikiem powodującym, że rozkazy te kończone są bardzo wcześnie,
	co skraca dla nich czas cyklu do niezbędnego minimum. Taki rozkaz nie tylko nie przejdzie do fazy wykonania,		co skraca dla nich czas cyklu do niezbędnego minimum. Taki rozkaz nie tylko nie przejdzie do fazy wykonania,
	ale nie będą dla niego również obliczane argumenty. To ma kolejną ciekawą konsekwencję: jego argumentem ~~(natychmiastowym, bezpośrednim czy pośrednim)~~ może być ~~komórka pamięci~~ nie ~~należąca do żadnego~~		ale nie będą dla niego również obliczane argumenty. To ma kolejną ciekawą konsekwencję: jego argumentem może być adres nie objęty żadnym ze skonfigurowanych obszarów pamięci,
	ze skonfigurowanych obszarów, a rozkaz mimo to nie zakończy się błędem dostępu do pamięci.		a rozkaz mimo to nie zakończy się błędem dostępu do pamięci.

	== Rozkazy wejścia/wyjścia ==		== Rozkazy wejścia/wyjścia ==

Amo: /* Warunki wystąpienia */

2018-10-04T18:42:07Z

Warunki wystąpienia

← poprzednia wersja		Wersja z 18:42, 4 paź 2018
Linia 13:		Linia 13:
	* Rozkazy o kodach binarnych, które nie reprezentują żadnego z rozkazów na [[Lista rozkazów\|liście rozkazów]]. Są to:		* Rozkazy o kodach binarnych, które nie reprezentują żadnego z rozkazów na [[Lista rozkazów\|liście rozkazów]]. Są to:
	** Wszystkie rozkazy, które w zapisie binarnym na dwóch najstarszych bitach mają wartość "0".		** Wszystkie rozkazy, które w zapisie binarnym na dwóch najstarszych bitach mają wartość "0".
	** Niektóre rozkazy z [[Skorowidz kodów rozkazów#Rozkazy bez drugiego argumentu (grupa C)\|grupy "C"]]. W tej grupie istnieją również rozkazy znajdujące się na liście rozkazów, ale nie obejmuje ona wszystkich możliwych kombinacji		** Niektóre rozkazy o kodach binarnych zaliczających się do [[Skorowidz kodów rozkazów#Rozkazy bez drugiego argumentu (grupa C)\|grupy "C"]]. W tej grupie istnieją również rozkazy znajdujące się na liście rozkazów, ale nie obejmuje ona wszystkich możliwych kombinacji
	** Niektóre rozkazy z [[Skorowidz kodów rozkazów#Rozkazy bezargumentowe (grupa S)\|grupy "S"]], z przyczyn jak wyżej.		** Niektóre rozkazy o kodach binarnych zaliczających się do [[Skorowidz kodów rozkazów#Rozkazy bezargumentowe (grupa S)\|grupy "S"]], z przyczyn jak wyżej.
	* Rozkazy przeznaczone do wykonaywania wyłącznie w kontekście systemu operacyjnego (Q=0), jeśli próbę ich wywołania podjęto z programu użytkowego:		* Rozkazy przeznaczone do wykonaywania wyłącznie w kontekście systemu operacyjnego (Q=0), jeśli próbę ich wywołania podjęto z programu użytkowego:
	** Wszystkie rozkazy istniejące w [[Skorowidz kodów rozkazów#Rozkazy bezargumentowe (grupa S)\|grupie "S"]]: HLT, MCL, SIT, SIL, SIU, CIT, GIU, LIP, GIL, także rozkazy dodane w procesorze MX-16: CRON, SINT, SIND.		** Wszystkie rozkazy istniejące w [[Skorowidz kodów rozkazów#Rozkazy bezargumentowe (grupa S)\|grupie "S"]]: HLT, MCL, SIT, SIL, SIU, CIT, GIU, LIP, GIL, także rozkazy dodane w procesorze MX-16: CRON, SINT, SIND.

Amo o 18:39, 4 paź 2018

2018-10-04T18:39:35Z

← poprzednia wersja		Wersja z 18:39, 4 paź 2018
Linia 2:		Linia 2:
	W architekturze procesora MERY-400 rozróżniane są dwa szczególne przypadki		W architekturze procesora MERY-400 rozróżniane są dwa szczególne przypadki
	rozkazów, które mimo, że zostaną pobrane z miejsca programu wskazanego licznikiem rozkazów, to ich wykonanie		rozkazów, które mimo, że zostaną pobrane z miejsca programu wskazanego licznikiem rozkazów, to ich wykonanie
	będzie zaniechane. ~~Dzieje się to~~ wcześnie, bo na etapie dekodowanie rozkazu,		będzie zaniechane. Decyzja taka podejmowana jest bardzo wcześnie, bo już na etapie dekodowanie rozkazu,
	co w niektórych przypadkach staje się jednocześnie sprytnym skrótem do realizacji jego treści.		co w niektórych przypadkach staje się jednocześnie sprytnym skrótem do realizacji jego treści.

Amo: /* Nielegalność rozkazów IN i OU w trybie użytkownika */

2018-10-02T16:54:49Z

Nielegalność rozkazów IN i OU w trybie użytkownika

← poprzednia wersja		Wersja z 16:54, 2 paź 2018
Linia 63:		Linia 63:
	=== Nielegalność rozkazów IN i OU w trybie użytkownika ===		=== Nielegalność rozkazów IN i OU w trybie użytkownika ===

	Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest ~~nieprzewidywalny~~.		Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest trudny do przewidzenia.

Amo: /* Rozkazy wejścia/wyjścia */

2018-10-02T16:52:46Z

Rozkazy wejścia/wyjścia

← poprzednia wersja		Wersja z 16:52, 2 paź 2018
Linia 55:		Linia 55:
	=== Wieloargumentowość rozkazów IN i OU ===		=== Wieloargumentowość rozkazów IN i OU ===

	Rozkazy IN i OU wymagają czterech dodatkowych argumentów umieszczonych bezpośrednio za rozkazem. Są one adresami, pod które nastąpi skok w różnych przypadkach zakończenia operacji wejścia/wyjścia. Ponieważ obsługa rozkazów nieefektywnych nie obejmuje takiego ~~przypadku~~, to należy zapewnić, aby rozkazy IN lub OU nie stały się w trakcie wykonywania programu nieefektywne. Zaniedbanie tego wymogu może skutkować tym, że argument zostanie potraktowany jako rozkaz i wykonany, a to może mieć nieprzewidziane konsekwencje.		Rozkazy IN i OU wymagają czterech dodatkowych argumentów umieszczonych bezpośrednio za rozkazem. Są one adresami, pod które nastąpi skok w różnych przypadkach zakończenia operacji wejścia/wyjścia. Ponieważ obsługa rozkazów nieefektywnych nie obejmuje takiego scenariusza, to należy zapewnić, aby rozkazy IN lub OU nie stały się w trakcie wykonywania programu nieefektywne. Zaniedbanie tego wymogu może skutkować tym, że argument zostanie potraktowany jako rozkaz i wykonany, a to może mieć nieprzewidziane konsekwencje.

	W praktyce sprowadza się to do dwóch ograniczeń:		W praktyce sprowadza się to do dwóch ograniczeń:

Amo o 16:51, 2 paź 2018

2018-10-02T16:51:14Z

← poprzednia wersja		Wersja z 16:51, 2 paź 2018
Linia 1:		Linia 1:
	__NOTOC__		__NOTOC__
	W architekturze procesora MERY-400 rozróżniane są dwa szczególne przypadki		W architekturze procesora MERY-400 rozróżniane są dwa szczególne przypadki
	rozkazów, które mimo, że zostaną ~~przeczytane~~ z miejsca programu wskazanego licznikiem rozkazów, to ich wykonanie		rozkazów, które mimo, że zostaną pobrane z miejsca programu wskazanego licznikiem rozkazów, to ich wykonanie
	będzie zaniechane. Dzieje się to wcześnie, bo na etapie dekodowanie rozkazu,		będzie zaniechane. Dzieje się to wcześnie, bo na etapie dekodowanie rozkazu,
	co w niektórych przypadkach staje się jednocześnie sprytnym skrótem do realizacji jego treści.		co w niektórych przypadkach staje się jednocześnie sprytnym skrótem do realizacji jego treści.

Amo o 16:50, 2 paź 2018

2018-10-02T16:50:31Z

← poprzednia wersja		Wersja z 16:50, 2 paź 2018
Linia 61:		Linia 61:
	# Nie należy używać rozkazów IN i OU w programie użytkowym, jeśli komputer, na którym jest on uruchamiany traktuje takie rozkazy jako nielegalne, a system operacyjny maszyny nie obsługuje takiej sytuacji wyjątkowej.		# Nie należy używać rozkazów IN i OU w programie użytkowym, jeśli komputer, na którym jest on uruchamiany traktuje takie rozkazy jako nielegalne, a system operacyjny maszyny nie obsługuje takiej sytuacji wyjątkowej.

	=== Nielegalność rozkazów IN i OU w trybie użytkownika ==		=== Nielegalność rozkazów IN i OU w trybie użytkownika ===

	Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest nieprzewidywalny.		Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest nieprzewidywalny.

Amo o 16:49, 2 paź 2018

2018-10-02T16:49:32Z

← poprzednia wersja		Wersja z 16:49, 2 paź 2018
Linia 24:		Linia 24:

	* Dowolny rozkaz, jeśli poprzedni rozkaz ustawił flagę przeskoku (P=1).		* Dowolny rozkaz, jeśli poprzedni rozkaz ustawił flagę przeskoku (P=1).
	* Rozkazy skoków, jeśli nie są spełnione warunki wymagane do podjęcia danego skoku (np. nie jest ustawiona flaga zera "Z" w trakcie dekodowania skoku JZ).		* Rozkazy skoków warunkowych, jeśli nie są spełnione warunki wymagane do podjęcia danego skoku (np. nie jest ustawiona flaga zera "Z" w trakcie dekodowania skoku JZ).

	= Obsługa =		= Obsługa =
Linia 32:		Linia 32:
	# Jeśli rozkaz był nielegalny i nie był ustawiony wskaźnik przeskoku P (XI & ~P), zapalane jest przerwanie 6 (nieprawidłowy rozkaz).		# Jeśli rozkaz był nielegalny i nie był ustawiony wskaźnik przeskoku P (XI & ~P), zapalane jest przerwanie 6 (nieprawidłowy rozkaz).
	# Dla nieefektywnych rozkazów dwusłowowych może nastąpić kolejne zwiększenie zawartości licznika rozkazów o 1, tak, aby ominąć również argument natychmiastowy rozkazu, znajdujący się w drugim słowie. Dzieje się to w dwóch przypadkach:		# Dla nieefektywnych rozkazów dwusłowowych może nastąpić kolejne zwiększenie zawartości licznika rozkazów o 1, tak, aby ominąć również argument natychmiastowy rozkazu, znajdujący się w drugim słowie. Dzieje się to w dwóch przypadkach:
	#* Jeśli rozkaz nie był nielegalny (WMI & ~XI) - jest to przypadek legalnych rozkazów skoku z argumentem w drugim słowie, np JZ 0x1234		#* Jeśli rozkaz nie był nielegalny (WMI & ~XI) - jest to przypadek legalnych rozkazów skoku warunkowego z argumentem w drugim słowie, np JZ 0x1234
	#* Lub jeśli ustawiony był wskaźnik przeskoku P (WMI & P) - jest to przypadek przeskoku przez dowolny rozkaz dwusłowowy		#* Lub jeśli ustawiony był wskaźnik przeskoku P (WMI & P) - jest to przypadek przeskoku przez dowolny rozkaz dwusłowowy
	# Bezwarunkowo - wyzerowanie wewnętrznych wskaźników: B-modyfikacji (WBI), premodyfikacji (WPI), rozkazu dwusłowowego (WMI), przeskoku (P), oraz licznika premodyfikacji (MC).		# Bezwarunkowo - wyzerowanie wewnętrznych wskaźników: B-modyfikacji (WBI), premodyfikacji (WPI), rozkazu dwusłowowego (WMI), przeskoku (P), oraz licznika premodyfikacji (MC).
Linia 42:		Linia 42:
	To, jakie rozkazy mogą być nieefektywne i w jaki sposób są obsługiwane, ma kilka nieoczywistych konsekwencji praktycznych, o których warto pamiętać pisząc oprogramowanie MERY-400.		To, jakie rozkazy mogą być nieefektywne i w jaki sposób są obsługiwane, ma kilka nieoczywistych konsekwencji praktycznych, o których warto pamiętać pisząc oprogramowanie MERY-400.

	== Skoki ==		== Skoki warunkowe ==

	Obsługa niepodejmowanych skoków już na etapie dekodowania jest ciekawym trikiem powodującym, że rozkazy te kończone są bardzo wcześnie,		Obsługa niepodejmowanych skoków warunkowych już na etapie dekodowania jest ciekawym trikiem powodującym, że rozkazy te kończone są bardzo wcześnie,
	co skraca dla nich czas cyklu do niezbędnego minimum. Taki rozkaz nie tylko nie przejdzie do fazy wykonania,		co skraca dla nich czas cyklu do niezbędnego minimum. Taki rozkaz nie tylko nie przejdzie do fazy wykonania,
	ale nie będą dla niego również obliczane argumenty. To ma kolejną ciekawą konsekwencję: jego argumentem (natychmiastowym, bezpośrednim czy pośrednim) może być komórka pamięci nie należąca do żadnego		ale nie będą dla niego również obliczane argumenty. To ma kolejną ciekawą konsekwencję: jego argumentem (natychmiastowym, bezpośrednim czy pośrednim) może być komórka pamięci nie należąca do żadnego
Linia 50:		Linia 50:

	== Rozkazy wejścia/wyjścia ==		== Rozkazy wejścia/wyjścia ==

			W przypadku [[Instrukcje wejścia-wyjścia\|rozkazów IN i OU]] należy zwrócić uwagę na dwie kwestie.

			=== Wieloargumentowość rozkazów IN i OU ===

			Rozkazy IN i OU wymagają czterech dodatkowych argumentów umieszczonych bezpośrednio za rozkazem. Są one adresami, pod które nastąpi skok w różnych przypadkach zakończenia operacji wejścia/wyjścia. Ponieważ obsługa rozkazów nieefektywnych nie obejmuje takiego przypadku, to należy zapewnić, aby rozkazy IN lub OU nie stały się w trakcie wykonywania programu nieefektywne. Zaniedbanie tego wymogu może skutkować tym, że argument zostanie potraktowany jako rozkaz i wykonany, a to może mieć nieprzewidziane konsekwencje.

			W praktyce sprowadza się to do dwóch ograniczeń:
			# Bezpośrednio przed rozkazami IN i OU nie należy używać rozkazów ustawiających wskaźnik przeskoku P
			# Nie należy używać rozkazów IN i OU w programie użytkowym, jeśli komputer, na którym jest on uruchamiany traktuje takie rozkazy jako nielegalne, a system operacyjny maszyny nie obsługuje takiej sytuacji wyjątkowej.

			=== Nielegalność rozkazów IN i OU w trybie użytkownika ==

			Obsługa nielegalności rozkazów IN i OU w trybie użytkownika niesie ze sobą jeszcze jedną pułapkę. Jeśli taki rozkaz będzie dwusłowowy, to, ponieważ jest nielegalny, nie zostanie dla niego wykonane dodatkowe zwiększenie licznika rozkazów o 1. W konsekwencji kolejnym miejscem w pamięci, z którego zostanie pobrany rozkaz programu, będzie argument rozkazu IN/OU. Rezultat, podobnie jak wyżej, jest nieprzewidywalny.