char[] & MSP430

"Oleg Dolgov" <Oleg snipped-for-privacy@p68.f.n5026.z2.fidonet.org> ÓÏÏÂÝÉÌ/ÓÏÏÂÝÉÌÁ × ÎÏ×ÏÓÔÑÈ ÓÌÅÄÕÀÝÅÅ: news:MSGID_2=3A5026=2F49.68 snipped-for-privacy@fidonet.org...

02 Feb 04 12:17, Oleg Dolgov ÐÉÓÁÌ All:

OD> ðÏ ÐÒÅÒÙ×ÁÎÉÀ ÏÔ UART0 ÍÙ ÄÏÐÉÓÙ×ÁÅÍ ÓÔÒÏËÕ input_char É OD> ÓÏÏÔ×ÅÔÓÔ×ÅÎÎÏ Õ×ÅÌÉÞÉ×ÁÅÍ ÐÅÒÅÍÅÎÎÕÀ ËÏÌÉÞÅÓÔ×Á ÐÒÉÎÑÔÙÈ ÓÉÍ×ÏÌÏ×

OD> ëÔÏ ÏÒÇÁÎÉÚÏ×Ù×ÁÌ ÐÏÄÏÂÎÙÅ ×ÅÝÉ ÐÏÄËÉÎØÔÅ ÉÄÅÊËÕ × ËÁËÕÀ ÓÔÏÒÏÎÕ OD> ËÏÐÁÔØ × ÐÏÉÓËÁÈ ÐÒÉÅÍÌÅÍÏÇÏ ÁÌÇÏÒÉÔÍÁ?

char input_buffer[256]; char* putptr = input_buffer; char* getptr = input_buffer; volatile int depth = 0;

void putchar(char c) /* ×ÙÚÙ×ÁÅÔÓÑ ÉÚ ÐÒÅÒÙ×ÁÎÉÑ */ { if(depth == 256) return; /* ÂÕÆÅÒ ÐÅÒÅÐÏÌÎÅÎ */

int getchar(void) { char c; while(depth == 0); /* ÂÕÆÅÒ ÐÕÓÔ */ depth--; c = *getptr++; if(getptr == input_buffer + sizeof(input_buffer)) getptr = input_buffer; return c; }

Hello Alex.

Mon Feb 02 2004 20:09, Alex Mogilnikov wrote to Oleg Dolgov:

AM> if(putptr == input_buffer + sizeof(input_buffer)) AM> putptr = input_buffer;

#define QBUF_SIZE 16 #define QBUF_SIZE_IS_POWER_OF_TWO 1 //set to 0 if QBUF_SIZE ISN'T a power of two typedef byte qbuf [QBUF_SIZE];

class Ring {

public: Ring (); bool Empty (void); bool Full (void); bool Put (byte data); byte Get (void);

private: void Inc (byte & Idx); byte Next (byte x);

byte Head, Tail; qbuf Buf; };

Ring::Ring () { Head = 0; Tail = 0; }

byte Ring::Next (byte x) { #if QBUF_SIZE_IS_POWER_OF_TWO return (x+1) & (QBUF_SIZE-1); #else return (x+1) % QBUF_SIZE; #endif }

void Ring::Inc (byte & Idx) { Idx = Next(Idx); }

bool Ring::Empty (void) { return (Head == Tail); }

bool Ring::Full (void) { return (Next(Tail) == Head); }

bool Ring::Put (byte data) { if (Full()) return FALSE;

Buf[Tail] = data; Inc(Tail); return TRUE; }

byte Ring::Get (void) { byte result; //--------- if (Empty()) return 0;

result = Buf[Head]; Inc(Head); return result; }

Dimmy.

04 Feb 04 07:38, Dimmy Timchenko ÐÉÓÁÌ Alex Mogilnikov:

AM>> if(putptr == input_buffer + sizeof(input_buffer)) AM>> putptr = input_buffer;

DT> á ÐÒÏ ÏÐÅÒÁÃÉÀ ×ÚÑÔÉÑ ÍÏÄÕÌÑ ÎÅ ÓÌÙÛÁÌ? :) ñ ÐÒÉÍÅÒÎÏ ÜÔÏ ÄÅÌÁÌ DT> ÐÒÉÍÅÒÎÏ ÔÁË; ÓÔÉÌØ, ÅÓÔÅÓÔ×ÅÎÎÏ, ÐÁÓËÁÌÅ×ÓËÉÊ. ;)

AM>> if(putptr == input_buffer + sizeof(input_buffer)) AM>> putptr = input_buffer;

DT> А про операцию взятия модуля не слышал? :) Я примерно это делал примерно DT> так; стиль, естественно, паскалевский. ;)

DT> #define QBUF_SIZE 16 DT> #define QBUF_SIZE_IS_POWER_OF_TWO 1 //set to 0 if QBUF_SIZE ISN'T a

Чтобы не полагаться на чтение комментариев - вместо второй строки

#if (QBUF_SIZE) & (QBUF_SIZE-1) #define QBUF_SIZE_IS_POWER_OF_TWO 0 #else #define QBUF_SIZE_IS_POWER_OF_TWO 1 #endif

DT> { DT> #if QBUF_SIZE_IS_POWER_OF_TWO DT> return (x+1) & (QBUF_SIZE-1); Это нормально.

DT> #else DT> return (x+1) % QBUF_SIZE; Это очень долго на всех, пожалуй, 8-битках и на очень многих 16-битках. На которых не очень долго - почти наверняка просто долго.

Ну и индексы вместо указателей хоть и могут сэкономить ОЗУ (если они 8-битные а указатели уже нужны 16-битные), но код и время выполнения увеличат.

wbr,

Hello Oleksandr.

Thu Feb 05 2004 20:56, Oleksandr Redchuk wrote to me:

OR> þÔÏÂÙ ÎÅ ÐÏÌÁÇÁÔØÓÑ ÎÁ ÞÔÅÎÉÅ ËÏÍÍÅÎÔÁÒÉÅ× - ×ÍÅÓÔÏ ×ÔÏÒÏÊ ÓÔÒÏËÉ

OR> #if (QBUF_SIZE) & (QBUF_SIZE-1) OR> #define QBUF_SIZE_IS_POWER_OF_TWO 0 OR> #else OR> #define QBUF_SIZE_IS_POWER_OF_TWO 1 OR> #endif

DT>> { DT>> #if QBUF_SIZE_IS_POWER_OF_TWO DT>> return (x+1) & (QBUF_SIZE-1); OR> üÔÏ ÎÏÒÍÁÌØÎÏ.

DT>> #else DT>> return (x+1) % QBUF_SIZE; OR> üÔÏ ÏÞÅÎØ ÄÏÌÇÏ ÎÁ ×ÓÅÈ, ÐÏÖÁÌÕÊ, 8-ÂÉÔËÁÈ É ÎÁ ÏÞÅÎØ ÍÎÏÇÉÈ 16-ÂÉÔËÁÈ.

HÕ ÔÁË ÐÏÜÔÏÍÕ ÓÌÅÄÕÅÔ ÄÅÌÁÔØ ÂÕÆÅÒ, ËÒÁÔÎÙÊ ÓÔÅÐÅÎÉ Ä×ÏÊËÉ. ëÓÔÁÔÉ, Ñ ÐÏÐÒÏÂÏ×ÁÌ ÎÁÐÉÓÁÔØ ÐÒÏÓÔÏ ×ÔÏÒÏÊ ×ÁÒÉÁÎÔ, ÎÁÄÅÑÓØ, ÞÔÏ IAR ÓÏÐÔÉÍÉÚÉÒÕÅÔ. æÉÇÕÛËÉ! ÷ÙÚ×ÁÌ ÐÒÏÃÅÄÕÒÕ ×ÙÞÉÓÌÅÎÉÑ ÏÓÔÁÔËÁ.

OR> HÕ É ÉÎÄÅËÓÙ ×ÍÅÓÔÏ ÕËÁÚÁÔÅÌÅÊ ÈÏÔØ É ÍÏÇÕÔ ÓÜËÏÎÏÍÉÔØ ïúõ OR> (ÅÓÌÉ ÏÎÉ 8-ÂÉÔÎÙÅ Á ÕËÁÚÁÔÅÌÉ ÕÖÅ ÎÕÖÎÙ 16-ÂÉÔÎÙÅ), ÎÏ ËÏÄ É ×ÒÅÍÑ OR> ×ÙÐÏÌÎÅÎÉÑ Õ×ÅÌÉÞÁÔ.

Dimmy.

"Dimmy Timchenko" <Dimmy snipped-for-privacy@f15.n.z2.fidonet.org> ÓÏÏÂÝÉÌ/ÓÏÏÂÝÉÌÁ × ÎÏ×ÏÓÔÑÈ ÓÌÅÄÕÀÝÅÅ: news:MSGID_2=3A469=2F15 snipped-for-privacy@fidonet.org...

HÏ Ñ ÐÒÁ×ÄÁ ÐÒÏ×ÏÖÕ ÒÅÚÕÌØÔÁÔ ÓÌÏÖÅÎÉÑ Ë 8 ÂÉÔÁÍ (ÐÏ ÕÍÏÌÞÁÎÉÀ ÏÎ 16 ÂÉÔ É ÔÏÇÄÁ ÏÎ ÍÏÖÅÔ ÎÁ×ÒÎÏÅ ÚÁÎÑÔØÓÑ ÄÅÌÅÎÉÅÍ).

DT>>> return (x+1) % QBUF_SIZE; OR>> Это очень долго на всех, пожалуй, 8-битках и на очень многих 16-битках.

DT> Если деления нет... Ну вот я и очертил -- где его нет или оно очень медленное по сравнению с остальными действиями.

OR>> Hу и индексы вместо указателей хоть и могут сэкономить ОЗУ OR>> (если они 8-битные а указатели уже нужны 16-битные), но код и время OR>> выполнения увеличат.

DT> Для меня важнее надёжность, безопасность и читаемость (которая тоже DT> обычно DT> надёжности прибавляет). Согласись, что индексирование массива - более DT> "прозрачная" операция. После паскаля. А после ассемблера - ещё вопрос. В стандарте С специально гарантируется, что указатель сразу за концом массива - валиден для операций сравнения и адресной арифметики (но не для обращения). Чтобы можно было делать out = *outptr++; if ( outptr >= buffer+BUFSIZE ) outptr = buffer; а не out = *outptr; if ( outptr == buffer+BUFSIZE-1) outptr = buffer; else ++outptr;

Там, правда, возникает один философский вопрос, но в реальных системах он как-то решается

DT> Да и проверка на переполнение с указателями получается некрасивой. Чем же?

wbr,

Hello dennis.

Fri Feb 06 2004 20:47, Dennis Opanasenko wrote to All:

DO> ÍÏÖÎÏ ËÓÔÁÔÉ ÎÅ ÚÁÍÏÒÁÞÉ×ÁÔØÓÑ ÕÓÌÏ×ÎÏÊ ËÏÍÐÉÌÑÃÉÅÊ. éáò 2.28 ÎÏÒÍÁÌØÎÏ DO> ÔÕÔÓÏÏÂÒÁÖÁÅÔ. ×ÏÔ ËÏÄ ×Ï ÞÔÏ Õ ÍÅÎÑ ÓÏÂÉÒÁÅÔÓÑ:

DO> if(((U8)(uart_sq.tail + 1) % UART_Q_SIZE) == uart_sq.head) return -1;

Dimmy.

DO>> можно кстати не заморачиваться условной компиляцией. ИАР 2.28 нормально DO>> тутсоображает. вот код во что у меня собирается:

DO>> if(((U8)(uart_sq.tail + 1) % UART_Q_SIZE) == uart_sq.head) return -1;

DT> А! Hу так это же надо было сообразить, что результат сложения байта с DT> константой будет типа int. ;) Ничего соображать не надо. Integer promotion rules - прочесть один раз и запомнить.

Некоторые эхотажные компиляторы достаточно хорошо оптимизируют, чтобы соптимизировать эти правила, некотоыре имеют ключик для их отключения. У некоторых остаются недооптимизированные хвосты.

В данном случае компилятор самовольничать не имел права, так как по этим правилам при .tail = 255 результат выражения

uart_sq.tail + 1

будет равен 256, а

отнюдь не обязано быть равно

Поскольку он ничего не знает о том, в каких пределах реально меняется .tail -- он не мог знать, что .tail + 1 всегда меньше 256 и можно уоптимизировать до работы с U8.

wbr,

21 Feb 04 17:31, Kirill Frolov ÐÉÓÁÌ Oleksandr Redchuk:

OR>> ÓÐÅÃÉÁÌØÎÏ ÇÁÒÁÎÔÉÒÕÅÔÓÑ, ÞÔÏ ÕËÁÚÁÔÅÌØ ÓÒÁÚÕ ÚÁ ËÏÎÃÏÍ ÍÁÓÓÉ×Á - OR>> ×ÁÌÉÄÅÎ ÄÌÑ ÏÐÅÒÁÃÉÊ ÓÒÁ×ÎÅÎÉÑ É ÁÄÒÅÓÎÏÊ ÁÒÉÆÍÅÔÉËÉ (ÎÏ ÎÅ ÄÌÑ OR>> ÏÂÒÁÝÅÎÉÑ).

KF> äÌÑ 16-ÒÁÚÒÑÄÎÏÇÏ AVR: char *p = 0xffff; ÷ÏÐÒÏÓ: ÞÅÍ ÂÕÄÅ ÒÁ×ÅÎ KF> &p[1], ÅÓÌÉ ÕËÁÚÁÔÅÌØ ÚÁ ÐÒÅÄÅÌÁÍÉ ÍÁÓÓÉ×Á "×ÁÌÉÄÅÎ"? á ×ÅÄØ 0 KF> ÐÏÌÕÞÁÅÔÓÑ...

OR>> þÔÏÂÙ ÍÏÖÎÏ ÂÙÌÏ ÄÅÌÁÔØ

KF> ÷ÏÔ ÚÄÅÓØ char *outptr=0xffff;

OR>> out = *outptr++; OR>> if ( outptr >= buffer+BUFSIZE )

KF> é ÄÁÌØÛÅ ÐÏÌÎÁÑ ÅÒÕÎÄÁ ÐÏÌÕÞÁÅÔÓÑ...

DT>>> äÁ É ÐÒÏ×ÅÒËÁ ÎÁ ÐÅÒÅÐÏÌÎÅÎÉÅ Ó ÕËÁÚÁÔÅÌÑÍÉ ÐÏÌÕÞÁÅÔÓÑ DT>>> ÎÅËÒÁÓÉ×ÏÊ. OR>> þÅÍ ÖÅ?

KF> å£ ÏÔÓÕÔÓÔ×ÉÅÍ. ñ ÔÁË ÐÏÎÉÍÁÀ, ÐÒÉÎÑÔÏ ÎÁ NULL ÎÅ ÎÁÓÔÕÐÁÔØ...